Abaixo, o MSO denota a lógica monádica de segunda ordem de gráficos com quantificações de conjuntos de vértices e de arestas. Seja uma pequena família fechada de gráficos. Segue-se da teoria menor do gráfico de Robertson e Seymour que é caracterizada por uma lista finita de menores proibidos. Em...
Sou matemático interessado em teoria dos conjuntos, teoria ordinal, combinatória infinita e topologia geral. Existem aplicações para esses assuntos em ciência da computação? Procurei um pouco e encontrei muitas aplicações (é claro) para teoria de grafos finitos, topologia finita, topologia de...
De acordo com o livro Topological Graph Theory, de Gross e Tucker, dada a incorporação celular de um gráfico em uma superfície (por 'superfície', quero dizer aqui uma esfera com algumas pegas, e abaixo de S n se refere à esfera com exatamente n identificadores), pode-se definir uma multigraph dupla...
O que se sabe atualmente sobre a aproximabilidade do problema de gênero? A pesquisa preliminar me diz que um fator de aproximação constante é trivial para gráficos suficientemente densas, e um nϵnϵn^\epsilon -approximation algoritmo foi descartada. Essas informações estão atualizadas ou existem...
Seja um gráfico incorporado em uma superfície compacta orientável do gênero modo que a incorporação seja celular. Considere o duplo do gráfico . Sejam e ciclos disjuntos em que são homotópicos entre si e que eGGGgggG∗G∗G^*C1C1C_1C2C2C_2G∗G∗G^*E1E1E_1E2E2E_2 sejam seus conjuntos de arestas...