タイルの集合が与えられて、それで平面が覆えるかどうかは非決定問題。