Dureza dos separadores de vértices


11

Para um dado gráfico , o Problema do Separador pergunta se existe um conjunto de vértices ou arestas de pequena cardinalidade (ou peso) cuja remoção particiona G em dois gráficos separados de tamanhos aproximadamente iguais. Isso é chamado de Problema do Separador de Vértices quando o conjunto removido é um conjunto de vértices e o Problema do Separador de Borda quando é um conjunto de arestas. Ambos os problemas são NP-completos para gráficos gerais não ponderados. Qual é a dureza mais conhecida da aproximação do separador de vértices? Um PTAS está descartado? Quais são os resultados de dureza mais conhecidos na configuração direcionada?GG

Correção : Os seguintes links e respostas não me ajudaram porque eu não afirmei minha pergunta corretamente. Minha pergunta está relacionada ao seguinte teorema de Leighton-Rao:

Teorema : Existe um algoritmo de tempo polinomial que, dado um gráfico e um conjunto W V , encontra 2G(V,E)WVSeparador de 3 vérticesSVdeWemGde tamanhoO(w.Logn), em quewé o tamanho mínimo de123SVWGO(w.logn)w separador -vertex deWemL.12WG

Dado um gráfico e um conjunto W V , quero encontrar um separador δ- vertex (onde 1G(V,E)WVδé uma constante) de tamanhow, em quewé o tamanho mínimo de112δ1ww separador -vertex deWemL. Qual é a dureza mais conhecida desse problema? O teorema acima fornece umaaproximaçãoO(logn)para esse problema.12WGO(logn)

|V|/2


1
Percebi que meus comentários anteriores eram desnecessariamente severos. Eu os removi. Deixo apenas links nesses comentários: a versão do vértice e a versão da borda no Compêndio de problemas de otimização do NP.
Tsuyoshi Ito

Também estou interessado nesta questão. Encontrou algo desde então?
Yaroslav Bulatov

@Yaroslav: Não. Infelizmente não consegui encontrar resultados de dureza para este problema em particular.
Shiva Kintali

Respostas:



5

O(logn)O(logn)de Leighton e Rao; eles fizeram isso para o caso de ponta. Agrawal-Charikar-Makarychev-Makarychev usou o resultado para obter um limite semelhante para o corte mais esparso direcionado (se alguém estiver interessado em cortes de bipartição de vértice). Feige-Hajiaghayi-Lee, ao mesmo tempo, obteve uma ligação semelhante novamente via ARV para separadores de vértices (e também apontou que a largura da árvore pode ser aproximada dentro do mesmo fator). Deve-se notar que existe outra noção de corte mais esparso nos gráficos direcionados para os quais Chuzhoy-Khanna mostrou resultados de dureza no caso não uniforme, mas não tenho certeza sobre o caso uniforme. Acho que os resultados de dureza super constante são conhecidos pelo corte (uniforme) mais esparso sob UGC, mas não tenho certeza.

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.