Pertanyaan yang diberi tag «constraint-programming»

Jika saya memiliki masalah, satu pendekatan standar adalah untuk menyatakannya sebagai instance SAT dan mencoba menjalankan solver SAT di atasnya. Pendekatan standar lain adalah untuk menyatakannya sebagai masalah kepuasan kendala, dan coba gunakan pemecah CSP. Keduanya terasa agak mirip dalam masalah seperti apa yang dapat diekspresikan secara alami dalam format …

18 heuristics  sat-solvers  constraint-programming 

Apakah masalah "kehadiran pesta" dapat dipecahkan dalam Prolog? Sebagai contoh: Burdock Muldoon dan Carlotta Pinkstone berkata bahwa mereka akan datang jika Albus Dumbledore datang. Albus Dumbledore dan Daisy Dodderidge keduanya mengatakan mereka akan datang jika Carlotta Pinkstone datang. Albus Dumbledore, Burdock Muldoon, dan Carlotta Pinkstone semua mengatakan mereka akan datang …

18 logic  constraint-programming  prolog  logic-programming 

Pertimbangkan model CSP di mana mengubah nilai variabel tertentu itu mahal. Apakah ada pekerjaan di mana fungsi objektif juga mempertimbangkan jumlah perubahan nilai variabel selama proses pencarian? Contoh: Variabel mahal-untuk-perubahan mungkin ada dalam kendali beberapa agen lain dan ada beberapa biaya tambahan yang melibatkan agen tersebut untuk mengubah variabel. Contoh …

10 algorithms  constraint-programming 

Kepuasan umum (dengan beberapa pengecualian seperti Klausa Tanduk) tidak diyakini memiliki solusi algoritmik. Namun, algoritma berikut tampaknya menjadi solusi untuk kepuasan umum. Apa sebenarnya cacat dengan algoritma berikut? Membiarkan WWW menjadi set kosong yang akan berisi semua variabel yang harus benar atau salah. Membiarkan LLL menjadi seperangkat klausa. Loop melalui …

8 algorithms  logic  satisfiability  constraint-programming 

Kami diberi himpunan dari Fruits. Setiap Buah memiliki harga dan kandungan vitamin ; kami menghubungkan buah dengan pasangan yang dipesan . Sekarang kita harus mengatur buah-buahan ini sedemikian rupa sehingga daftar yang diurutkan berisi harga dalam urutan menaik dan kandungan vitamin dalam urutan menurun.F={f1,f2,f3,…,fN}F={f1,f2,f3,…,fN}F=\{f_1, f_2, f_3, …, f_N\}NNNPiPiP_iViViV_ififif_i(Pi,Vi)(Pi,Vi)(P_i, V_i) Contoh …

8 algorithms  arrays  constraint-programming  subsequences