A prova real da dureza da constante Cheeger de computação (ou expansão de borda) foi fornecida por Kaibel em um relatório técnico por uma redução do problema MAX Cut (consulte o teorema 2). A prova é uma extensão da prova do N P -hardness do problema equicut dada por Garey, Johnson, e na Stockmeyer Alguns problemas gráfico NP-completos simplificados .NPNP
V. Kaibel: Sobre a expansão de gráficos de 0/1-polytopes. Relatório técnico arXiv: math.CO/0112146, 2001
EDIT : O argumento abaixo está incorreto , como apontado por Chekuri, e foi deixado para fins educacionais.
Esta não é uma referência, como você solicitou, mas explica o status folclórico do resultado da dureza.
Aqui está uma ideia da integridade do CoNP de decidir se um gráfico cúbico conectado é um expansor de arestas e, portanto, determinar a constante Cheeger é difícil para o CoNP.h(G)
O problema é mínimo bissecção -CompleteNP para gráficos cúbicos conectados. Aqui, queremos decidir se um gráfico com um número inteiro k pode ser particionado em duas partes de tamanho igual, de modo que o número de arestas cortadas seja menor que k .Gkk
Observe que o complemento desse problema é equivalente a decidir se o gráfico é expansor ou não (todas as partições balanceadas de V têm arestas cortadas mais que k ).GVk
PS Arora neste seminário estados que de -Hard reconhecer α -expander gráfico (borda-expansão). http://www.cs.princeton.edu/~zdvir/apx11slides/arora-slides.pptxCoNPα