JFIZO - Zadanie 09.048

Zbiory rekurencyjnie przeliczalne A, B, C, D. Każda liczba naturalna należy do dokładnie dwóch z nich. Zbiory są rekurencyjnie przeliczalne, więc istnieją f_A, f_B, f_C, f_D, takie, że n \in X \Rightarrow f_X(n) = 1. Zbudujmy g_X, takie, że n \in X \Rightarrow g_X(n) = 1, n \not \in X \Rightarrow g_X(n) = 0:

int g_A(n) {
	int count = 0;
	for(i = 0; ; i += 100) {
		if (w i krokach f_A(n) == 1) {
			return 1;
		} else {
			for X (B, C, D) {
				if (w i krokach f_X(n) == 1)
					count++;
			}
		}
		if (count == 2) return 0;
	}
}