<http://dx.doi.org/10.1016/S0893-6080(02)00017-5>
完全結合(自己結合)型(ホップフィールド型)ニューラルネットワークには、
結合荷重に対応した安定不動点が存在することが知られている。
安定不動点への収束は、最適化の観点からは、局所最適値への収束に相当する。
この性質を利用して、NNでTSPを解いた研究が過去にある。
この論文は、結合荷重を一定比率で減衰する負の値にすることにより、
ノード集合の変化にカオス性を持たせ、
安定不動点をアトラクタに変えて、
大規模なTSPでも、悪い局所最適に陥りにくくなることを実験的に示した。
<http://www-neos.mcs.anl.gov/>
ジョブを投げたらメールで結果が返ってくるらしいです。
手元のライブラリが動かないので、プロトタイプはこれでいいかな。
pure C++ OPT++ An Object-Oriented Nonlinear Optimization Library
リンク集 Kaisa Miettinen - Links
IpOpt
ちょっと古いけど、サーベイ Nonlinear Programming Algorithms for Large Nonlinear Gasoline Blending Problems
<http://www.coin-or.org/index.html>
COmputational INfrastructure for Operations Research
Ipopt - Trac(内点法による微分可能NLP)など。
[2006-06-22-3]
<http://www.is.titech.ac.jp/~kojima/articles/b-349.pdf>
数理計画法の内点法のイントロ。
中身は日本語。
制約条件が線形で、目的関数が対数線形。
どんなソルバーが使えますか?
CFSQP?
http://www.math.pitt.edu/~thales/dodec/code/cfsqp/
http://www.aemdesign.com/download-cfsqp/cfsqp-manual.pdf
線形計画には含まれないが、
非線形計画とか線形制約非線形計画は条件が広すぎる。