Biorąc pod uwagę instancję SAT, chciałbym móc oszacować, jak trudno będzie rozwiązać instancję. Jednym ze sposobów jest uruchamianie istniejących solverów, ale ten rodzaj pokonuje cel oszacowania trudności. Drugi sposób może polegać na szukaniu stosunku klauzul do zmiennych, jak ma to miejsce w...
Jeśli mam trudny problem, jednym ze standardowych sposobów jest wyrażenie go jako instancji SAT i próby uruchomienia na nim solvera SAT. Innym standardowym podejściem jest wyrażenie go jako problemu satysfakcji z ograniczeń i próba użycia solvera CSP. Obaj czują się nieco niejasno pod względem...
Używając A * (lub innego algorytmu znajdowania najlepszej ścieżki), mówimy, że zastosowana heurystyka powinna być dopuszczalna , to znaczy nigdy nie powinna przeceniać faktycznej długości ścieżki rozwiązania (lub ruchów). W jaki sposób dopuszczalna heurystyka zapewnia optymalne rozwiązanie?...
Przeprowadziłem pewne testy różnych temperatur początkowych w moim algorytmie symulującym wyżarzanie i zauważyłem, że temperatura początkowa ma wpływ na wydajność algorytmu. Czy jest jakiś sposób obliczenia dobrej temperatury
Funkcja heurystyczna to ...h(n)h(n)h (n) Spójne, jeśli szacowany koszt od węzła do celu nie jest większy niż koszt kroku do jego następcy plus szacowany koszt od następcy do celu.nnnn′n′n' Dopuszczalne, jeżeli nigdy nie przecenia rzeczywistych kosztów do stanu docelowego.h(n)h(n)h(n) Podręcznik...