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

Imagine que temos dois conjuntos tamanho X , Y ⊂ R n . Qual é a complexidade (tempo) dos testes se eles diferem apenas por rotação? : existe matriz de rotação O O T = O T O = I tal que X = O Y ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Há uma …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Eu quero ser muito específico. Alguém sabe de uma reprovação ou de uma prova da seguinte proposição: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

No famoso exemplo de contador para isomorfismo de grafos através do método Weisfeiler-Lehman (WL), o seguinte dispositivo foi construído neste artigo por Cai, Furer e Immerman. Eles constroem um gráfico dado porXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk= Ak∪ Bk∪ Mk Onde UMAk= { aEu| 1 ≤ i ≤ …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Houve alguns esforços para atacar o problema do isomorfismo de grafos usando a caminhada aleatória quântica de bósons do núcleo duro (simétrica, mas sem ocupação dupla). O poder simétrico da matriz de adjacência, que parecia promissor, mostrou-se incompleto para gráficos gerais neste artigo por Amir Rahnamai Barghi e Ilya Ponomarenko. …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

O problema do isomorfismo inverso semigrupo finito é GI-completo ? Aqui, supõe-se que os semigrupos inversos finitos sejam dados por suas tabelas de multiplicação.

11 cc.complexity-theory  graph-isomorphism 

Estou interessado em estudar problemas completos do isomorfismo em grafos (IG). No artigo "Problemas polinomialmente equivalentes ao isomorfismo dos grafos", de Kellogg S. Booth, (1979), provou que muitos problemas básicos estão completos no GI usando técnicas de substituição de borda, técnicas de composição etc. Eu gostaria de aprender mais algumas …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Parte da dificuldade de descobrir mais sobre esse problema é que o problema de correspondência de gráfico é diferente de seu primo muito mais famoso, o problema de correspondência, mas difícil de ser distinguido quando se usa os mecanismos de pesquisa. Dados dois gráficos e tais que, a tarefa é …

11 reference-request  graph-theory  graph-isomorphism 

Acredita-se amplamente que alguns problemas computacionais, como o isomorfismo de grafos, não possam ser NP-completos porque não possuem estrutura ou redundância suficiente para serem computacionalmente difíceis (NP-hard). Estou interessado nas diferentes noções formais para estrutura de problemas computacionais e medidas de redundância. Quais são os principais resultados conhecidos sobre essas …

11 cc.complexity-theory  graph-isomorphism 

Gostaria de perguntar se já existe um resultado publicado sobre isso: Pegamos todos os caminhos diferentes possíveis entre cada par de nós de dois gráficos regulares conectados (com grau , digamos, e número de nós n ) e anotamos seus comprimentos. Claro que esse número de caminhos distintos é exponencial. …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

Dado qualquer gráfico simples e não direcionado G, não é trivial determinar se G possui automorfismos não triviais (sem identidade). Mas quais são os resultados nos limites superior / inferior deste problema de decisão?

11 cc.complexity-theory  graph-isomorphism  automorphism 

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 

Em http://www.dharwadker.org/tevet/isomorphism/ , há uma apresentação de um algoritmo para determinar se dois gráficos são isomórficos. Dadas várias afirmações "interessantes" de A Dharwadker, não estou inclinado a acreditar. Na minha investigação, acho que o algoritmo definitivamente produzirá a resposta correta e informará que dois gráficos não são isomórficos quando, na …

10 graph-isomorphism 

O problema de isomorfismo gráfico é um dos problemas mais antigos que resistiram à classificação em problemas ou . Temos evidências de que não pode ser completo. Em primeiro lugar, o isomorfismo do gráfico não pode ser completo, a menos que a hierarquia polinomial [1] desmorone para o segundo nível. …

10 cc.complexity-theory  graph-isomorphism 

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