論文の概要: A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem

• arxiv url: http://arxiv.org/abs/2011.00775v1
• Date: Mon, 2 Nov 2020 06:52:35 GMT
• ステータス: 処理完了
• システム内更新日: 2022-09-30 12:05:55.562549
• Title: A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem
• Title（参考訳）: negation-limited inverters問題における解法戦略の興味深い新しい結果
• Authors: Ruo Ando, Yoshiyasu Takefuji
• Abstract要約: 2つの解像度戦略はUR(Unit Resulting)解像度とハイパー解像度である。 UR分解能はSOS(Set of Support)の測定において超解像よりも大幅に高速であることが判明した(Set of Support)。
• 参考スコア（独自算出の注目度）: 0.29008108937701327
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Generally, negation-limited inverters problem is known as a puzzle of constructing an inverter with AND gates and OR gates and a few inverters. In this paper, we introduce a curious new result about the effectiveness of two powerful ATP (Automated Theorem Proving) strategies on tackling negation limited inverter problem. Two resolution strategies are UR (Unit Resulting) resolution and hyper-resolution. In experiment, we come two kinds of automated circuit construction: 3 input/output inverters and 4 input/output BCD Counter Circuit. Both circuits are constructed with a few limited inverters. Curiously, it has been turned out that UR resolution is drastically faster than hyper-resolution in the measurement of the size of SOS (Set of Support). Besides, we discuss the syntactic and semantic criteria which might causes considerable difference of computation cost between UR resolution and hyper-resolution.
• Abstract（参考訳）: 一般に、否定限定インバータ問題は、ANDゲートとORゲートと数個のインバータを備えたインバータを構築するパズルとして知られている。 本稿では,2つの強力なATP (Automated Theorem Proving) 戦略の有効性に関する興味深い新しい結果を紹介する。 2つの解像度戦略はUR(Unit Resulting)解像度とハイパー解像度である。 実験では3入力/出力インバータと4入力/出力BCDカウンタ回路の2種類の自動回路構成を行った。 どちらの回路も少数のインバータで構成されている。 UR分解能はSOS(Set of Support)の測定において超解像よりも大幅に高速であることが判明した。 さらに,ur分解能とハイパーレゾリューションの間で計算コストのかなりの差を引き起こす構文的・意味的基準について考察する。

関連論文リスト

• On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
  任意の指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。 クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
  論文  参考訳（メタデータ） (2024-08-15T17:09:08Z)
• Function Approximation for Reinforcement Learning Controller for Energy from Spread Waves [69.9104427437916]
  マルチジェネレータ・ウェーブ・エナジー・コンバータ(WEC)は、スプレッド・ウェーブと呼ばれる異なる方向から来る複数の同時波を処理しなければならない。 これらの複雑な装置は、エネルギー捕獲効率、維持を制限する構造的ストレスの低減、高波に対する積極的な保護という複数の目的を持つコントローラを必要とする。 本稿では,システム力学のシーケンシャルな性質をモデル化する上で,ポリシーと批判ネットワークの異なる機能近似について検討する。
  論文  参考訳（メタデータ） (2024-04-17T02:04:10Z)
• Quantum Fourier Transformation Circuits Compilation [7.1069624340204465]
  本研究は、量子変換(QFT)回路におけるドメイン固有のハードウェアマッピング戦略に焦点を当てる。 我々は、技術的直観(しばしば「教育された推測」と呼ばれる)と洗練された合成プログラムツールを組み合わせた新しいアプローチを採用する。 我々の研究の画期的な成果は、Google Sycamore、IBM Heavy-hex、および従来の2次元(2D)グリッド構成のために設計された最初の線形深度変換QFT回路の導入である。
  論文  参考訳（メタデータ） (2023-12-17T21:26:17Z)
• Multi-Grid Tensorized Fourier Neural Operator for High-Resolution PDEs [93.82811501035569]
  本稿では,メモリ要求を低減し,より一般化したデータ効率・並列化可能な演算子学習手法を提案する。 MG-TFNOは、実世界の実世界の現象の局所的構造と大域的構造を活用することで、大規模な分解能にスケールする。 乱流ナビエ・ストークス方程式において150倍以上の圧縮で誤差の半分以下を達成できる優れた性能を示す。
  論文  参考訳（メタデータ） (2023-09-29T20:18:52Z)
• A Block-Ring connected Topology of Parameterized Quantum Circuits [2.325977856241404]
  本稿では,ブロックリングトポロジ(BR)と呼ばれる新しいトポロジを提案し,量子回路を構築する。 BRトポロジーは同様の性能を持ち、パラメータの数と2量子ゲートは0(n2)から0(mn)に減少する。 異なる2量子ゲートが回路に与える影響を考慮して、制御されたX回転ゲートと制御されたZ回転ゲートを区別する。
  論文  参考訳（メタデータ） (2023-08-21T15:35:03Z)
• ViTO: Vision Transformer-Operator [0.0]
  複雑性を増大させる逆PDE問題の解法として, ViTO を適用した。 得られた結果は、精度の点で、主要な演算子ネットワークベンチマークに匹敵するか、上回っている。
  論文  参考訳（メタデータ） (2023-03-15T19:24:14Z)
• HEAT: Hardware-Efficient Automatic Tensor Decomposition for Transformer Compression [69.36555801766762]
  本稿では,分解可能な指数空間を効率的に探索できるハードウェア対応テンソル分解フレームワークHEATを提案する。 ハードウェア対応のBERT変異体は, エネルギー遅延を5.7倍に低減し, 精度が1.1%以下であることを示す。
  論文  参考訳（メタデータ） (2022-11-30T05:31:45Z)
• Quantum error mitigation by hidden inverses protocol in superconducting quantum devices [0.2867517731896504]
  本稿では,コヒーレントエラーを軽減するために,隠れ逆数に基づく変分アルゴリズムの収束性を改善する手法を提案する。 このアプローチは、ノイズ演算子がゲート反転で反転する様々な2ビット誤りモデルの性能を向上させる。 本稿では,変分量子固有解法(VQE)アルゴリズムを動作させる超伝導量子プロセッサに対する緩和手法を適用する。
  論文  参考訳（メタデータ） (2022-04-26T16:05:34Z)
• Fault-tolerance in qudit circuit design [0.0]
  クォーディットは資源要求を線形から対数深度まで減少させる可能性があることを示す。 ある種の線形深度回路では、リソースの選択的適用により追加の誤差軽減が可能となる。
  論文  参考訳（メタデータ） (2022-02-14T16:09:04Z)
• Dual-Flattening Transformers through Decomposed Row and Column Queries for Semantic Segmentation [50.321277476317974]
  本稿では,高解像度出力を実現するためにDual-Flattening Transformer (DFlatFormer)を提案する。 ADE20KおよびCityscapesデータセットの実験は、提案された2重平坦トランスアーキテクチャの優位性を実証している。
  論文  参考訳（メタデータ） (2022-01-22T22:38:15Z)
• FastLR: Non-Autoregressive Lipreading Model with Integrate-and-Fire [74.04394069262108]
  我々は,全てのターゲットトークンを同時に生成する非自己回帰(NAR)リップリーダーモデルであるFastLRを提案する。 FastLRは最先端のリップリーダーモデルと比較して10.97$times$のスピードアップを実現している。
  論文  参考訳（メタデータ） (2020-08-06T08:28:56Z)

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

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