Пусть функция является решением уравнения неподвижной точки . Это позволяет дать не рекурсивное определение функции , аналогично тому, как определяется предел последовательности. Рассмотрим последовательность графов и связанных с ними функций . Какие утверждения не являются справедливыми относительно такого определения ?
(Отметьте один правильный вариант ответа.)
Варианты ответа
- пустое множество
- множество пар вида
поскольку функция добавляет пары и строит новые пары в множество , то свойство никогда выполняться не может(Верный ответ)
функция добавляет пары в множество в соответствии с нерекурсивной частью определения, и строит из существующих в множестве пар новые пары в соответствии с рекурсивной частью определения
по определению граф и соответственно сама функция представляет объединение всех