XORification ist die Technik, um eine Boolesche Funktion oder Formel zu erschweren, indem jede Variable durch das XOR von k ≥ 2 verschiedenen Variablen x 1 ⊕ … ⊕ x k ersetzt wird .
Ich bin mir bewusst, dass diese Technik bei der Komplexität von Beweisen eingesetzt wird, hauptsächlich, um Raumuntergrenzen für auflösungsbasierte Beweissysteme zu erhalten, z. B. in den Abhandlungen:
- Eli Ben-Sasson. Größenkompromisse für die Auflösung. STOC 2002, 457-464.
- Eli Ben-Sasson und Jakob Nordström. Raum in der Beweiskomplexität verstehen: Trennungen und Kompromisse durch Substitutionen. ICS 2011, 401-416.
Gibt es andere Anwendungen dieser Technik in anderen Bereichen?