Fugu-MT 論文翻訳(概要): A hybrid Quantum proposal to deal with 3-SAT problem

論文の概要: A hybrid Quantum proposal to deal with 3-SAT problem

arxiv url: http://arxiv.org/abs/2306.04378v2
Date: Wed, 22 Nov 2023 11:20:36 GMT
ステータス: 処理完了
システム内更新日: 2023-11-23 19:07:20.291012
Title: A hybrid Quantum proposal to deal with 3-SAT problem
Title（参考訳）: 3-SAT問題に対処するハイブリッド量子の提案
Authors: Jose J. Paulet, Luis F. LLana, Hernan I. de la Cruz, Mauro Mezzini, Fernando Cuartero and Fernando L. Pelayo
Abstract要約: 本稿では,3SAT問題を解くためのハイブリッド量子コンピューティング戦略について述べる。この近似の性能は、量子コンピューティングの観点から3-SATを扱う際に、一連の代表的なシナリオで検証されている。
参考スコア（独自算出の注目度）: 75.38606213726906
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Going as far as possible at SAT problem solving is the main aim of our work. For this sake we have made use of quantum computing from its two, on practice, main models of computation. They have required some reformulations over the former statement of 3-SAT problem in order to accomplish the requirements of both techniques. This paper presents and describes a hybrid quantum computing strategy for solving 3-SAT problems. The performance of this approximation has been tested over a set of representative scenarios when dealing with 3-SAT from the quantum computing perspective.
Abstract（参考訳）: SAT問題解決においてできる限りの努力が、私たちの仕事の主目的です。この目的のために、我々は量子コンピューティングをその2つ、実際は主に計算のモデルから利用した。彼らは両方の手法の要求を満たすために、以前の3SAT問題に対するいくつかの改革を必要とした。本稿では,3SAT問題を解くためのハイブリッド量子コンピューティング戦略について述べる。この近似の性能は、量子コンピューティングの観点から3-SATを扱う際に、一連の代表的なシナリオで検証されている。

関連論文リスト

Quantum Approximate Optimisation for Not-All-Equal SAT [9.427635404752936]
変動量子アルゴリズムのQAOAを、満足度問題(SAT: Not-All-Equal SAT)の変種に適用する。両ソルバのランタイムは問題サイズとともに指数関数的にスケールするが,QAOAのスケーリングは回路深さが十分に大きい場合に小さくなることを示す。
論文参考訳（メタデータ） (2024-01-05T15:11:24Z)
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation [1.5201992393140886]
並列量子SATソルバは,線形時間 O(m) から定数時間 O(1) までの繰り返しの時間複雑性を,余分な絡み合った量子ビットを用いて低減する。我々は、我々のアプローチの正しさを証明し、シミュレーションでそれらを実証した。
論文参考訳（メタデータ） (2023-08-07T06:52:06Z)
Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT [55.78588835407174]
振幅増幅アルゴリズムは、可変代入を満たすために非構造化探索に適用することができる。 Quantum Approximate Optimization Algorithm (QAOA)は、ノイズのある中間量子デバイスのための3SATを解くための有望な候補である。振幅増幅によるQAOAの変種を導入し、3SATの成功確率を改善する。
論文参考訳（メタデータ） (2023-03-02T11:52:39Z)
Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs [1.2179548969182574]
実験では、リドベルク原子を用いて(すなわち、満足度(3-SAT)の問題をプログラムし、解を求める)。
論文参考訳（メタデータ） (2023-02-28T07:49:10Z)
Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization [10.156623881772362]
任意の3SATインスタンスを擬似非制約バイナリ最適化(QUBO)に変換する新しい手法を提案する。我々のアプローチでは、現在の最先端技術よりもカップリングが少なく、物理量子ビットも少なく、結果として解の質が向上する。
論文参考訳（メタデータ） (2023-02-07T15:38:29Z)
Solution of SAT Problems with the Adaptive-Bias Quantum Approximate Optimization Algorithm [4.03537866744963]
適応バイアスQAOA(ab-QAOA)は3SAT問題のハード領域とMax-3-SAT問題のハード領域の性能を大幅に向上させることを示す。我々の研究は、NISQデバイスにおける最適化問題に対する量子アドバンテージを実現するための道を開いた。
論文参考訳（メタデータ） (2022-10-06T11:25:26Z)
Adiabatic Quantum Computing for Multi Object Tracking [170.8716555363907]
マルチオブジェクト追跡(MOT)は、オブジェクト検出が時間を通して関連付けられているトラッキング・バイ・検出のパラダイムにおいて、最もよくアプローチされる。これらの最適化問題はNPハードであるため、現在のハードウェア上の小さなインスタンスに対してのみ正確に解決できる。本手法は,既成整数計画法を用いても,最先端の最適化手法と競合することを示す。
論文参考訳（メタデータ） (2022-02-17T18:59:20Z)
Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis [63.53283025435107]
CNFベースのSATとMaxSATは論理合成と検証システムの中心である。そこで本研究では,Transformerアーキテクチャから派生したワンショットモデルを用いて,MaxSAT問題の解法を提案する。
論文参考訳（メタデータ） (2021-07-15T04:47:35Z)
Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
3次元形状と画像のマッチング問題は、NPハードな置換行列制約を持つ二次代入問題(QAP)としてしばしば定式化される。本稿では,量子ハードウェア上での効率的な実行に適した制約のない問題として,いくつかのQAPの再構成を提案する。提案アルゴリズムは、将来の量子コンピューティングアーキテクチャにおいて、より高次元にスケールする可能性がある。
論文参考訳（メタデータ） (2021-07-08T17:59:55Z)
On Applying the Lackadaisical Quantum Walk Algorithm to Search for Multiple Solutions on Grids [63.75363908696257]
不足量子ウォーク(英: lackadaisical quantum walk)は、頂点が重量$l$の自己ループを持つグラフ構造を探索するために開発されたアルゴリズムである。本稿では,グリッド上の複数解の探索に不連続な量子ウォークを適用した際の問題に対処する。
論文参考訳（メタデータ） (2021-06-11T09:43:09Z)

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