이 논문은 위라우흐 격자의 방정식 이론을 연구합니다. 주요 내용은 다음과 같습니다:
변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구축된 용어에 대한 방정식이 위라우흐 도에 대한 대입으로 참이 되는지 여부를 특성화합니다.
유한 그래프 간의 환원 관계에 대한 조합론적 설명을 제공합니다. 이를 통해 이러한 방식으로 결정하는 것이 다항식 계층의 3단계에 완전하다는 것을 보여줍니다.
강 위라우흐 도에 대한 방정식 이론과 위라우흐 도에 대한 방정식 이론이 동일하다는 것을 보여줍니다.
지적 도가 있는 위라우흐 도에 대한 방정식 이론을 완전히 공리화할 수 있다는 것을 보여줍니다.
지적 도가 없는 위라우흐 도에 대한 방정식 이론의 완전성에 대한 추측을 제시합니다.
toiselle kielelle
lähdeaineistosta
arxiv.org
Syvällisempiä Kysymyksiä