부분 결과서지만 확인
NP-Hardness of Learning Programs and Partial MCSPS. Hirahara · 2022FOCS 2022 (63rd Annual IEEE Symposium on Foundations of Computer Science), 968–979쪽 · ECCC TR22-119 (2022)부분 함수판 최소 회로 크기 문제가 무작위 환원 아래 NP-난해임을 증명한 논문이다. MCSP 의 NP-난해성 문제로 한 걸음 다가선 결과다. 같은 논문은 효율적인 프로그램을 학습하는 문제의 NP-난해성도 보인다. 2-1 의 연표와 2-3 의 메타복잡도 글이 인용한다. ECCC 공개본으로 연결한다.
확인:ECCC TR22-119 공개본의 초록까지 확인. 본문을 읽었다는 기록이 분명하지 않아 서지 확인으로 둠.원문 주소 (eccc.weizmann.ac.il)이 카드를 붙인 자료 2