17 Jan
2012
17 Jan
'12
10:39 a.m.
Sziasztok!
Egy elég érdekes dolgot vettem észre házi debuggolás közben. Először is az
a furcsa, hogy ha simán meghívom ismeretlen Code-dal a kódot, akkor csak
néhány megoldást ad vissza, de ha a kinézett (tests könyvtárból) megoldás
első pár bábuját behelyettesítve indítom, akkor már kiadja a megfelelő
megoldásokat. Illetve nem teljesen, mert néha - és ez az igazán érdekes -
csak akkor, ha fdbg_on-nal futtatom. Azaz csak akkor működik a program, ha
fdbg_on-t használok, egyébként no-t kapok. Így nem is igazán tudok
debuggolni. Van esetleg erre ötlet?
Üdv,
Zsolt
17 Jan
17 Jan
3:15 p.m.
Ez tényleg furcsa El tudnád küldeni esetleg a programodat és egy olyan
futási szkriptet, amely mutatja a jelenséget?
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. Dávid, mit
gondolsz, lehetséges, hogy ismert hibák okozzák a Zsolt által leírt
jelenséget?
Zsolt, azért mindenképpen küldjed el a programot és a hibát reprodukáló
szkriptet.
Péter
2012/1/17 Márta Zsolt <lunardawn(a)gmail.com>
Sziasztok!
Egy elég érdekes dolgot vettem észre házi debuggolás közben. Először is az
a furcsa, hogy ha simán meghívom ismeretlen Code-dal a kódot, akkor csak
néhány megoldást ad vissza, de ha a kinézett (tests könyvtárból) megoldás
első pár bábuját behelyettesítve indítom, akkor már kiadja a megfelelő
megoldásokat. Illetve nem teljesen, mert néha - és ez az igazán érdekes -
csak akkor, ha fdbg_on-nal futtatom. Azaz csak akkor működik a program, ha
fdbg_on-t használok, egyébként no-t kapok. Így nem is igazán tudok
debuggolni. Van esetleg erre ötlet?
Üdv,
Zsolt
______________________________**_________________
NHLP-l mailing list
NHLP-l(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/**mailman/listinfo/nhlp-l<http://sziami.cs.bme.h…
3:33 p.m.
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.
3:48 p.m.
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
3:55 p.m.
Elnézést, csak gondoltam ebből nem sokan fognak már házit írni, tekintve,
hogy nem is működik rendesen.
Hát szándékosan biztos nem, és szerintem véletlenül sem csinálok ilyet.
Üdv,
Zsolt
On Tue, 17 Jan 2012 16:48:11 +0100, Peter Szeredi <szeredi(a)cs.bme.hu>
wrote:
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
>
7:02 p.m.
Nekem még nem sikerült előrébb jutnom, esetleg van ötlet, hogy mi
okozhatja? Szerintem jó a megoldásom logikája, csak valamiért nem úgy
működik, ahogy azt szeretném.
Viszont szeretném azért leadni a házit :)
Üdv,
Zsolt
On Tue, 17 Jan 2012 16:48:11 +0100, Peter Szeredi <szeredi(a)cs.bme.hu>
wrote:
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
>
18 Jan
18 Jan
7:54 a.m.
2012/1/17 Márta Zsolt <lunardawn(a)gmail.com>
Nekem még nem sikerült előrébb jutnom, esetleg van
ötlet, hogy mi
okozhatja?
Igen, szerintem a globalis korlat nem jo. Kuldok egy nyomkoveteses
szkriptet, nezd vegig az ebben levo dispatch_global hivasokat, hogy az
elvartnak megfelelo modon mukodnek-e. Az l (leap=nagyot lep) nyomkovetesi
parancs a kovetkezo torespontig nem mutatja a nyomkovetest (de epiti a
dobozokat).
Peter
5:06 p.m.
Köszönöm, így legalább tudok debuggolni.
Kijavítottam pár dolgot a kódban, és trace közben ezt találtam:
438 14 Call:
clpfd:dispatch_global(colors([1,7,5,7,6,2],2/2,[2,7,6,_1874,6,_1940]),[1,5,7]-([_1874,6,_1940]-1),_80188,_80189)
? l
+ 440 16 Call:
filter_certains([_1874,6,_1940],[1,5,7],[_1874,6,_1940],1,_80743,_80740,_80741)
? l
+ 451 17 Call:
filter_certains([6,_1940],[1,5,7],[_1874,6,_1940],1,_80743,_80740,_80741) ?
452 18 Call: nonvar(6) ?
452 18 Exit: nonvar(6) ?
453 18 Call: memberchk(6,[1,5,7]) ?
453 18 Fail: memberchk(6,[1,5,7]) ?
454 18 Call: nonvar(6) ?
454 18 Exit: nonvar(6) ?
455 18 Call: select(6,[_1874,6,_1940],_83123) ?
? 455 18 Exit: select(6,[6,6,_1940],[6,_1940]) ?
Tehát a select behelyettesít. Ezt csinálja a selectchk/2 is.
Ez mitől lehet?
Üdv,
Zsolt
On Wed, 18 Jan 2012 08:54:47 +0100, Peter Szeredi <szeredi(a)cs.bme.hu>
wrote:
2012/1/17 Márta Zsolt <lunardawn(a)gmail.com>
Nekem még nem sikerült előrébb jutnom, esetleg
van ötlet, hogy mi
okozhatja?
Igen, szerintem a globalis korlat nem jo. Kuldok egy nyomkoveteses
szkriptet, nezd vegig az ebben levo dispatch_global hivasokat, hogy az
elvartnak megfelelo modon mukodnek-e. Az l (leap=nagyot lep) nyomkovetesi
parancs a kovetkezo torespontig nem mutatja a nyomkovetest (de epiti a
dobozokat).
Peter
5:44 p.m.
Most már működik, köszönöm szépen a segítséget!
Írtam saját select-et.
Üdv,
Zsolt
On Wed, 18 Jan 2012 08:54:47 +0100, Peter Szeredi <szeredi(a)cs.bme.hu>
wrote:
2012/1/17 Márta Zsolt <lunardawn(a)gmail.com>
Nekem még nem sikerült előrébb jutnom, esetleg
van ötlet, hogy mi
okozhatja?
Igen, szerintem a globalis korlat nem jo. Kuldok egy nyomkoveteses
szkriptet, nezd vegig az ebben levo dispatch_global hivasokat, hogy az
elvartnak megfelelo modon mukodnek-e. Az l (leap=nagyot lep) nyomkovetesi
parancs a kovetkezo torespontig nem mutatja a nyomkovetest (de epiti a
dobozokat).
Peter
4565
days inactive
4566
days old
8 comments
2 participants
participants (2)
-
Márta Zsolt -
Peter Szeredi