Wie wir wissen, nimmt die Clique-Funktion einen ( überspannenden ) Teilgraphen eines vollständigen Vertex-Graphen und gibt wenn eine Clique enthält . Variablen entsprechen in diesem Fall Kanten von . Es ist bekannt (Razborov, Alon-Boppana), dass diese Funktion für monotone Schaltkreise mit einer Größe von etwa . C L I Q U E ( n , k ) G ⊆ K n n K n 1 G k K n 3 ≤ k ≤ n / 2 n k
Was aber, wenn wir einen festen Graphen und die monotone Boolesche Funktion , die eine Teilmenge von Eckpunkten annimmt und ausgibt, wenn einige Eckpunkte in bilden Clique in . Variablen entsprechen in diesem Fall Scheitelpunkten von , und die Funktion ist nur die Standard-Clique-Funktion, ist jedoch auf die übergreifenden Teilgraphen eines festen Graphen . C L I Q U E ( G , k ) S ≤ [ n ] 1 k S G
1. Gibt es Vertex-Graphen für die monotone Schaltkreise mit einer Größe größer als ? Ich glaube nein. G C L I Q U E ( G , k ) n O ( log n )
2. Ist ein NP-hartes Problem für eine Folge von Graphen ? Ich glaube nein. ( G n : n = 1 , 2 … )
Es ist zu beachten, dass, wenn alle maximale Cliquen in , als eine ODER-Funktion von threshold- berechnet werden kann , deren testet, ob . Wenn also , dann hat die gesamte Schaltung eine polynomische Größe. Aber was ist mit Graphen mit einer exponentiellen Anzahl maximaler Cliquen? (Eine Clique ist maximal, wenn kein Vertex hinzugefügt werden kann.) G C L I Q U E ( G , k ) r k| S a ∩ C i | ≥ k r = p o l y ( n )
Es ist möglich, in für einen bestimmten Graphen auf Eckpunkten "einzubetten" . Insbesondere haben Bollobas und Thomason (1981) gezeigt, dass, wenn ein Hadamard-Graph ist, dessen Eckpunkte Teilmengen von , und zwei Eckpunkte und benachbart sind, wennist gerade, dann enthält eine isomorphe Kopie jedes Graphen auf Eckpunkten. Kann diese Tatsache mit Razborovs Untergrenze (von ungefähr ) für kombiniert werden um daraus zu schließen? C L I Q U E ( H , K ) H n = 2 m[ m ] u v | u ∩ v | H G m m k C L I Q U E ( m , k ) C L I Q U E ( H , k ) erfordert monotone Schaltkreise mit einer Größe von ungefähr ? Ein potentielles Problem hierbei ist, dass, obwohl der Graph alle Vertex-Graphen "enthält" , diese Graphen sich nicht auf derselben Menge von Vertices befinden. Und Razborovs Argument verlangt, dass positive und negative Eingaben ( Klassen und Komplemente vollständiger -Partit-Graphen) Graphen auf derselben Menge von Eckpunkten sind. Außerdem sind alle positiven Eingänge ( Klassen) nur isomorphe Kopien ein und derselben festen Klasse. H ( k - 1 )
3. Irgendwelche Ideen? Hat jemand gesehen, dass solche Probleme in Betracht gezogen werden? Ich meine, Entscheidungsprobleme für Untergraphen eines festen Graphen. Oder sagen wir, das SAT-Problem für Sub-CNFs eines festen (erfüllbaren) CNF (erhalten durch Entfernen einiger Literale)?
Motivation: Probleme dieser Art hängen mit der Komplexität kombinatorischer Optimierungsalgorithmen zusammen. Aber sie scheinen an sich interessant zu sein. Warum sollten wir nach Algorithmen suchen, die für alle Graphen effizient sind ? In der Realität interessieren uns normalerweise die Eigenschaften kleiner Teile eines (großen) Graphen (Straßennetz in einem Land oder Facebook oder ähnliches).
Bemerkung 1: Wenn der Graph ist bipartite , dann der Scheitelpunkt-edge lnzidenzmatrix der Ungleichungen für alle total unimodular und man kann das Cliquenproblem auf induzierten Subgraphen von durch lineare Programmierung lösen . So kann zum bipartite Graphen , hat eine kleine (wenn auch nicht-monotone) -Schaltung. x u + x v ≤ 1 ( u , v ) ∉ E G G C L I Q U E ( G , k )
Bemerkung 2: Ein Hinweis darauf, dass im Fall von zweiteiligen Graphen die Antwort auf Frage 1 "sollte" tatsächlich NEIN lautet, ist, dass das folgende monotone Karchmer-Wigderson-Spiel auf nur Kommunikationsbits benötigt. Lassen die größte Anzahl von Eckpunkten in einem vollständigen bipartiten Subgraphen seine . Alice bekommt eine Menge von roten Knoten, Bob eine Menge von blauen Knoten, so dass . Das Ziel ist es, eine Nichtkante zwischen und .G O ( log n ) k G A B | A | + | B | > k A B