等しい値 (「同点」) の可能性を無視すると、3 つあります。:= 3 つのアイテムの 6 つの可能な順序。比較が正確に 1 ビットを生成する場合、2 つの比較は 2*2 := 4 の可能な構成のみをエンコードできます。4 < 6. IOW: 2 つの固定比較を使用して 3 つの項目の順序を決定することはできません。
真理値表の使用:
a b c|min|a<b a<c b<c| condition needed using only a<b and a<c
-+-+-+---+---+---+---+------------------
1 2 3| a | 1 1 1 | (ab==1 && ac==1)
1 3 2| a | 1 1 0 | ...
2 1 3| b | 0 1 1 | (ab==0 && ac==1)
3 1 2| b | 0 0 1 | (ab==0 && ac==0) <<--- (*)
2 3 1| c | 1 0 0 | (ab==1 && ac==0)
3 2 1| c | 0 0 0 | (ab==0 && ac==0) <<--- (*)
ご覧のとおり、との比較(*)
のみを使用すると、 でマークされた 2 つのケースを区別できません。(2 つの比較の別のセットを選択すると、(対称性により) もちろん同様に失敗します)。a<b
a<c
しかし残念なことに、2ビットのみを使用して3 つの可能な結果をエンコードできませんでした。(はい、できますが、3 番目の比較が必要になるか、最初の比較の結果に基づいて 2 番目の比較を選択する必要があります)