Ок, давайте для ясности рассмотрим проблему математически. Есть в инете страницы: A, B и C. B ссылается на A, С не ссылается на А. А ссылается на все страницы, которые на нее не ссылаются. Давайте определим, какие страницы на нее ссылаются/не ссылаются, чтобы понять, каково тело страницы A? Понятно, что A будет ссылаться на С, и точно не будет ссылаться на B, остается только вопрос, должна ли страница ссылаться сама на себя?
Т.е. получаем рекурсию. Чтобы определить, ссылается ли страница сама на себя, нам надо узнать, ссылается ли она на себя. Причем, здесь не тот вариант, как с LINUX (Linux Is Not UniX !), где первую букву можно подставить какую угодно, так что можно было назвать PINUX, DINUX, BINUX (Binux Is Not UniX). Здесь если предположить, что A ссылается на A (т.е. на себя), то она не должна ссылаться на себя, т.е. предположение неверно. Также, если предположить, что A не ссылается на A, то она должна ссылаться на себя. А страница "А" может или ссылаться, или не ссылаться на себя, больше вариантов нет. Но т.к. оба вариантов не могут исполнить требования, следовательно не существуют такой страницы, которая выполняла бы описаные требования, т.е. "ссылалась на все страницы, которые на нее не ссылаются". Разве если только изменить требования.
Ответов: 1205
Lono
Рекрут |
|||
карма: 14 |
|