https://www.glc.us.es/~jalonso/LCyTM2018/index.php?action=history&feed=atom&title=Masyu_%28Jan_Wasilewski%29 2026-09-25T17:39:44Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=Masyu_(Jan_Wasilewski)&diff=248&oldid=prev 2020-02-09T20:24:02Z

<p>Página creada con «&lt;source lang = &quot;prolog&quot;&gt; %white(1,3). %white(2,3). %white(4,1). %white(5,3). %black(4,2). white(1,3). black(1,6). black(3,1). black(3,4). white(3,5). black(3,8). white(3,1…»</p> <p><b>Página nueva</b></p><div>&lt;source lang = &quot;prolog&quot;&gt;<br /> %white(1,3).<br /> %white(2,3).<br /> %white(4,1).<br /> %white(5,3).<br /> %black(4,2).<br /> <br /> white(1,3). black(1,6). black(3,1). black(3,4). white(3,5).<br /> black(3,8). white(3,10). white(4,7). black(5,3). black(5,8).<br /> white(5,9). white(5,10). white(6,6). white(7,2). white(7,4).<br /> white(7,7). white(7,8). white(8,2). white(8,5). black(9,9).<br /> black(10,1). white(10,3). white(10,6).<br /> <br /> <br /> <br /> <br /> #const n = 10.<br /> #const m = 10.<br /> col(1..n). row(1..m). direction(v;h).<br /> ball(X,Y) :- black(X,Y), col(X), row(Y).<br /> ball(X,Y) :- white(X,Y), col(X), row(Y).<br /> <br /> % Generate a set of unit segments passing through cells<br /> <br /> {line(S,X,Y)} :- direction(S), col(X), row(Y).<br /> :- line(h,n,Y), row(Y).<br /> :- line(v,X,m), col(X).<br /> <br /> % including balls:<br /> <br /> :- ball(X,Y), not on(X,Y).<br /> on(X,Y) :- line(S,X,Y), direction(S), col(X), row(Y).<br /> on(X+1,Y) :- line(h,X,Y), col(X), row(Y), X&lt;n.<br /> on(X,Y+1) :- line(v,X,Y), col(X), row(Y), Y&lt;m.<br /> <br /> % ensuring the constraints M1--M3 are satisfied:<br /> % M1:<br /> % Every cell that the generated line passes through is<br /> % connected to exactly 2 such grid cells:<br /> <br /> :- 3 {line(h,X-1,Y); line(h,X,Y); line(v,X,Y); line(v,X,Y-1)}, on(X,Y), col(X), row(Y).<br /> :- {line(h,X-1,Y); line(h,X,Y); line(v,X,Y); line(v,X,Y-1)} 1, on(X,Y), col(X), row(Y).<br /> <br /> % Furthermore, every cell on the generated line is reachable<br /> % from other grid cells on the line:<br /> <br /> :- on(X,Y), on(Z,W), not reachable(X,Y,Z,W), col(X;Z), row(Y;W).<br /> adj(X,Y,X,Y+1) :- line(v,X,Y), col(X), row(Y), Y&lt;m.<br /> adj(X,Y,X+1,Y) :- line(h,X,Y), col(X), row(Y), X&lt;n.<br /> adj(X,Y,Z,W) :- adj(Z,W,X,Y), col(X;Z), row(Y;W).<br /> reachable(X,Y,X,Y) :- on(X,Y), col(X;Z), row(Y;W).<br /> reachable(X,Y,Z,W) :- reachable(I,J,Z,W), adj(X,Y,I,J), col(X;I;Z), row(Y;J;W).<br /> <br /> % M3:<br /> % The loop must turn (90 degrees) at black circles<br /> <br /> :- black(X,Y), line(h,X,Y), line(h,X-1,Y), col(X), row(Y).<br /> :- black(X,Y), line(v,X,Y), line(v,X,Y-1), col(X), row(Y).<br /> <br /> % but it must travel straight through the next and previous<br /> % cells in its path.<br /> <br /> :- 1{line(v,X+1,Y); line(v,X+1,Y-1)}, black(X,Y), line(h,X,Y), col(X), row(Y).<br /> :- 1{line(v,X-1,Y); line(v,X-1,Y-1)}, black(X,Y), line(h,X-1,Y), col(X),row(Y).<br /> :- 1{line(h,X,Y+1); line(h,X-1,Y+1)}, black(X,Y), line(v,X,Y), col(X), row(Y).<br /> :- 1{line(h,X,Y-1); line(h,X-1,Y-1)}, black(X,Y), line(v,X,Y-1), col(X), row(Y).<br /> <br /> % M2:<br /> % White circles must be traveled straight through<br /> <br /> :- 1{line(v,X,Y); line(v,X,Y-1)}, 1{line(h,X,Y); line(h,X-1,Y)}, white(X,Y), col(X), row(Y).<br /> <br /> % but the loop must turn (90 degrees) in the previous<br /> % and/or next cell in its path.<br /> <br /> :- white(X,Y), line(h,X,Y), line(h,X+1,Y), line(h,X-1,Y), line(h,X-2,Y), col(X), row(Y).<br /> :- white(X,Y), line(v,X,Y), line(v,X,Y+1), line(v,X,Y-1), line(v,X,Y-2), col(X), row(Y).<br /> <br /> <br /> <br /> #show on/2.<br /> <br /> &lt;/source&gt;</div>

Mjoseh