ny_quant: (Default)
[personal profile] ny_quant


Рассмотрим задачу минимизации в Rn:

F(x) -> min

при ограничениях

G(x)=0 Edit: обсуждение показало, что это условие лишнее.
H(x)>=0

Хочется сформулировать такого типа теорему, что при разумных ограничениях на функции F,G,H (скажем F, видимо, должна быть выпуклой) решение задачи (Edit: под этим понимается точка, где достигается инфимум по допустимой области если таковая существует) либо совпадает с глобальным минимумом F(x) либо лежит на границе допустимой области.

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

Date: 2016-07-22 05:02 pm (UTC)
From: [identity profile] fortran-only.livejournal.com
ККТ дает при наличии дополнительных технических условий также и достаточное условие где именно НА ГРАНИЦЕ лежит минимум.

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

Date: 2016-07-22 05:11 pm (UTC)
From: [identity profile] ny-quant.livejournal.com

Я специально для вас нагуглил теорему, но про границу ничего не нашел. Более того, я ничего не говорил про выпуклость области, учитесь читать внимательнее.

Date: 2016-07-22 05:25 pm (UTC)
From: [identity profile] fortran-only.livejournal.com
Если область невыпукла, то опять же тривиально найти контрпример с локальным минимумом, который ни в коем случае не будет глобальным.

Date: 2016-07-22 05:34 pm (UTC)
From: [identity profile] ny-quant.livejournal.com

Если вы хотите опровергнуть утверждение, то найдите пример где решение задачи оптимизации не лежит на границе и не является глобальным минимумом.

(deleted comment)

Date: 2016-07-24 03:10 pm (UTC)
From: [identity profile] ny-quant.livejournal.com
// глобальный минимум - ноль - достигаться не будет

В наше время было принято говорить, что глобальный ИНФИМУМ достигаться не будет. Для ясности.

Утверждение ваше тривиально верно, но никак не противоречит тому что я хотел сказать, но сказал неаккуратно. Следовало сказать, что если минимум достигается, то ... и далее по тексту.
(deleted comment)

Date: 2016-07-24 04:24 pm (UTC)
From: [identity profile] ny-quant.livejournal.com
Минимум по feasible set. Я немного отредактировал запись, но не уверен, что достаточно хорошо.

Profile

ny_quant: (Default)
ny_quant

August 2022

S M T W T F S
 1234 56
78910111213
14151617181920
21222324252627
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 26th, 2025 11:06 am
Powered by Dreamwidth Studios