In Graph Eigenschaft Tests fragt ein Algorithmus eine Zielgraphen für das Vorhandensein oder Fehlen von Kanten und Bedürfnissen zu bestimmen , ob entweder das Ziel eine bestimmte Eigenschaft aufweist oder von mit der Eigenschaft -Far. (Ein Algorithmus kann aufgefordert werden , mit 1-seitig oder 2-sided Fehler erfolgreich zu sein.) Ein Graph ist ε -Far aus einer Eigenschaft, wenn kein Kanten hinzugefügt werden kann / subtrahiert zu machen , habe die Eigenschaft.
Eine Eigenschaft wird als testbar bezeichnet, wenn sie auf die oben angegebene Weise in einer sublinearen Anzahl von Abfragen oder noch besser in einer Anzahl von Abfragen getestet werden kann, die von unabhängig sind (jedoch nicht ). Der Begriff der Eigenschaften kann auch formalisiert werden, sollte aber klar sein.ϵ
Es gibt viele Ergebnisse, die charakterisieren, welche Eigenschaften testbar sind, mit vielen Beispielen für natürliche testbare Eigenschaften. Es sind mir jedoch nicht viele natürliche Eigenschaften bekannt, von denen bekannt ist, dass sie nicht überprüfbar sind (z. B. bei einer konstanten Anzahl von Abfragen). Eine, mit der ich vertraut bin, ist das Überprüfen der Isomorphie für ein bestimmtes Diagramm.
Meine Frage lautet also: Welche natürlichen Grapheneigenschaften sind bekanntermaßen nicht testbar?
Antworten:
Im Adjazenzmatrixmodell gibt es eine Untergrenze von für die Abfragekomplexität beim Testen, ob ein Vertex-Diagramm aus zwei isomorphen Kopien eines Vertex-Diagramms besteht (siehe Einführung zum Testen von Diagrammeigenschaften - Goldreich) für eine Umfrage).n n / 2Ω ( n ) n n/2
Es gibt auch viele Untergrenzen, die für Tester mit einseitigem Fehler von abhängen , z. B .: testing -Clique, -Cut und -Bisection (siehe Eigenschaftstest und sein Zusammenhang mit Lernen und Approximation - Goldreich , Goldwasser, Ron )ρ ρ ρn ρ ρ ρ
Darüber hinaus erfordert das Testen der 3-Färbbarkeit im Graph-Modell mit beschränktem Grad -Abfragen, während das Testen der 2-Färbbarkeit (dh der Zweiparteien-Eigenschaft) erfordert (siehe Testen der Eigenschaften in Graphen mit beschränktem Grad - Goldreich, Ron ).Ω ( √Ω(n) Ω(n−−√)
quelle