본 논문은 신경망의 내적 해석 가능성을 위한 회로 발견의 실현 가능성에 대한 이론적, 실증적 탐구를 수행합니다. 기존 휴리스틱 기법의 확장성과 신뢰성에 대한 우려를 해결하기 위해, 고전적 및 매개변수화된 계산 복잡도 이론을 활용하여 회로 발견 문제를 분석합니다. 회로 발견 질의를 설명, 예측, 제어 측면에서 공식화하고, 기계적 설명을 위한 포괄적인 질의 집합을 정의하여 다층 퍼셉트론 상에서 다양한 질의 변형의 복잡도를 분석합니다. 많은 질의가 다루기 어려운 것으로 밝혀졌으며, 일부 문제는 더 잘 이해된 휴리스틱 기법을 활용하여 해결할 수 있는 변환이 존재함을 증명하고, 유용한 기능을 유지하는 보다 단순한 질의의 추적 가능성 또는 고정 매개변수 추적 가능성을 증명합니다. 이러한 프레임워크는 해석 가능성 질의의 범위와 한계를 이해하고, 실행 가능한 옵션을 탐색하며, 기존 및 미래 아키텍처에서의 자원 요구 사항을 비교할 수 있도록 합니다.