Aproximando o automorfismo não trivial dos grafos?

10

Gráfico automorphism é uma permutação de nodos gráfico que induz uma bijeç~ao sobre o conjunto de arestas . Formalmente, é uma permutação de nós como ifff ( u , v ) E ( f ( u ) , f ( v ) ) EEf(você,v)E(f(você),f(v))E

Defina uma aresta violada para alguma permutação como uma aresta mapeada para não aresta ou uma aresta cuja pré-imagem não seja aresta.

Entrada : Um gráfico não rígidoG(V,E)

Problema : encontre uma permutação (sem identidade) que minimize o número de arestas violadas.

Qual é a complexidade de encontrar uma permutação (sem identidade) com número mínimo de arestas violadas? O problema é difícil para gráficos com o grau máximo limitado (sob alguma hipótese de complexidade)? Por exemplo, é difícil para gráficos cúbicos?k

Motivação: O problema é um relaxamento do problema do automorfismo de grafos (GA). O gráfico de entrada pode ter automorfismo não trivial (por exemplo, gráfico não rígido). Quão difícil é encontrar um automorfismo aproximado (permutação por armário)?

Editar 22 de abril

Um gráfico rígido (assimétrico) possui apenas automorfismo trivial. Um gráfico não rígido possui alguma simetria (limitada) e eu gostaria de entender a complexidade de aproximar sua simetria.

Mohammad Al-Turkistany
fonte
3
O problema é trivial, a permutação de identidade é sempre ideal.
Jukka Suomela 11/10/10
11
@Jukka, No gráfico Problema de automorfismo, buscamos automorfismo não trivial. Da mesma forma, aqui não estou interessado na permutação de identidade.
Mohammad Al-Turkistany
3
Na verdade, estou sugerindo que você possa estar fazendo a pergunta errada ... Talvez ajudasse se você contasse sua motivação ou aplicação.
Jukka Suomela 11/10/10
11
O problema é um relaxamento do problema do automorfismo gráfico (GA). O gráfico de entrada pode ter automorfismo não trivial. Quão difícil é encontrar um automorfismo aproximado (permutação por armário)?
Mohammad Al-Turkistany
11
Não entendo por que você está se limitando a gráficos não rígidos, onde o valor ótimo real é zero. Em gráficos rígidos, o fator de aproximação pode ser mais interessante.
Derrick Stolee

Respostas:

6

Não entendo muito bem a motivação. No entanto, deixe-me fornecer uma resposta para uma pergunta relacionada. Na estrutura de teste de propriedades, você recebe dois gráficos ad H e deseja distinguir dois casos com base no parâmetro ϵ :GHϵ

  1. e H são isomórficosGH
  2. Qualquer bijeção de a H causa erro em pelo menos arestas.GHϵ(n2)

A métrica de complexidade é o número de probes para as matrizes de adjacência e o objetivo é distinguir os dois casos com alta probabilidade usando um número sub-linear de probes.

Eldar Fischer e Arie Matsliah ( obrigado, arnab ) têm um artigo na SODA 2006 sobre precisamente esse problema. Embora ele não se conecte diretamente ao seu problema, pode ser um caminho para uma possível formulação de problemas e pode até fornecer técnicas úteis para você.

Suresh Venkat
fonte
De fato, esse problema também é interessante.
Mohammad Al-Turkistany
Apenas uma correção: esse trabalho é conjunto com Arie Matsliah.
arnab
Se considerarmos que e são o mesmo gráfico, podemos garantir que temos menos de colisões em uma permutação não trivial trocando qualquer par de vértices. Isso é muito menor que . H 2 n ϵ ( nGH2nϵ(n2)
Derrick Stolee
3

Um resultado de Eugene Luks ("O isomorfismo de gráficos de valência limitada pode ser testado em tempo polinomial ") mostra que o isomorfismo (ou automorfismo) de gráfico para gráficos de graus limitados está em tempo polinomial. Portanto, se você está procurando algum quase automorfismo (não-identidade, como Jukka apontou) para gráficos cúbicos que não são rígidos, podemos usar o algoritmo de Luks e pegar qualquer automorfismo não trivial no gráfico.

Ramprasad
fonte
11
Eu dei uma olhada no artigo e meu entendimento é que ele resolve o problema de decisão do GA de grau limitado em tempo polinomial. Minha pergunta é um problema de otimização. Além disso, você não pode excluir gráficos rígidos.
Mohammad Al-Turkistany