https://www.glc.us.es/~jalonso/LCyTM2018/index.php?action=history&feed=atom&title=Nuricabe_%28Alina_Kasiuk_y_Xinyi_Wu%29 2026-10-01T15:18:24Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=Nuricabe_(Alina_Kasiuk_y_Xinyi_Wu)&diff=251&oldid=prev 2020-02-09T20:26:12Z

<p>Página creada con «&lt;source lang = &quot;prolog&quot;&gt; % according to the known conditions numbered(1,1,1). numbered(1,5,1). numbered(1,7,6). numbered(2,3,2). numbered(3,2,1). numbered(3,5,2). numbered(…»</p> <p><b>Página nueva</b></p><div>&lt;source lang = &quot;prolog&quot;&gt;<br /> % according to the known conditions<br /> numbered(1,1,1).<br /> numbered(1,5,1).<br /> numbered(1,7,6).<br /> numbered(2,3,2).<br /> numbered(3,2,1).<br /> numbered(3,5,2).<br /> numbered(5,1,2).<br /> numbered(5,4,1).<br /> numbered(7,2,3).<br /> numbered(7,6,1).<br /> <br /> #const n=7.<br /> #const m=7.<br /> <br /> col(1..n).<br /> row(1..m).<br /> color(b;w).<br /> <br /> % Keep some cells white (and paint the rest black)<br /> {cell(w,X,Y)}1 :- row(X), col(Y).<br /> cell(b,X,Y) :- not cell(w,X,Y), row(X), col(Y).<br /> <br /> <br /> % ensuring that the given constraints N1--N8 are satisfied:<br /> <br /> % N1: Numbered cells remain white.<br /> :- not cell(w,X,Y), numbered(X,Y,N).<br /> <br /> <br /> % N5 : every white cell is orthogonally connected.<br /> % N7 : All black cells should be connected orthogonally.<br /> adj(C,R,C1,R1) :- row(C), row(C1), col(R), col(R1), |C-C1| + |R-R1| == 1.<br /> connected(C,X,Y,X,Y) :- cell(C,X,Y), row(X), col(Y), color(C).<br /> connected(C,X,Y,U,V) :- connected(C,X,Y,W,Z), adj(W,Z,U,V),<br /> cell(C,U,V),row(X;U;W), col(Y;V;Z), color(C).<br /> <br /> w_connected(X,Y) :- connected(w,X,Y,U,V),cell(w,X,Y),numbered(U,V,N),<br /> row(X), col(Y).<br /> :- not connected(b,X,Y,U,V), cell(b,X,Y), cell(b,U,V),<br /> row(X;U),col(Y;V).<br /> <br /> <br /> <br /> % N2 : every white cell belongs to an island.<br /> :- cell(w,X,Y), not w_connected(X,Y), row(X), col(Y).<br /> <br /> <br /> <br /> % N4: Each island should contain the same number of white cells<br /> % as the number it contains.<br /> island(X,Y) :- N {connected(w,X,Y,U,V):row(U),col(V)} N,<br /> numbered(X,Y,N).<br /> :- not island(X,Y), numbered(X,Y,N).<br /> <br /> <br /> <br /> % N3: Each island must contain exactly exactly one number cell,<br /> % N6: The island can not be connected.<br /> :- numbered(X,Y,N), numbered(U,V,M), X&lt;U, connected(w,X,Y,U,V).<br /> :- numbered(X,Y,N), numbered(U,V,M), Y&lt;V, connected(w,X,Y,U,V).<br /> %:- island(X1,Y1), island(X2,Y2), X1 != X2, connected(w,X1,Y1,X2,Y2).<br /> %:- island(X1,Y1), island(X2,Y2), Y1 != Y2, connected(w,X1,Y1,X2,Y2).<br /> <br /> <br /> <br /> % N8: No subset of black cells forms a 2x2 square.<br /> :- sqrBlack(X,Y), row(X), col(Y).<br /> sqrBlack(X,Y) :- cell(b,X+1,Y), cell(b,X,Y),<br /> cell(b,X, Y+1), cell(b,X+1, Y+1), row(X), col(Y).<br /> <br /> black(X,Y) :- cell(b,X,Y), row(X), col(Y).<br /> #show black/2.<br /> % #show w_connected/2.<br /> <br /> &lt;/source&gt;</div>

Mjoseh