長さK+1のウォークが存在する、って条件で判定しちゃってたんかね
もとの問題で構築可能な場合、一直線のインコパスを作り、どこかのマスでインコ反復横跳びすればいいもんな
でもウォークの判定の方がずっとキツいから違うか？