問題を表にする
目的関数・変数・制約・係数を、役割ごとの4つのCSVに整理します。
problem / variables
constraints / coefficients
HOW IT WORKS
モデルは4つのCSV。考えることに集中できます。
専用の記法を覚えたり、サーバーを用意したりする必要はありません。 表計算ソフトで編集できるCSVを読み込み、ブラウザ上で求解します。
読み込んで実行
CSVを個別に、またはZIPで読み込み。「実行」で求解を開始します。
CSV または ZIP
解を読み解く
最適値と変数値に加え、数式・制約の状態・問題ビューを確認できます。
式 → 結果 → 保存
START WITH AN EXAMPLE
身近な問題から、最適化を試す。
プリセットを選べば、データを準備する前に操作や求解結果を確認できます。 連続変数のLPから、整数・バイナリ変数を含むMIPまで収録しています。
生産計画
資源や需要の制約の中で、利益を最大化。
検算済みの最適値 1,100割当・ナップサック
人と仕事、荷物と容量。組み合わせを最適化。
バイナリ変数に対応配送・巡回
訪問先を回る順序や、車両への配送先割当を検討。
TSP / VRP の例を収録シフト・ビンパッキング
必要人数を満たす勤務表や、荷物の箱詰めを作成。
実行可能な組み合わせを探索サンプルは8種類。最適値を明示しているものはテストで検算しています。
WHY OPTLAB
「解けた」で終わらず、なぜその解かを確かめる。
optlabは求解結果だけでなく、モデルの式や制約の状態も画面で確認できます。 CSVを正本にして、表と数式の両方から問題を点検できます。
式を自動で表示
目的関数と制約を数式に組み直し、係数表だけでは追いにくいモデルを見やすくします。
解の根拠を確認
制約の左辺・右辺や余裕を結果画面で確認し、どの条件が効いているかを把握できます。
結果を持ち帰る
求解結果をCSV入りのZIPで保存。入力モデルもZIPで保存して、表計算ソフトで編集できます。
LIVE DEMO
ブラウザで、実際に解いてみる。
サンプルを選び、CSVの内容を確認してから「実行」を押してください。 求解はWeb Worker上で行われるため、計算中も画面を操作できます。