2006-09-02

2006-09-02

多項式時間での解法が存在することが示されているにも関わらず、それを実際にどうやったらいいか分から...概要を表示 多項式時間での解法が存在することが示されているにも関わらず、それを実際にどうやったらいいか分からない問題がある、という話を聞きました。グラフの一部をくっつけて簡略するマイナーという操作によって閉じているグラフの族に属しているかは、有限個の禁止マイナーのどれかを持つか否かと同値になるそうです。が、非構成的な証明なので対応する禁止マイナーが何かは分からず、結果的に解法の存在は分かっていても、具体的な手続きは分からないのだそうです。 n*m の長方形のタイルがある。 先手後手が交互にタイルを取っていく。最後のタイルを取ったほうが負けである。あるタイルが取られたときにそれ以降それよりも右下にあるタイルは取れない。たとえば、タイルが 5*5 だったとしよう。はじめに左上のタイルのすぐ右下のタイルを取ると、取られていないタイルを■、取れないタイルを□であらわすと ■ ■ ■ ■ ■ ■ □ □ □ □