Поиск максимума для выпуклой функции. Нелинейная оптимизация - Методы оптимизации - Страница 2

@VolodymyrL · 24.02.2018, 12:09 **[ТС]**

Студворк — интернет-сервис помощи студентам

Заменим каждую булевую переменную из КНФ на вещественную таким образом, что х(бул)=false эквивалентно x(вещ)=-1,
х(бул)=true эквивалентно x(вещ)=+1.
Каждый дизъюнкт из КНФ преобразуем в неравенство исходной задачи с коефициентами +1, если переменная входит в дизъюнкт без инверсии и "-1", если с инверсией.
Коефициенты b выбираем исходя из необходимости выполнимости дизъюнкта. Сумма невыполнимого дизъюнкта будет (-n). Для того, чтобы он стал выполнимым его сумма должна быть на 2 больше (хотя бы одно слагаемое из "-1" стало "+1"). Т.е. коефициент b=n-2, где n - количество переменных в дизъюнкте.
Если такая задача не имеет решения (множество пусто) или решение не в вершине гиперкуба, то КНФ не выполнима, иначе решение-вершина указывает на решение КНФ.

@VolodymyrL · 27.02.2018, 12:52 **[ТС]**

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

PS: смотрел сюда https://moluch.ru/archive/82/15086/ но это касается только симплексов или паралелепипедов, а наш многогранник далеко не симплекс.

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть не большие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .

@VolodymyrL 13 / 2 / 0 Регистрация: 26.08.2015 Сообщений: 14
	24.02.2018, 12:09 [ТС]
	Заменим каждую булевую переменную из КНФ на вещественную таким образом, что х(бул)=false эквивалентно x(вещ)=-1, х(бул)=true эквивалентно x(вещ)=+1. Каждый дизъюнкт из КНФ преобразуем в неравенство исходной задачи с коефициентами +1, если переменная входит в дизъюнкт без инверсии и "-1", если с инверсией. Коефициенты b выбираем исходя из необходимости выполнимости дизъюнкта. Сумма невыполнимого дизъюнкта будет (-n). Для того, чтобы он стал выполнимым его сумма должна быть на 2 больше (хотя бы одно слагаемое из "-1" стало "+1"). Т.е. коефициент b=n-2, где n - количество переменных в дизъюнкте. Если такая задача не имеет решения (множество пусто) или решение не в вершине гиперкуба, то КНФ не выполнима, иначе решение-вершина указывает на решение КНФ. 2

@VolodymyrL 13 / 2 / 0 Регистрация: 26.08.2015 Сообщений: 14
	27.02.2018, 12:52 [ТС]
	Есть мысль продолжить задачу... Те же условия, но ищем не максимально отдаленную точку, а объем многогранника. Будет ли задача проще ? Может лучше создать новый топик ? В каком разделе ? PS: смотрел сюда https://moluch.ru/archive/82/15086/ но это касается только симплексов или паралелепипедов, а наш многогранник далеко не симплекс. 0