Pytania otagowane jako topological-graph-theory

1
Niewielkie zamknięte właściwości, które są wyraźnie wyrażalne przez MSO
Poniżej MSO oznacza monadyczną logikę drugiego rzędu grafów z kwantyfikacjami zbioru wierzchołków i zbocza. Niech będzie niewielką zamkniętą rodziną grafów. Z teorii drugorzędnej grafu Robertsona i Seymour wynika, że charakteryzuje się skończoną listą zakazanych nieletnich. Innymi słowy, dla każdego wykresu mamy, że należy do wtedy i tylko wtedy, gdy wyklucza …
3
Zastosowania teorii mnogości, teorii porządkowej, nieskończonej kombinatoryki i ogólnej topologii w informatyce?
Jestem matematykiem zainteresowanym teorią zbiorów, teorią porządkową, nieskończoną kombinatoryką i topologią ogólną. Czy są jakieś zastosowania dla tych przedmiotów w informatyce? Szukałem trochę i znalazłem wiele zastosowań (oczywiście) do teorii grafów skończonych, topologii skończonej, topologii niskowymiarowej, topologii geometrycznej itp. Szukam jednak zastosowań nieskończonych obiektów tych podmiotów, tj. Drzew nieskończonych ( …
1
Znalezienie podwójnego wykresu
Według książki Topological Graph Theory autorstwa Grossa i Tuckera, biorąc pod uwagę komórkowe osadzenie wykresu na powierzchni (przez „powierzchnię” rozumiem tutaj kulę z pewnymi uchwytami , a poniżej odnosi się do kuli o dokładnie uchwyty), można zdefiniować podwójny multigraf, traktując twarze osadzonego wykresu jako wierzchołki i dodając krawędź między dwoma …
1
Czy para rozłącznych cykli homotopowych w podwójnym rozdziela wykres?
Pozwolić solGG być wykresem osadzonym na orientowanej, zwartej powierzchni rodzaju solggtak aby osadzanie było komórkowe. Rozważ podwójność wykresusol∗G∗G^*. Pozwolićdo1C1C_1 i do2)C2C_2 być rozłącznymi cyklami w sol∗G∗G^* które są homotopiczne względem siebie i niech mi1E1E_1 i mi2)E2E_2 być ich odpowiednimi zestawami krawędzi w solGGodpowiednio. JestG ∖ (mi1∪mi2))G∖(E1∪E2)G \setminus (E_1 \cup E_2) …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.