PL에서 발생하는 (해결되지 않은) 복잡성 문제 목록

프로그래밍 언어, 특히 프로그램 분석 및 컴파일에서 발생하는 주요 개방형 계산 복잡성 문제는 무엇입니까? 나는 "힌들리 밀너 형식 추론의 시간 복잡성"또는 "0CFA의 시간 복잡성"(둘 다 문제가 해결되었지만)의 문제를 찾고있다.

1996 년 Pippenger의 (1)은 (일부 가정하에) 엄격한 (CBV) 기능 프로그래밍 언어가 명령형 언어보다 비대칭 적으로 느리다 는 것을 보여줍니다 . Pippenger의 결과가 (2)에서 지적한 바와 같이 게으른 기능 언어 로 일반화 될 수 있는지 여부는 공개적 입니다.

Pippenger는 두 가지 단순화 가정 (온라인 계산 및 특정 입력 원 자성)을 부과합니다. 제거 할 수 있는지 여부는 열려 있습니다. Pippenger의 추측은 완료하지만 경고 할 수있다 : "[S] UCH 결과는 [...]까지 계산 복잡도 이론에서 현재 사용 가능한 방법의 범위를 넘어 것 같다" .

(3)의 Campbell의 답변과 Ben-Amram의 메모 (4)도 참조하십시오.

^{1. N. Pippenger, 순수 대 불순 리스프 .}

^{2. R. Bird, G. Jones, O. De Moor, 더 서두르고 속도가 느림 : 게으른 대 열렬한 평가 .}

^{3. 스택 오버플로, 순전히 기능적인 프로그래밍의 효율성 .}

^{4. AM Ben-Amram, Pippenger의 순수 및 불순 LISP 비교에 대한 참고 사항 .}