HYPSVC.com
  1. P vs NP 문제 풀기
  2. 4. 부록
  3. 4-1 참고문헌 카드
  4. Σ¹₁-Formulae on Finite Structures
4-1

문헌 카드

이 문헌의 서지와, 이 카드를 붙인 자료입니다.

부분 결과서지만 확인
Σ¹₁-Formulae on Finite StructuresM. Ajtai · 1983Annals of Pure and Applied Logic 24(1), 1–48쪽 (1983)

Furst–Saxe–Sipser 와 독립적으로, 상수 깊이·다항 크기 회로가 패리티를 계산하지 못한다는 결론에 이른 논문이다. PARITY ∉ AC⁰ 의 두 원전 가운데 하나다. 2-1 의 연표, 2-3 의 회로 하한 글, 2-4 의 PARITY ∉ AC⁰ 글이 인용한다. 게시자(Elsevier) 페이지로 연결된다.

확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Håstad 학위 논문 1장과 Aaronson 2017 로 확인.

이 카드를 붙인 자료 3