因果圖中的約束

在實際問題中輸入狀態相互之間、輸出狀態相互之間可能存在某些依賴關系，稱為“約束”。對於輸入條件的約束有E、I、O、R四種約束，對於輸出條件的約束只有M約束。

• E約束(互斥)：原因a和原因b中最多有一個可能成立，即a和b不會同時成立。

• I約束(包含)：a、b、c這三個原因中至少有一個必須成立。

• O約束(唯一)：原因a和b有且僅有一個成立。

• R約束(要求)：原因a出現時，原因b也必須出現。

• M約束(強制)：若結果a為1，則結果b強制為0。當a為0，b的值不確定