Als «graph-theory» getaggte Fragen

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:...

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....

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....

Ich frage mich, wie man den Umfang eines spärlichen ungerichteten Graphen findet. Mit spärlich meine ich . Mit optimal meine ich die geringste zeitliche Komplexität.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Ich dachte über eine Modifikation von Tarjans Algorithmus für ungerichtete Graphen nach, fand aber...

Die Paley-Graphen P q sind diejenigen, deren Scheitelpunktmenge durch das endliche Feld GF (q) für Primkräfte q≡1 (mod 4) gegeben ist und bei denen zwei Scheitelpunkte genau dann benachbart sind, wenn sie sich für einige um eine 2 unterscheiden a ∈ GF (q). In dem Fall, dass q eine Primzahl ist, ist...

Wir erhalten einen gerichteten azyklischen Graphen mit einer jedem Scheitelpunkt zugeordneten Zahl ( ) und einer Zielzahl .g : V → N T ≤ NG = ( V, E)G=(V,E)G=(V,E)G: V→ NG:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Das DAG-Teilmengen-Summenproblem (möglicherweise unter einem anderen Namen...

Betrachten Sie das folgende Problem. Eingabe: Ein ungerichteter Graph . Ausgabe: Ein Graph H, der ein kleinerer Teil von G mit der höchsten Kantendichte unter allen kleineren Teilen von G ist , dh mit dem höchsten Verhältnis | E ( H ) | / | V ( H ) |

Wie der Titel sagt, was ist die korrekte Definition von Baum? Es gibt mehrere Artikel, die sich mit k- Bäumen und partiellen k- Bäumen als alternative Definitionen für Diagramme mit begrenzter Baumbreite befassen, und ich habe viele scheinbar inkorrekte Definitionen gesehen. Zum Beispiel definiert...

Angenommen, es gibt einen Graphen . Ich möchte testen, ob V in zwei disjunkte Mengen V 1 und V 2 unterteilt werden kann, so dass die durch V 1 und V 2 induzierten Teilgraphen Einheitsintervallgraphen sind.G=(V,E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Ich weiß um die NP-Vollständigkeit bei...

Angenommen, wir haben eine Menge S von Graphen (endliche Graphen, aber eine unendliche Anzahl von Graphen) und eine Gruppe P von Permutationen, die auf S einwirken. Instanz: Eine Permutation p in P. Frage: Gibt es in S einen Graphen g, der den Automorphismus p zulässt? Ist dieses Problem...

Für welche ungerichteten Graphen gibt es alle Tiefensuchbäume (für alle möglichen Startscheitelpunkte und für alle Auswahlmöglichkeiten, nach welchen Nachbarn zuerst gesucht werden soll) gerichtete Pfade? Das heißt, jeder DFS-Baum sollte nur ein Blatt haben, und jeder andere Scheitelpunkt sollte...

Sei eine Klasse von Graphen mit begrenzter Cliquenbreite. In jedem Graphen in einige Kanten kontrahiert (zB zufällig). Ist jetzt die Clique-Breite noch begrenzt?GGGGGGG Für den Fall, dass es (allgemein) nicht mehr beschränkt ist, wäre ich sehr an einem Gegenbeispiel

Ich habe die folgende LP Relaxation von Maximum Independent Set ausprobiert max∑ixichmax∑ichxich\max \sum_i x_i st x ich+ xj≤ 1 ∀ ( i , j ) ∈ E st xich+xj≤1 ∀(ich,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xich≥ 0xich≥0x_i\ge 0 Ich erhalte 1 / 21/21/2 für jede Variable für jeden Kubik...

Ich bin daran interessiert, die Struktur der Klasse von Graphen so zu verstehen, dass es auf vier Eckpunkten keinen vertexinduzierten Subgraphen gibt, der perfekt passt. Anders ausgedrückt für alle vier Eckpunkte a , b , c , d in Wenn und Kanten sind, sollte der Graph mindestens eine Kante mehr auf...

Hintergrund Diese Frage wird durch ein Brettspiel namens "Dracula" motiviert. In diesem Spiel gibt es einen Vampir und vier Jäger. Der Zweck der Jäger ist es, den Vampir zu fangen. Das Spiel findet in Europa statt. Das Spiel sieht folgendermaßen aus: 1. Der Jägerspieler setzt alle Jäger in Städte....

Chong, Han und Lam zeigten, dass mit O ( m + n ) -Prozessoren ungerichtete st-Konnektivität auf dem EREW-PRAM in -Zeit gelöst werden kann .O ( log n )Ö(Logn)O({\log}n)O ( m + n )Ö(m+n)O(m+n) Was ist der bekannteste parallele Algorithmus für die St-Konnektivität in gerichteten planaren Graphen?...

In dieser Arbeit von Kempe-Kleinberg-Tardos schlagen die Autoren einen gierigen Algorithmus vor, der auf submodularen Funktionen basiert, um die einflussreichsten Knoten in einem Graphen mit Anwendungen auf soziale Netzwerke zu bestimmen .kkk Grundsätzlich geht der Algorithmus wie folgt vor: S= e m...

Ich interessiere mich für die Komplexität des Dominating-Set-Problems (DSP) in einigen spezifischen Graphenklassen, die Unterklassen von Akkordgraphen sind . Ein Diagramm ist ein ungerichtetes Pfaddiagramm, wenn es sich um das Scheitelpunkt-Schnittdiagramm einer Pfadfamilie in einem ungerichteten...

Bei einem ebenen Graphen kann man ihn in linearen Zeitübergängen frei in ein Gitter einbetten . Ich bin interessiert , ob irgendwelche effiziente Algorithmen zur geraden Linie einzubetten frei in eine Kreuzung mit einer ebenen Graphen bekannt sind N c × n c Gitter, für einige kleine c , so dass der...

Beim Erweiterbarkeitsproblem erhalten wir einen Teil der Lösung und wir möchten entscheiden, ob wir es zu einer vollständigen Lösung erweitern können. Einige Erweiterbarkeitsprobleme sind effizient lösbar, während andere Erweiterbarkeitsprobleme ein einfaches Problem in ein schweres verwandeln. Zum...