对那个IOCCC程序的进一步分析

在去年暑假，曾经尝试过化简该程序，最终以失败告终；昨天晚上没事干，又把它拿了出来，终于成功化简了。。

 

原程序：

#include <stdio.h>main(t,_,a)char *a;{return!0<t?t<3?main(-79,-13,a+main(-87,1-_,main(-86,0,a+1)+a)):1,t<_?main(t+1,_,a):3,main(-94,-27+t,a)&&t==2?_<13?main(2,_+1,"%s %d %d/n"):9:16:t<0?t<-72?main(_,t,"@n'+,#'/*{}w+/w#cdnr/+,{}r/*de}+,/*{*+,/w{%+,/w#q#n+,/#{l+,/n{n+,/+#n+,/#/;#q#n+,/+k#;*+,/'r :'d*'3,}{w+K w'K:'+}e#';dq#'l /q#'+d'K#!/+k#;q#'r}eKK#}w'r}eKK{nl]'/#;#q#n'){)#}w'){){nl]'/+#n';d}rw' i;# /){nl]!/n{n#'; r{#w'r nc{nl]'/#{l,+'K {rw' iK{;[{nl]'/w#q#n'wk nw' /iwk{KK{nl]!/w{%'l##w#' i; :{nl]'/*{q#'ld;r'}{nlwb!/*de}'c /;;{nl'-{}rw]'/+,}##'*}#nc,',#nw]'/+kd'+e}+;#'rdq#w! nr'/ ') }+}{rl#'{n' ')#/}'+}##(!!/") :t<-50?_==*a?putchar(31[a]):main(-65,_,a+1):main((*a=='/')+t,_,a+1) :0<t?main(2,2,"%s"):*a=='/'||main(0,main(-61,*a,"!ek;dc i@bK'(q)-[w]*%n+r3#l,{}:/nuwloca-O;m .vpbks,fxntdCeghiry"),a+1);}

 

初步化简版：

#include <cstdio>#define STR_0 "@n'+,#'/*{}w+/w#cdnr/+,{}r/*de}+,/*{*+,/w{%+,/w#q#n+,/#{l+,/n{n+,/+#n+,/#/;#q#n+,/+k#;*+,/'r :'d*'3,}{w+K w'K:'+}e#';dq#'l /q#'+d'K#!/+k#;q#'r}eKK#}w'r}eKK{nl]'/#;#q#n'){)#}w'){){nl]'/+#n';d}rw' i;# /){nl]!/n{n#'; r{#w'r nc{nl]'/#{l,+'K {rw' iK{;[{nl]'/w#q#n'wk nw' /iwk{KK{nl]!/w{%'l##w#' i; :{nl]'/*{q#'ld;r'}{nlwb!/*de}'c /;;{nl'-{}rw]'/+,}##'*}#nc,',#nw]'/+kd'+e}+;#'rdq#w! nr'/ ') }+}{rl#'{n' ')#/}'+}##(!!/"#define STR_1 "!ek;dc i@bK'(q)-[w]*%n+r3#l,{}:/nuwloca-O;m .vpbks,fxntdCeghiry"int work(int t, int m, int n){if (t > 1){if (t < 3)work(-79, -13, n + work(-87 ,1 - m, work(-86, 0, n + 1) + n));if (t < m)work(t + 1, m, n);if (work(-94, -27 + t, n) && t == 2){if (m < 13)return work(2, m + 1, (int)"%s %d %d/n");else return 9;} else return 16;} else{if (t < 0){if (t < -72)return work(m, t, (int)STR_0);if (t < -50){if (m == *(char*)n)return putchar(*((char*)n + 31));else return work(-65, m, n + 1);}else return work((*(char*)n == '/') + t, m, n + 1);}if (t > 0)return work(2, 2, (int)"%s");if (*(char*)n == '/')return 1;return work(0, work(-61, *(char*)n, (int)STR_1), n + 1);}}int main(){work(1, 0, 0);}

 

最终化简版：

