@*Intro. Given the specification of a sudoku puzzle in |stdin|, this program
outputs {\mc DLX} data for the problem of finding all solutions.
(I hacked it from my old program {\mc SUDOKU-PREP}, written in 2005.)
The specification consists of nine lines of ASCII characters. If the
$j$th character of the $i$th line is between \.1 and \.9, it defines the
value that appears in cell $(i,j)$ of the puzzle.
The puzzle is repeated in a comment line at the beginning of the output.
@d bufsize 16 /* beware strange behavior if you feed long lines to me! */
@c
#include <stdio.h>
#include <stdlib.h>
char buf[bufsize];
int pos[9][9], row[9][9], col[9][9], box[9][9]; /* things to cover */
main() {
 register int c,j,k,d,x;
 @<input the given problem@>;
 @<output the comment line@>;
 @<output the item-name line@>;
 @<output the options@>;
}
@ @d box(j,k) (((int)((j)/3))*3+(int)((k)/3))
@<input the given problem@>=
for (c=j=0;j<9;j++) { if (!fgets(buf,bufsize,stdin)) { fprintf(stderr,"There are fewer than nine lines of input!\n"); exit(-1); } for (k=0;k<9;k++) if (buf[k]>='1' && buf[k]<='9') { d=buf[k]-'1',x=box(j,k); pos[j][k]=d+1; if (row[j][d]) { fprintf(stderr,"digit %d appears in columns %d and %d of row %d!\n", d+1,row[j][d]-1,k,j); exit(-2); } row[j][d]=k+1; if (col[k][d]) { fprintf(stderr,"digit %d appears in rows %d and %d of column %d!\n", d+1,col[k][d]-1,j,k); exit(-3); } col[k][d]=j+1; if (box[x][d]) { fprintf(stderr,"digit %d appears in rows %d and %d of box %d!\n", d+1,box[x][d]-1,j,x); exit(-4); } box[x][d]=j+1; c++; } } fprintf(stderr,"OK, I found %d clues in the input problem.\n", c); @ @<output the comment line@>=
fprintf(stdout,"&#124;sudoku");
for (j=0;j<9;j++) { fprintf(stdout,"!"); for (k=0;k<9;k++) fprintf(stdout,"%c", pos[j][k]? '0'+pos[j][k]: '.'); } fprintf(stdout,"\n"); @ I'm going to put all \.p items first, then \.r, then \.c, then \.b, since this sort-of corresponds to the way many humans approach the subject. (And since a branch on \.b is then interesting.) @<output the item-name line@>=
for (j=0;j<9;j++) for (k=0;k<9;k++) if (!pos[j][k]) fprintf(stdout,"p%d%d ", j,k); for (j=0;j<9;j++) for (k=0;k<9;k++) if (!row[j][k]) fprintf(stdout,"r%d%d ", j,k+1); for (j=0;j<9;j++) for (k=0;k<9;k++) if (!col[j][k]) fprintf(stdout,"c%d%d ", j,k+1); for (j=0;j<9;j++) for (k=0;k<9;k++) if (!box[j][k]) fprintf(stdout,"b%d%d ", j,k+1); fprintf(stdout,"\n"); @ @<output the options@>=
for (j=0;j<9;j++) for (k=0;k<9;k++) for (d=0;d<9;d++) {
 x=box(j,k);
 if (!pos[j][k] && !row[j][d] && !col[k][d] && !box[x][d])
 fprintf(stdout,"p%d%d r%d%d c%d%d b%d%d\n",
 j,k,j,d+1,k,d+1,x,d+1);
}
@*Index.
</div><div class="naked_ctrl">
<form action="/index.cgi/speech" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://cs.stanford.edu/~knuth/programs/sudoku-dlx.w">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://cs.stanford.edu/~knuth/programs/sudoku-dlx.w" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech" selected="selected">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>