核心概念
이 논문은 변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구축된 용어에 대한 등식이 위라우흐 등급으로 대체되더라도 참이 되는 위라우흐 격자의 등식 이론을 연구합니다. 이를 위해 유한 그래프 간의 환원 가능성에 대한 조합론적 설명을 제공하고, 이러한 등식의 유효성을 결정하는 것이 다항식 계층의 3단계에 속한다는 것을 보여줍니다.
摘要
이 논문은 위라우흐 격자의 등식 이론을 연구합니다. 주요 내용은 다음과 같습니다:
-
변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구축된 용어에 대한 등식이 위라우흐 등급으로 대체되더라도 참이 되는지 조사합니다.
-
이러한 등식에 대한 조합론적 설명을 제공합니다. 이는 유한 그래프 간의 환원 가능성으로 특징지어집니다.
-
이러한 등식의 유효성을 결정하는 것이 다항식 계층의 3단계에 속한다는 것을 보여줍니다.
-
위라우흐 격자의 부분 구조인 (W•, ⊓, ×, 1)에 대한 완전한 공리화를 제안합니다. 이를 통해 (W•, ⊓, ×, 1, ⊔, (−)∗)에 대한 완전한 공리화를 얻을 수 있습니다.
-
등식 유효성 결정 문제의 복잡도를 분석합니다. (W•, ⊓, ×)의 경우 Σp
2-완전, (W•, ⊓, ×, 1, ⊔)의 경우 Πp
3-완전임을 보입니다.
統計資料
위라우흐 등급은 ≤W로 정의되는 동치류입니다.
위라우흐 등급은 격자 연산 ⊓, ⊔, 곱셈 ×, 유한 병렬화 ∗로 구성된 풍부한 대수 구조를 가집니다.
위라우흐 등급의 등식 이론을 특성화하는 것은 이 구조를 더 잘 이해하는 데 도움이 됩니다.
引述
"위라우흐 등급은 풍부한 대수 구조를 가집니다. 여기서는 격자 연산 ⊓, ⊔, 곱셈 ×, 유한 병렬화 ∗를 고려합니다."
"위라우흐 등급의 등식 이론을 특성화하는 것은 이 구조를 더 잘 이해하는 데 도움이 됩니다."
"위라우흐 등급의 등식 이론이 다항식 계층의 3단계에 속한다는 것을 보여줍니다."