Best Assembler

最高のアセンブラ

Line wrap

Highlight

                            /* <body  bgcolor  = 0 >
                          <img src= cube.gif><!-- */
                        #define _ ] [ /* ; ; ; ;  */
                      #include <string.h>  /* ; ; */
                    #include  <stdio.h>  /* ; ; ; */
                    #define K(o,O) L o=0; o<O ; o++)
                    #define  H  unsigned  long  long
                    #define /* ; ; ; ; ; ; } */ W ]=
                    #define /* ; ; ; ; ; ; */ L for(
                    #define /* ; ; ; ; ; ; */ J if (
                    #include <stdlib.h> /*; ; ; ; */
                    #define Z (j*3+j/9*3+2)%10+j/9*9
                    int s[ ] = { 186, 94, 1426, 3098
                    ,1047 , 122 , 1082 , 3083 , 1039
                    , 569 , 527 , 1054 ,  531  } ;
                    #define P( o , O ,l) K(C,o)\
                    fputc ( ( O )[ C ] -l, G);
                    #define Y strncpy( /* */

        int j,k,l,v,c,C,O[64],n[
      64],*o,q[13 _ 13],u,d,f,g[
    W{ 8,7,6,6,6,6 } ; H p [13 _
  #define M memset(E[c]+j*298+v\
*a+88-u*5+586*( u*5+152-i/16*a+C
13 _ 432],r,w,t,b,S[13]; FILE*G;
char E[13 _ 168840],*A="||||||",
*D="   {   ;   wb;  aa; aaaa}a \
0z00Zzz} { z0z}      ",Q[64 _ 60
],*F ="+    +",T [43]; int main(
int I,char**V){ int i,h,B,a,m; H
#define R(z){ x=h=0; K(j,27)h|=\
(c>> j&1 )<<z ; ; ; } c=h; ; ; ;
x; J I>1)B=C=atoi(V[1]); J !d)K(
v,13){ h=s[v]; J B<0){ k=h>>18
^h&511; h^= k<<18|k; C=-C; }
K(k,7){ J k==4)R(Z)R(j+(j-
" /@"[j/9]+38)/3*6-6)K(l

                            ,4){ R(Z)K(a,9) x|=((H)c
                          >>a*3&7)<<a*4 +a/3*4; K(a,
                        96){ m=a-37; r=m<0?x>>-m:x<<
                      m; J!(x!=(m<0?r<<-m:r>>m)||r&r
                    /2&0x888888888888888ULL||r&r>>4&
                    0xF000F000F000ULL)){ p[0 _ v _ q
                    [v _ 0]++W r; K(j,q[v _ 0]-1)J p
                    [0 _ v _ j]==r)q[v _ 0]--; } } }
                    } } h=d; x=w; m=q[f _ h]; a=f; u
                    |=1<<a; B=u; K(i,m){ w|=S[a W p[
                    d _ a _ i]; r: d++; v=*s; t=w; L
                    j=1; j<13; j++){ J u>>j&1^1){ b=
                    c=k=0; l=q[j _ h]; L; k<l; k++){
                    r=p[h _ j _ k]; J!(w&r))b|=p[d _
                    j _ c++W r; } J!c) goto n; J c
                    ==1){ w|=S[j W b; u|=1<<j; J
                    d==12){ J--C<1){ K(c,64)O[
                    c W-1; x=0; K(c,13){ r=~

        0; K(j,13)J S[j]<r&&S[j]
      >x)r=S[j]; K(i,64){ n[i W-
    1; memset(Q[i],32,59); } K(i
  ,64){ J r>>i&1)O[i W n[i W c ;
K(j,2){ o=j?O:n; k=o[i]; u=i&d ;
v=i&3; a=48; J k+1){ C=k==c; Y T
,"+----+/    /|+----+ ||    | +\
|    |/+----+",43); J!C&&v&&o[i-
1]==k)T[6 W T[21 W T[29 W 32 ; J
u&&o[i-4]==k){ Y T,C?"//////":F,
6); J v==3||o[i-3]<0)T[d W T [20
W C?47:32; } J i&a&&o[i-16]==k){
J u==d||o[i-d]<0)Y T+36,C?A:F,6)
; J!C)J v==3|| o[i-15]<0) T[35 W
32; } J C){ Y T+7,"////",4); T
[19 W T[27 W 47; Y T+22,A,4)
; Y T+30,A,4); } K(C,6)Y Q
[9-i/16*3+u/2+C]+v*5-u/2

                            +j*30+g[C],T+"06=EMT"[C]
                          -a,20-g[C]-g[5-C]); K(C,a)
                        { M)+28,m=k+33,h=20); M+h)-h
                      ,k+49+u/4*16,a); } K(C,h){ M)-
                    C,k+17,a); M)+a-C,m,C); M+a)+28,
                    m,h-C); } } } } K(i,21)puts(Q[i]
                    ); x=r; } G=fopen("cube.gif", D+
                    11); P(13,"qspbc\213t,J+ **",42)
                    K(i,8)P(a,D,h+" H Zbjm "[i]+C)P(
                    19,"F$0sjyxhfujWSU(&%%%",37)K(i,
                    13){ P(19,"K#.3 ***V****t,J+*1",
                    42)K(j,1340){ P(2," !",161)P(126
                    ,E[i]+j*126,0)}P(3+i/d,"!\241 ["
                    ,32 ) } exit(0); } goto n; }else
                    goto r; } J c<v) { f=j; v=c; }
                    q[j _ d W c; t|=b; } } J!~t)
                    main(0,0); n:u=B; w=x; d=h
                    ; } u^=1<<a ; } /*--> */

