@x an experimental change file for SSMCC, based on SSXCC-WTD
I suggest that you read {\mc SSXCC}, {\mc SSXCC-BINARY} and {\mc DLX3} first.
@y
I suggest that you read {\mc SSXCC}, {\mc SSXCC-BINARY} and {\mc DLX3} first.
The heuristic implemented in this version is motivated by the paper
of Boussemart, Hemery, Lecoutre, and Sais in {\sl Proc.\ 16th
European Conference on Artificial Intelligence} (2004), 146--150: We increase
the weight of a primary item when its current set of options becomes null.
Items are chosen for branching based on the size of their set divided by their
current weight, unless the choice is forced.
@^Boussemart, Fr\'ed\'eric@>
@^H\'emery, Fred@>
@^Lecoutre, Christophe@>
@^Sa{\"\i}s, Lakhdar@>
@z
@x
 if (!include_option(cur_choice)) goto tryagain;
 @<increase &#124;stage&#124;@>;@+@<increase &#124;level&#124;@>;
 goto forward;
@y
 if (!include_option(cur_choice)) goto abort;
 @<increase &#124;stage&#124;@>;@+@<increase &#124;level&#124;@>;
 goto forward;
abort:@+@<increase the weight of &#124;tough_itm&#124;@>;
@z
@x
@d inf_size 0x7fffffff
@<set &#124;best_itm&#124; to the best item for branching...@>=
{
 score=inf_size,tmems=mems;
@y
@d inf_size 0x7fffffff
@d infty 2e32f /* twice &#124;dangerous&#124; */
@<set &#124;best_itm&#124; to the best item for branching...@>=
{
 register float fscore,tscore,w;
 score=inf_size,tmems=mems,fscore=infty;
@z
@x
 for (k=0;k<active;k++) if (o,item[k]<second) { o,s=slack(item[k]); if (o,s>bound(item[k])) s=bound(item[k]);
 o,t=size(item[k])+s-bound(item[k])+1;
 if ((vbose&show_details) &&
 level<show_choices_max && level>=maxl-show_choices_gap) {
 print_item_name(item[k],stderr);
 if (bound(item[k])!=1 &#124;&#124; s!=0) {
 fprintf(stderr, "("O"d:"O"d,"O"d)",
 bound(item[k])-s,bound(item[k]),t);
 }@+else fprintf(stderr,"("O"d)",t);
 }
 if (t==1)
 for (i=bound(item[k])-slack(item[k]);i>0;i--) o,force[forced++]=item[k];
 else if (t<=score && (t<score &#124;&#124; (s<=best_s && (s<best_s &#124;&#124; (size(item[k])>=best_l && (size(item[k])>best_l &#124;&#124;
 (item[k]<best_itm))))))) score=t,best_itm=item[k],best_s=s,best_l=size(item[k]); } @y for (k=0;k<active;k++) if (o,item[k]<second) { o,s=slack(item[k]); if (o,s>bound(item[k])) s=bound(item[k]);
 o,t=size(item[k])+s-bound(item[k])+1;
 if (t==1)
 for (i=bound(item[k])-slack(item[k]);i>0;i--) o,force[forced++]=item[k];
 else {
 o,w=wt(item[k]);
 tscore=t/w;
 if (tscore>=infty) tscore=dangerous;
 if (tscore<=fscore && (tscore<fscore &#124;&#124; (s<=best_s && (s<best_s &#124;&#124; (size(item[k])>=best_l && (size(item[k])>best_l &#124;&#124;
 (item[k]<best_itm))))))) fscore=tscore,best_itm=item[k],score=t,best_s=s,best_l=size(item[k]); } if ((vbose&show_details) && level<show_choices_max && level>=maxl-show_choices_gap) {
 print_item_name(item[k],stderr);@+
 if (t==1) fprintf(stderr,"(1)");
 else {
 if (bound(item[k])!=1 &#124;&#124; s!=0) {
 fprintf(stderr, "*("O"d:"O"d,"O"d,"O".1f)",
 bound(item[k])-s,bound(item[k]),t,w);
 }@+else fprintf(stderr,"("O"d,"O".1f)",t,w);
 }
 }
 }
@z
@x
 fprintf(stderr,"("O"d)\n",score);
@y
 fprintf(stderr,"("O"d), score "O".4f\n",score,fscore);
@z
</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/ssmcc-wtd.ch">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://cs.stanford.edu/~knuth/programs/ssmcc-wtd.ch" 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>