2
XORificationの使用
XOR化は、すべての変数を異なる変数のXORで置き換えることにより、ブール関数または式をより難しくする手法です。 K ≥ 2 X 1バツバツxK ≥ 2k≥2k\geq 2バツ1⊕ ··· ⊕ Xkバツ1⊕…⊕バツkx_1 \oplus \ldots \oplus x_k 私は、主に解像度ベースの証明システムの空間の下限を取得するために、たとえば論文の中で、証明の複雑さでこの手法を使用することを知っています。 エリ・ベン・サッソン。解像度とサイズスペースのトレードオフ。STOC 2002、457-464。 エリ・ベン・サッソンとヤコブ・ノードストローム。証明の複雑さにおけるスペースの理解:置換による分離とトレードオフ。ICS 2011、401-416。 他の分野でこの技術の他の用途はありますか?