数値最適化手法のテスト:Rosenbrockと実際のテスト関数


15

導関数なしのオプティマイザには、主に2種類のテスト関数があるようです。

  • Rosenbrock関数 ff。のようなワンライナー 、開始点付き
  • 補間器を使用した実データ点のセット

10d Rosenbrockを実際の10d問題と比較することは可能ですか?
さまざまな方法で比較することができます。局所的な最小値の構造を記述する
か、Rosenbrockおよびいくつかの実際の問題に対してオプティマイザABCを実行します。
しかし、これらは両方とも難しいようです。

(たぶん、理論家と実験者はまったく異なる2つの文化なので、キメラを求めていますか?)

こちらもご覧ください:


(2014年9月に追加された):
以下のプロットは、10個のランダムな開始点から8Dに14のテスト機能に3つのDFOアルゴリズムを比較:BOBYQA PRAXIS SBPLXをからNLOpt
14 N次元のテスト機能、パイソンを下gist.github このからのMatlab A.によってHedar ×各機能のバウンディングボックス内の10一様乱数startpoints。×
×

たとえば、Ackleyでは、最上行にSBPLXが最適であり、PRAXISがひどいことを示しています。Schwefelでは、右下のパネルにSBPLXが5番目のランダムな開始点で最小値を見つけていることが示されています。

全体として、BOBYQAは1で最高であり、PRAXISは5で、SBPLX(〜Nelder-Mead with restarts)は13のテスト機能のうち7つで、Powersumは最高です。YMMV!特に、ジョンソン氏は、「グローバル最適化では、関数値(ftol)またはパラメーター許容値(xtol)を使用しないことをお勧めします。」

結論:1頭の馬や1つのテスト機能にすべてのお金をかけないでください。

ここに画像の説明を入力してください

回答:


13

Rosenbrockのような単純な関数は、新しく記述されたアルゴリズムをデバッグおよび事前テストするために使用されます:それらは実装および実行が高速であり、標準の問題をうまく解決できない方法は実際の問題ではうまく機能しない可能性があります。

高価な関数に対する派生物のない方法の最近の徹底的な比較については、派生物のない最適化:アルゴリズムのレビューとソフトウェア実装の比較を参照してください。LMリオス、NV Sahinidis -グローバル最適化、2012年(も伴うWebページを参照してください:のDOI 10.1007 / s10898-012-9951-yのジャーナルhttp://archimedes.cheme.cmu.edu/?q=dfocompを


Neumaier教授は、「標準的な問題をうまく解決できない方法は、実際の問題にうまく機能しない可能性が高い」という、実際の問題、証拠を指摘できますか?それは簡単ではないことを理解しています。(フッカーに関するコメントに興味があります。)また、リンクからcモデルをざっと見てみると、princetonlibgloballibにはAMPLが必要であり、source_convexmodels * .cにはすべて「;」がありません。些細なしかし- fscanfは()の後に
デニス

@Denis:Rosenbrockのような問題は、自動化された最適化の初期に由来し、人々は現実の問題の数値的な複雑さなしに研究できる単純な代表例で典型的な困難を分離しました。したがって、それらは実際には人工的なものではなく、実際の困難を単純化したモデルです。たとえば、Rosenbrockは、強い非線形性と軽度の悪条件の複合効果を示しています。
アーノルドノイマイアー

AMPLサイトampl.comは、AMPLの無料の学生版を提供しています。
アーノルドノイマイアー

7

Rosenbrock関数のような合成テストケースの利点は、比較できる既存の文献があることです。また、コミュニティでは、このようなテストケースで優れた方法がどのように動作するかという感覚があります。誰もが独自のテストケースを使用した場合、どのメソッドが機能し、どのメソッドが機能しないかについて合意するのははるかに困難です。


1

(この議論の終わりに取り組むことに異論がないことを望みます。私はここにいるので、私が違反したかどうか私に知らせてください!)

進化的アルゴリズムのテスト関数は、2、3年前よりもはるかに複雑になっています。これは、(最近の)進化的計算に関する2015年の会議のような会議でのコンテストで使用されているスイートで見ることができます。見る:

http://www.cec2015.org/

これらのテストスイートには、変数間のいくつかの非線形相互作用を持つ関数が含まれています。変数の数は1000にもなる可能性があり、近い将来に増加する可能性があります。

もう1つの非常に最近の革新は、「ブラックボックス最適化コンテスト」です。参照:http : //bbcomp.ini.rub.de/

アルゴリズムは、ポイントxの値f(x)を照会できますが、勾配情報を取得せず、特に目的関数の分析形式に関する仮定を行うことはできません。

ある意味では、これは「現実の問題」と呼ばれるものに近いかもしれませんが、組織化された客観的な設定です。


1)「異議なし」:それどころか、あなたの良いリンクは大歓迎です!2)そこに良いプロット?方法と問題は両方ともフラクタル化されているため、だれでも自分のような問題を見つけることはますます難しくなっています。特に、時系列予測の方法を知っていますか?
デニス

:動的な多目的最適化のCEC 2015競争のための目的関数はで見ることができますsites.google.com/site/cec2015dmoocomp/competition-process/... に行き、他の競技についてcec2015.orgクリックし、競争上をクリックします受け入れられた競技会。それぞれに独自の機能があります。それらのいくつかの論文には、素敵なプロットがあります(2Dの場合)。GECCOカンファレンスコンペティションは、sigevo.org / gecco-2015 / competitions.html#bbc でご覧いただけます。結果は7月15
Lysistrata

0

あなたは両方の長所を持つことができます。NISTには予想される結果と不確実性を伴う、この10度の政治的条件を適合させるなど、最小化のための一連の問題があります。もちろん、これらの値が実際の最良の解決策であること、または他の極小値の存在と特性を証明することは、制御された数式よりも困難です。


まあ、NISTの問題は小さい(2 3 1 1 11 7 6 6 6 6 6 6パラメーター)。「本物」のどのコーナーでも、「本物」 再現可能なテストセットはありますか?Cf. シミュレーションによる最適化問題のための要求
デニス
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.