Referência para uma classe de gráficos que preserva as distâncias do subgráfico quando solicitadas

12

Digamos que um gráfico tenha a propriedade M se seus vértices puderem ser ordenados v 1 , v 2 , v n de maneira que o gráfico H i induzido pelos vértices { v 1 , , v i } tenha d i s t H i ( v j , v k ) = d i s t G ( v j , vGMv1,v2,vnHi{v1,,vi} para todos j , k i . Em outras palavras, adicionar o próximo vértice em nossa ordem não afeta a métrica da distância do gráfico atual.distHi(vj,vk)=distG(vj,vk)j,ki

Um exemplo desse gráfico é a grade n × regular .n×n

Essa propriedade ou classe de gráficos tem um nome? Eles foram estudados?

mich
fonte
Um exemplo simples de um gráfico que não não têm essa propriedade é o -Ciclo para k 5 . Isso ocorre porque, para qualquer pedido, os subgráficos H i devem ser conectados e, portanto, no momento i = k / 2 + 2 < k , H i é uma linha de comprimento i - 1 e, portanto, alguns dois vértices são distância i - 1 > k / 2 ⌋ de distância. kk5Hii=k/2+2<kHii1i1>k/2
Andrew Morgan
Por outro lado, um candidato natural para encontrar uma boa ordem é fazer um BFS a partir de uma escolha arbitrária de v 1 . Ao ver G como a árvore BFS com algumas arestas extras, parece que o único obstáculo para ter propriedade M é para lá para ser algo "como" um k -Ciclo para k 5 em G . Com "like", quero dizer que existe uma k- ciclo v 1 , , v k , v k + 1 = vv1,,vnv1GMkk5Gk com k 5, de modo que d ( v i , v j ) = | i - j | em L . Se chamamos esse ciclo de "mínimo", então é verdade que a propriedade M é equivalente à inexistência de ciclos mínimos de comprimento de pelo menos 5? v1,,vk,vk+1=v1k5d(vi,vj)=|ij|GM
Andrew Morgan
1
Um cubo tem um ciclo induzido e isométrico de 6 (remova dois vértices opostos do cubo; o que resta é o ciclo 6), mas pode ser encomendado de maneira a preservar a distância (por exemplo, BFS). Portanto, suas motos nem sempre são obstáculos. Este exemplo também mostra que a remoção avulsa de vértices que preservam distâncias pode ficar paralisada, mesmo quando alguma outra ordem funciona. k
David Eppstein

Respostas:

8

Eu não tenho uma resposta para toda a sua classe de gráficos, mas três subclasses de gráficos que têm esta propriedade são os gráficos distância-hereditária , grafos cordais e gráficos medianos .

v1

Os gráficos de acordes são aqueles que possuem uma ordem com a propriedade de que cada vértice sucessivo, quando adicionado, possui um clique para seus vizinhos. Essa ordem obviamente preserva a distância.

Da mesma forma, os gráficos medianos (incluindo seu exemplo de grade) têm a propriedade de que, para qualquer pedido de amplitude inicial, cada vértice possui uma vizinhança de hipercubo no momento em que é adicionado. (Veja as páginas 76–77 de Eppstein et al., "Media Theory", Springer, 2008). Novamente, essa propriedade significa que a adição não pode alterar as distâncias entre os vértices anteriores.

Há uma classe de gráficos para a qual eu não conheço um nome, que generaliza tanto os gráficos acordais quanto os hereditários à distância, que podem ser reconhecidos em tempo polinomial e que possuem sua propriedade. Eles são os gráficos conectados que podem ser construídos a partir de um único vértice adicionando vértices um a um, em que os vizinhos de cada novo vértice são um subconjunto de uma das vizinhanças fechadas do gráfico anterior. Eles são quase (mas não exatamente) iguais aos gráficos desmontáveis, a diferença é que o novo vértice não precisa estar adjacente ao vértice cuja vizinhança está sendo copiada. Uma ordem de eliminação de um gráfico acorde é uma construção desse tipo em que cada novo vértice escolhe um subconjunto de cliques de uma vizinhança. Da mesma forma, os gráficos hereditários à distância têm uma construção desse tipo em que os vizinhos de cada novo vértice são uma vizinhança fechada inteira, uma vizinhança aberta ou um único vértice. Cada novo vértice não pode alterar as distâncias dos vértices anteriores, portanto, essa sequência de construção tem a propriedade que você está procurando.

Se você definir um vértice v como "removível", se puder ser o último nesta sequência (ele possui uma vizinhança aberta que é um subconjunto da vizinhança fechada de outra pessoa), a remoção de outros vértices removíveis não altera a removibilidade de v : se vizinhança de v é um subconjunto de u's e removemos u como tendo uma vizinhança que é um subconjunto de w's, então v ainda é removível porque sua vizinhança ainda é um subconjunto de w's. Portanto, as seqüências de etapas de remoção que podemos seguir para fazer um gráfico voltar ao zero, formando um antimatóide, e uma dessas seqüências pode ser encontrada no tempo polinomial por um algoritmo ganancioso que remove repetidamente um vértice removível sempre que ele pode encontrar um. A reversão da saída desse algoritmo fornece a sequência de construção para o gráfico fornecido. O gráfico do cubo fornece um exemplo de gráfico que possui sua propriedade (um gráfico mediano), mas não é construtível dessa maneira. Penso que os gráficos medianos que podem ser construídos dessa maneira são exatamente os gráficos quadráticos (que incluem as grades regulares). Os gráficos que possuem uma sequência de construção desse tipo também incluem todos os gráficos que possuem um vértice universal, como os gráficos de roda , portanto (diferentemente dos gráficos de acordes e dos gráficos hereditários à distância), eles não são perfeitos e não são fechados sob subgráficos induzidos.

David Eppstein
fonte
a propriedade dessa classe de gráficos que você não tem certeza lembra uma ordem de eliminação da dominação. Este artigo parece relevante para a pergunta original: epubs.siam.org/doi/abs/10.1137/…
JimN
Acho que a ordem de eliminação do domínio pode ser a mesma coisa que a possibilidade de exclusão. Mas você deve vincular esse artigo a uma resposta real, porque sua "ordem de eliminação para preservação da distância" parece ser exatamente o que a pergunta original está pedindo.
David Eppstein