Fugu-MT 論文翻訳(概要): An encoding of argumentation problems using quadratic unconstrained binary optimization

論文の概要: An encoding of argumentation problems using quadratic unconstrained binary optimization

arxiv url: http://arxiv.org/abs/2409.05524v1
Date: Mon, 9 Sep 2024 11:29:46 GMT
ステータス: 処理完了
システム内更新日: 2024-09-10 15:00:05.330121
Title: An encoding of argumentation problems using quadratic unconstrained binary optimization
Title（参考訳）: 2次非制約二元最適化を用いた議論問題の符号化
Authors: Marco Baioletti, Francesco Santini,
Abstract要約: そこで本研究では,NP-Complete問題から準拘束的二項最適化問題への抽象化問題を符号化する手法を開発した。 QUBOの定式化により、QuantumやDigital Annealersといった新しいコンピューティングアーキテクチャを活用することができる。論証や議論の実施における古典的問題の正しさと適用性を証明するために,実験を行った。
参考スコア（独自算出の注目度）: 1.104960878651584
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: In this paper, we develop a way to encode several NP-Complete problems in Abstract Argumentation to Quadratic Unconstrained Binary Optimization (QUBO) problems. In this form, a solution for a QUBO problem involves minimizing a quadratic function over binary variables (0/1), where the coefficients can be represented by a symmetric square matrix (or an equivalent upper triangular version). With the QUBO formulation, exploiting new computing architectures, such as Quantum and Digital Annealers, is possible. A more conventional approach consists of developing approximate solvers, which, in this case, are used to tackle the intrinsic complexity. We performed tests to prove the correctness and applicability of classical problems in Argumentation and enforcement of argument sets. We compared our approach to two other approximate solvers in the literature during tests. In the final experimentation, we used a Simulated Annealing algorithm on a local machine. Also, we tested a Quantum Annealer from the D-Wave Ocean SDK and the Leap Quantum Cloud Service.
Abstract（参考訳）: 本稿では,NP-Compe問題から準拘束的二項最適化(QUBO)問題への抽象論法を符号化する手法を開発する。この形式では、QUBO問題の解は二乗変数 (0/1) 上の二次函数を最小化することを含み、そこで係数は対称二乗行列(あるいは同値な上三角版)で表される。 QUBOの定式化により、QuantumやDigital Annealersといった新しいコンピューティングアーキテクチャを活用することができる。より伝統的なアプローチは近似解法の開発から成り、この場合、本質的な複雑性に対処するために用いられる。論証や議論の実施における古典的問題の正しさと適用性を証明するために,実験を行った。実験中,本手法を文献の他の2つの近似解法と比較した。最後の実験では、ローカルマシン上でSimulated Annealingアルゴリズムを使用した。また、D-Wave Ocean SDKとLeap Quantum Cloud ServiceからQuantum Annealerをテストしました。

関連論文リスト

Classical optimization with imaginary time block encoding on quantum computers: The MaxCut problem [2.4968861883180447]
対角ハミルトニアンの基底状態解を見つけることは、金融、物理学、計算機科学など多くの分野に関心を持つ理論的および実践的な問題の両方に関係している。ここでは、新しいブロック符号化方式を用いて、これらの問題の基底状態を取得し、この手法をMaxCutに例証として応用する。
論文参考訳（メタデータ） (2024-11-16T08:17:36Z)
Sum-of-Squares inspired Quantum Metaheuristic for Polynomial Optimization with the Hadamard Test and Approximate Amplitude Constraints [76.53316706600717]
最近提案された量子アルゴリズムarXiv:2206.14999は半定値プログラミング(SDP)に基づいている SDPにインスパイアされた量子アルゴリズムを2乗和に一般化する。この結果から,本アルゴリズムは大きな問題に適応し,最もよく知られた古典学に近似することが示唆された。
論文参考訳（メタデータ） (2024-08-14T19:04:13Z)
Feedback-Based Quantum Algorithm for Constrained Optimization Problems [0.6554326244334868]
問題の解を基底状態としてエンコードする新しい演算子を導入する。提案アルゴリズムは,量子回路の深さを小さくすることで,計算資源を節約できることを示す。
論文参考訳（メタデータ） (2024-06-12T12:58:43Z)
Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
量子アルゴリズムにおける最悪のケースと平均ケースの削減を設計する問題について検討する。量子アルゴリズムの明示的で効率的な変換は、入力のごく一部でのみ正し、全ての入力で正しくなる。
論文参考訳（メタデータ） (2022-12-06T22:01:49Z)
Symmetric Tensor Networks for Generative Modeling and Constrained Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文参考訳（メタデータ） (2022-11-16T18:59:54Z)
Complexity-Theoretic Limitations on Quantum Algorithms for Topological Data Analysis [59.545114016224254]
トポロジカルデータ解析のための量子アルゴリズムは、古典的手法よりも指数関数的に有利である。我々は、量子コンピュータにおいても、TDA(ベッチ数の推定)の中心的なタスクが難解であることを示します。我々は、入力データが単純さの仕様として与えられると、指数的量子優位性を取り戻すことができると論じる。
論文参考訳（メタデータ） (2022-09-28T17:53:25Z)
Quantum Sparse Coding [5.130440339897477]
我々はスパース符号化のための量子インスピレーション付きアルゴリズムを開発した。量子コンピュータとイジングマシンの出現は、より正確な推定につながる可能性がある。我々はLightrの量子インスパイアされたデジタルプラットフォーム上でシミュレーションデータを用いて数値実験を行う。
論文参考訳（メタデータ） (2022-09-08T13:00:30Z)
Q-FW: A Hybrid Classical-Quantum Frank-Wolfe for Quadratic Binary Optimization [44.96576908957141]
本稿では,量子コンピュータ上での2次線形反復問題を解くために,フランク・ウルフアルゴリズム(Q-FW)に基づく古典量子ハイブリッドフレームワークを提案する。
論文参考訳（メタデータ） (2022-03-23T18:00:03Z)
Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
3次元形状と画像のマッチング問題は、NPハードな置換行列制約を持つ二次代入問題(QAP)としてしばしば定式化される。本稿では,量子ハードウェア上での効率的な実行に適した制約のない問題として,いくつかのQAPの再構成を提案する。提案アルゴリズムは、将来の量子コンピューティングアーキテクチャにおいて、より高次元にスケールする可能性がある。
論文参考訳（メタデータ） (2021-07-08T17:59:55Z)
Q-Match: Iterative Shape Matching via Quantum Annealing [64.74942589569596]
形状対応を見つけることは、NP-hard quadratic assignment problem (QAP)として定式化できる。本稿では,アルファ拡大アルゴリズムに触発されたQAPの反復量子法Q-Matchを提案する。 Q-Match は、実世界の問題にスケールできるような長文対応のサブセットにおいて、反復的に形状マッチング問題に適用できる。
論文参考訳（メタデータ） (2021-05-06T17:59:38Z)
Solving Inequality-Constrained Binary Optimization Problems on Quantum Annealer [0.966840768820136]
量子アニールを用いた不等式制約下でのバイナリ最適化問題の解法を提案する。本研究では,乗算器の交互方向法を用いる。本手法の計算時間は,高密度グラフ上で定義された様々なQKPに取り組み,精度の高い解法よりも高速であることがわかった。
論文参考訳（メタデータ） (2020-12-11T04:30:16Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。