Câu hỏi được gắn thẻ «constraint-programming»

Nếu tôi gặp một vấn đề khó khăn, một cách tiếp cận tiêu chuẩn là diễn đạt nó như một ví dụ SAT và thử chạy một bộ giải SAT trên nó. Một cách tiếp cận tiêu chuẩn khác là diễn đạt nó như một vấn đề thỏa mãn ràng …

18 heuristics  sat-solvers  constraint-programming 

Là loại "tham dự bữa tiệc" có thể giải quyết được trong Prolog không? Ví dụ: Burdock Muldoon và Carlotta Pinkstone đều nói rằng họ sẽ đến nếu Albus Dumbledore đến. Albus Dumbledore và Daisy Dodderidge đều nói rằng họ sẽ đến nếu Carlotta Pinkstone đến. Albus Dumbledore, Burdock Muldoon …

18 logic  constraint-programming  prolog  logic-programming 

Xem xét một mô hình CSP trong đó việc thay đổi giá trị của một biến cụ thể là tốn kém. Có công việc nào mà hàm mục tiêu cũng xem xét số lượng thay đổi trong giá trị của biến trong quá trình tìm kiếm không? Một ví dụ: …

10 algorithms  constraint-programming 

Sự thỏa mãn chung (với một vài ngoại lệ như Điều khoản sừng) không được tin là có một giải pháp thuật toán. Tuy nhiên, thuật toán sau đây dường như là một giải pháp cho sự thỏa mãn chung. Chính xác lỗ hổng với thuật toán sau là gì? …

8 algorithms  logic  satisfiability  constraint-programming 

Chúng tôi được cung cấp một bộ của Fruits. Mỗi loại trái cây có giá và hàm lượng vitamin V_i ; chúng tôi đã liên kết trái cây f_i với cặp được đặt hàng (P_i, V_i) . Bây giờ chúng ta phải sắp xếp các loại trái cây này theo …

8 algorithms  arrays  constraint-programming  subsequences