Als «graph-theory» getaggte Fragen

Die Graphentheorie ist das Studium von Graphen, mathematischen Strukturen, die zur Modellierung paarweiser Beziehungen zwischen Objekten verwendet werden.

6
Globale Eigenschaften erblicher Klassen?
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 …
3
Subgraph-Isomorphie mit einem Baum
Wenn wir einen großen (gerichteten) Graphen und einen kleineren Stammbaum , welche Komplexität ist am bekanntesten, um zu isomorphe Untergraphen von zu finden ? Mir sind Ergebnisse für Teilbaumisomorphien bekannt, bei denen sowohl als auch Bäume sind und bei denen eben ist oder eine begrenzte Baumbreite (und andere) aufweist, jedoch …
2
Fügen Sie eine Übereinstimmung zu einem Hamilton-Pfad hinzu, um den maximalen Abstand zwischen bestimmten Scheitelpunktpaaren zu verringern
Was ist die Komplexität des folgenden Problems? Eingabe : HHH einHamilton-PfadinKnKnK_n eine Teilmenge von KnotenpaarenR⊆[n]2R⊆[n]2R \subseteq [n]^2 eine positive ganze Zahl kkk Abfrage : Gibt es einen passenden derart , daß für jeden ( v , u ) ∈ R , d G ( v , u ) ≤ k …
1
Ist das Problem mit dem längsten Pfad einfacher als das Problem mit dem längsten Pfad?
Das Problem mit dem längsten Pfad ist NP-schwer. Der (typische?) Beweis beruht auf einer Reduktion des Hamiltonschen Pfadproblems (das NP-vollständig ist). Beachten Sie, dass hier der Pfad als (knoten-) einfach angesehen wird. Das heißt, kein Scheitelpunkt kann mehr als einmal im Pfad auftreten. Offensichtlich ist es also auch kantenschonend (keine …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
2
Ansätze zu GI inspiriert von Knotenproblemen
GI und Knotenproblem sind beide das Problem, die strukturelle Äquivalenz von mathematischen Objekten zu bestimmen. Gibt es irgendwelche Ergebnisse, die Verbindungen zwischen ihnen herstellen? Gute Zusammenhänge des Knotenproblems mit der statistischen Physik wurden über Knotenpolynome untersucht. Gibt es ähnliche Ergebnisse für G ichGichGI ? Es wäre besonders hilfreich zu wissen, …
1
Leitfähigkeit und Durchmesser in regelmäßigen Diagrammen
G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c Genauer gesagt, nehme ich an, dass der Durchmesser mindestens (oder höchstens) D beträgt DDD. Was sagt mir das über das Verhalten, wenn überhaupt? Und umgekehrt nehme ich an, ich weiß, dass die Leitfähigkeit höchstens (oder zumindest) αα\alpha . Was sagt mir das über den …
1
Schlagen Sie ungerade Zyklen
Gibt es etwas über das folgende Problem bekannt? Macht es überhaupt Sinn? Wie heißt es? Entspricht es trivial einem anderen Problem? Was ist die zeitliche Komplexität? Finden Sie bei einem ungerichteten (allgemein / planar / begrenzt / usw.) Graphen G = (V, E) eine maximale Teilmenge von Kanten E ', …
4
Zählung der Anzahl der Scheitelpunktabdeckungen: Wann ist es schwierig?
Man betrachte das # P-vollständige Problem des Zählens der Anzahl der Scheitelpunktabdeckungen eines gegebenen Graphen .G=(V,E)G=(V,E)G = (V, E) Ich würde gerne wissen, ob es ein Ergebnis gibt, das zeigt, wie die Härte eines solchen Problems mit einem Parameter von variiert (zum Beispiel ).GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} Mein Gefühl ist , …
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.