Im Folgenden bezeichnet MSO die monadische Logik zweiter Ordnung von Graphen mit Quantifizierungen für Vertex- und Edge-Sets. Sei eine kleine geschlossene Familie von Graphen. Aus der Graph-Minor-Theorie von Robertson und Seymour folgt, dass durch eine endliche Liste verbotener Minderjähriger...
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...
Nach dem Buch Topological Graph Theory von Gross und Tucker wird bei einer zellulären Einbettung eines Graphen auf einer Oberfläche (mit 'Oberfläche' meine ich hier eine Kugel mit einigen Griffen, und unter bezieht sich auf die Kugel mit genau Griffe) kann ein dualer Multigraph definiert werden,...
Was ist derzeit über die Annäherbarkeit des Gattungsproblems bekannt? Eine vorläufige Suche zeigt mir, dass eine konstante Faktornäherung für ausreichend dichte Graphen trivial ist und ein Approximationsalgorithmus ausgeschlossen wurde. Sind diese Informationen aktuell oder sind bessere Grenzen...
Sei ein Graph, der auf einer orientierbaren kompakten Oberfläche der Gattung g eingebettet ist, so dass die Einbettung zellulär ist. Betrachten Sie das Dual des Graphen G ∗ . Lassen C 1 und C 2 disjunkte Zyklen in seinem G * , die miteinander homotope sind und lassen E 1 und E 2 die entsprechenden...