DFSによる全探索