Tìm kiếm các mẹo, hướng dẫn, sách và các tài nguyên khác để bắt đầu Lập trình Hạn chế.Bắt đầu với Lập trình Hạn chế
Trả lời
Có rất nhiều tài liệu tuyệt vời có sẵn trên web khi bạn nhận được trong rãnh, nhưng các liên kết dưới đây là (IMO) điểm bắt đầu tốt (những cái tôi đã sử dụng).
Programming with Constraints: An Introduction - (Course website)
Programming with Constraints: An Introduction - (Google book)
Online Guide to Constraint Programming
CSP Tutorial (4C Outreach Programme)
Đã thêm một liên kết tôi đã tìm thấy. Hy vọng nó là OK. Tốt hơn là có câu trả lời đúng. – pek
Tôi khuyên bạn nên bắt đầu với mozart. Nó là một ngôn ngữ lập trình hạn chế nguồn mở và trang web có rất nhiều tài liệu hướng dẫn sẽ giúp bạn bắt đầu.
Liên kết này dường như bị hỏng bây giờ. Nó sẽ được cập nhật sớm? –
Có thể bạn có thể xem một ý tưởng giới thiệu course tại Đại học Saarland về lập trình hạn chế. Họ không sử dụng mozart như dr_pepper cho biết nhưng Gecode. Gecode là một ngôn ngữ tiếp theo của mozart, được thực hiện một phần bởi cùng một người.
Gecode thực sự không phải là ngôn ngữ mà là một khung công tác C++. Tuy nhiên, Gecode cũng hỗ trợ MiniZinc, một ngôn ngữ lập trình. – tunnuz
Khóa học trước đã hoàn thành và có các trang trình bày đẹp mắt. Để có kết quả nhanh hơn, hãy xem tổng quan: xem xét các tuts prolog (ngôn ngữ defacto): http://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/index.html#menu – tinmarino
Các handbook of constraint programming cũng đang nghĩ đến.
Trong trivia, my supervisor from fourth year trường đại học (đã được một thời gian trước bây giờ) được tham chiếu ở đó. :)
Nếu bạn là một lập trình viên Java, tôi khuyên bạn nên sử dụng Cream: Class Library for Constraint Programming
Dưới đây là một liên kết đến một trang web khóa học về Constraint Programming.
Trước đó khóa học đã sử dụng Mozart/Oz cho các bài kiểm tra nhưng giờ đây nó đã được thay thế bằng Gecode.
Quy tắc xử lý hạn chế (CHR) là ngôn ngữ để phát triển các giải pháp ràng buộc riêng (vấn đề cụ thể). Kiểm tra này:
Ở đó bạn tìm các liên kết đến
- WebCHR Online Demo (ban đầu được phát triển tại LMU Munich, bây giờ trang hoàng đẹp đẽ tại Uni Ulm)
- Một số triển khai cho Prolog (na turally) và Haskell, cũng như mẫu thử nghiệm (không may) cho Java (JCK).
https://dtai.cs.kuleuven.be/CHR/ – user2023370
Liên kết được cập nhật, cảm ơn! – BenC
Ngoài ra còn có [triển khai CHR cho JavaScript] (http://chrjs.net/). –
Microsoft's Solver Foundation có một số ví dụ dễ hiểu.
tôi đề nghị bạn nhìn xa hơn trong trang web sau đây trên chương trình hạn chế maintaned bởi Håkan Kjellerstrand (aka Hakank) tại Hakank's Homepage
Trong khi liên kết này có thể trả lời câu hỏi, tốt hơn nên bao gồm các phần thiết yếu của câu trả lời ở đây và cung cấp liên kết để tham khảo. Câu trả lời chỉ liên kết có thể trở thành không hợp lệ nếu trang được liên kết thay đổi. –
Câu hỏi đặt ra là yêu cầu tham khảo. Câu trả lời tham chiếu của tôi là một liên kết. Chỉ cần nhìn vào tất cả các câu trả lời khác. Chúng tương tự như của tôi bởi vì câu hỏi là yêu cầu câu trả lời như thế này. –
Đây là Chủ đề ... –
- 1. Bắt đầu lập trình FPGA
- 2. bắt đầu lập trình thẻ thông minh
- 3. cách bắt đầu lập trình mức chip
- 4. Bắt đầu với âm thanh có lập trình
- 5. Lập trình được nhúng ... rất bắt đầu
- 6. cách bắt đầu lập trình mạng nơron
- 7. lập trình viên haskell mới bắt đầu
- 8. Thiết lập nhà phát triển để bắt đầu với lập trình Cocoa/Mac
- 9. Trình giả lập Nexux 10/avd không chạy/bắt đầu
- 10. Bắt buộc ứng dụng Cocoa bắt đầu ở chế độ 32 bit theo chương trình
- 11. Bắt đầu quy trình với thông số
- 12. Erlang: bắt đầu một nút từ xa lập trình
- 13. Làm cách nào để bắt đầu lập trình VOIP?
- 14. Trình giả lập Android không bắt đầu nữa
- 15. Bắt đầu với OpenID
- 16. Hạn chế bộ nhớ quá trình với MaxWorkingSet
- 17. Bắt đầu lập trình hoạt động 'Thêm tài khoản Google' theo cách lập trình trong Android
- 18. Lập trình mạng: Python so với C cho người mới bắt đầu hoàn chỉnh
- 19. TMS320C64x Tham chiếu bắt đầu nhanh cho các lập trình viên
- 20. android: bắt đầu ở chế độ bàn phím biểu tượng nhưng không giới hạn ở đầu vào chỉ số
- 21. Hạn chế lộ trình ASP.NET MVC regex
- 22. số Hạn chế đầu vào JTextField
- 23. Tìm -type f với những hạn chế
- 24. Bắt đầu với Android
- 25. Bất kỳ tài nguyên tốt nào để bắt đầu với lập trình mã vạch?
- 26. Visual Studio 2008 - Chương trình thoát ngay lập tức với F5 (bắt đầu gỡ lỗi)
- 27. Tôi bắt đầu với VBA và lập trình macro trong Word 2007 ở đâu?
- 28. Làm cách nào để bắt đầu với lập trình giao diện phần cứng?
- 29. Tôi bắt đầu với Lập trình hướng khía cạnh ở đâu?
- 30. Bắt đầu tạo chuyển đổi chế độ xem tùy chỉnh
[OptaPlanner tài liệu] (https://docs.optaplanner.org/latestFinal/optaplanner-docs/ html_single /) chứa một lời giải thích về các thuật toán Tìm kiếm Địa phương như Tìm kiếm Tabu, Mô phỏng Annealing và Late Acceptance, cũng như các thuật toán khác như Branch và Bound.Nó cũng giải thích làm thế nào để suy nghĩ về điểm (cứng vs mềm, trọng, tích cực vs tiêu cực, pareto, vv) –