부분 결과서지만 확인
The Shrinkage Exponent of de Morgan Formulas is 2Johan Håstad · 1998SIAM Journal on Computing 27(1), 48–64쪽 (1998) · 학회 발표 FOCS 1993 (34th Annual Symposium on Foundations of Computer Science), 114–123쪽 — 학회판 제목은 「The shrinkage exponent is 2」무작위 제한을 가하면 드 모르간 식의 크기가 확률 p 의 제곱 비율로 줄어듦을 보이고, P 에 속한 명시적 함수에 Ω(n^(3−o(1))) 식 크기 하한을 얻은 논문이다. 초록은 이것이 NP 의 명시적 함수에 대해 알려진 가장 강한 식 크기 하한이라고 적는다. 「식에서는 3제곱 근처, 일반 회로에서는 선형 근처」라는 하한의 현주소를 적으려는 글이 인용한다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 확인하고 학술지판 기록의 초록을 읽었다.