Conjuntos independentes máximos / máximos


26

Existe algo conhecido sobre a classe de gráficos com a propriedade de que todos os conjuntos independentes máximos têm a mesma cardinalidade e, portanto, são ISs máximos?

Por exemplo, pegue um conjunto de pontos no plano e considere o gráfico de interseções entre todos os segmentos entre pares de pontos no conjunto. (segmentos-> vértices, interseções-> arestas). Este gráfico terá a propriedade acima, pois todos os ISs máximos correspondem a triangulações do conjunto de pontos original. Existem outras categorias de gráficos conhecidas por terem essa propriedade? Esta propriedade pode ser facilmente testada?


7
Há um artigo relacionado aqui ( portal.acm.org/citation.cfm?id=303085 ) que sugere que o problema de determinar isso para um determinado gráfico é co-NP completo e, portanto, caracterizar a propriedade será complicado
Suresh Venkat

Respostas:


26

Esses gráficos são chamados de gráficos bem cobertos . Aqui está um artigo recente sobre o assunto que lista várias referências úteis. Como Suresh mencionou, o problema de reconhecimento é co-NP-completo.

Observe que os conjuntos independentes de um gráfico formam um complexo simplicial abstrato. Complexos simplicais que surgem dessa maneira são chamados de "complexos de independência" ou "complexos de bandeira". Um complexo simplicial é considerado puro se todo simplex máximo tiver a mesma cardinalidade. Portanto, você pode encontrar alguns artigos relevantes pesquisando "complexo de independência pura" ou "complexo de bandeira pura".


Obrigado, é exatamente isso que eu estava procurando. Procurando por "gráficos bem cobertos", encontrei muitas outras referências.
László Kozma

7

A propriedade MAXIMAL = MAXIMUM para conjuntos independentes em gráficos e estruturas combinatórias mais gerais é importante. Será interessante entender gráficos onde esta propriedade se aplica a todos os subgráficos induzidos. Um caso abstrato geral em que temos MAXIMUM = MAXIMAL é quando existe uma estrutura matróide subjacente, mas existem muitos outros casos, como o caso dos gráficos planares máximos mencionados na pergunta. Aqui está um exemplo relacionado: considere n pontos no plano na posição convexa e deixe k ser um número inteiro. Considere gráficos cujos vértices são segmentos de linha entre esses pontos, onde dois vértices são adjacentes se os segmentos de linha não se cruzarem. Dress provou que, para este gráfico, MAXIMIM = MAXIMAL para conjuntos independentes.


6
P3
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.