私の大学の講義のスライドでは、n個の頂点を持つ木をn ^(n-2)個の頂点に一致させるアルゴリズムを説明するために、可能な言葉。ここでは、彼らが与える記述があります: (1) i <- 1.
(2) Among all leaves of the current tree let j be the least
one (i.e., its name is the least integer)
Iバイナリ述語の知られており、限られたセットを有する:OR, AND, NOTオペレータと述語を含むA, B, C, ... ルールの大規模なセットを、。すなわち R1 = A AND B
R2 = NOT(C) OR B
R3 = ((A OR B) AND C) OR NOT(C)
すべての述語に対してバイナリ割り当てを取得する場合、ルールの計算を最適化する必要があります。 そのため、