/* * $File: mg.cpp * $Date: Sat Jun 19 00:43:58 2010 +0800 * * Simplified version of a IOCCC program. * * Original code of that program (base64):I2luY2x1ZGUgPHN0ZGlvLmg+Cm1haW4odCxfLGEpCmNoYXIgKmE7CnsKcmV0dXJuITA8dD90PDM/bWFpbigtNzksLTEzLGErbWFpbigtODcsMS1fLG1haW4oLTg2LDAsYSsxKSthKSk6CjEsdDxfP21haW4odCsxLF8sYSk6MyxtYWluKC05NCwtMjcrdCxhKSYmdD09Mj9fPDEzPwptYWluKDIsXysxLCIlcyAlZCAlZFxuIik6OToxNjp0PDA/dDwtNzI/bWFpbihfLHQsCiJAbicrLCMnLyp7fXcrL3cjY2Ruci8rLHt9ci8qZGV9KywvKnsqKywvd3slKywvdyNxI24rLC8je2wrLC9ue24rLC8rI24rLC8jXAo7I3EjbissLytrIzsqKywvJ3IgOidkKiczLH17dytLIHcnSzonK31lIyc7ZHEjJ2wgXApxIycrZCdLIyEvK2sjO3EjJ3J9ZUtLI313J3J9ZUtLe25sXScvIzsjcSNuJyl7KSN9dycpeyl7bmxdJy8rI24nO2R9cncnIGk7IyBcCil7bmxdIS9ue24jJzsgcnsjdydyIG5je25sXScvI3tsLCsnSyB7cncnIGlLeztbe25sXScvdyNxI24nd2sgbncnIFwKaXdre0tLe25sXSEvd3slJ2wjI3cjJyBpOyA6e25sXScvKntxIydsZDtyJ317bmx3YiEvKmRlfSdjIFwKOzt7bmwnLXt9cnddJy8rLH0jIycqfSNuYywnLCNud10nLytrZCcrZX0rOyMncmRxI3chIG5yJy8gJykgfSt9e3JsIyd7bicgJykjXAp9Jyt9IyMoISEvIikKICA6dDwtNTA/Xz09KmE/cHV0Y2hhcigzMVthXSk6bWFpbigtNjUsXyxhKzEpOm1haW4oKCphPT0nLycpK3QsXyxhKzEpCiAgICA6MDx0P21haW4oMiwyLCIlcyIpOiphPT0nLyd8fG1haW4oMCxtYWluKC02MSwqYSwKIiFlaztkYyBpQGJLJyhxKS1bd10qJW4rcjMjbCx7fTpcbnV3bG9jYS1PO20gLnZwYmtzLGZ4bnRkQ2VnaGlyeSIpLGErMSk7Cn0K * */#include <cstdio>static const char *STR_0 ="@n'+,#'/*{}w+/w#cdnr/+,{}r/*de}+,/*{*+,/w{%+,/w#q#n+,/#{l+,/n{n+,/+#n+,/#"";#q#n+,/+k#;*+,/'r :'d*'3,}{w+K w'K:'+}e#';dq#'l ""q#'+d'K#!/+k#;q#'r}eKK#}w'r}eKK{nl]'/#;#q#n'){)#}w'){){nl]'/+#n';d}rw' i;# ""){nl]!/n{n#'; r{#w'r nc{nl]'/#{l,+'K {rw' iK{;[{nl]'/w#q#n'wk nw' ""iwk{KK{nl]!/w{%'l##w#' i; :{nl]'/*{q#'ld;r'}{nlwb!/*de}'c "";;{nl'-{}rw]'/+,}##'*}#nc,',#nw]'/+kd'+e}+;#'rdq#w! nr'/ ') }+}{rl#'{n' ')#""}'+}##(!!/";static const char *STR_1 = "!ek;dc i@bK'(q)-[w]*%n+r3#l,{}:/nuwloca-O;m .vpbks,fxntdCeghiry";/* "On the /first/second/third/fourth/fifth/sixth/seventh/eigth/ninth/tenth/e""leventh/twelfth/ day of Christmas my true love ga""ve to me_/twelve drummers drumming, /eleven pipers piping, /ten lords a-lea""ping,_/nine ladies dancing, /eight maids a-milking, /seven swans a""-swimming,_/six geese a-laying, /five gold rings;_/four ca""lling birds, /three french hens, /two turtle doves_and /a partridge in a pe""r tree.__/" (_ means '/n')*/static void work(int t, int m);static void jmp_slash(int cnt);void work(int t, int m){if (t == 2){jmp_slash(0); // on thejmp_slash(m - 1); // xx thjmp_slash(13); // day ... gave to me /n}if (t < m)work(t + 1, m);jmp_slash(27 - t);if (t == 2 && m < 13)work(2, m + 1);}void jmp_slash(int cnt){const char *ptr = STR_0;while (cnt)cnt -= (*(ptr ++) == '/');while (*ptr != '/'){const char *p1 = STR_1;while (*ptr != *p1)p1 ++;printf("%c", p1[31]);ptr ++;}}int main(){work(2, 2);}

 

 

原程序的作者能把一个程序写成这样，确实很不容易，敬礼！