"Сборник бихевиорационализма" - читать интересную книгу автора (Елизаров Роман)

Аксиома о существовании графа-круга.

Граф-круг очень легко описать. Допустим, есть вершины «Иван», «Санкт-Петербург» и двухместное соответствие (граф) «Иван едет в Санкт-Петербург». Граф-круг можно построить добавив (бесконечное) количество вершин, но сохранив ребро одного веса. Например: «Иван едет в Москву», «Иван едет в Париж», «Иван едет в Стокгольм» и так до бесконечности. Это соответствие я называю графом-кругом. В самом деле если рисовать этот граф на бумаге, то наиболее ясной для такого соответствия будет такая геометрическая фигура как круг. Ребра одного веса будут зрительно отображены как ребра одной длины. Разумеется если наше соответствие будет всего-лишь трехместным, т. е. представлять собой две инструкции «Иван едет в Санкт-Петербург», «Иван едет в Москву» то это соответствие уже можно называть графом-кругом.