constraint-programming

5Nhiệt

1Trả lời

OptaPlanner có hỗ trợ tối ưu hóa và hạn chế về các biến liên tục không?

Tôi đang đọc những điều mâu thuẫn trong tài liệu. Một mặt, đoạn này dường như chỉ ra rằng các biến kế hoạch liên tục có thể xảy ra: Một loạt giá trị kế hoạch là tập hợp các giá trị kế hoạch có thể cho

6Nhiệt

2Trả lời

Giảm một biểu thức boolean

Tôi gặp một biểu thức, giả sử, a = 1 && (b = 1 || b != 0) && (c >= 35 || d != 5) && (c >= 38 || d = 6) Tôi hy vọng nó sẽ được giảm xuống, a = 1 && b != 0 && (c >= 38 || d = 6) Có ai có bất cứ đề n

16Nhiệt

4Trả lời

Erlang là một ngôn ngữ lập trình Constraint-Logic?

Vì Erlang dựa trên Prolog, điều này có nghĩa là Erlang là một ngôn ngữ Constraint-Logic? Liệu Erlang có khối xây dựng Prolog của: kiện, quy tắc và Query

6Nhiệt

1Trả lời

Lỗi liên kết biểu tượng trùng lặp (trợ giúp C++)

Tôi đang học một số công cụ lý thuyết CSP (hạn chế sự hài lòng) ngay bây giờ và đang sử dụng thư viện this để phân tích các tệp XML. Tôi đang sử dụng Xcode như một IDE. Chương trình của tôi biên dịch

5Nhiệt

1Trả lời

Giải quyết hệ phương trình trong Prolog

Giả sử tôi có số X và tôi muốn giải hệ phương trình, nói Y + Z = X, Z * Y = 1. Bây giờ, giải pháp này có Y = 1/Z và Z = (sqrt (X * X-4) + X)/2 hoặc (X- (sqrt (X * X-4)))/2. Vì vậy, tôi có thể viết tro

8Nhiệt

2Trả lời

Tôi đang tìm kiếm một thuật toán lập kế hoạch quảng cáo vô tuyến/ví dụ/kinh nghiệm

Đã thử thực hiện một số nghiên cứu về những điều sau đây mà không có may mắn. Tôi nghĩ tôi sẽ hỏi ở đây trong trường hợp ai đó đã gặp nó trước đây. Tôi giúp một đài phát thanh tình nguyện chạy với nhu

11Nhiệt

1Trả lời

Bất kỳ thuật toán đa thức giả nào cho bít đa khớp 0-1 bị chặn?

Giả sử rằng có n mặt hàng, ví dụ như tôi , tôi , .... i n, mỗi người trong số họ với một trọng lượng bị chặn gọi w , w ... w n. Ngoài ra còn có một tập hợp các gói ba lô, ví dụ: k , k và k m. Ba lô là

7Nhiệt

4Trả lời

Biến đổi đồ thị bị ràng buộc trong lập lịch trình các ứng dụng

Tôi đang làm việc trên một ứng dụng lập kế hoạch công việc tương tác. Đưa ra một tập hợp các tài nguyên với các hồ sơ khả năng/availabilty tương ứng, một tập hợp các công việc được thực thi trên các t

41Nhiệt

13Trả lời

Trình biên dịch Prolog/Trình biên dịch được nhúng cho Java

Tôi đang làm việc trên một ứng dụng trong Java, cần thực hiện một số khoản khấu trừ quy tắc logic phức tạp như là một phần của chức năng của nó. Tôi muốn mã các khoản khấu trừ logic của mình trong Pro

8Nhiệt

1Trả lời

Ưu điểm của bộ giải quyết SMT trên bộ giải mã CSP trong giải quyết hạn chế là gì?

SMT-Solver có thể được sử dụng để giải quyết ràng buộc. Như chúng ta đã biết, các giải pháp CSP cũng là giải pháp hạn chế trong nhiều năm. Vì vậy, lợi thế của SMT-solver trên CSP giải quyết là gì?