A programot csatoltam.
Adott ez a teszteset:
8
3 2 2 1 2 6 0/2
1 7 5 7 6 2 2/2
5 7 3 2 8 2 1/2
8 8 1 2 6 6 1/3
megoldások:
[[1,8,5,6,8,7],[1,8,6,7,8,5],[1,8,7,8,7,2],[2,7,6,8,6,7],[2,7,7,6,6,8],[2,7,7,8,6,8],[2,7,8,6,6,7],[2,7,8,8,6,7],[5,1,6,7,6,8],[5,1,8,7,6,8],[5,6,8,7,6,1],[6,7,8,5,6,1],[6,8,5,7,8,1],[6,8,6,7,7,2],[6,8,8,7,7,2],[7,6,7,8,6,2],[7,8,8,7,1,2],[8,1,8,7,7,2],[8,6,5,7,8,1],[8,6,6,7,7,2],[8,6,8,7,7,2],[8,7,5,6,1,8]].
A futtatás:
| ?- fdbg_off,mmind(8,[[3,2,2,1,2,6]-0/2,[1,7,5,7,6,2]-2/2,[5,7,3,2,8,2]-1/2,[8,8,1,2,6,6]-1/3],Code). % The clp(fd) debugger is switched off
Code = [1,8,6,7,8,5] ? ;
Code = [1,8,7,8,7,2] ? ;
Code = [5,1,6,7,6,8] ? ;
Code = [6,8,5,7,8,1] ? ;
Code = [8,6,5,7,8,1] ? ;
Code = [8,7,5,6,1,8] ? ;
no
| ?- fdbg_off,mmind(8,[[3,2,2,1,2,6]-0/2,[1,7,5,7,6,2]-2/2,[5,7,3,2,8,2]-1/2,[8,8,1,2,6,6]-1/3],[2,7,6,A,B,C]).
no
| ?- fdbg_off,mmind(8,[[3,2,2,1,2,6]-0/2,[1,7,5,7,6,2]-2/2,[5,7,3,2,8,2]-1/2,[8,8,1,2,6,6]-1/3],[2,7,6,8,B,C]).
B = 6,
C = 7 ? ;
no
| ?- fdbg_on,mmind(8,[[3,2,2,1,2,6]-0/2,[1,7,5,7,6,2]-2/2,[5,7,3,2,8,2]-1/2,[8,8,1,2,6,6]-1/3],[2,7,6,A,B,C])
...
A = 5,
B = 6,
C = 8 ? ; % ezt nem tudom miért veszi bele
...
A = 8,
B = 6,
C = 7 ? ;
...
no.
A lényeg, hogy más tesztesetekkel is "furcsán" működik.
On Tue, 17 Jan 2012 16:15:12 +0100, Peter Szeredi <szeredi@cs.bme.hu> wrote:
Egyébként most jut eszembe, hogy az fdbg-vel voltak gondok, készült is egy újabb változat, de az csak a 4.2.1-ben jelenik majd meg.
_______________________________________________
NHLP-l mailing list
NHLP-l@sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l