[Szw-l] Reszhalmaz blokkolas + nhf2

Hello! A reszhalmaz blokkolassal kapcsolatban nem ertek valamit: Ha az algoritmus soran eloall egy olyan allapot, hogy egy gyerek nelkuli x csucsnak a cimkei (RACER-es szintaxissal): L(x) = { (and Ember Magyar) ; (some ose (and Ember Magyar)) ; (all ose (not Magyar)) } es ha ilyenkor eloszor a letezik-szabalyt alkalmazom, letrejon egy y csucs, amely gyereke x-nek, es L(y) = { (and Ember Magyar) } itt L(y) resze L(x)-nek, tehat elvileg y blokkolodik, nem alkalmazhato ra a metszet-szabaly a tovabbiakban. Ha viszont x-re most a minden-szabalyt hajtom vegre, bejon y cimkejekent a (not Magyar), igy L(y) tobbe mar nem lesz resze L(x)-nek. Ahhoz, hogy a Magyar <--> (not Magyar) ellentmondasra rabukkanjunk, y-ra kell a metszet-szabaly, amihez eloszor "unblokkolni" kell y-t, pedig ugy tudtam, ilyenre csak dinamikus blokkolasnal van szukseg (attol hivjak dinamikusnak). Vagy a tablo algoritmusban a szabalyokat nem tetszoleges sorrendben lojuk el? (A faban mindig a legfelso olyan csucsot keressuk, amire alkalmazhato valamilyen szabaly, es azt hasznaljuk?) Remelem nem nagyon zurzavaros, amit irtam. A masik dolog: Nagy gonoszsag lenne kerni a 2-es nagyhazihoz nehany peldat, amin le tudnank tesztelni a programot? Egyreszt, hogy lassuk, jol mukodik-e, masreszt, hogy tudjuk, nagyjabol mi az elvart sebesseg (milyen sulycsoport lesz az a 10 teszteset beadaskor :) Koszonom! Peti