Fugu-MT 論文翻訳(概要): Yet Another Comparison of SAT Encodings for the At-Most-K Constraint

論文の概要: Yet Another Comparison of SAT Encodings for the At-Most-K Constraint

arxiv url: http://arxiv.org/abs/2005.06274v1
Date: Tue, 12 May 2020 03:23:00 GMT
ステータス: 処理完了
システム内更新日: 2022-12-03 19:36:48.993764
Title: Yet Another Comparison of SAT Encodings for the At-Most-K Constraint
Title（参考訳）: At-Most-K制約に対するSAT符号化の比較
Authors: Neng-Fa Zhou
Abstract要約: 本稿では,最大k制約に対するバイナリアダプタ符号化の性能について述べる。以前の実験では、k$>1のシーケンシャルカウンタエンコーディングの競合性を示しており、並列カウンタエンコーディングを除外している。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/publicdomain/zero/1.0/
Abstract: The at-most-k constraint is ubiquitous in combinatorial problems, and numerous SAT encodings are available for the constraint. Prior experiments have shown the competitiveness of the sequential-counter encoding for k $>$ 1, and have excluded the parallel-counter encoding, which is more compact that the binary-adder encoding, from consideration due to its incapability of enforcing arc consistency through unit propagation. This paper presents an experiment that shows astounding performance of the binary-adder encoding for the at-most-k constraint.
Abstract（参考訳）: at-most-k制約は組合せ問題においてユビキタスであり、制約に対して多くのSATエンコーディングが利用可能である。以前の実験では、k$>1のシーケンシャルカウンタエンコーディングの競合性を示しており、単位伝搬による弧の一貫性を強制できないため、バイナリアダインダエンコーディングよりもコンパクトな並列カウンタエンコーディングを除外している。本稿では,最大k制約に対するバイナリ加算エンコーディングの驚くべき性能を示す実験を行う。

関連論文リスト

Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes [3.001631679133604]
任意の量子低密度パリティチェック符号に対する局所統計復号法を導入する。我々のデコーダは専用ハードウェアの実装に適しており、実験からリアルタイムシンドロームをデコードするための有望な候補として位置づけられている。
論文参考訳（メタデータ） (2024-06-26T18:00:09Z)
Learning Linear Block Error Correction Codes [62.25533750469467]
本稿では,バイナリ線形ブロック符号の統一エンコーダデコーダトレーニングを初めて提案する。また,コード勾配の効率的なバックプロパゲーションのために,自己注意マスキングを行うトランスフォーマーモデルを提案する。
論文参考訳（メタデータ） (2024-05-07T06:47:12Z)
Low-Weight High-Distance Error Correcting Fermionic Encodings [0.0]
誤り訂正特性を持つ実効的なフェルミオン・ツー・キュービット符号化を探索する。安定化器と論理演算子の重みを著しく改善する有望な高距離符号化を複数報告する。
論文参考訳（メタデータ） (2024-02-23T15:32:57Z)
Testing the Accuracy of Surface Code Decoders [55.616364225463066]
大規模でフォールトトレラントな量子計算は量子エラー訂正符号(QECC)によって実現される本研究は,QECC復号方式の精度と有効性をテストするための最初の体系的手法である。
論文参考訳（メタデータ） (2023-11-21T10:22:08Z)
Deep Polar Codes [19.265010348250897]
我々は、深度極性符号(deep polar code)と呼ばれる、事前変換された極性符号の新たなクラスを導入する。まず、様々な大きさの多層極変換を利用するディープ・ポーラ・エンコーダを提案する。我々の符号化法はレートプロファイリングの柔軟性を提供し、幅広いコードレートとブロック長を受け入れる。
論文参考訳（メタデータ） (2023-08-06T03:29:18Z)
Quick Dense Retrievers Consume KALE: Post Training Kullback Leibler Alignment of Embeddings for Asymmetrical dual encoders [89.29256833403169]
我々は,高密度検索手法の推論効率を高めるための効率的かつ正確な手法であるKulback Leibler Alignment of Embeddings (KALE)を紹介した。 KALEは、バイエンコーダトレーニング後の従来の知識蒸留を拡張し、完全なリトレーニングやインデックス生成なしに効率的なクエリエンコーダ圧縮を可能にする。 KALEと非対称トレーニングを用いることで、3倍高速な推論を持つにもかかわらず、DistilBERTの性能を超えるモデルを生成することができる。
論文参考訳（メタデータ） (2023-03-31T15:44:13Z)
Neural Belief Propagation Decoding of Quantum LDPC Codes Using Overcomplete Check Matrices [60.02503434201552]
元のチェック行列における行の線形結合から生成された冗長な行を持つチェック行列に基づいてQLDPC符号を復号する。このアプローチは、非常に低い復号遅延の利点を付加して、復号性能を著しく向上させる。
論文参考訳（メタデータ） (2022-12-20T13:41:27Z)
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints [5.62245362437303]
Pseudo-Boolean(PB)制約の符号化について検討する。 PB(AMO)エンコーディングは、より多くのインスタンスをタイムリミット内で解決し、時には1桁以上の時間改善を行う。
論文参考訳（メタデータ） (2021-10-15T12:53:01Z)
Dense Coding with Locality Restriction for Decoder: Quantum Encoders vs. Super-Quantum Encoders [67.12391801199688]
我々は、デコーダに様々な局所性制限を課すことにより、濃密な符号化について検討する。このタスクでは、送信者アリスと受信機ボブが絡み合った状態を共有する。
論文参考訳（メタデータ） (2021-09-26T07:29:54Z)
Less is More: Pre-training a Strong Siamese Encoder Using a Weak Decoder [75.84152924972462]
多くの実世界のアプリケーションはSiameseネットワークを使用して、テキストシーケンスを大規模に効率的にマッチングします。本稿では,シームズアーキテクチャにおけるシーケンスマッチング専用の言語モデルを事前学習する。
論文参考訳（メタデータ） (2021-02-18T08:08:17Z)
Encoding Linear Constraints into SAT [0.0]
複数値決定ダイアグラムとソートネットワークに基づく新しいSATエンコーディングを定義する。線形整数解法 (MIP) よりも優れており, 適切な問題に対して LCG や SMT より優れている場合もある。
論文参考訳（メタデータ） (2020-05-05T11:37:43Z)

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