Fugu-MT 論文翻訳(概要): No Efficient Disjunction or Conjunction of Switch-Lists

論文の概要: No Efficient Disjunction or Conjunction of Switch-Lists

arxiv url: http://arxiv.org/abs/2203.04788v1
Date: Wed, 9 Mar 2022 15:13:44 GMT
ステータス: 処理完了
システム内更新日: 2022-03-10 21:45:55.608265
Title: No Efficient Disjunction or Conjunction of Switch-Lists
Title（参考訳）: 効率的な切り離しやスイッチリストの結合は不要
Authors: Stefan Mengel
Abstract要約: 2つのスイッチリストの解離が指数関数的に表現サイズを爆発させることが示されている。スイッチリストはサイズが大きくなることなく無効化できるため、スイッチリストの結合は一般に指数的な爆発を引き起こすことを示す。
参考スコア（独自算出の注目度）: 4.797216015572358
License: http://creativecommons.org/licenses/by/4.0/
Abstract: It is shown that disjunction of two switch-lists can blow up the representation size exponentially. Since switch-lists can be negated without any increase in size, this shows that conjunction of switch-lists also leads to an exponential blow-up in general.
Abstract（参考訳）: 2つのスイッチリストの切断は指数関数的に表現サイズを吹き飛ばすことが示されている。スイッチリストはサイズが大きくなることなく無効化できるため、スイッチリストの結合は一般に指数的な爆発を引き起こすことを示す。

関連論文リスト

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
論文参考訳（メタデータ） (2024-06-20T10:59:02Z)
Conjunctive categorial grammars and Lambek grammars with additives [49.1574468325115]
基本分類文法を結合操作で強化することにより,新しい分類文法群が提案される。また、連結な圏文法はランベック計算に自然に結合および共役演算と共役演算を組み込むことが示されている。
論文参考訳（メタデータ） (2024-05-26T18:53:56Z)
Transformers as Transducers [27.48483887144685]
変換器のシーケンス・ツー・シーケンスマッピング能力について有限変換器に関連付けることにより検討する。既存のブール変種であるB-RASPをシーケンス・ツー・シーケンス関数に拡張し、一階有理関数を正確に計算することを示す。マスク付き平均的注意変換器はS-RASPをシミュレートできることを示す。
論文参考訳（メタデータ） (2024-04-02T15:34:47Z)
Weakening Assumptions for Publicly-Verifiable Deletion [79.61363884631021]
我々は,様々な暗号システムに公開検証可能な削除を汎用的に付加する,シンプルなコンパイラを開発した。コンパイラは片道関数のみを使用します。
論文参考訳（メタデータ） (2023-04-19T17:51:28Z)
Unextendibility, uncompletability, and many-copy indistinguishable ensembles [77.34726150561087]
本研究では,不拡張性,不コンパイル性について検討し,多くのコピー不識別アンサンブルへの接続を解析する。混合度を減少させて局所的不識別性を増大させる多部構成の多部構成の多部構成不識別アンサンブルについて報告する。
論文参考訳（メタデータ） (2023-03-30T16:16:41Z)
Noncommutative extensions of parameters in the asymptotic spectrum of graphs [0.0]
任意の函数は、類似した性質を持つ非可換グラフへの無数の拡張を持つか、あるいはそのような拡張を全く持たないことを示す。特に、Lov'asz数に対する許容指数の集合、射影階数、複素数上で有界な分数Haemerは極大である。
論文参考訳（メタデータ） (2022-07-21T13:55:12Z)
Capacity of Group-invariant Linear Readouts from Equivariant Representations: How Many Objects can be Linearly Classified Under All Possible Views? [21.06669693699965]
分離可能な二コトミーの分数は群作用によって固定される空間の次元によって決定される。この関係が、畳み込み、要素ワイド非線形性、大域的および局所的なプーリングなどの操作にどのように拡張されるかを示す。
論文参考訳（メタデータ） (2021-10-14T15:46:53Z)
The equivalence between correctability of deletions and insertions of separable states in quantum codes [6.85316573653194]
挿入と削除に対応するクラウス作用素を交換する代数学を開発する。我々はKnill-Laflamme条件を用いて量子挿入符号と量子削除符号の等価性を証明した。
論文参考訳（メタデータ） (2021-05-15T12:30:26Z)
Glushkov's construction for functional subsequential transducers [91.3755431537592]
グルシコフの構成は多くの興味深い性質を持ち、トランスデューサに適用するとさらに明らかになる。正規表現の特別な風味を導入し、効率よく$epsilon$-free 機能的次数重み付き有限状態トランスデューサに変換することができる。
論文参考訳（メタデータ） (2020-08-05T17:09:58Z)
On the Complexity of Breaking Symmetry [17.68987003293372]
我々は、少なくとも語彙的順序付けにおける対称性クラス内の解を排除することによって対称性を破る。これをレックスリーダー法と呼ぶことが多い。通常の語彙的順序付け以外の全順序付けを用いることは、一般に破壊対称性の計算複雑性を低下させるものではないことを証明している。
論文参考訳（メタデータ） (2020-05-16T23:54:06Z)
Superposition for Lambda-Free Higher-Order Logic [62.997667081978825]
本稿では,意図的および拡張的クラス数$lambda$-free高階論理に対して,難解な完全重ね合わせ計算を導入する。計算は完全単調でなくてもよい項順でパラメタ化され、$lambda$フリーの高次語彙パスとKnuth-Bendixの順序を使うことができる。
論文参考訳（メタデータ） (2020-05-05T12:10:21Z)

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