02-12-2021, 05:16 PM
I've tried it with the newest version, and still it's not quite doing what I would have expected. I use the same .lud for "toy model Projex" attached to the first post of this thread. With the current (dummy) winning condition, the mover should win after closing a path of length at most 6 (number of sites). However, this does not happen. If I use the attached trial Projex_conn.trl and evaluate the following ludemes at the end of the trial, all of them yield false:
To check with a "working" game, I tried Icosian. But the result is the same. All of these yield false in the final state of Not_closed.trl:
Funnily, though, Ludii believes to have won, although no Hamiltonian path is constructed. The reason is that the win condition is simply to make as many moves as are necessary to form a Hamiltonian path (20 moves), which is also the maximum number of edges that can be colored. So if it gets "stuck", it can only color a smaller number of edges. But in this case after coloring 19 edges, not closing the path, the AI simply makes a Pass move, and so has made 20 moves - which is counted as a win.
Code:
(is Path Edge P1 length:3 closed:True)
(is Path Edge P1 maxLimit:3 closed:True)
(is Path Edge P1 maxLimit:6 closed:True)
(is Path Edge P1 maxLimit:(count Edges) closed:True)
To check with a "working" game, I tried Icosian. But the result is the same. All of these yield false in the final state of Not_closed.trl:
Code:
(is Path Edge P1 length:19 closed:False)
(is Path Edge P1 length:20 closed:False)
(is Path Edge P1 maxLimit:19 closed:False)
(is Path Edge P1 maxLimit:20 closed:False)
Funnily, though, Ludii believes to have won, although no Hamiltonian path is constructed. The reason is that the win condition is simply to make as many moves as are necessary to form a Hamiltonian path (20 moves), which is also the maximum number of edges that can be colored. So if it gets "stuck", it can only color a smaller number of edges. But in this case after coloring 19 edges, not closing the path, the AI simply makes a Pass move, and so has made 20 moves - which is counted as a win.