Nem igazan szerencses, hogy a programot elkuldted a levlistara...
Meg nem tudtam tuzetesebben megnezni, de latom, hogy globalis korlatot
hasznalsz. Nem lehet, hogy megserted azt a fontos alapelvet, hogy a
dispatch_global eljarason belul nem szabad a korlatvaltozokat szukiteni,
vagy behelyettesiteni? (Minden ilyen dolgot az akciolistan keresztul kell
elvegeztetni.)
Peter
2012/1/17 Márta Zsolt <lunardawn(a)gmail.com>
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(a)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(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l