부분 결과서지만 확인
NP-hardness of the Minimum Circuit Size Problem from Well-Studied AssumptionsS. Hirahara, R. Ilango · 2025FOCS 2025 (66th Annual IEEE Symposium on Foundations of Computer Science), 1648–1664쪽「잘 연구된 가정」 아래에서 최소 회로 크기 문제의 NP-난해성을 다루는 FOCS 2025 논문이다. 본문을 열지 못해, 2-3 의 메타복잡도 글은 제목이 말하는 범위까지만 적었다. 가정 없는 증명은 알려져 있지 않다.
확인:본문은 열지 못함. DOI 등록 기록으로 서지만 확인했고, 글에는 제목이 말하는 범위까지만 적음.