論文の概要: Quantum-Inspired Approximations to Constraint Satisfaction Problems
- arxiv url: http://arxiv.org/abs/2212.04016v1
- Date: Thu, 8 Dec 2022 00:40:56 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-09 16:08:36.874565
- Title: Quantum-Inspired Approximations to Constraint Satisfaction Problems
- Title(参考訳): 制約満足問題に対する量子インスパイア近似
- Authors: S. Andrew Lanham
- Abstract要約: 本稿では,ブールフーリエ解析の手法を用いて,構成を満たす新しいアルゴリズムを提案する。
このアプローチは、量子振幅増幅アルゴリズムに大きくインスパイアされている。
フーリエ領域の空間性によって効率よく得られる量子測定に類似した過程において、充足解を検索できることを実証する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Two contrasting algorithmic paradigms for constraint satisfaction problems
are successive local explorations of neighboring configurations versus
producing new configurations using global information about the problem (e.g.
approximating the marginals of the probability distribution which is uniform
over satisfying configurations). This paper presents new algorithms for the
latter framework, ultimately producing estimates for satisfying configurations
using methods from Boolean Fourier analysis. The approach is broadly inspired
by the quantum amplitude amplification algorithm in that it maximally increases
the amplitude of the approximation function over satisfying configurations
given sequential refinements. We demonstrate that satisfying solutions may be
retrieved in a process analogous to quantum measurement made efficient by
sparsity in the Fourier domain, and present a complete solver construction
using this novel approximation. Freedom in the refinement strategy invites
further opportunities to design solvers in an evolutionary computing framework.
Results demonstrate competitive performance against local solvers for the
Boolean satisfiability (SAT) problem, encouraging future work in understanding
the connections between Boolean Fourier analysis and constraint satisfaction.
- Abstract(参考訳): 制約満足問題に対するアルゴリズムの2つの対照的なパラダイムは、隣り合う構成の連続的な局所探索と、問題に関するグローバル情報を用いた新しい構成の生成である(例えば、構成を満足する確率分布の限界を近似する)。
本稿では, ブールフーリエ解析の手法を用いて, 構成を満足するための推定値を生成する, 後者のフレームワークの新しいアルゴリズムを提案する。
この手法は量子振幅増幅アルゴリズムに着想を得ており、逐次洗練された構成を満足するよりも近似関数の振幅を最大に増大させる。
本研究では,フーリエ領域のスパルシティーにより効率良く得られる量子測定に類似した方法で解を満足させることができることを実証し,この近似を用いた完全解法の構成を示す。
リファインメント戦略の自由は、進化的コンピューティングフレームワークでソルバーを設計するさらなる機会を招きます。
その結果、boolean satisfiability (sat)問題に対する局所解法に対する競合性能が示され、boolean fourier解析と制約満足度との関係を理解するための将来の作業が促進される。
関連論文リスト
- A neural network approach for solving the Monge-Ampère equation with transport boundary condition [0.0]
本稿では,輸送境界条件でモンジュ・アンペア方程式を解くためのニューラルネットワークに基づく新しい手法を提案する。
我々は、方程式の残差、境界条件、凸性制約を含む損失関数を最小化することにより、多層パーセプトロンネットワークを利用して近似解を学習する。
論文 参考訳(メタデータ) (2024-10-25T11:54:00Z) - Analysis of the Non-variational Quantum Walk-based Optimisation Algorithm [0.0]
本稿では,多種多様な最適化問題を解くために設計された非変分量子アルゴリズムを詳細に紹介する。
このアルゴリズムは、増幅状態の繰り返しの準備と測定から最適解とほぼ最適解を返す。
論文 参考訳(メタデータ) (2024-07-29T13:54:28Z) - Hybrid discrete-continuous compilation of trapped-ion quantum circuits with deep reinforcement learning [1.7087507417780985]
我々は、トラップイオンコンピューティングにおいて、関連する量子回路のサイズを大幅に削減できることを示す。
私たちのフレームワークは、未知のユニタリプロセスの再生を目標とする実験的な設定にも適用できます。
論文 参考訳(メタデータ) (2023-07-12T14:55:28Z) - Sample Complexity for Quadratic Bandits: Hessian Dependent Bounds and
Optimal Algorithms [64.10576998630981]
最適なヘッセン依存型サンプルの複雑さを, 初めて厳密に評価した。
ヘシアン非依存のアルゴリズムは、すべてのヘシアンインスタンスに対して最適なサンプル複雑さを普遍的に達成する。
本アルゴリズムにより得られたサンプルの最適複雑さは,重み付き雑音分布においても有効である。
論文 参考訳(メタデータ) (2023-06-21T17:03:22Z) - Learning Unnormalized Statistical Models via Compositional Optimization [73.30514599338407]
実データと人工雑音のロジスティックな損失として目的を定式化することにより, ノイズコントラスト推定(NCE)を提案する。
本稿では,非正規化モデルの負の対数類似度を最適化するための直接的アプローチについて検討する。
論文 参考訳(メタデータ) (2023-06-13T01:18:16Z) - An Optimization-based Deep Equilibrium Model for Hyperspectral Image
Deconvolution with Convergence Guarantees [71.57324258813675]
本稿では,ハイパースペクトル画像のデコンボリューション問題に対処する新しい手法を提案する。
新しい最適化問題を定式化し、学習可能な正規化器をニューラルネットワークの形で活用する。
導出した反復解法は、Deep Equilibriumフレームワーク内の不動点計算問題として表現される。
論文 参考訳(メタデータ) (2023-06-10T08:25:16Z) - Tree ensemble kernels for Bayesian optimization with known constraints
over mixed-feature spaces [54.58348769621782]
木アンサンブルはアルゴリズムチューニングやニューラルアーキテクチャ検索といったブラックボックス最適化タスクに適している。
ブラックボックス最適化にツリーアンサンブルを使うことの2つのよく知られた課題は、探索のためのモデル不確実性を効果的に定量化し、また、 (ii) ピースワイドな定値取得関数を最適化することである。
我々のフレームワークは、連続/離散的機能に対する非拘束ブラックボックス最適化のための最先端の手法と同様に、混合変数の特徴空間と既知の入力制約を組み合わせた問題の競合する手法よりも優れている。
論文 参考訳(メタデータ) (2022-07-02T16:59:37Z) - High Probability Complexity Bounds for Non-Smooth Stochastic Optimization with Heavy-Tailed Noise [51.31435087414348]
アルゴリズムが高い確率で小さな客観的残差を与えることを理論的に保証することが不可欠である。
非滑らか凸最適化の既存の方法は、信頼度に依存した複雑性境界を持つ。
そこで我々は,勾配クリッピングを伴う2つの手法に対して,新たなステップサイズルールを提案する。
論文 参考訳(メタデータ) (2021-06-10T17:54:21Z) - Stochastic Compositional Gradient Descent under Compositional
constraints [13.170519806372075]
目的関数と制約関数が凸であり,関数の合成として表される制約最適化問題について検討する。
この問題は、公平な分類/回帰とキューシステムの設計に生じる。
提案手法は最適かつ実現可能な解をほぼ確実に見つけることが保証されている。
論文 参考訳(メタデータ) (2020-12-17T05:38:37Z) - Efficient Methods for Structured Nonconvex-Nonconcave Min-Max
Optimization [98.0595480384208]
定常点に収束する一般化外空間を提案する。
このアルゴリズムは一般の$p$ノルド空間だけでなく、一般の$p$次元ベクトル空間にも適用される。
論文 参考訳(メタデータ) (2020-10-31T21:35:42Z) - Constrained Combinatorial Optimization with Reinforcement Learning [0.30938904602244344]
本稿では,RL(Deep Reinforcement Learning)を用いた制約付き最適化問題に対処する枠組みを提案する。
我々は、その定式化における制約に対処するために、Neural Combinatorial Optimization(NCO)理論を拡張した。
その文脈では、ソリューションは環境との相互作用に基づいて反復的に構築されます。
論文 参考訳(メタデータ) (2020-06-22T03:13:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。