장벽서지만 확인
Succinct Hitting Sets and Barriers to Proving Lower Bounds for Algebraic CircuitsMichael A. Forbes, Amir Shpilka, Ben Lee Volk · 2018Theory of Computing 14, Article 18, 1–45쪽 (2018) · 학회 발표 STOC 2017 (Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing), 653–664쪽 — 학회판 제목은 「Succinct hitting sets and barriers to proving algebraic circuits lower bounds」 · arXiv:1701.05328대수 회로 하한 기법 대부분을 담는 「대수적으로 자연스러운 증명」이라는 틀을 정식화하고, 그것이 장벽이 되는 조건을 다항식 항등 검사의 간결한 탈무작위화와 같다고 밝힌 논문이다. 자연 증명 장벽의 대수 회로 판이 있는지를 묻는 연구의 출발점이다. 불 회로와 달리 대수 쪽에서는 장벽의 존재 자체가 아직 조건부라는 점을 정확히 적으려는 글에 필요하다.
확인:학술지 누리집의 논문 페이지에서 제목·저자·권·논문 번호·쪽을, 학회판은 Crossref 등록 기록으로, 초록은 arXiv 초록 페이지로 확인했다.