접근서지만 확인
Derandomizing Polynomial Identity Tests Means Proving Circuit Lower BoundsValentine Kabanets, Russell Impagliazzo · 2004Computational Complexity 13(1–2), 1–46쪽 (2004) · 학회 발표 STOC 2003 (Proceedings of the 35th Annual ACM Symposium on Theory of Computing), 355–364쪽제목이 말하듯 다항식 항등 검사를 무작위성 없이 해내면 회로 하한이 따라 나온다는 결과를 실은 논문이다. nisan-wigderson-1994 가 「하한이 있으면 탈무작위화가 된다」였다면 이 논문은 그 역방향이다. 좋은 알고리즘을 찾는 일이 곧 하한 증명이 된다는, 2-3 의 「알고리즘에서 하한으로」 접근의 앞선 예로 인용한다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 서지를 확인했다(본문은 열지 못함).