Полиномиальный алгоритм изоморфизма графов

[bin]

sup в сообщении #791378 писал(а):

Но если Вы так настаиваете, то я могу ее туда добавить. Нет проблем.

Я в полном недоумении. Приведенная теорема не заменяет две ранее доказанные леммы, т.к. Вы на них сослались при доказательстве этой теоремы. Следовательно, эти две леммы - неполное доказательство, иначе зачем избыточная теорема? Однако сравним:

sup в сообщении #791371 писал(а):

Лемма 2. Пусть у двух графов мини-коды совпадают. Тогда найдется перестановка $P$, такая, что для их матриц смежности $M$,$M'$ имеет место равенство $M = P^{-1}M'P$

и

sup в сообщении #791378 писал(а):

Теорема. Из равенства миникодов графов следует их изоморфизм.

Разве это не эквивалентные формулировки? То же самое сказано разными словами.

[sup]

Вас смущает некоторая "избыточность" данного доказательства?
Ну да, избыточно. Но ошибки в этом нет.
Вы же понимаете, гораздо хуже, когда присутствует изрядная "недостаточность".
Математический формализм - потрясающая вещь. Впервые с его "нетривиальным применением" я познакомился очень давно, еще на первом курсе, когда мне показали доказательство теоремы
Если дважды-два - пять, то ведьмы существуют.
От противного. Предположим, что ведьм нет. Покажем, что дважды-два - четыре. Противоречие.
Как видите, я хорошо усвоил этот урок.
Данный текст просто показывает, что добавить индукцию туда, где ее не надо - легко. Вот убрать индукцию из содержательного доказательства может быть очень сложно.

[bin]

И кто после этого занимается "словесной эквилибристикой"? Надеюсь, что Вам хорошо известно, в чем состоит несостоятельность продемонстрированного Вами "подхода" уровня первого курса. В любом случае обсуждение "детских шалостей" к данной теме не относится. Равно как и обсуждение устоявшихся норм серьезной и содержательной дискуссии по открытым проблемам computer sci. Вам было угодно выйти за эти нормы. Думаю, что в сложившейся ситуации мне не остается ничего другого, как сделать длительную паузу в нашем разговоре месяца, скажем, на три. Кто знает, может за это время Вы пересмотрите свою позицию. Если кто другой пожелает здесь задать вопрос или высказаться по теме, всегда буду готов ответить.

[sup]

(Оффтоп)

-Ну мы пойдем.
-Ну, если Вы больше ничего не хотите ...
-А, что, разве еще что-то осталось?
Да нет, знаете, я и сам уже собирался ... $\copyright$

Если чем-то обидел - прошу прощения. Но мнение свое о вашем доказательстве я не изменил.
Как его не было, так и до сих пор нет. Впрочем, отныне мое мнение значения не имеет. Желаю успехов.

[bin]

(sup)

Ok. И я люблю книжку про Винни-Пуха