Fugu-MT 論文翻訳(概要): A strengthening of the MCFL-ness of $O

論文の概要: A strengthening of the MCFL-ness of $O_2$

arxiv url: http://arxiv.org/abs/2608.18813v1
Date: Wed, 19 Aug 2026 11:11:49 GMT
ステータス: 翻訳完了
システム内更新日: 2026-08-20 20:13:55.381886
Title: A strengthening of the MCFL-ness of $O_2$
Title（参考訳）: MCFL濃度の$O_2$の強化
Abstract要約: 我々は$O$が多重文脈自由文法(MCFG)であることを証明する。弦の因数分解の観点で綴られた最近のそのような証明に焦点を合わせ、そのような因数分解を既存の定理よりも強く特徴づける新たな結果を与える。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: In the last years, a number of proofs of the fact that $O_2$ is a multiple context-free grammar (MCFG) were given. Such results can be exploited in the fields of both computational linguistics and of computational algebra. Here, we focus on a recent such proof spelled in terms of factorizations of string tuples, and give a new result with a stronger characterization of such factorizations than in existing theorems.
Abstract（参考訳）: ここ数年、$O_2$が複数の文脈自由文法(MCFG)であるという事実の証明がいくつか与えられた。このような結果は、計算言語学と計算代数学の両方の分野で利用することができる。ここでは、弦のタプルの分解の観点で綴られた最近のそのような証明に注目し、既存の定理よりもその分解のキャラクタリゼーションが強い新しい結果を与える。

関連論文リスト

Hardness of High-Dimensional Linear Classification [58.29089693778071]
我々は、最大半空間離散性問題に対する次元下界の新たな指数関数を確立する。どちらも計算幾何学と機械学習の基本的問題であり、その正確で近似的な形式である。
論文参考訳（メタデータ） (2026-03-19T15:53:41Z)
Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls [83.89771461061903]
検証者による木探索アルゴリズムの最近の進歩は、大規模言語モデル(LLM)の推論能力を大幅に向上させた。検証者による木探索アルゴリズムの最近の進歩は、大規模言語モデル(LLM)の推論能力を大幅に向上させた。意味論的に等価なコンテンツを持つ冗長な状態による$textitover-Exploration$と、検証器のスコアリングにおける高いばらつきに起因する$textitunder-Exploration$である。各種木探索アルゴリズムに適合するフレキシブルなプラグアンドプレイシステムであるFETCHを提案する。
論文参考訳（メタデータ） (2025-02-16T16:12:01Z)
Fast Multiplication and the PLWE-RLWE Equivalence for an Infinite Family of Maximal Real Subfields of Cyclotomic Fields [6.487242614495099]
RLWE(Ring Learning With Errors)問題とPLWE(Polynomial Learning With Errors)問題との等価性を実証する。また、最大実部分体の環内の2つの要素の積を計算するための高速整数についても述べる。
論文参考訳（メタデータ） (2024-10-01T15:32:02Z)
$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof [0.0]
それらを生成することができる文法の表現力に応じて言語を分類することは、計算言語学における根本的な問題である。本稿では,各証明が検証された(すなわち,証明支援者によってチェックされる)アルゴリズムに繋がるかどうかを,MCFGを通して解析できるかどうかを体系的に研究する,計算的および証明理論的な視点から,既存の証明を解析する。
論文参考訳（メタデータ） (2024-05-15T14:51:11Z)
Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages [104.90415092306219]
4つの形式は、ツリー随伴文法(TAG)、線形指数文法(LIG)、プッシュダウン随伴オートマトン(PAA)、組込みプッシュダウンオートマトン(EPDA)に相当する。我々は,文字列の導出量(文字列のすべてのオートマトン重み)と全導出量(全ての導出量重み)を計算するための新しいアルゴリズムを設計する。 EPDA の場合、我々のアルゴリズムは、$mathcalO(|Gamma|2)$ および $ の因子による Alonso et al. (2001) のアルゴリズムよりも空間効率と時間効率が良い。
論文参考訳（メタデータ） (2023-10-23T18:26:00Z)
$\alpha$-$\beta$-Factorization and the Binary Case of Simon's Congruence [1.5935205681539144]
1991年、H'ebrardは単語の因数分解を導入し、単語の散らばった要因を調べる強力なツールとなった。これに基づいて、最初のカランディカールとシュネーベレンは$k$-richness(英語版)という概念を導入し、後にBarkerらに$k$-universality(英語版)という概念を導入した。 2022年、フライシュマンらは、単語のアーチ因数分解とその逆を交差させることにより、アーチ因数分解の一般化を提示した。
論文参考訳（メタデータ） (2023-06-25T10:16:49Z)
An Operator Splitting View of Federated Learning [15.968575321322225]
過去数年間、学習(texttFL$)コミュニティは、新しい$texttFL$アルゴリズムの急増を目撃してきた。我々は、異なるアルゴリズムを簡単に比較し、以前の収束結果と比較し、新しいアルゴリズムの変種を明らかにする。統一アルゴリズムは、オーバーヘッドを伴わずに$texttFL$アルゴリズムを加速する方法も導き出す。
論文参考訳（メタデータ） (2021-08-12T21:22:06Z)
Proof-theoretic aspects of NL$\lambda$ [0.0]
論理式 NL$lambda$ の証明理論解析について述べる。証明ネットの新しい計算を導入し、論理学の逐次計算に関して、それが健全で完備であることを証明する。 2つの形式主義で提案される自然言語分析には,予期せぬ収束があることが示されている。
論文参考訳（メタデータ） (2020-10-23T08:13:39Z)
The Return of Lexical Dependencies: Neural Lexicalized PCFGs [103.41187595153652]
語彙化PCFGのニューラルモデルを提案する。実験により、この統一されたフレームワークは、いずれかの形式主義単独で達成されるよりも、両方の表現に対してより強い結果をもたらすことが示された。
論文参考訳（メタデータ） (2020-07-29T22:12:49Z)
Robustly Learning any Clusterable Mixture of Gaussians [55.41573600814391]
本研究では,高次元ガウス混合系の対向ロバスト条件下での効率的な学習性について検討する。理論的に最適に近い誤り証明である$tildeO(epsilon)$の情報を、$epsilon$-corrupted $k$-mixtureで学習するアルゴリズムを提供する。我々の主な技術的貢献は、ガウス混合系からの新しい頑健な識別可能性証明クラスターであり、これは正方形の定度証明システムによって捉えることができる。
論文参考訳（メタデータ） (2020-05-13T16:44:12Z)
MIP*=RE [9.42581332803306]
言語のクラス MIP* は、複数の量子プロバーサを共有する絡み合いと相互作用する古典的検証器によって決定できることを示す。我々は、フォン・ノイマン代数のコンヌの理論の難解性を提供する。
論文参考訳（メタデータ） (2020-01-13T16:32:40Z)
A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文参考訳（メタデータ） (2019-09-04T11:46:26Z)

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