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

O teorema de Robertson-Seymour diz que qualquer de gráficos de família menos fechada pode ser caracterizado por finitos muitos menores proibidos.GG\mathcal G Existe um algoritmo que para uma entrada gera os menores proibidos ou isso é indecidível?GG\mathcal G Obviamente, a resposta pode depender de como é descrito na entrada. Por …

9 graph-theory  decidability  graph-minor 

Há um belo artigo de 1991 que contém três diagramas sobre famílias de classes gráficas diferentes, mostrando o que se sabe sobre a dureza de determinar o índice cromático para eles. Desde então, há alguma notícia sobre isso? Estou mais interessado no que se sabe sobre gráficos com um número …

9 graph-theory  np-hardness  graph-colouring 

Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Dada uma linguagem regular no alfabeto , seu autômato determinístico mínimo pode ser visto como um gráfico múltiplo direcionado com constante grau externoe um estado inicial marcado (esquecendo rótulos de transições, estados finais). Mantemos o estado inicial porque cada vértice deve ser acessível a partir dele.eueuLUMAUMAA| Um ||UMA||A| O inverso …

9 graph-theory  automata-theory 

Sejam GGG e HHH dois gráficos conectados em rrr de tamanho . Vamos ser o conjunto de permutações P tal que P L P - 1 = H . Se L = H então Um é o conjunto de automorphisms de L .nnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG Qual é o limite superior mais conhecido …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Considere o seguinte problema: Entrada: um gráfico simples (não direcionado) .G=(V,E)G=(V,E)G=(V,E) Pergunta: Existe uma orientação do satisfazendo a propriedade que, para cada s , t ∈ V existe no máximo um (dirigida) s - t caminhada?GGGs,t∈Vs,t∈Vs,t \in Vsssttt Isso pode ser equivalente a: Entrada: um gráfico simples (não direcionado) .G=(V,E)G=(V,E)G=(V,E) …

9 graph-theory  directed-acyclic-graph 

Seja um gráfico que seja a união disjunta de um clique e um conjunto independente, ou seja, GGGG = Kn1 1+ Kn2¯¯¯¯¯¯¯¯= Kn1 1+ In2.G=Kn1 1+Kn2¯=Kn1 1+Eun2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . A classe de gráficos de todos esses gráficos é caracterizada pelos subgráficos induzidos proibidos …

9 reference-request  graph-theory  graph-classes 

Gostaria de saber se o seguinte problema é NP-difícil. Insira: G = ( V, E)G=(V,E)G = (V,E) um gráfico simples e uma coloração f: E→ { 1 , 2 , 3 }f:E→{1 1,2,3}f : E \to \{1,2,3\} das arestas ( fff não verifica nenhuma propriedade específica). Pergunta: é possível particionar …

9 graph-theory  np-hardness 

Seja um gráfico. Um conjunto vértice X ⊆ V é chamado crítico se X ≠ ∅ e nenhum vértice em V ∖ X é adjacente a exatamente um vértice em X . O problema é encontrar um conjunto vértice S ⊆ V de tamanho mínimo de tal modo que S …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

Esta pergunta é dupla e é principalmente orientada a referências: Existe algum lugar onde as principais intuições para provar o teorema menor do gráfico são dadas, sem entrar muito nos detalhes? Sei que a prova é longa e difícil, mas certamente deve haver idéias-chave que possam ser comunicadas de maneira …

9 reference-request  graph-theory  graph-minor 

Estou procurando referências para o seguinte problema: dados inteiros nnn e kkk , enumere todos os gráficos planares não isomórficos em nnn vértices e largura de árvore ≤k≤k\leq k . Eu estou interessado tanto em resultados teóricos e práticos, mas principalmente algoritmos práticos que são possíveis de código e executados …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Houve algumas perguntas ( 1 , 2 , 3 ) sobre a conclusão transitiva aqui que me fizeram pensar se algo como isso é possível: Suponha que obtemos um gráfico direcionado para entrada e gostaríamos de responder a perguntas do tipo " ?", Ou seja, perguntando se existe uma aresta …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Suponha que eu tenha conjuntos com elementos extraídos de possíveis. Cada conjunto é do tamanho ( ), onde os conjuntos podem se sobrepor. Quero determinar se os dois problemas a seguir estão completos ou não com NP:r n n &lt; rPPPrrrnnnn&lt;rn&lt;rn<r Problema A. Existem ( ) conjuntos distintos dentro dos …

9 graph-theory  np-hardness 

Verificar a transitividade de um dígrafo não é mais fácil do que (em termos de complexidade assintótica) fazer o fechamento transitivo do dígrafo? Conhecemos algum limite inferior melhor que para determinar se um dígrafo é transitivo ou não?Ω(n2)Ω(n2)\Omega(n^2)

9 graph-theory  directed-acyclic-graph  transitive-closure 

Quantos ciclos CkCkC_k (k≥3)(k≥3)(k \geq 3) existem em um gráfico de nnn vértices, de modo que o gráfico não possua nenhum ciclo CmCmC_m (m&gt;k)(m&gt;k)(m>k) . Por exemplo n=5n=5n=5 , k=3k=3k=3 , em seguida gráfico terá no máximo dois C3C3C_3 's de modo a que GGG não terá qualquerCk(k&gt;3).Ck(k&gt;3).C_k (k > …

9 graph-theory  graph-algorithms