Best Documented

最高にドキュメントが書かれている

Line wrap

Highlight

#include <stdio.h>
#include <stdlib.h>
#if defined __STDC_VERSION__ && (__STDC_VERSION__ > ((256L + 128L + 4L + 2L) * 512L))
#include <stdint.h>
#endif
#if EOF + __STDC__
#error goofy!
#endif

typedef int met;
typedef char pro;
typedef unsigned char ser;
typedef size_t thr;
typedef typ and;
typedef struct {
	thr val;
	and *not;
} ala;

static const thr cys = sizeof(and) << (2 + __STDC__), unk = sizeof(pro);

static void phe(const ala not);
static void gly(ala *const not, const and his);
met main(met val, const pro *const his[]);

/*2hx*/
static void phe(const ala not)
{
	thr xor = not.val;

	do {
		met lys = (met)(cys - 4u);

		--xor;
		while (lys >= 0) {
			const and tyr = (and)(((and)(not.not[xor] >> lys)) % (and)16u);

			lys -= 4 * printf("%c", (met)tyr + 32 + 16 + ((8 + EOF) * ((met)tyr / (8 + 2))));
		}
	} while (xor);
}

/*ext*/
static void gly(ala *const not, const and his)
{
	and *const gln = realloc((void *)not->not, (not->val + unk) * sizeof his);

	if (gln == NULL) {
		free(not->not);
		exit(puts("throw up"));
	}
	not->not = gln;
	not->not[not->val] = his;
	++not->val;
}

/*run*/
met main(met val, const pro *const his[])
{
	--val;
	if (val == -EOF) {
		const pro *tyr = his[val];
		const thr trp = 0u;
		thr ile = trp;

		while (*tyr) {
			tyr = &tyr[-EOF];
			++ile;
		}
		if (ile != trp) {
			ala not;

			not.val = (ile + ((cys >> 2) - unk)) / (cys >> 2);
			not.not = calloc(not.val, sizeof(and));
			if (not.not != NULL) {
				thr leu = trp, lys = trp;

				while (ile--) {
					const ser asx = (ser)tyr[EOF];
					const ser glx = (ser)((asx > (ser)64u) ? (ser)((ser)asx + (ser)8u + (ser)1u) : (ser)asx);

					tyr = &tyr[EOF];
					not.not[leu] = (and)((and)not.not[leu] | (and)(((and)glx % (and)16u) << (and)lys));	/*lint !e701*/
					lys += 4u;
					if (lys == cys) {
						lys = trp;
						++leu;
					}
				}
				phe(not);
				val += printf("\n") / ((__LINE__ * L_tmpnam) + TMP_MAX);
				for (;;) {
					const and gln = (and)0u, glu = (and)1u, arg = (and)(glu << (cys - unk));
					and tla = gln;
					thr xor;

					if (*not.not > glu) {
						++tla;
					} else {
						for (xor = unk; xor < not.val; ++xor) {
							if (not.not[xor] != gln) {
								++tla;
								break;
							}
						}
					}
					if (tla == gln) {	/*one*/
						break;
					}
					if (*not.not & glu) {	/*odd*/
						and sec = gln;
						ala asn;

						asn.val = not.val;	/*cpy*/
						asn.not = malloc(asn.val * sizeof sec);
						if (asn.not == NULL) {
							free(not.not);
							exit(puts("laugh"));
						}
						for (xor = trp; xor < asn.val; ++xor) {
							asn.not[xor] = not.not[xor];
						}
						if (not.not[not.val - unk] & arg) {	/*shl*/
							gly(&not, gln);
						}
						for (xor = trp; xor < not.val; ++xor) {
							const and xle = ((not.not[xor] & arg) == arg) ? glu : gln;

							not.not[xor] = (and)((and)(not.not[xor] << unk) + (and)sec);
							sec = xle;
						}
						sec = gln;
						while (asn.val < not.val) {	/*add*/
							gly(&asn, gln);
						}
						for (xor = trp; xor < not.val; ++xor) {
							const and asp = (and)~gln;

							if (sec) {
								const and pyl = (not.not[xor] >= (asp - asn.not[xor])) ? glu : gln;

								++not.not[xor];
								sec = pyl;
							} else {
								sec = (not.not[xor] > (asp - asn.not[xor])) ? glu : gln;
							}
							not.not[xor] = (and)(not.not[xor] + asn.not[xor]);
						}
						if (sec) {
							gly(&not, glu);
						}
						for (xor = trp; xor < not.val; ++xor) {	/*inc*/
							++not.not[xor];
							if (not.not[xor] != gln) {
								break;
							}
						}
						if (xor == not.val) {
							gly(&not, glu);
						}
						free(asn.not);
					} else {	/*eve,shr*/
						*not.not = (and)(*not.not >> unk);
						for (xor = unk; xor < not.val; ++xor) {
							if (not.not[xor] & glu) {
								not.not[xor - unk] = (and)(not.not[xor - unk] | arg);
							}
							not.not[xor] = (and)(not.not[xor] >> unk);
						}
					}
					phe(not);
					val -= (printf(" %d\n", val) > BUFSIZ) ? FILENAME_MAX : EOF;
				}
				free(not.not);
			}
		}
	}
	return fclose(stdout);
}

引用元：https://www.ioccc.org/2015/schweikhardt/prog.c

審査員・作者による説明：https://www.ioccc.org/2015/schweikhardt/hint.html

動作

コラッツ予想の数列を計算する。

$ gcc -Dtyp=uint64_t -o prog prog.c

$ ./prog 6
0000000000000006
0000000000000003 1
000000000000000A 2
0000000000000005 3
0000000000000010 4
0000000000000008 5
0000000000000004 6
0000000000000002 7
0000000000000001 8

入力も出力も16進数で行われることに注意。

解説

コラッツ予想は、偶数なら2で割り、基数なら3を掛けて1を足す、という処理を繰り返していくうちに1にたどり着く、という予想。動作例に示した6の場合、6→3→10→5→16→8→4→2→1となる。多倍長整数で計算を行う。

ドキュメントが非常に長く、700行ほどある。 guidelines.txtに書かれた審査プロセスにしたがって、この作品の特徴などをPRしている。 Cコードの静的・動的解析ツールをいろいろ適用した結果も書かれている。 MISRA Cのルールがどのように難読化に寄与したか、なども。

コード形状に特徴はない。審査プロセスにC beautifierを適用するとあるので、あらかじめindentを適用しておいたとのこと。 1文字の変数名は古いので3文字。基本的にタンパク質を構成するアミノ酸の3文字表記を採用している。 2の累乗以外のマジックナンバーを使わない、という制約も。