2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1 ... 22, 23, 24, 25, 26
 
 Re: Полиномиальный алгоритм изоморфизма графов
Сообщение22.11.2013, 20:26 
Аватара пользователя


22/09/09

1907
sup в сообщении #791378 писал(а):
Но если Вы так настаиваете, то я могу ее туда добавить. Нет проблем.
Я в полном недоумении. Приведенная теорема не заменяет две ранее доказанные леммы, т.к. Вы на них сослались при доказательстве этой теоремы. Следовательно, эти две леммы - неполное доказательство, иначе зачем избыточная теорема? Однако сравним:
sup в сообщении #791371 писал(а):
Лемма 2. Пусть у двух графов мини-коды совпадают. Тогда найдется перестановка $P$, такая, что для их матриц смежности $M$,$M'$ имеет место равенство $M = P^{-1}M'P$
и
sup в сообщении #791378 писал(а):
Теорема. Из равенства миникодов графов следует их изоморфизм.
Разве это не эквивалентные формулировки? То же самое сказано разными словами.

 Профиль  
                  
 
 Re: Полиномиальный алгоритм изоморфизма графов
Сообщение23.11.2013, 07:05 
Заслуженный участник


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

 Профиль  
                  
 
 Re: Полиномиальный алгоритм изоморфизма графов
Сообщение23.11.2013, 09:37 
Аватара пользователя


22/09/09

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

 Профиль  
                  
 
 Re: Полиномиальный алгоритм изоморфизма графов
Сообщение23.11.2013, 16:38 
Заслуженный участник


22/11/10
1177

(Оффтоп)

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

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

 Профиль  
                  
 
 Re: Полиномиальный алгоритм изоморфизма графов
Сообщение24.11.2013, 14:47 
Аватара пользователя


22/09/09

1907

(sup)

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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 380 ]  На страницу Пред.  1 ... 22, 23, 24, 25, 26

Модераторы: maxal, Toucan, PAV, Karan, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group