연속 파라미터와 TPA를 이용한 선형 확장 개수 효율적 추정

본 논문은 #P‑complete 문제인 부분 순서 집합 P의 선형 확장 개수 L(P)를 효율적으로 근사하는 새로운 알고리즘을 제시한다. 서론에서는 선형 확장이란 부분 순서 i≺j 를 만족하는 순열 σ 이며, L(P) = |{σ | σ 선형 확장}| 임을 정의한다. 정확한 계산이 불가능하므로 무작위 근사 방법이 필요함을 언급하고, 기존 연구에서는 선형 확장 집합을 직접 균등하게 샘플링해 O(n³ log n) 비트·비교 연산을 요구했으며, 이를 자기‑축소(self‑reducibility)와 결합해 O(n⁵ (log n)³ ε⁻² log δ⁻¹) 복잡도로 (1+ε) 정확도의 근사값을 얻었다고 소개한다. 새로운 접근법은 먼저 선형 확장 집합 L을 연속 파라미터 β∈