引用元：https://www.ioccc.org/2006/sykes1/sykes1.c

審査員・作者による説明：https://www.ioccc.org/2006/sykes1/hint.text

動作

Bedlam cubeというパズルを解く。

実行すると端末に解き方が描かれる。

$ gcc -o sykes1 sykes1.c

$ ./sykes1








                +----+                        +----+
        +----+-//////|-+              +----+-//////|-+
       ///////+----+/|/|             ///////+----+/|/|
      +----+--||||||/+/|            +----+--||||||/+/|
      ||||||||||||||///+            ||||||||||||||///+
      ||||||||||||||///             ||||||||||||||///
      +----+--||||||/+              +----+--||||||/+
              ||||||/                       ||||||/
              +----+                        +----+












                                              +----+
                       +----+         +----+-/    /|-+----+
                   +----+///|        /      +----+----+///|
                  //////|///|       +----+--|   //////|///|
                 +----+/|///+       |       |  +----+/|///+
              +--||||||/+///        |       +--||||||/+///
             ////||||||///+         +----+-////||||||///+
            +----||||||///                +----||||||///
            |||||||||||/+                 |||||||||||/+
            |||||||||||/                  |||||||||||/
            +----+----+                   +----+----+










                                              +----+
                                      +----+-/    /|-+----+
              +----+                 /      +----+----+  /|
             //////|                +----+-//////    /| + |
            ///////|                |     //////----+ |/  +
           ////////+                |    //////|    | +  /
          +----+///                 +---+----+/|    |   +
       +--||||||/+----+              +--||||||/+----+  /
      ////||||||//////|             ////||||||//////| +
     +----||||||----+/|            +----||||||----+/|/
     ||||||||||||||||/+            ||||||||||||||||/+
     ||||||||||||||||/             ||||||||||||||||/
     +----+----+----+              +----+----+----+



             +----+                        +----+
            //////|                       //////|
           +----+/|                      +----+/|
           ||||||/+                      ||||||/+
           ||||||/|                      ||||||/|
           +----+/|                      +----+----+
          ////////+                   +-//////    /|-+----+
         +----+///                   / +----+----+----+  /|
         ||||||/+                   +--||||/    /    /| + |
         ||||||/|                   |  |||+    +----+ |/  +
         +----+/|                   |  +-/    /|    | +  /
        ////////+                   +-//+----+ |    |   +
       +----+///                     +--|    | +----+  /
       ||||||/+                     /   |    |/    /| +
       ||||||/                     +----+    +----+ |/
       +----+                      |              | +
                                   |              |/
                                   +----+----+----+

…


                                      +----+----+----+----+
                                     /         /         /|
                                    +----+    +----+----+ |
                                   /    /         /    /| +
              +----+              +    +----+----+----+ | |
             //////|             /         //////    /| + |
            /////+----+         +    +----/////+----+ | | +
           ///////////|        /    /    ///////////| + | |
          +----+----+/|       +----+----+----+----+/| | + |
          |||||||||||/+       |    |    |||||||||||/+ |/  +
          |||||||||||/        |    |    |||||||||||/  +  /|
          +----+----+         +----+    +----+----+  /| + |
            +----+            |    |    |         | + |/  +
                              |    |    |         | | +  /
                              +    +----+----+    + |   +
                              |         |    |    | +  /
                              |         |    |    |/| +
                              +    +----+    +----+ |/
                              |    |              | +
                              |    |              |/
                              +----+----+----+----+

そして同時に、より見やすいgifファイルも生成される。

解説

解は19186通りあるらしく、コマンドライン引数で何個目に見つかった解を表示するかを指定できる。

$ ./sykes1 10

コードの形状は立方体が5つ。 Bedlam cubeのパーツはほとんどがペンタキューブ（立方体が5つくっついた形）だからだと思われる。正確には、12個のペンタキューブと1個のテトラキューブ（立方体4つ）とのこと。

コードはhtmlとしても解釈できる（validなhtmlではないが、多くのブラウザなら開ける）。このhtmlは、生成されたgifを表示するものになっている。

生成されるGIFは無圧縮で2.2 MBもある。 GIFの圧縮アルゴリズムであるLZWはUnisysが利用料請求の方針を示していたことで有名だったが、2003年ごろに特許が失効したので、あまり関係ない。 “I don’t violate any of those old Unisys patents!”と言っているが、単に無圧縮のほうが出力しやすいためと思われる。なお、本記事のGIF画像はImageMagickで圧縮をかけたものになっている。

賞名のassemblerは、「組み立てる人」という意味と、アセンブラ言語から機械語に翻訳するアセンブラとをかけている。