非構成的

多項式時間での解法が存在することが示されているにも関わらず、それを実際にどうやったらいいか分からない問題がある、という話を聞きました。グラフの一部をくっつけて簡略するマイナーという操作によって閉じているグラフの族に属しているかは、有限個の禁止マイナーのどれかを持つか否かと同値になるそうです。が、非構成的な証明なので対応する禁止マイナーが何かは分からず、結果的に解法の存在は分かっていても、具体的な手続きは分からないのだそうです。