Využitie genetických a hybridných genetických algoritmov v súvislosti s NP-úplnými problémami na príklade riešenia problému SAT
Spôsob riešenia problému určovania splniteľnosti logických formúl – SAT (satisfiability problem), ktorý patrí tiež do skupiny NP-úplných problémov, použitím genetických a zvlášť hybridných genetických algoritmov.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buchkapitel |
| Sprache: | Slowakisch |
| Schlagworte: | |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nla a2200000 4500 | ||
|---|---|---|---|
| 001 | 0184281 | ||
| 005 | 20240502073147.3 | ||
| 041 | 0 | |a slo | |
| 044 | |a SK | ||
| 245 | 1 | 0 | |a Využitie genetických a hybridných genetických algoritmov v súvislosti s NP-úplnými problémami na príklade riešenia problému SAT |c Jana Lovíšková |
| 520 | |a Spôsob riešenia problému určovania splniteľnosti logických formúl – SAT (satisfiability problem), ktorý patrí tiež do skupiny NP-úplných problémov, použitím genetických a zvlášť hybridných genetických algoritmov. | ||
| 610 | 2 | 0 | |a algoritmy |
| 610 | 2 | 0 | |a metódy matematické |
| 610 | 2 | 0 | |a logika matematická |
| 610 | 2 | 0 | |a vzorce |
| 610 | 2 | 0 | |a výroba |
| 610 | 2 | 0 | |a logistika |
| 100 | 1 | |a Lovíšková, Jana | |