手法を比較
選択した手法を並べて確認できます。異なる行はハイライト表示されます。
| 制約プログラミング× | 整数計画法× | |
|---|---|---|
| 分野 | 最適化 | 最適化 |
| 系統 | Process / pipeline | Process / pipeline |
| 提唱年≠ | 2006 | 1958 |
| 提唱者≠ | Rossi, van Beek & Walsh | Ralph Gomory (cutting planes, 1958); land-and-doig branch-and-bound (1960) |
| 種類≠ | Declarative combinatorial optimization | Mathematical optimisation — exact combinatorial method |
| 原典≠ | Rossi, F., van Beek, P., & Walsh, T. (Eds.). (2006). Handbook of Constraint Programming. Elsevier. ISBN: 978-0-444-52726-4 | Wolsey, L.A. (1998). Integer Programming. Wiley. ISBN: 9780471283669 |
| 別名≠ | Constraint Satisfaction Programming, Constraint-Based Optimization, Kısıt Programlama, CSP Optimization | IP, MIP, mixed-integer programming, mixed-integer linear programming |
| 関連≠ | 3 | 4 |
| 概要≠ | Constraint Programming (CP) is a declarative optimization paradigm in which a problem is formulated as a set of variables, finite domains, and constraints, and a solver systematically searches for assignments that satisfy all constraints. Formalized comprehensively by Rossi, van Beek, and Walsh in their 2006 Handbook of Constraint Programming, CP unifies propagation-based pruning with intelligent backtracking search to tackle combinatorial problems across scheduling, planning, and configuration domains. | Integer programming (IP), also called mixed-integer programming (MIP) when only some variables are restricted to whole numbers, is a branch of mathematical optimisation in which some or all decision variables must take integer or binary values. Building on linear programming, it was formalised through Ralph Gomory's cutting-plane method (1958) and the Land-and-Doig branch-and-bound algorithm (1960), and it has since become the standard exact framework for scheduling, assignment, routing, and resource-allocation problems. |
| ScholarGateデータセット ↗ |
|
|