Pytania otagowane jako constraint-programming

1
Kiedy stosować SAT vs Constraint Satisfaction?
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 tego, jakie problemy można naturalnie wyrazić …
4
Czy problemy z ograniczeniami można rozwiązać za pomocą Prolog?
Czy problemy typu „obecność na imprezie” można rozwiązać w Prologu? Na przykład: Łopian Muldoon i Carlotta Pinkstone powiedzieli, że przybędą, jeśli przyjdzie Albus Dumbledore. Albus Dumbledore i Daisy Dodderidge powiedzieli, że przybędą, jeśli przyjdzie Carlotta Pinkstone. Albus Dumbledore, Burdock Muldoon i Carlotta Pinkstone powiedzieli, że przyjdą, jeśli przyjdzie Elfrida Clagg. …
1
Czy w programowaniu ograniczeń istnieją jakieś modele uwzględniające liczbę zmian zmiennych?
Rozważ model CSP, w którym zmiana wartości konkretnej zmiennej jest kosztowna. Czy jest jakaś praca, w której funkcja celu bierze również pod uwagę liczbę zmian wartości zmiennej podczas procesu wyszukiwania? Przykład: Zmienna kosztowna do zmiany może być pod kontrolą jakiegoś innego agenta i istnieje pewien narzut związany z zaangażowaniem tego …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.