論文の概要: Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
- arxiv url: http://arxiv.org/abs/2412.14933v1
- Date: Thu, 19 Dec 2024 15:10:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-12-20 13:30:17.745212
- Title: Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
- Title（参考訳）: Cirbo: ブール回路解析と合成のための新しいツール
- Authors: Daniil Averkov, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Daniil Levtsov, Georgie Levtsov, Vsevolod Vaskin, Aleksey Vorobiev,
- Abstract要約: ブール回路を操作するためのオープンソースツールを提案する。
これは、様々な頻繁に使用される回路タスクに対して、既存および新規両方の効率的なアルゴリズムを実装している。
このツールは、IWLS 2024 Programming Contestの優勝に役立ちました。
- 参考スコア（独自算出の注目度）: 31.950717571266026
- License:
- Abstract: We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits (computing, in particular, symmetric and arithmetic functions) that have been optimized intensively by the community for the last three years. The tool helped us to win the IWLS 2024 Programming Contest. In 2023, it was Google DeepMind who took the first place in the competition. We were able to reduce the size of the best circuits from 2023 by 12\% on average, whereas for some individual circuits, our size reduction was as large as 83\%.
- Abstract（参考訳）: ブール回路を操作するためのオープンソースツールを提案する。
既存のものと新規の双方で効率的なアルゴリズムを実装し、満足度、合成、最小化など、多種多様な回路タスクをこなす。
我々は,このツールを,過去3年間,コミュニティが集中的に最適化してきた,実用的な回路(特に対称関数と算術関数)の幅広い範囲でテストした。
このツールは、IWLS 2024 Programming Contestの優勝に役立ちました。
2023年、Google DeepMindがコンペで優勝した。
最大回路サイズを2023年から平均12倍に削減することができたが、一部の個別回路では83倍にまで縮小できた。
関連論文リスト
- Minimum Synthesis Cost of CNOT Circuits [0.0]
我々は合成においてCNOTゲートを分類する新しい方法を用いて、$O(nomega)$時間で計算可能な厳密な下界を求める。
フレームワークを適用すると、$n$サイクル回路の3(n-1)$ゲート合成が最適であることが証明され、それらの構造についての洞察が得られる。
論文 参考訳（メタデータ） (2024-08-15T03:09:53Z) - Finding Transformer Circuits with Edge Pruning [71.12127707678961]
自動回路発見の効率的かつスケーラブルなソリューションとしてエッジプルーニングを提案する。
本手法は,従来の手法に比べてエッジ数の半分未満のGPT-2の回路を探索する。
その効率のおかげで、Edge PruningをCodeLlama-13Bにスケールしました。
論文 参考訳（メタデータ） (2024-06-24T16:40:54Z) - Iterative Reasoning Preference Optimization [84.15992372132507]
生成したChain-of-Thought(CoT)候補間の嗜好を最適化するための反復的アプローチを開発する。
このスキームの繰り返し繰り返しにおける推論の改善を示す。
例えば、GSM8Kは55.6%から81.6%に大きく改善され、精度は88.7%となり、32のサンプルのうち多数が投票した。
論文 参考訳（メタデータ） (2024-04-30T17:28:05Z) - Exploiting Qubit Reuse through Mid-circuit Measurement and Reset [2.5010430975839792]
中間回路のハードウェア測定は、回路効率と忠実度を3つの側面から改善することができる。
我々は,キュービットの再利用,忠実度,ゲート数,回路長のトレードオフを見つけ,活用できるコンパイラ支援ツールを設計する。
論文 参考訳（メタデータ） (2022-11-03T16:06:12Z) - Wide Quantum Circuit Optimization with Topology Aware Synthesis [0.8469686352132708]
ユニタリ合成は、量子回路を制限的量子ビット位相にマッピングしながら最適なマルチキュービットゲート数を達成する最適化手法である。
我々は,emphBQSKitフレームワークで構築されたトポロジ対応合成ツールであるTopASを紹介した。
論文 参考訳（メタデータ） (2022-06-27T21:59:30Z) - Gaussian Elimination versus Greedy Methods for the Synthesis of Linear
Reversible Circuits [0.0]
可逆回路は、量子コンピューティングに多くの応用がある可逆回路のサブクラスを表す。
ガウス除去アルゴリズムの最適化版と調整LU分解を用いて,任意の線形可逆作用素に対する新しいアルゴリズムを提案する。
全体として、我々のアルゴリズムは特定の問題サイズに対する最先端の手法を改善している。
論文 参考訳（メタデータ） (2022-01-17T16:31:42Z) - SAT-based Circuit Local Improvement [77.36158507255637]
正確な回路サイズを見つけることは、実際よく知られた最適化問題である。
与えられた回路の周りのボール内の小さな回路を検索します。
各種対称関数を用いた実験結果について報告する。
論文 参考訳（メタデータ） (2021-02-19T16:01:50Z) - On the realistic worst case analysis of quantum arithmetic circuits [69.43216268165402]
量子回路の設計における直観は誤解を招く可能性があることを示す。
また,T数を減らすことで,全深度を増大させることができることを示した。
リップルキャリーを用いた加算回路と乗算回路について述べる。
論文 参考訳（メタデータ） (2021-01-12T21:36:16Z) - Machine Learning Optimization of Quantum Circuit Layouts [63.55764634492974]
本稿では量子回路マッピングQXXとその機械学習バージョンQXX-MLPを紹介する。
後者は、レイアウトされた回路の深さが小さくなるように最適なQXXパラメータ値を自動的に推論する。
近似を用いてレイアウト法を学習可能な経験的証拠を提示する。
論文 参考訳（メタデータ） (2020-07-29T05:26:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。