제한된 논리연산에서 명제 함축 문제의 복잡도 전전

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

본 논문은 포스트 격자에 나타나는 모든 불린 함수 집합 B에 대해, B‑제한 명제식들의 함축 문제 IMP(B)의 복잡도를 완전하게 분류한다. 결과는 B가 {0,1} 상수와 ∧·∨·⊕ 중 하나만을 포함하면 AC⁰(또는 AC⁰

논문은 먼저 포스트 격자에서 정의되는 불린 클론을 이용해, 무한히 많은 가능한 연산 집합 B를 유한 개의 대표 클론으로 압축한다. 각 클론에 대해 IMP(B) 문제의 상한과 하한을 정밀히 분석한다.
① S₀₀, S₁₀, D₂를 포함하는 클론(