Ao discutir a pergunta que fiz aqui , @NealYoung e eu encontramos outro problema, que é julgar a complexidade do problema abaixo:
Dado um gráfico não direcionado conectado, localize um subconjunto de tamanho máximo das arestas, de modo que todo vértice tenha grau no máximo dois.
Eu encontrei algum artigo sobre a complexidade de problemas relativos. A maioria deles adicionou mais restrições ao original. O FOS03 adicionou "sem ciclos ímpares" e provou que é NP-difícil. CTW07 implicava que a variante adicionada "sem 3 ciclos" é P, referindo-se a outro artigo (que não encontrei). Mas não consegui julgar a complexidade do problema original. Então, como julgar? Obrigado.