Ich bin Mathematiker und interessiere mich für Mengenlehre, Ordinaltheorie, unendliche Kombinatorik und allgemeine Topologie. Gibt es Bewerbungen für diese Fächer in der Informatik? Ich habe ein bisschen nachgesehen und (natürlich) viele Anwendungen für die Theorie der endlichen Graphen, die...
Ich versuche einige Konzepte über modulare Zerlegung und Clique-Width- Graphen zu verstehen . In diesem Artikel ("On P4-tidy graphs") wird gezeigt, wie Optimierungsprobleme wie Clique-Number oder Chromatic-Number mit Modular Decomposition gelöst werden können. Das Lösen dieser Probleme durch...
Ein verbundener Graph kann in seine zwei verbundenen Komponenten zerlegt werden. Dieser Blockschnittpunktbaum ist einzigartig. In ähnlicher Weise können zweifach verbundene Graphen in dreifach verbundene Komponenten zerlegt werden. Der entsprechende SPQR-Baum beschreibt alle 2-Vertex-Schnitte im...
Definieren Sie für eine planare Einbettung eines planaren Graphen in eine Ebene mit geraden Kanten einen Scheitelpunkt als scharfen Scheitelpunkt, wenn der maximale Winkel zwischen zwei aufeinander folgenden Kanten um ihn herum mehr als 180 beträgt Scheitelpunkt in der Einbettung so, dass alle...
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt...
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...
Wir betrachten DAGs (Directed Acyclic Graphs) mit einem Quellknoten sss und einem Zielknoten ttt ; Es sind parallele Kanten zulässig, die dasselbe Scheitelpunktpaar verbinden. A kkk - Schnitt ist ein Satz von Kanten , deren Entfernung zerstört alle sss - ttt Wege länger als kkk ; kürzere sss - ttt...
Ich überarbeite ein kryptografisches Modell. Um seine Unzulänglichkeit zu demonstrieren, habe ich ein ausgedachtes Protokoll entwickelt, das auf Graphisomorphismus basiert. Es ist "alltäglich" (und doch umstritten!), Die Existenz von BPP-Algorithmen anzunehmen, die "harte Instanzen des...
Ich habe eine Implementierung des Kuhn-Munkres-Algorithmus für das zweigliedrige Problem der perfekten Anpassung mit minimalem Gewicht geschrieben, basierend auf Vorlesungsnotizen, die ich hier und da im Internet gefunden habe. Es funktioniert wirklich gut, auch auf Tausenden von Eckpunkten. Und...
Wir wissen, dass Kargers Mincut-Algorithmus verwendet werden kann, um (auf nicht konstruktive Weise) zu beweisen, dass die maximale Anzahl möglicher Mincuts, die ein Graph haben kann, .( n2)(n2)n \choose 2 Ich habe mich gefragt, ob wir diese Identität irgendwie beweisen können, indem wir einen...
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....
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...
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...
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...
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....
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...
Ich interessiere mich für Graphen auf nnn Eckpunkten, die nach folgendem Verfahren erzeugt werden können. Beginnen Sie mit einem beliebigen Graphen auf k ≤ n Ecken. Beschriften Sie alle Eckpunkte in G als nicht verwendet .GGGk ≤ nk≤nk\le nGGG Erstellen Sie einen neuen Graphen indem Sie einen neuen...
Angenommen, wir verbinden die Punkte von mit der Menge ungerichteter Kanten E , sodass entweder ( i , j ) mit ( i + 1 , j + 1 ) oder ( i + 1 , j ) mit ( i , j + 1 ) , unabhängig und gleichmäßig zufällig für alle i , j .V=Z2V=Z2V = \mathbb{Z}^2EEE(i,j)(i,j)(i, j)(i+1,j+1)(i+1,j+1)(i + 1, j +...
Zugehöriges Problem: Der Satz von Veblen besagt, dass "ein Graph eine Zykluszerlegung nur dann zulässt, wenn sie gerade ist". Die Zyklen sind kantendisjunkt, aber nicht notwendigerweise knotendisjunkt. Anders ausgedrückt: "Die Kantenmenge eines Graphen kann genau dann in Zyklen unterteilt werden,...
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:...