Tippek az NDP14a nagyházi minimális teljesítéséhez -------------------------------------------------- 1. A sudoku területek (sorok, oszlopok, cellák) mezőinek különbözőségét leíró korlátok legyenek tartománykonzisztensek. 2. A paritási infókat (o, e) megvalósító korlátok legyenek tartománykonzisztensek. Vigyázat: a mod operátort használó korlátok nem biztosítanak tartománykonzisztenciát, pl: | ?- domain([X], 1, 100), X mod 2 #= 1. X in 1..99 ? ; no | ?- domain([X], 1, 100), X mod 2 #= 0. X in 2..100 ? yes | ?- 3. A szomszédsági infókat (s, w) megvalósító korlátok legyenek tartománykonzisztensek. Vigyázat: a + operátort használó korlátok nem biztosítanak tartománykonzisztenciát, pl: | ?- X in {1,3}, Y in {3,5}, Z #= X+Y. X in{1}\/{3}, Y in{3}\/{5}, Z in 4..8 ? yes | ?- X és Y összege biztosan páros, de ez a Z tartományából nem állapítható meg.