유한 보렐 비대칭 차원의 복잡도 완전성

초록

본 논문은 지역적으로 유한한 보렐 그래프에서 보렐 비대칭 차원(asdim_B)이 유한한 경우가 Σ¹₂-완전임을 보인다. 핵심은 단일 보렐 함수가 생성하는 그래프에 대해 전방‑독립 히팅 집합의 존재와 asdim_B의 유한성을 동등하게 만드는 새로운 조합적 특성이다. 이를 이용해 단일 함수가 만든 유향 그래프에 대한 CSP 문제의 복잡도도 완전성 수준별로 완전히 분류한다.

상세 분석

논문은 먼저 보렐 그래프의 비대칭 차원(asdim_B)을 정의하고, 이 값이 유한한 것이 Σ¹₂-정의임을 확인한다. 핵심 정리인 Theorem 1.2는 세 가지 조건을 동치임을 보인다. (i) asdim_B(G_f) 가 유한함, (ii) asdim_B(G_f)=1, (iii) 모든 자연수 r에 대해 r‑전방‑독립 히팅 집합이 존재함. 여기서 전방‑독립 히팅 집합은 함수 f의 반복 적용이 r번 이하로는 같은 집합에 다시 들어가지 않도록 하는 Borel 집합이다. 이 동등성은 그래프가 단일 Borel 함수 f에 의해 생성된 경우에만 성립한다는 점에서 중요한 제한을 둔다.

다음 단계에서는 Theorem 3.1을 통해, 이러한 전방‑독립 히팅 집합 존재 여부 자체가 Σ¹₂-완전 문제임을 보인다. 이를 위해