Número de automorfismos de um gráfico para isomorfismo de gráfico

9

Sejam G e H dois gráficos conectados em r 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 .nAPPGP1=HG=HAG

Qual é o limite superior mais conhecido no tamanho de A ?
Existem resultados para classes gráficas específicas (que não contêm gráficos completos / de ciclo)?


Nota: A construção do grupo automorfismo é pelo menos tão difícil (em termos de complexidade computacional) quanto a solução do problema de isomorfismo gráfico. De fato, apenas contar os automorfismos equivale a tempo polinomial ao isomorfismo do gráfico, cf. R. Mathon, "Uma observação no problema de contagem do isomorfismo gráfico".

Jim
fonte

Respostas:

9

Wormald mostrou que, se é um gráfico 3- regular conectado com 2n vértices, o número de automorfismos de G divide 3 n 2 n . Em particular, isso fornece um limite superior exponencial não trivial para o caso 3- regular. Talvez haja resultados nesta linha para gráficos gerais em geral k .G3G3n2n3k

Para um limite inferior, considere a fórmula com n entradas cujos portões são adicionaisFn portas do ventilador-em 2. Em seguida, usando uma resut deToranpode-se construir um k gráfico -Regular L ( F ) com S ( k 2n ) vértices cujo grupo automorphism codifica todas as avaliações possíveis de F . Isso implica que o número de automorfismos de G ( F ) é pelo menos k n . Isso mostra que existe um limite inferior exponencial para o número de automorfismos degráficos k- regulares em função do número de vértices.modkkG(F)O(k2n)FG(F)knk

Mateus de Oliveira Oliveira
fonte
Por favor, considere o gráfico a seguir: 1. gráfico regular e r 2 gráfico regular (nenhum deles está completo ou gráfico de ciclo) são unidos entre si pelo número E de arestas, digamos que este gráfico unido seja um gráfico irregular G 2. cada o vértice do gráfico regular r 1 tem arestas com o gráfico regular r 2 . Não há dois vértices do gráfico regular r 1 , que possuem o mesmo número de arestas com o gráfico regular r 2 . O automorfismo de G pode ser exponencial? r1r2Gr1r2r1r2
Jim
11
sim. O gráfico G2 pode ter um número exponencial de automorfismos. Seja H1 qualquer gráfico regular r1 com n vértices, numerados 1 ... n.Deixe H2 ser um gráfico obtido pelo seguinte processo (dividido em 3 comentários). Seja D o gráfico de diamantes, isto é, um ciclo de 4 com uma aresta conectando dois vértices anteriormente não adjacentes. Diga que esses dois vértices são os vértices internos de D. Os outros dois vértices são os vértices externos de D. Claramente, existe um automorpismo que troca ambos os vértices internos e deixa os vértices externos intocados.
Mateus de Oliveira Oliveira
11
Agora, considere a união disjunta de dois ciclos C1 e C2 com n (n + 1) / 2 vértices numerados de 1 a n (n + 1) / 2. Considere também n (n + 1) / 2 cópias do gráfico diamod. Agora, para cada i, conecte uma das partes externas de D_i ao i-ésimo vértice de C1 e o outro vértice externo ao i-ésimo vértice de C2. Então o gráfico H2 obtido por esse processo é 3-regular e possui um número exponencial de automorfismos, uma vez que os vértices internos de cada D_i podem ser trocados separadamente.
Mateus de Oliveira Oliveira
11
Agora, para cada vértice v_j de H1, adicionamos 2j arestas de v_j aos vértices internos de diamantes, de maneira que ambos os vértices internos de um diamante D_i sejam conectados ao mesmo vértice em H1. Isso garante que os vértices internos do diamante ainda possam ser trocados e, portanto, o número total de automorfismos no gráfico G2 é exponencial.
Mateus de Oliveira Oliveira
É fácil mostrar que um gráfico conectado de ordem e de máxima valência k tem um grupo de automorfismo de ordem no máximo n k ( k - 1 ) n - 2 . Encontre uma ordem dos vértices de forma que, começando com o segundo, cada vértice seja adjacente a pelo menos um vértice que veio antes. Seja G i o subgrupo que fixa os primeiros i vértices. Esta é uma cadeia descendente de subgrupos, com | G : G 1 | n e G n = 1nknk(k1)n2Gii|G:G1|nGn=1. Segue pelo teorema do estabilizador de órbita que e | G i : G i + 1 | k - 1 para i { 2 , , n - 1 } . |G1:G2|k|Gi:Gi+1|k1i{2,,n1}
Verret
5

Se você permitir que os gráficos sejam desconectados, não haverá bons limites superiores em relação ao número de vértices.

Para gráficos regulares faça a união disjunta de l gráficos completos K r + 1 . Então o gráfico tem ( r + 1 ) l vértices e ( r + 1 ) ! l ! automorfismos.rlKr+1(r+1)l(r+1)!l!

tori
fonte