非凸 QCQP ソルバーを知っていますか? 大きな問題は、学者や学生向けの無料のソフトウェアです。私は成功せずにそのようなソルバーを見つけようとしました...
私の問題は次の形式です。
- 線形（厳密および非厳密）不等式
- 不等式間の論理的制約 (同等性、含意など) がある
- X = {x1, ..., xn} を変数の集合とし、Y = {y1, ..., ym} を変数の集合とする。二次制約は次の形式です。
- x1 = x1y1 + x2y2
- x2 = x1y3 + x3y4
- x3 = x2y5 + x1y6
- ...
- 左側の X からの 1 つの変数
- 等式制約
- 係数が 1 に等しい 2 つの変数の積の合計
- st 2 つの変数の各積は、X の 1 つの変数と Y の 1 つの変数の間でのみ発生します。
目的関数は線形です。
ご協力ありがとうございました