Globale Eigenschaften erblicher Klassen?


15

Eine erbliche Klasse von Strukturen (z. B. Graphen) ist eine, die unter induzierten Unterstrukturen geschlossen ist oder gleichwertig unter Vertex-Entfernung geschlossen ist.

Klassen von Diagrammen, die eine untergeordnete Komponente ausschließen, haben nette Eigenschaften, die nicht von der spezifischen ausgeschlossenen untergeordneten Komponente abhängen. Martin Grohe hat gezeigt, dass es für Graphenklassen ohne Minor einen Polynomalgorithmus für Isomorphie und eine Festpunktlogik mit Zählung gibt, die die Polynomzeit für diese Graphenklassen erfasst. (Grohe, Festkomma-Definierbarkeit und Polynomialzeit in Diagrammen mit ausgeschlossenen Minderjährigen , LICS, 2010.) Diese können als "globale" Eigenschaften betrachtet werden.

Gibt es ähnliche "globale" Eigenschaften für Erbklassen (entweder Diagramme oder allgemeinere Strukturen)?

Es wäre gut zu sehen, dass sich jede Antwort auf nur eine bestimmte Eigenschaft konzentriert.

Antworten:


13

Erbliche Eigenschaften sind im folgenden Sinne sehr "robust".

Noga Alon und Asaf Shapira haben gezeigt, dass für jede erbliche Eigenschaft , wenn ein Graph G mehr als ϵ n 2 Kanten benötigt, um hinzugefügt oder entfernt zu werden, um P zu erfüllen , es einen Teilgraphen in G gibt , der höchstens f P beträgt ( ϵ ) , die P nicht erfüllt . Hier hängt die Funktion f nur von der Eigenschaft P ab (und nicht etwa von der Größe des Graphen G ). Erdős hatte eine solche Vermutung nur über das Eigentum von gemachtPGϵn2PGfP(ϵ)PfPG Färbbarkeit gemacht.k

Tatsächlich beweisen Alon und Shapira die folgenden stärker Tatsache: gegebenen , für jede ε in ( 0 , 1 ) , gibt es N ( ε ) , h ( ε ) und δ ( ε ) , so daß , wenn ein Graph G mindestens N Vertices und benötigt mindestens ϵ n 2 Kanten, die hinzugefügt / entfernt werden, um P zu erfüllen , dann verletzt der induzierte Subgraph für mindestens δ- Bruchteil der induzierten Subgraphen auf h VerticesPϵ(0,1)N(ϵ)h(ϵ)δ(ϵ)GNϵn2Pδh . Wenn also εPϵund die Eigenschaft sind fest, um zu testen, ob ein Eingabegraph P erfüllt oder ϵ- weit von P entfernt ist , muss man nur die Kanten eines zufallsinduzierten Teilgraphen konstanter Größe aus dem Graphen abfragen und prüfen, ob er erfüllt die Eigenschaft oder nicht. Eine solche Tester würde immer Graphen akzeptieren erfüllen P und würde ablehnen Graphen & egr; -Far von ihm mit einer konstanten Wahrscheinlichkeit erfüllt. Darüber hinaus ist jede Eigenschaft, die in diesem Sinne einseitig prüfbar ist, eine erbliche Eigenschaft! Siehe das Papier von Alon und Shapira für Details.PPϵPPϵ


Vor zwei Tagen gab es ein nettes Plenargespräch von Czumaj ( springerlink.com/content/9rw586wx50656412 ) über Grundstückstests. Für weitere Informationen zum Thema gibt es einen Beitrag von Terry Tao ( terrytao.wordpress.com/2007/10/31/… ) oder eine Umfrage von Goldreich ( eccc.uni-trier.de/report/2010/082 ).
RJK

Testbarkeit ist eine großartige globale Eigenschaft. Danke für die nette Zusammenfassung.
András Salamon

8

Das ist vielleicht nicht ganz das, was Sie sich vorgestellt haben, aber es gibt bekannte Einschränkungen, wie viele Graphen auf Eckpunkten in einer erblichen Klasse von Graphen vorhanden sein können. Zum Beispiel gibt es keine erbliche Klasse von Graphen mit Graphen zwischen 2 Ω ( n ) und 2 o ( n log n ) auf n Eckpunkten.n2Ω(n)2Ö(nLogn)n

Literaturhinweis: E. Scheinerman, J. Zito, Über die Größe erblicher Klassen von Graphen, Journal of Combinatorial Theory Series B


