論文の概要: Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving

• arxiv url: http://arxiv.org/abs/2005.05465v1
• Date: Mon, 11 May 2020 22:20:17 GMT
• ステータス: 処理完了
• システム内更新日: 2023-05-20 13:54:29.114792
• Title: Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving
• Title（参考訳）: 量子アニーリングに基づくソフトウェアコンポーネント:SATソルビングを用いた実験ケーススタディ
• Authors: Tom Kr\"uger, Wolfgang Mauerer
• Abstract要約: 我々は、量子アニール器(QA)を用いて実装されたブール充足可能性問題(SAT)に対して、量子計算プリミティブを用いて既存のソフトウェアを拡張する方法のケーススタディを実行する。 量子成分の関連する品質測定について論じるとともに、SATをQAに変換する数学的に等価だが構造的に異なる方法が、これらの性質に実質的な違いをもたらすことを示す。
• 参考スコア（独自算出の注目度）: 6.535889545025831
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such machines in practical application is still subject to exploration. Quantum computers will not entirely replace classical machines, but serve as accelerators for specific problems. This necessitates integrating quantum computational primitives into existing applications. In this paper, we perform a case study on how to augment existing software with quantum computational primitives for the Boolean satisfiability problem (SAT) implemented using a quantum annealer (QA). We discuss relevant quality measures for quantum components, and show that mathematically equivalent, but structurally different ways of transforming SAT to a QA can lead to substantial differences regarding these qualities. We argue that engineers need to be aware that (and which) details, although they may be less relevant in traditional software engineering, require considerable attention in quantum computing.
• Abstract（参考訳）: 量子コンピュータは、古典的なコンピュータよりも効率的に問題を解く可能性がある。 最初の商用プロトタイプが利用可能になったが、実用用途でのマシンの性能は依然として調査の対象となっている。 量子コンピュータは古典機械を完全に置き換えるのではなく、特定の問題の加速器として機能する。 これは既存のアプリケーションに量子計算プリミティブを統合する必要がある。 本稿では,量子アニーラ (qa) を用いて実装したboolean satisfiability problem (sat) に対して,既存のソフトウェアを量子計算プリミティブで拡張する方法のケーススタディを行う。 量子成分の関連する品質測定について論じるとともに、SATをQAに変換する数学的に等価だが構造的に異なる方法がこれらの性質に重大な違いをもたらすことを示す。 従来のソフトウェアエンジニアリングにはあまり関係がないが、量子コンピューティングには相当な注意が必要であることを、エンジニアは(どの)詳細に気付く必要がある、と私たちは主張する。

関連論文リスト

• Unlocking Quantum Optimization: A Use Case Study on NISQ Systems [0.0]
  本稿では、電気自動車の充電スケジュールを最適化する分野における産業関連ユースケースと、トラック走行経路の最適化に関するユースケースについて考察する。 我々の中心的なコントリビューションは、IBMのゲートベース量子コンピュータの異なるプロセッサとD-Waveの量子アニール上で実行されるこれらのユースケースから導かれる系統的な一連の例である。
  論文  参考訳（メタデータ） (2024-04-10T17:08:07Z)
• Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
  期待されている量子コンピュータの応用は、科学と産業にまたがる。 本稿では,量子アルゴリズムの応用分野について検討する。 私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
  論文  参考訳（メタデータ） (2023-10-04T17:53:55Z)
• Quantum Machine Learning: from physics to software engineering [58.720142291102135]
  古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。 量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
  論文  参考訳（メタデータ） (2023-01-04T23:37:45Z)
• Using a quantum computer to solve a real-world problem -- what can be achieved today? [0.0]
  量子コンピューティングは、科学とビジネスの問題の展望に革命をもたらす可能性がある重要な発展技術である。 広範囲にわたる興奮は、フォールトトレラントな量子コンピュータが以前に難解な問題を解く可能性に由来する。 私たちは現在、量子ハードウェアの初期バージョンにより多くの量子アプローチが適用されているいわゆるNISQの時代にあります。
  論文  参考訳（メタデータ） (2022-11-23T16:10:53Z)
• Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
  本稿では,分散量子コンピューティング(DQC)のためのリソース割り当て方式を提案する。 本評価は,提案手法の有効性と,量子コンピュータとオンデマンド量子コンピュータの両立性を示すものである。
  論文  参考訳（メタデータ） (2022-09-16T02:37:32Z)
• Systematic Literature Review: Quantum Machine Learning and its applications [0.0]
  この写本は、2017年から2023年にかけて発行された論文の体系的文献レビューを提示することを目的としている。 本研究では、量子機械学習技術とアルゴリズムを使用した94の論文を特定した。 既存の量子コンピュータには、量子コンピューティングがその完全な潜在能力を達成するのに十分な品質、速度、スケールが欠けているため、量子ハードウェアの改善が必要である。
  論文  参考訳（メタデータ） (2022-01-11T17:36:34Z)
• Hybrid quantum-classical algorithms and quantum error mitigation [0.688204255655161]
  Googleは先頃、50量子ビットを超えるノイズの多い中間スケール量子デバイスを使用することで、量子超越性を達成した。 本稿では,ハイブリッド量子古典アルゴリズムと量子誤り軽減技術の基礎的結果について概説する。
  論文  参考訳（メタデータ） (2020-11-02T23:34:22Z)
• Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
  本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。 QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。 数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
  論文  参考訳（メタデータ） (2020-10-20T12:06:27Z)
• Electronic structure with direct diagonalization on a D-Wave quantum annealer [62.997667081978825]
  本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。 そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
  論文  参考訳（メタデータ） (2020-09-02T22:46:47Z)
• Quantum Computation [0.0]
  量子計算の中核となる原理と応用分野について論じ,要約する。 物理系の挙動に対する計算のマッピングは歴史的課題である。 量子コンピュータが正しく機能するために必要な技術を評価する。
  論文  参考訳（メタデータ） (2020-06-04T11:57:18Z)
• An Application of Quantum Annealing Computing to Seismic Inversion [55.41644538483948]
  小型地震インバージョン問題を解決するために,D波量子アニールに量子アルゴリズムを適用した。 量子コンピュータによって達成される精度は、少なくとも古典的コンピュータと同程度である。
  論文  参考訳（メタデータ） (2020-05-06T14:18:44Z)

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

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