差動制約研究ノート

差動制約条件は、最大値または最小値に分割することができます。

1.最大値を選択：

-f [n]はF形の最大値を求めて[0]、次の式が上限を有していなければならない、我々は<= D（さえJ - >フォームXI-XJをリストする必要iは右側であります側）D方程式を、だけでなく、式の最大値で、我々は上限は確かに最小1つになってしまうので、マップの最短で実行するように構築されています。

2.最小要件：

[N] -f F形の最小値を求めて[0]、次の式が下限を有していなければならない、我々は、フォームXI-XJ> = D（偶数Iをリストする必要 - > jの右側であります - 側）dは方程式、およびので、我々は下界を取ることを表現の最小値は、確かにその1つの最大であるので、それはロードマップの最長を建てたときに、

3、不等式の変換は、所与のトピック

あなたは疑問はありませんが、私たちは彼らの適切な変換を行うことができ、同じような状況に不平等シンボルが発生する可能性があります

（1）式で与えられる：X [N-1] -X [0]> = Tは、に転置することができる：X [0] -X [N-1] <= - T.

（2）式で与えられる：X [N-1] -X [0] <T、X [N-1] -X [0] <= T-1に変換することができます。

（3）式で与えられる：X [N-1] -X [0] = Tは、Xに変換することができる[N-1] -X [0] <= T && X [N-1] -X [0]> = Tは、（1）に形質転換し、使用して