|
Здравствуйте. Допустим, я решил ЗЛП (например, на поиск минимума), у меня есть значения переменных и значение функции. А как доказать, что я решил ее верно? Ограничения задачи я могу проверить, но как доказать, что ни при каком другом наборе переменных функция при этих ограничениях меньше не будет? задан 27 Сен '14 11:21 
elfinorr |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
27 Сен '14 11:21
показан
864 раза
обновлен
27 Сен '14 14:11
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Бывают такие задачи, где нахождение решения может быть довольно длинным, но сама проверка осуществляется быстро, когда решение уже найдено. В данном же случае какая-то простая проверка вряд ли существует. Правильность решения должна следовать из самой теории. Если все действия осуществлялись правильно по заданному алгоритму, то и ответ должен быть правильным.