「「ナイト・ツアー」の解をPython 60行でコーディング」記事へのコメント

本家のPerlのChessモジュールを使ったやつが動かない

[t-nissie (8647)]

Perl6じゃないとダメなのかしら

$ cat tour.pl
#!/usr/bin/perl
use Chess;
 
$knight = Chess::Piece::Knight->new();
$board = Chess::Board->new(100, 100, setup => {
                $knight => "a1";
});
 
$knight->tour()->show();
$ perl --version
 
This is perl, v5.8.8 built for darwin-thread-multi-2level
 
$ ./tour.pl
syntax error at ./tour.pl line 7, near "}"
Execution of ./tour.pl aborted due to compilation errors.

prologのやつは動かし方がわかりません

$ gprolog
GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?- [knighttour].
  :
yes
| ?- このあとどうするのでしょう？？？

--
love && peace && free_software
t-nissie

Re:本家のPerlのChessモジュールを使ったやつが動かない

[kr (10950)]

Prolog版は、'<'〜'>'が消えてしまっている気がします。 また、gprologではnot/1を(\+)/1に置き換えると動くようです。

wrapper(Size, [X, Y], Path) :-
        X =< Size, X >= 1,
        Y =< Size, Y >= 1,
        Depth is Size * Size - 1,
        worker(Size, [X, Y], Depth, [], ReversedPath),
        reverse(ReversedPath, Path),
        write(Path), nl.
worker(_, State, 0, CurrentPath, [State|CurrentPath]).
worker(Size, State, Depth, CurrentPath, FinalPath) :-
        DepthM1 is Depth - 1,
        move_generator(Size, State, NewState),
        \+(checker(NewState, CurrentPath)),
        worker(Size, NewState, DepthM1, [State|CurrentPath], FinalPath).
checker(State, [State|_]).
checker(State, [_|StateList]) :-
        checker(State, StateList).
move_generator(Size, [X, Y], [NewX, NewY]) :-
        move(MoveX, MoveY),
        NewX is X + MoveX, NewX =< Size, NewX >= 1,
        NewY is Y + MoveY, NewY =< Size, NewY >= 1.
move(1, 2).
move(2, 1).
move(2, -1).
move(1, -2).
move(-1, -2).
move(-2, -1).
move(-2, 1).
move(-1, 2).

例えば5x5の盤で初期位置[1, 1]から始める場合、

?- wrapper(5, [1,1], _).

で解が表示されます。Returnキーで終了、セミコロン(;)で別解表示(シンメトリ等は考慮しない)です。

Re:本家のPerlのChessモジュールを使ったやつが動かない

[t-nissie (8647)]

おお、いつもありがとうございます。

3x3と4x4には解がないけど5x5にはたくさん解があることがすぐに出せますね。

| ?- wrapper(3,[1,1],_).
 
no
| ?- wrapper(4,[1,1],_).
 
(25 ms) no
| ?- wrapper(5,[1,1],_).
[[1,1],[2,3],[3,5],[5,4],[4,2],[2,1],[3,3],[1,4],[2,2],[4,1],[5,3],[4,5],[2,4],[1,2],[3,1],[5,2],[4,4],[2,5],[1,3],[3,2],[5,1],[4,3],[5,5],[3,4],[1,5]]
 
true ? a

Prologは勉強しようと思ってもいつも「磯野家の家系」どまりなので、
これを機会に、Knight's Tour Puzzleで「始点と終点が一致」の条件を
つけたら解はどれくらい減るのか、をとりあえず目標にいじってみます。

--
love && peace && free_software
t-nissie

Re:

[Anonymous Coward]

$knight => "a1" の後ろの;が余計なんじゃ？動かしてないけど