O resultado por Robertson e Seymour demonstra um algoritmo para testar se um gráfico fixo é um menor de . Eu tenho duas perguntas e meia sobre este tópico:G H
1) Parece que houve melhorias nesse algoritmo desde então. Qual é o algoritmo mais conhecido atualmente?
2a) O que as pessoas imaginam ser o limite ideal?
O algoritmo de Mohar para incorporar em uma superfície fixa e o algoritmo de Kawarabayashi para reconhecer gráficos apex decidem a associação de gráficos caracterizáveis por menores proibidos em tempo linear, motivando a última pergunta:
2b) Existe alguma razão para suspeitar que podemos fazer isso em tempo linear?
Obviamente, se alguém já criou um algoritmo de tempo linear, as duas últimas perguntas são tolas. :)