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

Dois gráficos G, H são isomórficos se houver uma remarcação dos vértices de G que produz H e vice-versa. O problema do isomorfismo gráfico (GI) é decidir se dois dados são isomórficos. Além de seu interesse prático, ele foi identificado por Karp em 1972 como tendo complexidade desconhecida, é um dos poucos candidatos naturais restantes para um problema intermediário de NP e levou à criação da classe de complexidade AM.

1
Como citar o novo resultado de isomorfismo gráfico de Babai?
Recentemente, Babai publicou um artigo no STOC 2016, alegando que o isomorfismo do gráfico pode ser resolvido em tempo quase-polinomial. No início de 2017, Babai retirou a reivindicação quase-polinomial devido a alguns erros graves encontrados por Harald Helfgott. Conforme explicado pelo próprio Babai, essa falha torna a melhoria mais modesta …
1
Isomorfismo imperfeito do subgrafo
Considere o seguinte problema: Dado um gráfico de consulta G=(V,E)G=(V,E)G = (V, E) e um gráfico de referência G′=(V′,E′)G′=(V′,E′)G' = (V', E') , queremos encontrar o mapeamento injetivo f:V→V′f:V→V′f : V \rightarrow V' que minimiza o número de arestas (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tal que . Essa é uma generalização …
2
Abordagens de GI inspiradas no problema do nó
GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G IGEuGI Seria particularmente útil saber se existem resultados …
1
Gerando gráficos com automorfismos triviais
Estou revisando algum modelo criptográfico. Para mostrar sua inadequação, desenvolvi um protocolo artificial baseado no isomorfismo gráfico. É "comum" (ainda controverso!) Supor a existência de algoritmos BPP capazes de gerar "instâncias concretas do problema do isomorfismo gráfico". (Juntamente com uma testemunha de isomorfismo.) No meu protocolo artificial, assumirei a existência …
2
Tempo quasipolynomial do Does Babai
Eu tenho uma pergunta (espero que simples, talvez idiota) no artigo de referência de Babai, mostrando que é quase-polinomial.GIGI\mathsf{GI} Babai mostrou como produzir um certificado com dois gráficos para i ∈ { 1 , 2 } são isomórficos, no tempo quase-polinomiais em v = | V i | .Gi=(Vi,Ei)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| Babai …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.