부분 결과서지만 확인
Circuit Lower Bounds for Merlin–Arthur ClassesR. Santhanam · 2007STOC 2007 (Proceedings of the 39th Annual ACM Symposium on Theory of Computing), 275–283쪽모든 k 에 대해 PromiseMA 가 크기 n^k 의 회로를 갖지 않음을 보인 논문이다. 산술화와 대각선 논법을 결합해 두 장벽을 함께 피한 회로 하한의 예로, 2-2 의 대수화 글이 인용한다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로, 내용은 Aaronson–Wigderson 2009 §1.1 과 Aaronson 2017 로 확인.