Ich bin daran interessiert, Clique auf SAT zu reduzieren , ohne die Instanz viel größer zu machen.
Die Clique befindet sich in NP, sodass sie mithilfe des logarithmischen Raums auf SAT reduziert werden kann. Durch die einfache Reduzierung des Garey / Johnson-Lehrbuchs wird die Instanz auf Kubikgröße vergrößert. Allerdings -Clique in P für jeden festen ist so gibt es „sollte“ eine effiziente Reduktion zumindest sein für feste .k k
Eine Möglichkeit, die Reduktion zu erstellen, besteht darin , die SAT-Variablen als charakteristischen Vektor zu verwenden. Eine Variable, die auf true gesetzt ist, zeigt an, dass sich der zugehörige Scheitelpunkt in der Clique befindet. Diese Reduzierung ist natürlich, erzeugt jedoch eine SAT-Instanz mit quadratischer Größe, wenn der Graph dünn ist. Für einen spärlichen Graphen sind quadratisch viele Klauseln erforderlich, um zu erzwingen, dass in jedem Paar nicht benachbarter Scheitelpunkte höchstens ein Scheitelpunkt in der Clique sein darf.
Versuchen wir es besser zu machen als .
Die generische Reduktion von Cook / Schnorr / Pippenger / Fischer funktioniert, indem zuerst ein polynomial zeitgebundener NDTM genommen wird, der die Sprache bestimmt, der NDTM durch einen ahnungslosen DTM simuliert wird, der ahnungslose DTM durch eine Schaltung simuliert wird und dann die Schaltung durch eine 3 simuliert wird -SAT-Instanz. Dies erzeugt eine 3-SAT-Instanz der Größe wenn die NDTM-Zeitgrenze . Der Log-Faktor scheint aufgrund des Overheads bei der Simulation durch eine ahnungslose Maschine unvermeidbar. Für Clique scheint man , was eine 3-SAT-Instanz von ergibt, die für festes quasilinear istt ( n ) k t ( n ) = O ( n k ) O ( n k ( log n + log k ) ). In seiner Arbeit von 1988 fragte Cook, ob es eine bessere generische Reduktion für Sprachen in NP gibt, und soweit ich weiß, ist dies noch offen. Clique hat jedoch viel Struktur, so dass man es in diesem Fall vielleicht besser machen kann.
Gibt es eine bessere Reduktion von Clique zu SAT?
Ist es insbesondere für festes möglich , Clique auf SAT zu reduzieren , während die Zunahme der Instanzgröße linear gehalten wird? Oder kann man ein vorhandenes Ergebnis verwenden, um zu argumentieren, dass dies wahrscheinlich nicht möglich ist? Ich habe versucht, Fortnow / Santhanam und Dell / van Melkebeek zu verwenden, aber der Overhead scheint zu groß zu sein, als dass diese Ergebnisse etwas Bestimmtes implizieren könnten .k
(Ich habe mit einer Reduzierung gearbeitet, die den Log-Faktor zu vermeiden scheint, aber bevor ich mehr Zeit mit den blutigen Details verschwendete, um deren Richtigkeit zu überprüfen, möchte ich wissen, ob eine solche Reduzierung bereits bekannt ist oder ob dies unwahrscheinlich ist existieren.)