Доказать корректность работы алгоритма построения максимального паросочетания в алгоритме Дейкстры.

задан 5 Янв '17 9:44

Если речь идёт про обоснование корректности алгоритма, то должна быть предъявлена конкретная реализация этого алгоритма. Без этого вопрос лишён смысла. Некто спрашивает: докажите, что программа правильно работает. Но КАКАЯ программа, где она? Один и тот же алгоритм, понимаемый неформально, можно запрограммировать очень многими способами. Одни программы будут короче, другие длиннее. В одном случае что-то обосновывать надо, в другом всё и так ясно.

(5 Янв '17 10:31) falcao

@falcao а если у нас класс классический алгоритм Дейкстры - https://neerc.ifmo.ru/wiki/index.php?title=%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%94%D0%B5%D0%B9%D0%BA%D1%81%D1%82%D1%80%D1%8B ? То как доказать его корректность?

(5 Янв '17 10:46) Sadykh

@Sadykh: в тексте по ссылке есть рассуждение, в котором обосновывается корректность.

(5 Янв '17 10:52) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×741
×192

задан
5 Янв '17 9:44

показан
437 раз

обновлен
5 Янв '17 10:52

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru