制約（概念と応用）

基本的な特徴と種類

制約はいくつかの重なり合う観点から分類できます。ハード制約は厳密に満たさなければならないのに対し、ソフト制約は望ましいが、ある代償を伴って破ることもあります。また、等式制約や不等式制約、線形制約や非線形制約、局所制約（モデルの一部に影響するもの）や大域制約（多くの変数を結び付けるもの）などの形を取ります。力学では制約が自由度を制限し、最適化では実行可能領域を限定し、データベースではデータ整合性を保証します。

数学的・計算的な扱い

数学や工学では、制約は実行可能集合を定義します。つまり、解は制約方程式や不等式を満たさなければなりません。制約付き最適化では、たとえば微積分におけるラグランジュの未定乗数法や、非線形計画法におけるクーン＝タッカー条件が、制約の下での最適解を特徴づけます。コンピュータサイエンスでは、制約充足問題（CSP）や制約プログラミングが、すべての制約を満たす割り当てを探すためにアルゴリズムやソルバーを用い、しばしば伝播、バックトラッキング、ヒューリスティクスを組み合わせます。

歴史と用語

constraint という語は、もともと「縛る」「制限する」という意味を持っています。やがてこれは各分野での専門用語となり、古典力学では制約が運動を決定し、オペレーションズ・リサーチや人工知能では制約推論が計画やスケジューリングの中心的役割を担うようになりました。正確な意味は文脈によって異なりますが、根底には常に「制限」という共通の考えがあります。

応用と例

• 工学設計: 材料強度、寸法、安全基準が実現可能な設計を制約する。
• ロボティクスと運動学: 関節や接触条件が運動に対して運動学的制約を課す。
• 最適化とオペレーションズ・リサーチ: 資源、時間、容量の制約が実行可能な日程や配分を定める。
• データベース: 主キー、外部キー、チェック制約がデータ整合性を保証する。
• ソフトウェア: 型システムやアサーションはプログラムの振る舞いに対する制約として働き、制約プログラミングは問題を宣言的に表現する。

区別と実務上の考慮点

実務では、制約と目的は区別されます。目的は代替案を評価するのに対し、制約はそれらを排除します。制約を扱う際には、完全性と計算可能性の間でしばしばトレードオフが生じます。厳密手法は高コストになり得るため、近似、緩和、ペナルティ法によってハード制約をよりソフトな形に変換することがあります。制約が活動的か、冗長か、あるいは互いに矛盾しているかを理解することは、実問題をモデル化するうえで重要な段階です。