Назовем веру a совершенной, если поп разделяет a, то есть его вера искренна. Записывается это так: perf(a)=1. И perf(a)=0, если вера несовершенна. Разумеется, понятие совершенства привязано к попу.
Обычно поп верит в целый набор мифов A={a_1, a_2, …a_n}. Поп называется совершенным, если все его мифы совершенны, то есть искренни: perf(A)=1 или perf({a_1, a_2, …a_n})=1.
В нашем случае удобно отождествить попа с набором его мифов. Введем операцию сложения попов.
Суммой попов с наборами мифов A={a_1, a_2, …a_n} и B={b_1, b_2, …b_k} назовем попа с набором равным объединению A и B: {a_1, a_2, …a_n, b_1, b_2, …b_k}.
Сделаем предположение: сумма попов A+B совершенна в том и только в том случае, если совершенен каждый поп по отдельности. Достаточность этого условия очевидна, но вот необходимость…
Мы можем столкнуться с таким случаем: a_i=b_j, поп A – несовершенный из-за несовершенства a_i, а поп B, напротив, совершенен. Что, в таком случае, произойдет с совершенством A+B?
Здесь можно было бы ввести понятие силы веры, но мы поступим иначе. В случае равенства a_i=b_j, где perf(a_i)=0, а perf(b_j)=1, сумма попов A+B считается совершенной, если j кратна i, то есть существует такое натуральное число m, что i*m=j.
Теперь попытаемся путем сложения построить максимального совершенного попа. Максимальность понимается в смысле мощности множества мифов, то есть количества этих мифов.
Для начала сложим всех совершенных попов. Их сумма, очевидно, тоже будет совершенной. Теперь к полученной совершенной сумме будем аккуратно добавлять несовершенных попов.
Путем перетряхивания (или перенумерации) несовершенных мифов, чтобы их номера по отношению к номерам равных им мифов в совершенной сумме становились делителями, можно добиться добавления несовершенных попов в совершенную сумму.
Самое время остановиться. В этой вводной статье не место подробно разбирать алгоритм построения максимального совершенного попа. Скажем лишь, что такой алгоритм существует. А максимальный совершенный поп называется церковью. Набор мифов церкви называется религией.
Седьмой номер инверсивного журнала "Опустошитель" займется анализом максимальных совершенных попов. Всех, до которых сумеет дотянуться.
Третье лето опустошения, июль 2012. Ролан Топор, Жан Бодрийяр, Дэвид Гаскойн, Владимир Абель, Станислав Гроф и беззаботная шпана Mindless Art Group проверят, что perf({L,e,d,e,v,a,s,t,a,t,e,u,r})=1. Или, что то же самое, есть только одна религия и все остальное, что в нее не вписалось.
