Problemas gráficos com boa caracterização, mas não conhecidos por


8

Um problema de decisão tem boa caracterização se estiver em . Muitos problemas gráficos naturais têm boas caracterizações. Por exemplo, o Teorema de Kuratuwski fornece uma boa caracterização de gráficos planares. O Teorema de Konig fornece uma boa caracterização de gráficos bipartidos. O Teorema de Tutte fornece uma boa caracterização de gráficos que têm correspondência perfeita. O Teorema de Euler fornece uma boa caracterização dos gráficos eulerianos. Todos esses problemas de reconhecimento têm algoritmos de tempo polinomial.NPcoNP

Existe um problema gráfico natural que tenha boa caracterização, mas que não seja conhecido em ? Um ponteiro para uma pesquisa de tais problemas seria apreciado.P

Respostas:


14

Em um dos meus posts , eu mencionei quatro problemas (factoring, paridade Jogos, Jogos estocásticos, uma treliça problema) que são conhecidos por estar em , mas não conhecidos para a .NPcoNPP

Jogos de paridade e jogos estocásticos podem ser considerados como "problemas gráficos".

Além disso, o problema das duas bicicletas está em . Este é um problema gráfico natural que não é conhecido por ser em .NPcoNPP


Obrigado Shiva pela sua boa resposta. Eu acho que o Two Bicliques é um problema natural de gráfico. Está ciente de uma pesquisa de tais problemas gráficos, especialmente os problemas abertos mais antigos?
Mohammad Al-Turkistany

Infelizmente, não conheço essa pesquisa.
Shiva Kintali

Os jogos de paridade agora podem pelo menos ser resolvidos em um tempo quase-polinomial, veja esta resposta . Talvez não seja tão importante, afinal, que eles não possam ser resolvidos no tempo polinomial. Eles podem ser resolvidos na prática, e é isso que mais importa.
Thomas Klimpel 13/03/19


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.