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 , v 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.
Um exemplo desse gráfico é a grade n × regular .
Essa propriedade ou classe de gráficos tem um nome? Eles foram estudados?
Respostas:
Parece que você está perguntando sobre gráficos admitindo uma ordem de eliminação que preserva a distância, que forma uma classe de gráficos estudados neste artigo:
http://epubs.siam.org/doi/abs/10.1137/S0895480195291230?journalCode=sjdmec
fonte
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 .
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.
fonte