18 Jun
2009
18 Jun
'09
12:35 p.m.
A jegyzetben a 107. oldalon szerepel a következő példa, amely a #=<
korlát egy megvalósítását mutatja.
% X #=< Y, globális korlátként megvalósítva
lseq(X, Y) :-
fd_global(lseq(X,Y), void, [min(X),max(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(lseq(X,Y), St, St, Actions) :-
dispatch_lseq(X, Y, Actions).
dispatch_lseq(X, Y, Actions) :-
fd_min(X, MinX), fd_max(X, MaxX),
fd_min(Y, MinY), fd_max(Y, MaxY),
( number(MaxX), number(MinY), MaxX =< MinY
-> Actions = [exit]
; Actions = [X in inf..MaxY, Y in MinX..sup]
).
A kérdésem az, szükség van-e itt a MaxX =< MinY feltétel vizsgálatára?
A definíció akkor is működne, ha a dispatch_lseq eljárást egyszerűen
csak úgy definiálnánk, hogy
dispatch_lseq(X, Y, [X in inf..MaxY, Y in MinX..sup]) :-
fd_min(X, MinX), fd_max(Y, MaxY).
Ambrus
18 Jun
18 Jun
1:44 p.m.
New subject: lseq globalis korlat pelda a jegyzetben
Zsbán Ambrus <ambrus(a)math.bme.hu> writes:
A jegyzetben a 107. oldalon szerepel a következõ
példa, amely a #=<
korlát egy megvalósítását mutatja.
% X #=< Y, globális korlátként megvalósítva
lseq(X, Y) :-
fd_global(lseq(X,Y), void, [min(X),max(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(lseq(X,Y), St, St, Actions) :-
dispatch_lseq(X, Y, Actions).
dispatch_lseq(X, Y, Actions) :-
fd_min(X, MinX), fd_max(X, MaxX),
fd_min(Y, MinY), fd_max(Y, MaxY),
( number(MaxX), number(MinY), MaxX =< MinY
-> Actions = [exit]
; Actions = [X in inf..MaxY, Y in MinX..sup]
).
A kérdésem az, szükség van-e itt a MaxX =< MinY feltétel vizsgálatára?
A definíció akkor is mûködne, ha a dispatch_lseq eljárást egyszerûen
csak úgy definiálnánk, hogy
dispatch_lseq(X, Y, [X in inf..MaxY, Y in MinX..sup]) :-
fd_min(X, MinX), fd_max(Y, MaxY).
Ez is mukodik, csak sosem lep ki a korlat. Ez tehat egy memoria-luk
(memory-leak) lenne, amit fontos elkerulni.
-Peter
5:11 p.m.
New subject: lseq globalis korlat pelda a jegyzetben
2009/6/18 Peter Szeredi <szeredi(a)cs.bme.hu>hu>:
Ez is mukodik, csak sosem lep ki a korlat. Ez tehat
egy memoria-luk
(memory-leak) lenne, amit fontos elkerulni.
Ha mindegyik változó ground lesz, akkor amúgy is begyűjtődik a korlát,
mert nincs mire felébrednie. Azt pedig az ébredési feltételek miatt
nem éri el az eredeti program, hogy mindig kilépjen, ha már nincs rá
szükség, mivel min(Y) vagy max(X) változására nem ébred fel:
| ?- assert(clpfd:full_answer).
yes
| ?- X in 1..10, Y in 1..10, lseq(X, Y), X #< 5, 5 #< Y.
user:lseq(X,Y),
X in 1..4,
Y in 6..10 ? ;
no
| ?- X in 1..10, Y in 1..10, lseq(X, Y), X = 5, 5 = Y.
X = 5,
Y = 5 ? ;
no
| ?-
E miatt nem látom, miért lenne ez a részleges vizsgálat jobb kompromisszum.
Ambrus
5:12 p.m.
New subject: Fwd: lseq globalis korlat pelda a jegyzetben
2009/6/18 Peter Szeredi <szeredi(a)cs.bme.hu>hu>:
Ez is mukodik, csak sosem lep ki a korlat. Ez tehat
egy memoria-luk
(memory-leak) lenne, amit fontos elkerulni.
Ha mindegyik változó ground lesz, akkor amúgy is begyűjtődik a korlát,
mert nincs mire felébrednie. Azt pedig az ébredési feltételek miatt
nem éri el az eredeti program, hogy mindig kilépjen, ha már nincs rá
szükség, mivel min(Y) vagy max(X) változására nem ébred fel:
| ?- assert(clpfd:full_answer).
yes
| ?- X in 1..10, Y in 1..10, lseq(X, Y), X #< 5, 5 #< Y.
user:lseq(X,Y),
X in 1..4,
Y in 6..10 ? ;
no
| ?- X in 1..10, Y in 1..10, lseq(X, Y), X = 5, 5 = Y.
X = 5,
Y = 5 ? ;
no
| ?-
E miatt nem látom, miért lenne ez a részleges vizsgálat jobb kompromisszum.
Ambrus
20 Jun
20 Jun
10:13 a.m.
New subject: Fwd: lseq globalis korlat pelda a jegyzetben
Zsbán Ambrus <ambrus(a)math.bme.hu> writes:
2009/6/18 Peter Szeredi <szeredi(a)cs.bme.hu>hu>:
Igen, lehet, hogy rossz kompromisszumot kotottem sajat magammal. A lseq egy
"Moricka" pelda, amin megprobaltam bemutatni a globaliskorlat-iras
csinyjat-binyjat. Ugyanakkor torekedtem arra is, hogy a beepitett #=<
korlathoz is hasonlitson. Most ugy latom, hogy ez utobbi felesleges, tehat
jovore minmax ebredesi feltetellel tervezem elmondani az lseq-t...
-Peter
Ez is mukodik, csak sosem lep ki a korlat. Ez
tehat egy memoria-luk
(memory-leak) lenne, amit fontos elkerulni.
Ha mindegyik változó ground lesz, akkor amúgy is begyûjtõdik a korlát,
mert nincs mire felébrednie. Azt pedig az ébredési feltételek miatt
nem éri el az eredeti program, hogy mindig kilépjen, ha már nincs rá
szükség, mivel min(Y) vagy max(X) változására nem ébred fel:
| ?- assert(clpfd:full_answer).
yes
| ?- X in 1..10, Y in 1..10, lseq(X, Y), X #< 5, 5 #< Y.
user:lseq(X,Y),
X in 1..4,
Y in 6..10 ? ;
no
| ?- X in 1..10, Y in 1..10, lseq(X, Y), X = 5, 5 = Y.
X = 5,
Y = 5 ? ;
no
| ?-
E miatt nem látom, miért lenne ez a részleges vizsgálat jobb kompromisszum.
11:01 a.m.
New subject: Fwd: lseq globalis korlat pelda a jegyzetben
2009/6/20 Peter Szeredi <szeredi(a)cs.bme.hu>hu>:
jovore minmax ebredesi feltetellel tervezem elmondani
az lseq-t...
Igen, de persze nem elég csak az ébredési feltételt módosítani,
ahogyan a 4. kisházi trükkös mintabemenete mutatja.
[am]king ~/a/nlp/tmp$ cat glo-t.pl
% felhasználói korlát példa az NLP jegyzetből
:- use_module(library(clpfd)).
% X #=< Y, globális korlátként megvalósítva
lseq(X, Y) :-
fd_global(lseq(X,Y), void, [minmax(X),minmax(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(lseq(X,Y), St, St, Actions) :-
dispatch_lseq(X, Y, Actions).
dispatch_lseq(X, Y, Actions) :-
fd_min(X, MinX), fd_max(X, MaxX),
fd_min(Y, MinY), fd_max(Y, MaxY),
( number(MaxX), number(MinY), MaxX =< MinY
-> Actions = [exit]
; Actions = [X in inf..MaxY, Y in MinX..sup]
).
[am]king ~/a/nlp/tmp$ rlwrap sicstus
SICStus 3.12.8 (x86_64-linux-glibc2.3): Tue May 8 13:15:39 CEST 2007
Licensed to BUTE NHLP
| ?- ['glo-t'].
% consulting /home/ambrus/a/nlp/tmp/glo-t.pl...
% loading /home/ambrus/local/sicstus/lib/sicstus-3.12.8/library/clpfd.po...
[...]
% loaded /home/ambrus/local/sicstus/lib/sicstus-3.12.8/library/clpfd.po
in module clpfd, 20 msec 915784 bytes
% consulted /home/ambrus/a/nlp/tmp/glo-t.pl in module user, 20 msec 918568 bytes
yes
| ?- assert(clpfd:full_answer).
yes
| ?- X in {3,4,9}, Y in {1,7}, lseq(X, Y).
Y = 7,
user:lseq(X,7),
X in 3..4 ? ;
no
| ?-
[am]king ~/a/nlp/tmp$
Ambrus
21 Jun
21 Jun
8:51 a.m.
New subject: Fwd: lseq globalis korlat pelda a jegyzetben
Zsbán Ambrus <ambrus(a)math.bme.hu> writes:
2009/6/20 Peter Szeredi <szeredi(a)cs.bme.hu>hu>:
Jogos. Ket megoldas lehetseges:
- a kilepesi feltetelt bonyolultabba tenni;
- kikapcsolni az idempotens viselkedest.
Az utobbit mutatja az alabbi futas, amely Ambrusetol csak abban ter el,
hogy az fd_global kapott egy 4. parametert, az [idempotent(false)]
opciolistat.
-Peter
10:09 ~/tmp[48] cat glo-t.pl
% felhasználói korlát példa az NLP jegyzetbõl
:- use_module(library(clpfd)).
% X #=< Y, globális korlátként megvalósítva
lseq(X, Y) :-
fd_global(lseq(X,Y), void, [minmax(X),minmax(Y)],
[idempotent(false)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(lseq(X,Y), St, St, Actions) :-
dispatch_lseq(X, Y, Actions).
dispatch_lseq(X, Y, Actions) :-
fd_min(X, MinX), fd_max(X, MaxX),
fd_min(Y, MinY), fd_max(Y, MaxY),
( number(MaxX), number(MinY), MaxX =< MinY
-> Actions = [exit]
; Actions = [X in inf..MaxY, Y in MinX..sup]
).
10:09 ~/tmp[48] sicstus -l glo-t.pl
% compiling /home/szeredi/tmp/glo-t.pl...
(...)
% compiled /home/szeredi/tmp/glo-t.pl in module user, 120 msec 470300 bytes
SICStus 3.12.2 (x86-linux-glibc2.3): Sun May 29 11:59:09 CEST 2005
Licensed to BUTE DCSIT
| ?- assert(clpfd:full_answer).
yes
| ?- X in {3,4,9}, Y in {1,7}, lseq(X, Y).
Y = 7,
X in 3..4 ? ;
no
| ?-
jovore minmax ebredesi feltetellel tervezem
elmondani az lseq-t...
Igen, de persze nem elég csak az ébredési feltételt módosítani,
ahogyan a 4. kisházi trükkös mintabemenete mutatja.
5787
days inactive
5790
days old
6 comments
2 participants
participants (2)
-
Peter Szeredi -
Zsbán Ambrus