일반적으로 계산에 대해 생각하는 3 가지 인기있는 방법이 있습니다 : 튜링 머신, 회로 및 람다 미적분학 (대부분의 기능적 관점에서 모두 이것을 캐치로 사용합니다). 세 가지 모두 서로 다른 유형의 문제에 대해 생각할 수있는 유익한 방법이었으며, 이러한 이유로 여러 분야에서 서로 다른 공식을 사용합니다.
그러나 양자 컴퓨팅으로 작업 할 때 회로 모델 만 생각합니다. 원래 QC는 퀀텀 튜링 기계 로 정의되었지만 내가 이해하는 한,이 정의 (둘 다 신중하게 공식화되면 양자 회로와 동등하지만)는 거의 유익하지 않았습니다. 세 번째 공식 (람다 미적분학 또는 이와 유사한 기능 설정의 관점에서) 나는 완전히 익숙하지 않습니다. 따라서 내 질문 :
양자 람다 미적분 (또는 다른 기능적 패러다임)의 유용한 정의는 무엇입니까?
QIP의 어떤 서브 필드가 회로 모델 대신이 공식을 사용함으로써 더 깊은 통찰력을 얻습니까?
노트
나는 셀룰러 오토마타, RAM 모델 등과 같은 다른 많은 대중적인 형식주의를 무시하고 있다는 것을 알고있다. 나는이 모델들에 대해 생각하는 데 경험이 없기 때문에 양자를 제외하고는 대부분 이것을 배제한다 .
또한 양자 기반 환경에서 측정 기반, 위상 및 단열과 같은 널리 사용되는 대안이 있음을 알고 있습니다. 나는 고전적인 사람들에 익숙하지 않기 때문에 그것들에 대해 이야기하지 않습니다.
4
나는 이것이 이론적 인 컴퓨터 과학 에서도 괜찮을 것이라고 생각합니다 . :)
—
Kaveh
나는 건너했기 때문에 @Kaveh 내가보기 엔 내가 cstheory에 요청하지 않기로 결정했다. :( cstheory 및 CS.SE 사이에 요청하는 곳으로 혼란 스러워요 최근 논문 그 (섹션 2.2) 양자 함수형 프로그래밍에 대해 이야기하지만,하지 그래서 신중하게 생각할 시간이있었습니다. 그래서 저는 반쯤 구운 질문을 할 것입니다
—
Artem Kaznatcheev
잘하면 그것은 cstheory에 대한 구운 질문으로 이어질 것입니다. :)
—
Kaveh