Das Ergebnis von Robertson und Seymour demonstriert einen -Algorithmus zum Testen, ob ein fester Graph G ein kleinerer Teil von H ist . Ich habe zweieinhalb Fragen zu diesem Thema:O(n3)O(n3)O(n^3)GGGHHH 1) Es scheint, dass seitdem Verbesserungen an diesem Algorithmus vorgenommen wurden. Was ist...
Szemeredis Regelmäßigkeits-Lemma besagt, dass jeder dichte Graph als Vereinigung von vielen zweigeteilten Expandergraphen angenähert werden kann . Genauer gesagt gibt es eine Aufteilung der meisten Scheitelpunkte in -Sätze, sodass die meisten Paare von Sätzen zweiteilige Expander bilden (die Anzahl...
Wurde die Komplexität des folgenden Problems untersucht? Eingabe : ein kubischer (oder regelmäßiger) Graph , eine natürliche ObergrenzeG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Frage : Gibt es eine Aufteilung von in Teile der Größe so dass die Summe der Ordnungen der (nicht notwendigerweise...
Normalerweise erstellt man einen Graphen und stellt dann Fragen zur Eigenwertzerlegung der Adjazenzmatrix (oder eines nahen Verwandten wie dem Laplace ) (auch Spektren eines Graphen genannt ). Aber was ist mit dem umgekehrten Problem? Gegeben Eigenwerte kann man (effizient) ein Diagramm finden ,...
Rekonstruktionsvermutung besagt, dass Graphen (mit mindestens drei Scheitelpunkten) eindeutig durch ihre gelöschten Scheitelpunkt-Untergraphen bestimmt werden. Diese Vermutung ist fünf Jahrzehnte alt. In der einschlägigen Literatur habe ich festgestellt, dass die folgenden Klassen von Diagrammen...
Es ist bekannt, dass es NP-vollständig ist, um zu testen, ob ein Hamilton-Zyklus in einem 3-regulären Graphen existiert, auch wenn es planar (Garey, Johnson und Tarjan, SIAM J. Comput. 1976) oder bipartit (Akiyama, Nishizeki, und Saito, J. Inform. Proc. 1980) oder um zu testen, ob ein...
Ein Graph H ist ein Kern, wenn jeder Homomorphismus von H zu sich selbst eine Bijektion ist. Ein Teilgraph von G H ist ein Kern von G , wenn H ein Kern und es gibt einen Homomorphismus von G nach H ist http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Was ist der bekannteste exakte Algorithmus,...
Das Zählen der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen ist sofort auf die Berechnung der bleibenden Karte reduzierbar. Da sich das Finden einer perfekten Übereinstimmung in einem nicht bipartiten Graphen in NP befindet, gibt es eine gewisse Reduktion von nicht bipartiten...
Ich suche unsymmetrische Expander, die "gut" und "platzsparend" sind. Insbesondere ist ein zweigliedriger linksregelmäßiger Graph , | A | = n , | B | = m , mit dem linken Grad d ist ein ( k , ϵ ) -Expander, wenn für jedes S ⊂ A der Größe höchstens k die Anzahl der verschiedenen Nachbarn von S in B...
Wir wissen , dass Maximum Unabhängiges Set (MIS) ist schwer innerhalb eines Faktors von angenähert für jedes ε > 0 , es sei denn P = NP. Für welche speziellen Klassen von Graphen sind bessere Approximationsalgorithmen bekannt?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 Für welche Graphen sind...
Ich versuche herauszufinden, wie nahe und wirklich sind, wenn und eine Konstante ist, die nicht von n abhängt (also ). Meine Schätzung ist, dass whp, aber ich konnte es nicht beweisen.t w ( G )tw(G)tw(G)E[ t w ( G ) ]E[tw(G)]E[tw(G)]G ∈ G ( n , p = c / n )G∈G(n,p=c/n)G \in G(n,p=c/n)c >...
(Ich habe diese Frage vor zwei Wochen bei MathOverflow gepostet , aber bisher ohne strenge Antwort.) Ich habe eine Frage zu Graphenbreitenmaßen ungerichteter einfacher Graphen. Es ist bekannt, dass cographs (Graphen, die durch Operationen der disjunkten Vereinigung und Komplementierung ausgehend...
Beitrag aktualisiert am 31. August : Ich habe eine Zusammenfassung der aktuellen Antworten unterhalb der ursprünglichen Frage hinzugefügt. Danke für all die interessanten Antworten! Natürlich kann jeder weiterhin neue Erkenntnisse veröffentlichen. Für welche Graphenfamilien gibt es einen...
Gegeben ist ein Tag. Sie möchten jeden Knoten so kennzeichnen, wie viele Knoten von ihm aus erreichbar sind. ist eine unbedeutende Obergrenze; ist eine Untergrenze (glaube ich). Gibt es einen besseren Algorithmus? Gibt es Grund zu der Annahme, dass die Untergrenze verbessert werden kann (verwandt:...
Für eine konstante , kann man in linearer Zeit, da ein Eingangs Graph bestimmen G , ob seine Baumweite IS ≤ k . Wenn jedoch sowohl k als auch G als Eingabe angegeben werden, ist das Problem NP-schwer. ( Quelle ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Wenn der Eingabediagramm jedoch planar ist ,...
Es gibt eindeutig eine Reduzierung von CLIQUE auf k-Color, da beide NP-Complete sind. Tatsächlich kann ich einen erstellen, indem ich eine Reduktion von CLIQUE auf 3-SAT mit einer Reduktion von 3-SAT auf k-Color zusammensetze. Ich frage mich, ob es eine vernünftige direkte Reduzierung zwischen...
Wo finde ich Diagramme, die für Probleme im wirklichen Leben relevant sind? Zwei mir bekannte Repositories sind: Sparse Matrix Collection der Universität Florida Bodlaenders TreewidthLib
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Es ist NP-schwer, die Baumbreite zu berechnen. Der bekannteste Näherungsalgorithmus erreicht Faktor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelles Theorem besagt, dass jede Eigenschaft von Graphen, die in der monadischen Logik zweiter...
Bei einer bestimmten von Personen möchte ich sie zu einer Abfolge von Mahlzeiten an Tischen der Größe . (Natürlich gibt es genug Tische, an denen alle zu jeder Mahlzeit Platz haben.) Ich möchte dies so arrangieren, dass niemand zweimal mit derselben Person einen Tisch teilt. Typische Werte sind und...
Ich habe in unzähligen Artikeln gelesen, dass die Bestimmung der Cheeger-Konstante eines Graphen -hard ist. Es scheint ein Volkstheorem zu sein, aber ich habe weder ein Zitat noch einen Beweis für diese Aussage gefunden. Wem soll ich das zuschreiben? In einer alten Arbeit (Isoperimetric Numbers of...