ACC⁰

AC⁰ 회로에, 입력 가운데 1 의 개수가 m 의 배수인지 판정하는 MOD m 게이트(m 은 고정된 수)를 더한 상수 깊이·다항 크기 회로족의 종류다. m 이 소수의 거듭제곱일 때는 스몰렌스키(1987) 등이 다항식을 쓰는 방법으로 강한 하한을 증명했지만, m = 6 같은 합성수에서는 오랫동안 아무 하한도 없었다. 윌리엄스가 2011년에 NEXP ⊄ ACC⁰ 를, 머리와 윌리엄스가 2018년에 이를 비결정적 준다항 시간까지 낮춘 결과를 증명했다. NP 의 문제가 ACC⁰ 로 풀리지 않는다는 것은 아직 증명되지 않았다.