위라우흐 격자의 방정식 이론을 연구하여 변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구성된 항들 사이의 성립하는 방정식을 조합론적으로 특징짓고, 이러한 방정식의 타당성 결정 문제가 다항식 계층의 3단계에 속함을 보였다.
이 논문은 변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구축된 용어에 대한 방정식이 위라우흐 도에 대한 대입으로 참이 되는지 여부를 특성화합니다. 이를 위해 유한 그래프 간의 환원 관계에 대한 조합론적 설명을 제공하며, 이러한 방식으로 결정하는 것이 다항식 계층의 3단계에 완전하다는 것을 보여줍니다.
위라우흐 격자의 방정식 이론을 연구하여 변수, 격자 연산 ⊔, ⊓, 곱셈 ×, 유한 병렬화 ∗로 구성된 용어 사이의 성립하는 방정식을 조합론적으로 특성화하고, 이러한 방정식의 보편적 타당성을 결정하는 문제가 다항식 계층의 3단계에 속함을 보였다.