Sziasztok!
Alant olvasható mai kínzattatásom tárgya.
------------------------
16 megoldás jó a 17-ből.
------------------------
A legelső test case hibázik, mégpedig:
Comparing clause +: , indexical No. 1: X in (...) (itt egy kódrészlet van, ezt kitöröltem innen)
with relation Z>max(X,Y),
using interval 1..2 ...
'z>max(x,y)'(1,2,2) holds, while 2>max(1,2) is not true
Kipróbáltam lokálon, hogy tényleg így van-e. A using interval 1..2
kifejezést úgy értekeltem, hogy az egy domain(...), de megnéztem anélkül is.
domain([X,Y,Z], 1, 2), X#=1, Y#=2, Z#=2, 'z>max(x,y)'(X,Y,Z).
-> no
Tudok róla, hogy fdcheck-kel is kellene vizsgálni, de nem sikerült
futtatni az alábbi eljárást:
fd_pred_semantics(Head, Rel).
Az összes többi "valódi" test case jól lefut. Én néztem el valamit?
+1: másoknak esetleg hasznos lehet a lenti link.
http://sziami.cs.bme.hu/pipermail/nhlp-l/2004-December/000042.html
Üdvözlettel:
Zsolnai Károly
--
http://cg.iit.bme.hu/~zsolnai
Sziasztok!
Mivel több embertől hallottam, hogy problémás volt az FD-predikátumok
megadása, csináltam egy egyszerű templatet, amely tartalmaz egy prolog
source filet a fejrészekkel, illetve gombnyomásra lehet vele a hivatalos
kiadott pdf-ben kiadott teszteseteket futtatni. Mutatja a helyes
kimeneteket is, hogy könnyen össze lehessen vetni a megírandó program
kimenetével. Aki még nem részesült a 3. kisházi örömeiben, az próbálja
esetleg ezzel.
http://cg.iit.bme.hu/~zsolnai/khf3_template.zip
Üdv:
Zsolnai Károly
--
http://cg.iit.bme.hu/~zsolnai
Javitottam a 3. kishazi tesztkornyezeten, mert volt benne egy hiba,
amelynek kovetkezteben minden FD-klozban csak az elso indexikalis
szemantikajat ellenorizte le az 1. tesztestben (fd_semantics_correct). Most
mar elvben az osszeset leellenorzi.
Udv,
Peter
Sziasztok!
Nehany kerdes, megjegyzes a nagyhazival kapcsolatosan.
1.
Mikortol lehet beadni? Ha lehet, szeretnem kiprobalni a jelenlegi
megoldast.
2.
A targylap szerint a fejlecbe ezt (is) kellene irni:
-export([mmind/2]).
Amikor az eljaras funktora mmind/3 alaku, egeszen pontosan a kovetkezo:
% mmind(Max, Hints, Code): Code egy olyan titkos kód, amely megfelel a
% a Hints súgás-listának és a Max maximális kódértéknek.
3.
Csinaltam egy egyszeru batch filet, amivel gombnyomasra el lehet
inditani es le lehet tesztelni egy megoldast. Ha az editorotokban
beallitjatok, hogy mondjuk F5-re inditsa el ezt a fajlt, akkor eleg
kenyelmesen lehet dolgozni. A bat file tartalma mindossze:
d:\util\prolog\bin\sicstus -l nhf.prolog < tc.txt
A tc.txt (test case roviden) hasznalataval meg az lenne a cel hogy
egybol meghivja az eljarast valami tesztesettel. Tobb megoldas eseten a
;-ket en szemely szerint nem szeretem minden forditas utan nyomkodni,
igy a tc.txt vegere valahany darab ilyet is lehet tenni. A tartalma
tehat peldaul lehet a kovetkezo:
mmind(4, [[1,1,1]-1/0,
[1,2,2]-0/1,
[3,1,3]-2/0], Code).
;
;
;
;
Errol tudjuk, hogy a megoldasai a kovetkezok:
Code = [3,1,4] ? ;
Code = [4,1,3] ? ;
Ha egy megoldas van, akkor nyilvan szolni fog, hogy a ;-ket nem tudja
mire velni, de ez mar legyen az o problemaja. Ha gondoljatok,
probaljatok ki, nem egy nagy szam, de nekem ez egy nagyon kenyelmes
megoldas volt.
Udv:
Zsolnai Karoly
--
http://cg.iit.bme.hu/~zsolnai
Kedves NDP hallgatok!
Kerem nagyon surgosen irjatok meg, hogy mikor szeretnetek vizsgazni. 3
vizsgaalkalmat kell kiirni, de orulnek neki, ha tenylegesen csak 2 alkalmat
tartanank.
Alaphelyzetben en egy vizsgat tartanek januar elso heteben, jan 2-6 között
illetve az utolso heten 16-20 között.
Peter
