Здравствуйте. Допустим, я решил ЗЛП (например, на поиск минимума), у меня есть значения переменных и значение функции.

А как доказать, что я решил ее верно? Ограничения задачи я могу проверить, но как доказать, что ни при каком другом наборе переменных функция при этих ограничениях меньше не будет?

задан 27 Сен '14 11:21

изменен 28 Сен '14 10:50

%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8%D0%BD%D0%B0's gravatar image


9917

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

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

Ваш ответ

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

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

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

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

отмечен:

×44

задан
27 Сен '14 11:21

показан
441 раз

обновлен
27 Сен '14 14:11

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

по почте:

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

по RSS:

Ответы

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

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