Perguntas com a marcação «graph-theory»

Um gráfico planar é um gráfico que pode ser incorporado no plano, sem ter arestas de cruzamento. Seja um hipergrafo k -uniforme, isto é, um hipergrafo de modo que todas as suas hiperedições tenham tamanho k.G=(X,E)G=(X,E)G=(X,E)kkk Houve algum trabalho realizado na incorporação de hipergrafos no plano (com o contexto de …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations 

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 …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Considere um gráfico não direcionado conectado com pesos de aresta não negativos e dois vértices distintos s , ts,ts,t . Abaixo estão alguns problemas de caminho com a seguinte forma: encontre um caminho s - ts−ts-t , de modo que alguma função dos pesos das arestas no caminho seja mínima. …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Dado o gráfico G1, G2 e G3, queremos realizar o teste de isomorfismo F entre G1 e G2, bem como G1 e G3. Se G2 e G3 são muito semelhantes, de modo que G3 é formado pela exclusão de um nó e pela inserção de um nó de G2, e …

10 graph-theory  graph-algorithms  graph-isomorphism 

Me deparei com dois exemplos de dureza hipotética de alguns problemas gráficos. Dureza hipotética significa que refutar algumas conjecturas implicaria a completude NP do respectivo problema gráfico. Por exemplo, a conjectura de Barnette afirma que todo gráfico bipartido cúbico planar cúbico de 3 conexões é hamiltoniano. Feder e Subi provaram …

10 cc.complexity-theory  graph-theory  np-hardness 

Existem várias classes interessantes de gráficos com largura de árvore limitada. Por exemplo, árvores (largura da árvore 1), gráficos paralelos em série (largura da árvore 2), gráficos externos (largura da árvore 2), gráficos uterplanares (largura da árvore O (k)), gráficos da largura da ramificação (largura da árvore O (k)), .. …

10 graph-theory  treewidth 

Seja um simples gráfico não direcionado em n vértices e m arestas.G=(V,E)G=(V,E)G=(V,E)nnnmmm Eu estou tentando determinar o tempo de execução esperado de algoritmo de Wilson para a geração de uma árvore geradora aleatória de . Lá, é mostrado O ( τ ) , onde τ é o tempo médio de …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

Seja uma classe hereditária de gráficos. (Hereditária = fechada no que diz respeito a tomar subgráficos induzidas.) Let Q n designar o conjunto de n gráficos -vertex em Q . Digamos que Q contenha quase todos os gráficos, se a fração de todos os gráficos de n- vértices que caem …

10 graph-theory 

Este blog fala sobre a geração de "labirintos tortuosos" usando um computador e enumerando-os. A enumeração pode ser feita usando o algoritmo de Wilson para obter o UST , mas não me lembro da fórmula de quantos existem. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike Em princípio, o Teorema da Árvore Matricial indica que o número …

10 graph-theory  randomized-algorithms  matrices  tree 

A complexidade da prova é uma área mais básica da teoria da complexidade computacional. Um objetivo final dessa área é provar , ou seja, qualquer provador não pode dar uma prova de insatisfação de determinada fórmula de entrada. NP≠coNPNP≠coNPNP\neq coNP Um gráfico é um modelo formal de provas. Minha pergunta …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Cruzado do MO . O isomorfismo do gráfico colorido (aresta) é GI, que preserva as cores (das arestas, se for colorido). Existem várias reduções usando transformações / dispositivos de GI colorido (borda) em GI. Para GI colorido de borda, o mais simples é substituir a borda colorida por um dispositivo …

10 graph-theory  graph-isomorphism  automorphism 

Eu me deparei com um problema aberto colocado por David Eppstein e estou interessado em seu status de complexidade. Ele conjeturou que é NP-completo. Entrada: por matriz de 0 e 1, sequência de 0 e 1nnnnnnn2n2n^2 Pergunta: Existe um caminho através das entradas adjacentes da matriz, cobrindo cada entrada da …

10 cc.complexity-theory  graph-theory 

Existe alguma classe gráfica agradável para a qual a largura da árvore é delimitada por uma função do número de clique ω ( G ) , ou seja, t w ( G ) ≤ f ( ω ( G ) ) ?tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) Por exemplo, é um fato clássico que, …

10 graph-theory  treewidth 

Dado um gráfico direcionado, queremos decidir se ele contém um ciclo direcionado de comprimento uniforme. Este artigo de 1997 de YUSTER e ZWICK afirma que não se sabe que o problema está em nem se sabe que ele está completo como .PPPNPNPNP Existe algum resultado recente que resolva a complexidade …

10 cc.complexity-theory  reference-request  graph-theory 

Uma árvore de abrangência de um gráfico é chamada de árvore de completude se o conjunto de folhas induzir um subgráfico completo no gráfico do host. Dado um gráfico e um número inteiro , qual é a complexidade de decidir se contém uma árvore de completude com no máximo folhas?k …

10 cc.complexity-theory  graph-theory  graph-algorithms