文献

J-GLOBAL ID：202202254337854598   整理番号：22A0311847

有限高さ補完および直交相補モジュラ格子に対する方程式決定問題の計算量について【JST・京大機械翻訳】

On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

著者 (1件)： Herrmann Christian (Technische Universitaet Darmstadt FB4, Darmstadt, Germany)
資料名： Algebra Universalis  (Algebra Universalis)
巻： 83  号： 1  ページ： 5  発行年： 2022年 
JST資料番号： W4017A  ISSN： 0002-5240  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 充足可能性問題の計算の複雑さと,補完した(オルソ補完)モジュール格子Lとクラスに対する等価問題の補完を研究した。有限高さの単純なLに関して,両方の問題に対して[数式:原文を参照]硬度を示した。さらに,両方の問題は,Lが少なくとも3の有限次元のDベクトル空間の部分空間格子である場合,分割リングD上の同じ実現可能性問題に対して多項式時間等価であることを示した。すべての有限次元Hilbert空間のクラスを考慮して,部分空間オルソ格子のクラスに対する等価問題は,擬似反転を有する内部写像[数式:原文を参照]リングのクラスに対する多項式時間等価であることが示される。さらに,定数のない実計算の非決定論的Blum-Shub-SmaleモデルのBoole部分の補完に対する完全性を導いた。この結果は,付加と擬似反転によって富化された有限次元Hilbert空間の付加的カテゴリーに拡張する。Copyright The Author(s) 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： Hilbert空間 ,  写像 ,  ベクトル空間 ,  *決定問題 ,  *計算量 ,  計算理論 ,  結晶格子 ,  空間 ,  モデル ,  *格子 ,  *問題 ,  次元 ,  完全性 ,  *直交性 ,  充足可能性問題
準シソーラス用語： 部分空間 ,  多項式時間 , 【Automatic Indexing@JST】

著者キーワード (6件)： 部分空間の直交格子 ,  マトリックス[数式:原文を参照]リング ,  補完モジュラ格子 ,  充足可能性問題 ,  複雑性 ,  Hilbertカテゴリー

分類 (2件)： 数値計算  (JE02000J) ,  数理物理学  (BA03000W)

タイトルに関連する用語 (5件)： 補完 ,  格子 ,  方程式 ,  決定問題 ,  計算量