Поговорим о графах

[Alex Shkotin]

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

Предлагаю другой полигон - конечные графы (ориентированные и нет).

Г1 есть неориентированный граф.

В1 есть вершина Г1. В2 есть вершина Г1. Все вершины Г1 заданы!

Дуга Д1 соединяет В1 и В2. Дуга Д2 соединяет В1 и В2. Все дуги Г1 заданы!

?Сколько раз В2 соединена с В1?

<Феофан из симметричности отношения инцидентности для норграфов выводит> 2.

?Г1 есть простой граф?

<Ф> Нет, т.к. в нём есть параллельные дуги.

?Какие?

<Ф> Д1 параллельна Д2.

Дай мне граф!

<Ф> V={В1,В2}, E={Д1,Д2}, inc(Д1,В1), inc(Д1,В2), inc(Д2,В1), inc(Д2,В2).

Типа того:-)