1樓：黃先生
非凸的庫：
Mathematical software - swMATH
MINTO軟體庫：
MINLP庫：
CMU-IBM Cyber-Infrastructure for MINLP
Pyomo 庫：
全域性優化軟體：
當然還有很多商業的（AMPL or GAMS），小眾的，IPOPT, 要錢的Juniper、Kintro等
還有Baron, COUENNE,MINOTAUR，Bonmin（主要是MINLP）
給自己打個廣告：
2樓：David KZ
非凸優化很難，不能解出來是正常現象，能解出來才不正常。
沒有針對所有非凸優化都有效的演算法，具體用什麼演算法，要看你的非凸函式的其他特性。例如，是否光滑？維數多高？具有哪些特別結構？
很多非凸優化問題都是通過轉化為凸優化問題來求解的，直接求解的演算法往往都是啟發式的演算法。
3樓：Merci
這個問題表面上是問的非線性規劃的求解，實際上想問的卻是非凸函式的最優化問題。
關於直接求解非凸優化，目前為止尚未完全解決所有非凸情況下的問題。但是一些特殊形式的非凸問題（如原函式可以分段，各自區間內凸函式、線性二層規劃、可通過鬆弛變數直接轉化為凸函式等），基於規模和複雜程度已經有各種形式的高效解法（遺傳演算法、分枝限界、凹凸化法等）。
而對於具體的非凸優化問題，一般需要人為採取些trick來輔助求解。如隨機初始位置的梯度法、修改約束條件/加鬆弛變數犧牲一定精度轉化為凸等等。
Lingo和Matlab在解決最優化問題的時候的優缺點？
蝦兵蟹將 瀉藥最近參加我們學校的建模校賽，賽後有一點經驗比較符合你這個問題，就是在處理大規模優化問題的時候如果不改進演算法，不應用二分法，智慧型演算法之類的優化的話，推薦使用matlab，而且不能使用現成的函式，必須自己編函式檔案。因為在處理優化問題的時候，lingo一般使用的方法通俗講挨個找，非常...
如何解下面的最優化問題
先寫下大概思路。問題表述 設有嚴格遞增整數列 其中 令數列相鄰兩項之差,知 0 eeimg 1 記從 開始連續 個項差 之和為 稱 為 項差和 這裡，由題意，數列 滿足如下 無簡併 條件，即任意 對於任意 或 成立。原問題 問題 1 為給定數列長度 求滿足無簡併條件的最小 原題目可轉換為如下問題 問...
在數學中乙個非凸的最優化問題是什麼意思？
重直 凸優化問題 convex optimization 的定義是目標函式是凸 convex 的，且可行域是凸 convex 的。不符合這個定義的優化問題就是非凸的優化問題 non convex optimization 就這麼簡單 留德華叫獸 樓主我碩士運籌學出身，現在師從德國海德堡大學組合優化教...