Diese Eigenschaften sind sicherlich geeignet: Ich denke, die Menge, auf die Sie sich beziehen, wird als "Geschwindigkeit" bezeichnet.
András Salamon

8

Dies hängt mit Travis 'Antwort zusammen. In der Tat könnte es eine stärkere Version betrachtet werden.

Ein Papier von Bollob \ 'wie und Thomason (Combinatorica, 2000) zeigt , dass in grd \ H {o} sR \' enyi Zufallsgraphen (mit p einige feste Konstante ist ), kann jeder erblichen Eigenschaft durch das, was angenähert werden sie eine grundlegende Eigenschaft aufrufen . Grundlegend bedeutet fast Graphen, deren Scheitelpunktmengen Vereinigungen von r Klassen sind, von denen s Cliquen und r - s unabhängige Mengen überspannen, aber nicht ganz. Diese Näherung wird verwendet, um die Größe eines größten P- Satzes sowie die P- chromatische Zahl von G n p zu charakterisierenGn,pprsrsPPGn,p , wobei eine feste erbliche Eigenschaft ist. Wenn p variieren darf, ist das Verhalten nicht gut verstanden.Pp

Für mehr Hintergrundwissen zu dieser und verwandten Arbeiten gibt es eine Umfrage von Bollob 'as (Proceedings of the ICM 1998), die ebenfalls eine verlockende Vermutung in dieser Richtung liefert, außer für Hypergraphen.

Ich finde die tiefe Verbindung zwischen erblichen Eigenschaften und Szem \ 'eredis Regularity Lemma sehr faszinierend, da es sowohl hier als auch im Alon- und Shapira-Ergebnis verwendet wurde.


Vielen Dank, Ross. Die Verknüpfung, die Sie zwischen erblichen Eigenschaften und dem Regularitäts-Lemma hervorheben, würde einige interessante Fragen aufwerfen.
András Salamon

7

Sureshs Antwort auf die AKR-Vermutung ließ mich über dieselbe Vermutung für erbliche Eigenschaften nachdenken. Ich denke , (es sei denn , ich habe einen Fehler gemacht habe) kann ich zeigen , dass alle nicht-triviale erblichen Eigenschaften haben (randomisiert und deterministisch ) Entscheidungsbaum Komplexität , die die AKR - Vermutung für solche Eigenschaften (bis zu Konstanten) absetzt.Θ(n2)

Ich habe versucht, die Literatur zu durchsuchen, um festzustellen, ob dies irgendwo gezeigt wurde, aber ich konnte keine Referenz finden. Entweder konnte ich es nicht finden, aber es existiert, oder der Satz ist uninteressant, oder ich habe einen Fehler gemacht.

Dies ist also ein weiteres Beispiel für eine globale Eigenschaft aller erblichen Diagrammeigenschaften.


Es würde mich sehr interessieren, einen Entwurf mit Ihren Ergebnissen zu lesen.
András Salamon

Ich werde es Sie wissen lassen, wenn ich dazu komme, es aufzuschreiben. Ich bin auch ziemlich zuversichtlich, dass sich dies aus einigen bekannten unteren Schranken in diesem Bereich ergeben sollte. Leider kenne ich keinen Experten auf diesem Gebiet, den ich fragen kann.
Robin Kothari

6

Ω(nc)c>0


2
Dies ist möglicherweise ein sehr interessantes Beispiel, aber einige ausgezeichnete Theoretiker für strukturelle Graphen, von denen ich weiß, dass sie falsch sind!
RJK

4

Dies ist die "umgekehrte" Richtung, aber die bekannte Aanderaa-Rosenberg-Karp-Vermutung gilt für Diagrammeigenschaften, die nach oben monoton sind (dh wenn G die Eigenschaft erfüllt, gilt dies auch für alle Diagramme auf denselben Knoten, deren Kantenmenge E (G enthält )).


4
Die AKR-Vermutung gilt gleichermaßen für Eigenschaften, die nach unten monoton sind, da das Komplement einer nach oben monotonen Eigenschaft eine nach unten monotone Eigenschaft ist und die Komplexität des Entscheidungsbaums einer Eigenschaft und ihres Komplements gleich ist. Der Begriff der Monotonie in der AKR-Vermutung bezieht sich jedoch auf die Kantenentfernung, wohingegen sich die Frage des OP auf die Monotonie in Bezug auf die Scheitelpunktentfernung bezieht. Diese definieren zwei verschiedene Klassen von Eigenschaften.
Robin Kothari

2
Es könnte interessant sein, eine neue Frage für Klassen mit geschlossener Unterstruktur zu stellen.
András Salamon
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.