約束

在數學中，約束是一個最佳化問題的解需要符合的條件。約束可分為等式約束及不等式約束。符合所有約束的解的集合稱為可行集（feasible set）或是候選解（candidate solution）。在分析某些具體的邏輯函數時，經常會遇到這樣一種狀況，即輸入變數的取值不是任意的。對輸入變數取值所加的限制成為約束。