グラフループ付き関係的Kleene代数の等式理論のPSPACE完全性

Research Paper#Theoretical Computer Science, Kleene Algebra, Complexity Theory🔬 Research|分析: 2026年1月3日 19:25•
公開: 2025年12月28日 13:48
•
1分で読める
•ArXiv

分析

本論文は、グラフループ付き関係的Kleene代数の等式理論のPSPACE完全性を確立しており、計算機科学の理論における重要な成果です。この結果を、top、tests、converse、nominalsなどの他の演算子を含むように拡張しています。ループオートマトンの導入と、2方向交互文字列オートマトンの言語包含問題への還元は、重要な貢献です。また、Kleene代数with tests (KAT)において、domainとantidomainを使用する場合の複雑さの違いを示しており、これらの代数系の微妙な性質を浮き彫りにしています。
引用・出典
原文を見る
"The paper shows that the equational theory of relational Kleene algebra with graph loop is PSpace-complete."
A
ArXiv2025年12月28日 13:48
* 著作権法第32条に基づく適法な引用です。
古い記事

Multimodal Fact-Checking: An Agent-based Approach

新しい記事

A Geometric Area Bound for Information Transfer Through Semiclassical Traversable Wormholes

関連分析

Research Paper

SpaceTimePilot：空間と時間の制御による生成ビデオレンダリング

2026年1月3日 06:10

Research Paper

量子カオスハミルトニアン進化におけるランダム性生成

2026年1月3日 06:10

Research Paper

GaMO：幾何学認識拡散を用いた疎視点3D再構成

2026年1月3日 06:32

原文: ArXiv