flopt

flopt v.0.5.6を公開しました。 ソルバ開発の目線だとJacobian, Hessian用のAPIが一番使う機会が多いですかね？ ユーザー目線だとprob.solve(optimized_variables=variable_list)が最も使えそうな気がします。 Update 1. problem type estimator API 問題の種類の推定機能はv0.5.5で導入したのですが、それを表示する関数です。 変数や、目的関数の種類、問題のタイプを表示します。気に入っています。 import flopt x = flopt.Variable("x") y = flopt.Var…

本稿ではfloptのSolverサイドであるソルバの話をします。 floptでは内部で実装されたアルゴリズムと外部ライブラリのソルバを用いて最適化を実行することができます。 Solver実装のキホン 解の登録 コールバック関数の実行 時間制限の確認 終了ステータス 問題変換 関連記事 Solver実装のキホン 最適化問題は (決定変数, 目的関数, 制約) から構成されており、floptのSystemサイドではユーザーが定義した問題からこの3つ組の情報を取り出します。 Solverはこの3つ組の情報を用いて求解します。 最もシンプルな実装であるRandomSearchを例にその内部を説明します…

本稿ではfloptのSystemサイドである問題(Problem)の解析やソルバ選択について記載します。 問題解析とは? 本稿では問題解析をユーザーが定義した問題がどのタイプの最適化問題に属するのかを機械的に判断すること、とします。floptでは柔軟なモデリングにより様々な最適化問題の表現が可能ですが、この問題解析により下記のようなことが実現できます。 ユーザーが定義した問題を ユーザーが指定したソルバで求解可能かを判断する 求解可能なソルバを提示する 求解可能でかつ、その問題を解くのに適しているソルバを提示する 他の問題形式に変換する 最適化問題のタイプ分け さてここでは、最適化問題をどのよ…

本稿ではfloptにおける柔軟で強力なモデリングを支える基盤である変数と式の設計を紹介します。 変数 (Variable) 式 (Expression) Expression 式の文字列表現とその恩恵 単項式と多項式クラス CustomExpression Sum, Prod 演算のオーバーライド まとめ 関連記事 変数 (Variable) floptでは1つの変数を1つのオブジェクトで表現します。配列型や行列型の変数VariableArrayもありますが、１つ１つの要素は変数オブジェクトです。変数オブジェクトは(名前、型、下限と上限、値)の情報を持ち、最適化ソルバによる得られた解(Solu…