Fugu-MT 論文翻訳(概要): A Quantum SMT Solver for Bit-Vector Theory

論文の概要: A Quantum SMT Solver for Bit-Vector Theory

arxiv url: http://arxiv.org/abs/2303.09353v1
Date: Thu, 16 Mar 2023 14:32:50 GMT
ステータス: 処理完了
システム内更新日: 2023-03-17 15:12:43.217387
Title: A Quantum SMT Solver for Bit-Vector Theory
Title（参考訳）: ビットベクトル理論のための量子SMTソルバー
Authors: Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang and Yean-Ru Chen
Abstract要約: 我々はビットベクトル理論のための量子SMTソルバを開発する。量子系における重ね合わせの特性により、解法は全ての入力を同時に考えることができる。
参考スコア（独自算出の注目度）: 2.1401240672387574
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Given a formula $F$ of satisfiability modulo theory (SMT), the classical SMT solver tries to (1) abstract $F$ as a Boolean formula $F_B$, (2) find a Boolean solution to $F_B$, and (3) check whether the Boolean solution is consistent with the theory. Steps~{(2)} and (3) may need to be performed back and forth until a consistent solution is found. In this work, we develop a quantum SMT solver for the bit-vector theory. With the characteristic of superposition in quantum system, our solver is able to consider all the inputs simultaneously and check their consistency between Boolean and the theory domains in one shot.
Abstract（参考訳）: 古典的SMTソルバは、式$F$ of satisfiability modulo theory (SMT) を与えられたとき、(1) ブール式$F_B$、(2) ブール解を$F_B$として抽象化し、(3) ブール解が理論と整合であるかどうかを確認する。ステップ~{(2)} と (3) は、一貫性のある解が見つかるまで前後に実行される必要がある。本研究では,ビットベクトル理論のための量子SMTソルバを開発する。量子系における重ね合わせの特性により、解法は全ての入力を同時に考慮し、ブールと理論領域間の一貫性を1ショットで確認することができる。

関連論文リスト

Global Nash Equilibrium in Non-convex Multi-player Game: Theory and Algorithms [66.8634598612777]
ナッシュ均衡(NE)はマルチプレイヤーゲームにおいて全てのプレイヤーに受け入れられることを示す。また、一般理論から一歩ずつ一方的に利益を得ることはできないことも示している。
論文参考訳（メタデータ） (2023-01-19T11:36:50Z)
Quantum Mass Production Theorems [0.22843885788439797]
我々は、任意の$n$-qubitユニタリ変換$U$に対して、少なくとも$O(4n)$ゲートを持つ$Uotimes r$を実装する量子回路が存在することを証明している。また、量子状態と対角ユニタリ変換の結果も確立する。
論文参考訳（メタデータ） (2022-12-29T18:13:44Z)
General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory [62.997667081978825]
特定の相互作用のクラスを効率的にシミュレートできる一般量子アルゴリズムを導入する。格子ゲージ理論は、1+1次元のSU(2)ゲージ理論であり、1つのスタッガードフェルミオンに結合する。これらのアルゴリズムは、アベリアおよび非アベリアゲージ理論と同様に高次元理論にも適用可能であることが示されている。
論文参考訳（メタデータ） (2022-12-28T18:56:25Z)
A Matrix Big Bang on a Quantum Computer [1.4538087319942903]
非臨界 M-理論は異なる非臨界弦理論を統一しようとする。量子シミュレーションでは、臨界M理論よりも量子ビットやパウリ項は少ないことが示される。
論文参考訳（メタデータ） (2022-12-01T03:54:37Z)
On Symmetric Pseudo-Boolean Functions: Factorization, Kernels and Applications [0.0]
任意の対称擬ブール函数が、同値に級数や分解として表せることを証明する。これらの結果を用いて、スピングラスエネルギー関数、量子情報、テンソルネットワークの文献に現れる対称擬ブール関数を解析する。
論文参考訳（メタデータ） (2022-09-29T18:00:07Z)
A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit [73.70667578066775]
ほとんどの人造システム、特にコンピュータは決定論的に機能する。本稿では、量子物理学が確率法則に従うときの直観的なアプローチである量子情報理論による接続を提供する。
論文参考訳（メタデータ） (2022-09-08T17:55:30Z)
Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
量子順序付き二項決定図($OBDD$)モデルについて検討する。入力変数の任意の順序で、OBDDの下位境界と上位境界を証明します。 read$k$-times Ordered Binary Decision Diagrams (k$-OBDD$)の幅の階層を拡張します。
論文参考訳（メタデータ） (2022-04-22T12:37:56Z)
Speeding up Learning Quantum States through Group Equivariant Convolutional Quantum Ans{\"a}tze [18.104579554539633]
我々は、$S_n$-equivariant量子畳み込み回路の理論的枠組みを開発する。量子回路は行列要素の計算において超指数的高速化を実現するための自然な選択であることを示す。我々のフレームワークは、グローバルな普遍性に関する幅広い問題に自然に適用できる。
論文参考訳（メタデータ） (2021-12-14T18:03:43Z)
Near-Optimal Regret Bounds for Contextual Combinatorial Semi-Bandits with Linear Payoff Functions [53.77572276969548]
我々は、C$2$UCBアルゴリズムが分割マトロイド制約に対して最適な後悔結合$tildeO(dsqrtkT + dk)$を有することを示した。一般的な制約に対して,C$2$UCBアルゴリズムで腕の報酬推定値を変更するアルゴリズムを提案する。
論文参考訳（メタデータ） (2021-01-20T04:29:18Z)
Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast Algorithm [100.11971836788437]
固定支持ワッサーシュタインバリセンタ問題(FS-WBP)について検討する。我々は,有望な反復的ブレグマン射影 (IBP) アルゴリズムであるtextscFastIBP の,証明可能な高速なテキスト決定論的変種を開発する。
論文参考訳（メタデータ） (2020-02-12T03:40:52Z)
Towards Optimal Separations between Quantum and Randomized Query Complexities [0.30458514384586394]
入力に対して2O(k)$クエリを行うことで量子アルゴリズムを解くことができることを示す。任意の定数 $varepsilon>0$ に対して、$O(1)$ 対 $N2/3-varepsilon$ 分離を与える。
論文参考訳（メタデータ） (2019-12-29T01:42:31Z)

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