@NealYoungと私がここで尋ねた質問について議論しているときに、以下の問題の複雑さを判断するという別の問題が発生しました。
接続された無向グラフを前提として、すべての頂点の次数が最大で2になるようなエッジの最大サイズのサブセットを見つけます。
相対的な問題の複雑さについての論文を見つけました。それらのほとんどは、元の制約にさらに制約を加えました。FOS03は「奇数サイクルなし」を追加し、それがNPハードであることを証明しました。CTW07は、「3サイクルなしで」追加されたバリアントが、別の論文を参照するPであることを示唆していました(私は見つけられませんでした)。しかし、私は元の問題の複雑さを判断できませんでした。それをどうやって判断するのですか?ありがとう。