概要：
制約伝播アルゴリズムは、すなわち、制約を得る場合と範囲内のすべての変数は、制約の範囲で満たすように計算されます。アーク、または制約の任意の制約の互換性は、2つの変数についてのみを含む場合には、AC-3アルゴリズムは、すなわちのみバイナリ制約を扱うことができます。
アルゴリズムのステップ：
タプルの1、最初、すべての（円弧）エンキュー
2、デキュー1タプル、固定値、他の変数デキューときを決定
3、可変の可変範囲があることを満たしていない値を除外するように調整
範囲が変更された場合、4を、変数に関連付けられた変数は、すべてのタプルエンキュー
、5キューは、アルゴリズムは終了空の場合
例えば：
1、まず、すべてのタプルとチームに（前にそのようなABおよびBAのようなケースを、転置注文後を含む）は、関連する制約。この時点で、我々はすべてのアークの一貫性を得ることができます。
Bの範囲定数、Aの調整範囲仮定：2、その後、チームの最初のノード（A、B）の動作は
Aの値なぜなら3を、ケース（B、A）をエンキューする必要があり、 Bの値を変更した後が、既に待ち行列内の物質に、変更してもよい
。4、（B）固定された調整Bをデキュー
。5、B調整（B）及び（C、B）は、再され（C、B）が既にキューに、制御していない特徴、エンキュー
。6、（B、C）は、Cを固定デキューとBを調整
した後。7、Bの調整（B）及び（C、B）がなければなりませんチームが、問題に有する
。8、（C、B）はC調整するBを固定デキュー
エンキューする。9、C調整（B、C）、および（C、B）が、しかし問題に有し
、10 （A、B）Aを調整するためにBを固定デキュー
。11、A調整（A、B）、および（B、A）エンキューされる、（B、A）チームに
この、12、（B、C）チーム変化の範囲、無処置の場合
13、（B）デキューケース無変化範囲、良好なプロセス
14は、待ち行列が空でない、レンジ面4、B、C、Dのを取得します
