論文の概要: Lagrange Oscillatory Neural Networks for Constraint Satisfaction and Optimization
- arxiv url: http://arxiv.org/abs/2505.07179v1
- Date: Mon, 12 May 2025 02:12:38 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-05-13 20:21:49.243653
- Title: Lagrange Oscillatory Neural Networks for Constraint Satisfaction and Optimization
- Title(参考訳): 制約満足度と最適化のためのラグランジュ振動ニューラルネットワーク
- Authors: Corentin Delacour, Bram Haverkort, Filip Sabo, Nadine Azemard, Aida Todri-Sanial,
- Abstract要約: 我々は、ラグランジュ乗算器の理論に基づいて、実現不可能な状態から逃れるために設計されたラグランジュONN(LagONN)を紹介する。
我々は,最大200変数と860節のランダムSATlibインスタンスに対する最適解を求めるために,LagONNの制約満足度機構を利用する。
- 参考スコア(独自算出の注目度): 0.7030211840858415
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Physics-inspired computing paradigms are receiving renewed attention to enhance efficiency in compute-intensive tasks such as artificial intelligence and optimization. Similar to Hopfield neural networks, oscillatory neural networks (ONNs) minimize an Ising energy function that embeds the solutions of hard combinatorial optimization problems. Despite their success in solving unconstrained optimization problems, Ising machines still face challenges with constrained problems as they can get stuck at infeasible local minima. In this paper, we introduce a Lagrange ONN (LagONN) designed to escape infeasible states based on the theory of Lagrange multipliers. Unlike existing oscillatory Ising machines, LagONN employs additional Lagrange oscillators to guide the system towards feasible states in an augmented energy landscape and settles only when constraints are met. Taking the maximum satisfiability problem with three literals as a use case (Max-3-SAT), we harness LagONN's constraint satisfaction mechanism to find optimal solutions for random SATlib instances with up to 200 variables and 860 clauses, which provides a deterministic alternative to simulated annealing for coupled oscillators. We further discuss the potential of Lagrange oscillators to address other constraints, such as phase copying, which is useful in oscillatory Ising machines with limited connectivity.
- Abstract(参考訳): 物理学に着想を得た計算パラダイムは、人工知能や最適化といった計算集約的なタスクの効率を高めるために、新たな注目を集めている。
ホップフィールドニューラルネットワークと同様に、発振ニューラルネットワーク(ONN)は、ハード組合せ最適化問題の解を埋め込んだイジングエネルギー関数を最小化する。
制約のない最適化問題の解決に成功しているにもかかわらず、Isingマシンは非現実的なローカルミニマで立ち往生できるため、制約のある問題による課題に直面している。
本稿では,ラグランジュ乗算器の理論に基づいて,実現不可能な状態から逃れるためのラグランジュONN(LagONN)を提案する。
既存の振動イジング機械とは異なり、LagONNはラグランジュ発振器を使用して、拡張エネルギーのランドスケープにおける実現可能な状態に向けてシステムを誘導し、制約が満たされた場合にのみ落ち着く。
3つのリテラルを用いた最大満足度問題(Max-3-SAT)をユースケースとして、LagONNの制約満足度機構を用いて、最大200変数と860節のランダムSATlibインスタンスに対する最適解を求める。
さらに、接続性に制限のある振動イジングマシンにおいて有用な位相コピーなど、他の制約に対処するラグランジュ発振器の可能性についても論じる。
関連論文リスト
- Self-Adaptive Ising Machines for Constrained Optimization [0.4450107621124637]
制約のラグランジュ緩和を用いてエネルギー景観を形作る自己適応型IMを提案し, 罰則の事前調整を回避する。
我々は,多次元クナップサック問題 (MKP) と二次クナップサック問題 (QKP) でアルゴリズムをベンチマークし,後者は線形制約を持つイジング問題である。
その結果,探索中にエネルギー環境に適応することで,制約付き最適化のためにIMを高速化できることが示唆された。
論文 参考訳(メタデータ) (2025-01-09T05:02:50Z) - Reconfigurable Intelligent Surface (RIS)-Assisted Entanglement
Distribution in FSO Quantum Networks [62.87033427172205]
自由空間光(FSO)量子チャネルに依存する量子ネットワーク(QN)は、光ファイバー基盤の確立が困難でコストがかかる環境における量子アプリケーションをサポートすることができる。
エンタングルメント分布のための仮想視線を提供する費用効率の高いフレームワークとして,再構成可能なインテリジェントサーフェス(RIS)を用いたFSOベースのQNを提案する。
論文 参考訳(メタデータ) (2024-01-19T17:16:40Z) - Constrained Optimization via Exact Augmented Lagrangian and Randomized
Iterative Sketching [55.28394191394675]
等式制約付き非線形非IBS最適化問題に対する適応的不正確なニュートン法を開発した。
ベンチマーク非線形問題,LVMのデータによる制約付きロジスティック回帰,PDE制約問題において,本手法の優れた性能を示す。
論文 参考訳(メタデータ) (2023-05-28T06:33:37Z) - Accelerated First-Order Optimization under Nonlinear Constraints [61.98523595657983]
我々は、制約付き最適化のための一階アルゴリズムと非滑らかなシステムの間で、新しい一階アルゴリズムのクラスを設計する。
これらのアルゴリズムの重要な性質は、制約がスパース変数の代わりに速度で表されることである。
論文 参考訳(メタデータ) (2023-02-01T08:50:48Z) - Fermionic Quantum Approximate Optimization Algorithm [11.00442581946026]
制約付き最適化問題を解くためのフェルミオン量子近似最適化アルゴリズム(FQAOA)を提案する。
FQAOAは、フェルミオン粒子数保存を用いて、QAOAを通して本質的にそれらを強制する制約問題に対処する。
制約付きハミルトニアン問題に対して、運転者ハミルトニアンを設計するための体系的なガイドラインを提供する。
論文 参考訳(メタデータ) (2023-01-25T18:36:58Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳(メタデータ) (2022-11-16T18:59:54Z) - Efficient Methods for Structured Nonconvex-Nonconcave Min-Max
Optimization [98.0595480384208]
定常点に収束する一般化外空間を提案する。
このアルゴリズムは一般の$p$ノルド空間だけでなく、一般の$p$次元ベクトル空間にも適用される。
論文 参考訳(メタデータ) (2020-10-31T21:35:42Z) - Constructing Driver Hamiltonians for Optimization Problems with Linear
Constraints [0.0]
我々は、線形制約を持つハミルトニアンの可換性について推論するための単純で直感的なフレームワークを開発する。
ユニタリ作用素はエルミート作用素の指数関数であるため、これらの結果は量子交互作用素アンザッツフレームワークにおけるミキサーの構成にも適用できる。
論文 参考訳(メタデータ) (2020-06-22T06:47:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。