Ezúttal is köszönöm Szeredi Tanár úrnak a határidő meghosszabbítását,
szerencsére már sikerrel vette a programom az akadályt.
A vizsgakészüléshez van egy kérdésem, az indexikálisokkal kapcsolatban
van pár dolog ami nem egészen világos.
A -: klózt mikor használja a CLPFD szűkítésre? Csak akkor, ha
reifikált korlátként, tagadó módban vesszük fel a korlátot, vagy más
esetben is lehet hogy segít a szűkítésben?
(Magyarul, ha nem tervezek egy FD predikátumot reifikálni, akkor
érdemes-e megírni a -: klózt, javulhat vele a program teljesítménye,
vagy felesleges?)
Még a -: klózhoz, egy tartományszűkítő korlátnak meg lehet írni
monotonra a tagadó klózát? Ha pl. a jegyzetben lévő ’x+y=t tsz’(X, Y,
T)-t nézzük, ott ilyen indexikálisok vannak, hogy "X in
dom(T)-dom(Y)". Értelemszerűen ha a predikátum nem igaz, akkor "X in
\(dom(T)-dom(Y))" lenne, de ez meg logikusan antimonoton.
Köszönöm a választ
József Dániel
2009/5/23 <nhlp-l-request(a)cs.bme.hu>:
> Send NHLP-l mailing list submissions to
> nhlp-l(a)sziami.cs.bme.hu
>
> To subscribe or unsubscribe via the World Wide Web, visit
> http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
> or, via email, send a message with subject or body 'help' to
> nhlp-l-request(a)sziami.cs.bme.hu
>
> You can reach the person managing the list at
> nhlp-l-owner(a)sziami.cs.bme.hu
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of NHLP-l digest..."
>
>
> Today's Topics:
>
> 1. Re: Penteki konzultacio: V2. 136-ban (J?zsef D?niel)
> 2. Re: Penteki konzultacio: V2. 136-ban (Peter Szeredi)
> 3. a nagyh?zi tesztesetei az ETS-ben (Makrai M?rton)
> 4. Vizsga el?tt 3 nap (J?zsef D?niel)
> 5. Re: a nagyh?zi tesztesetei az ETS-ben (Makrai M?rton)
> 6. Re: Vizsga el?tt 3 nap (Peter Szeredi)
> 7. Vizsga (Peter Szeredi)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 22 May 2009 14:11:25 +0200
> From: J?zsef D?niel <daniel.jozsef(a)gmail.com>
> Subject: Re: [NHLP-l] Penteki konzultacio: V2. 136-ban
> To: nhlp-l(a)cs.bme.hu
> Message-ID:
> <29f2efff0905220511w19dbc2a6w9fa5ee15014a6341(a)mail.gmail.com>
> Content-Type: text/plain; charset=UTF-8
>
> Tisztelt Tan?r ?r!
>
> Azt tervezem, hogy jelentkezem a keddi vizsg?ra. Szerintem ma fel
> fogok iratkozni a Neptunban.
>
> J?zsef D?niel
>
>>
>> Message: 2
>> Date: 21 May 2009 23:13:13 +0200
>> From: Peter Szeredi <szeredi(a)cs.bme.hu>
>> Subject: [NHLP-l] Penteki konzultacio: V2. 136-ban.
>> To: nhlp-l(a)cs.bme.hu
>> Message-ID: <794overwgm.fsf(a)pnp.cs.bme.hu>
>> Content-Type: text/plain; charset=iso-8859-1
>>
>> Ugy latom, hogy csak egy jelentkezo van a jovo keddi vizsgara, G?rdonyi
>> Laci.
>>
>> Tervezi meg valaki, hogy jelentkezik a keddi vizsgara?
>>
>> Tervezi valaki, hogy jon a holnapi (penteki) konzultaciora?
>> Laci, te jossz?
>>
>> Tekintettel a kis letszamra, a konzultacio helyszine megvaltozott: V2.136.
>>
>> -Peter
>>
>>
>> ------------------------------
>>
>> _______________________________________________
>> NHLP-l mailing list
>> NHLP-l(a)sziami.cs.bme.hu
>> http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
>>
>>
>> End of NHLP-l Digest, Vol 32, Issue 11
>> **************************************
>>
>
>
> ------------------------------
>
> Message: 2
> Date: 22 May 2009 14:13:46 +0200
> From: Peter Szeredi <szeredi(a)cs.bme.hu>
> Subject: Re: [NHLP-l] Penteki konzultacio: V2. 136-ban
> To: "A Nagyhat& #233; konys& #225; g& #250; Logikai
> Programoz& #225; s c. t& #225; rgy list& #225; ja"
> <nhlp-l(a)cs.bme.hu>
> Message-ID: <79pre1tjwl.fsf(a)pnp.cs.bme.hu>
> Content-Type: text/plain; charset=iso-8859-1
>
> J?zsef D?niel <daniel.jozsef(a)gmail.com> writes:
>
>> Tisztelt Tan??r ??r!
>>
>> Azt tervezem, hogy jelentkezem a keddi vizsg??ra. Szerintem ma fel
>> fogok iratkozni a Neptunban.
>>
>> J??zsef D??niel
>
> Koszonom, hogy irtal. Ha a vizsgara keszules kozben gondod tamad, irj
> emailt.
>
> Udv,
>
> Peter
>
>
>
> ------------------------------
>
> Message: 3
> Date: Fri, 22 May 2009 23:15:57 +0200
> From: Makrai M?rton <makraimarton(a)gmail.com>
> Subject: [NHLP-l] a nagyh?zi tesztesetei az ETS-ben
> To: nhlp-l(a)cs.bme.hu
> Message-ID:
> <cd4000490905221415j4a0b18b9m9377b25621b687d7(a)mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-2
>
> Szervusztok!
>
> Azt szeretn?m k?rdezni, hogy a keretprogramban szerepl? tesztesetek
> k?z?l melyik az a 10, amelyiket az ETS haszn?lja (?s milyen
> sorrendben).
> El?re is k?sz?n?m
> Marci
>
>
> ------------------------------
>
> Message: 4
> Date: Fri, 22 May 2009 23:31:47 +0200
> From: J?zsef D?niel <daniel.jozsef(a)gmail.com>
> Subject: [NHLP-l] Vizsga el?tt 3 nap
> To: nhlp-l(a)cs.bme.hu
> Message-ID:
> <29f2efff0905221431q73c14ffdi8f5b0c3c1090c9ac(a)mail.gmail.com>
> Content-Type: text/plain; charset=UTF-8
>
> Tisztelt Tan?r ?r!
>
> Sajnos nem siker?lt a nagyh?zit elfogadhat?an gyorsra csiszolni ma
> ?jf?lig. Az a k?rd?sem, hogy a "vizsga el?tt h?rom nappal" hogyan
> sz?moland? - meddig kell leadjam a h?zit, hogy mehessek kedden
> vizsg?zni? Holnap estig m?g belef?r?
>
> K?sz?nettel
> J?zsef D?niel
>
>
> ------------------------------
>
> Message: 5
> Date: Sat, 23 May 2009 01:36:54 +0200
> From: Makrai M?rton <makraimarton(a)gmail.com>
> Subject: Re: [NHLP-l] a nagyh?zi tesztesetei az ETS-ben
> To: nhlp-l(a)cs.bme.hu
> Message-ID:
> <cd4000490905221636g619083f4sf1178cc333543ccc(a)mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-2
>
> Eln?z?st, csak most vettem ?szre, hogy van readme f?jl.
>
> 2009/5/22 Makrai M?rton <makraimarton(a)gmail.com>:
>> Szervusztok!
>>
>> Azt szeretn?m k?rdezni, hogy a keretprogramban szerepl? tesztesetek
>> k?z?l melyik az a 10, amelyiket az ETS haszn?lja (?s milyen
>> sorrendben).
>> El?re is k?sz?n?m
>> Marci
>>
>
>
> ------------------------------
>
> Message: 6
> Date: 23 May 2009 09:51:20 +0200
> From: Peter Szeredi <szeredi(a)cs.bme.hu>
> Subject: Re: [NHLP-l] Vizsga el?tt 3 nap
> To: "A Nagyhat& #233; konys& #225; g& #250; Logikai
> Programoz& #225; s c. t& #225; rgy list& #225; ja"
> <nhlp-l(a)cs.bme.hu>
> Message-ID: <79bppknton.fsf(a)pnp.cs.bme.hu>
> Content-Type: text/plain; charset=iso-8859-1
>
> J?zsef D?niel <daniel.jozsef(a)gmail.com> writes:
>
>> Sajnos nem siker?lt a nagyh?zit elfogadhat?an gyorsra csiszolni ma
>> ?jf?lig. Az a k?rd?sem, hogy a "vizsga el?tt h?rom nappal" hogyan
>> sz?moland? - meddig kell leadjam a h?zit, hogy mehessek kedden
>> vizsg?zni? Holnap estig m?g belef?r?
>
> Igen. Meghosszabbitottam a hataridot az ETS-ben.
> Ad abszurdum meg az is belefer, hogy csak a vizsga utan fejezed be a
> NHF-t.
>
> Udv,
>
> Peter
>
>
> ------------------------------
>
> Message: 7
> Date: 23 May 2009 11:48:35 +0200
> From: Peter Szeredi <szeredi(a)cs.bme.hu>
> Subject: [NHLP-l] Vizsga
> To: "A Nagyhat& #233; konys& #225; g& #250; Logikai
> Programoz& #225; s c. t& #225; rgy list& #225; ja"
> <nhlp-l(a)cs.bme.hu>
> Message-ID: <79zld4m9os.fsf(a)pnp.cs.bme.hu>
> Content-Type: text/plain; charset=us-ascii
>
> Fontos informaciok a vizsgarol:
>
> - A vizsgan minden irott segedeszkoz hasznalhato!
> Ne felejtsetek el elhozni a kinyomtatott foliamasolatokat, jegyzetet,
> stb.
>
> - Korabbi vizsgafeladatok letolthetok a honlaprol, ezek kozul
> ertelemszeruen elhagyandok a Mercury es CHR nyelvekre vonatkozo
> feladatok.
>
> - Varhato feladatok kozelito pontertekekkel
>
> - CLPFD: indexikalis irasa, felteteles kifejezessel, mondo, kerdezo
> indexikalis, indexikalis jelentese (vo. 3. khf) 20-25 pont
>
> - CLPFD: globalis korlat irasa (vo. 4. khf) 20-25 pont
>
> - CLPFD: reifikaciot igenylo feladat megoldasa (vo. magikus
> sorozatok pelda a foliakon). 20 pont
>
> - egyszeru CLPQ/CLPB programozasi feladatok 2*10 pont
>
> - Pontozas:
>
> vizsga osszpontszama 85 pont
> NHF max 15 pont
> KHF-ek max 8 pont
>
> Osszesen max 108 pont
>
> Jegyek: 85 - jeles
> 70-84 jo,
> 55-69 kozepes
>
> Ha valami nem vilagos, kerdezzetek!
>
> -Peter
>
>
> ------------------------------
>
> _______________________________________________
> NHLP-l mailing list
> NHLP-l(a)sziami.cs.bme.hu
> http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
>
>
> End of NHLP-l Digest, Vol 32, Issue 12
> **************************************
>
Tisztelt Tanár úr!
Sajnos nem sikerült a nagyházit elfogadhatóan gyorsra csiszolni ma
éjfélig. Az a kérdésem, hogy a "vizsga előtt három nappal" hogyan
számolandó - meddig kell leadjam a házit, hogy mehessek kedden
vizsgázni? Holnap estig még belefér?
Köszönettel
József Dániel
Szervusztok!
Azt szeretném kérdezni, hogy a keretprogramban szereplő tesztesetek
közül melyik az a 10, amelyiket az ETS használja (és milyen
sorrendben).
Előre is köszönöm
Marci
Tisztelt Tanár úr!
Azt tervezem, hogy jelentkezem a keddi vizsgára. Szerintem ma fel
fogok iratkozni a Neptunban.
József Dániel
>
> Message: 2
> Date: 21 May 2009 23:13:13 +0200
> From: Peter Szeredi <szeredi(a)cs.bme.hu>
> Subject: [NHLP-l] Penteki konzultacio: V2. 136-ban.
> To: nhlp-l(a)cs.bme.hu
> Message-ID: <794overwgm.fsf(a)pnp.cs.bme.hu>
> Content-Type: text/plain; charset=iso-8859-1
>
> Ugy latom, hogy csak egy jelentkezo van a jovo keddi vizsgara, G?rdonyi
> Laci.
>
> Tervezi meg valaki, hogy jelentkezik a keddi vizsgara?
>
> Tervezi valaki, hogy jon a holnapi (penteki) konzultaciora?
> Laci, te jossz?
>
> Tekintettel a kis letszamra, a konzultacio helyszine megvaltozott: V2.136.
>
> -Peter
>
>
> ------------------------------
>
> _______________________________________________
> NHLP-l mailing list
> NHLP-l(a)sziami.cs.bme.hu
> http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l
>
>
> End of NHLP-l Digest, Vol 32, Issue 11
> **************************************
>
Ugy latom, hogy csak egy jelentkezo van a jovo keddi vizsgara, Gárdonyi
Laci.
Tervezi meg valaki, hogy jelentkezik a keddi vizsgara?
Tervezi valaki, hogy jon a holnapi (penteki) konzultaciora?
Laci, te jossz?
Tekintettel a kis letszamra, a konzultacio helyszine megvaltozott: V2.136.
-Peter
Ket tanacsom van a nagyhazi irasahoz:
1. Erdemes egy egyszeru egyszeru megoldassal kezdeni, amit aztan lehet
csiszolni, de fontos minden egyes "optimalizacio" eseten megnezni, hogy
az nem lassit-e..
2. Az s es w infoknak megfelelo tavolsag-korlatokhoz erdemes egy
tartomany-szukito megoldast talalni.
- Peter
Makrai Márton <makraimarton(a)gmail.com> writes:
> Szervusz!
>
> Köszönöm.
> Most a nagyháziról kérdeznék. Használhatok-e K^6 darab korlátot (tud-e
> ennyit kezelni a rendszer)?
> Marci
Javasolom a globalis korlatok hasznalatat (all_different, all_distinct),
mert egy ilyet egy N = K^2 elemu listara alkalmazva N^2 azaz K^4 darab #\=
korlatot lehet hatekonyan felvenni.
-Peter
Makrai Márton <makraimarton(a)gmail.com> writes:
> A dispatch_global torzse egyetlen hivas. Nem találtam hibát. Megnéznéd?
> Marci
Azert nem latod a nyomkovetesben a kododat, mert nem jut el hozza.
A dispatch_global klozokat ugyanis a clpfd modulba kell tenni (ott keresi a
rendszer), azaz a klozfej ele a clpfd: elotagot kell illeszteni.
Emellett meg egy multifile deklaraciot is illik elhelyezni az elso
dispatch_global ele, mert kulonben figyelmeztetest kapunk (de ha csak egy
file-ban definialunk globalis korlatot, akkor ettol meg mukodokepes marad a
program).
Erdemes a foliakon leirt peldat kovetni...
-Peter
Ui. Remelem nem banod, hogy a listara is elkuldom, a tobbiek okulasara.
Sziasztok!
sicstuc-ban próbálom nyomkövetni a 4. kisházimat, de nem ír ki semmi
érdemit. Az alapértelmezett nyomkövető csak azt írja, hogy
1 1 Call: max_lt([_994,_1014,_1034],_1059) ?
2 2 Call: doms([_994,_1014,_1034],_1729) ? s
2 2 Exit:
doms([_994,_1014,_1034],[dom(_994),dom(_1014),dom(_1034)]) ?
3 2 Call:
fd_global(user:max_lt([_994,_1014,_1034],_1059),void,[dom(_994),dom(_1014),dom(_1034)])
?
4 3 Fail:
clpfd:dispatch_global_fast(max_lt([_3643,_3677,_3711],_1059),void,_3720,_3721,global('$mutable'(void,0),max_lt([_3643,_3677,_3711],_1059),'$mutable'(11,0),_3612,user:max_lt([_3643,_3677,_3711],_1059)))
?
az FDBG pedig még ennyit sem:
% advice
| ?- max_lt([X,Y,U],Z).
no
Mit csinálok rosszul?
Makrai Marci
Szervusztok!
Az volna a kérdésem, hogy mit jelent az a hibaüzenet, hogy
multiple checking indexicals for 'z>max(x,y)'/3 (clause +?)
Előre is köszönöm
Marci