NOF 모델에서 RP와 NP의 비명시적 구분: 로그플레이어까지의 새로운 경계

본 논문은 다중 플레이어 NOF(숫자‑온‑포헤드) 통신 복잡도 모델에서 RP와 NP 사이의 구분을 새로운 파라미터 범위까지 확장한다. 기존 연구에서는 k≤O(log log n) 정도의 플레이어 수에 대해서만 Set‑Disjointness와 같은 명시적 함수에 대해 NP⊈RP를 보였으며, 그 방법은 주로 불일치(discrepancy) 하한에 의존했다. 그러나 불일치 방법은 비결정적 복잡도가 작은 함수는 거의 모든 분포에 대해 큰 불일치를 갖는다는 구조적 한계가 있었고, 따라서 더 큰 k에 대한 확장은 어려웠다. 저자들은 이 문제를 두 단계의 새로운 아이디어로 해결한다. 첫 번째는 “리프트(Lift)” 기법이다. 기본 함수 f를 OR로 잡고, 마스킹 함수 φ:({0,1}ⁿ)ᵏ→