«computation-models» 태그된 질문

계산에 사용되는 허용 가능한 작업 집합의 정의 및 해당 비용. 모델의 예로는 튜링 머신, 재귀 함수, 람다 미적분학 및 생산 시스템이 있습니다.

3
양자 컴퓨터가 특히 유용한 이유는 무엇입니까?
나는 양자 컴퓨터가 논리를 통한 단일 패스로 가능한 모든 상태의 중첩을 처리 할 수 ​​있다는 것을 알고 있습니다. 그것은 사람들이 양자 컴퓨터를 특별하거나 유용하게 만드는 것으로 지적하는 것 같습니다. 그러나 중첩 입력을 처리 한 후에는 중첩 결과가 나타납니다. 그 결과 단일 질문 만 할 수 있으며 단일 값으로 축소됩니다. 또한 …
8
알고리즘을 비트 열로 표현할 수 있다고 가정 할 수있는 이유는 무엇입니까?
전산 복잡도와 터링 머신에 관한 책을 읽기 시작했습니다. 인용문은 다음과 같습니다. 정규 인코딩을 결정하면 알고리즘 (예 : 기계)을 비트 문자열로 나타낼 수 있습니다. 이 주장은 간단한 사실로 제공되지만 이해할 수 없습니다. 예를 들어 를 입력으로 사용하고 계산 하는 알고리즘이 있거나( x + 1 ) 2엑스엑스x( x + 1 )2(엑스+1)2(x+1)^2 int …
5
알고리즘보다 상호 작용이 더 강력합니까?
나는 모토 들었습니다 상호 작용 알고리즘보다 더 강력한 에서 피터 웨 그너 . 이 아이디어의 기본은 (고전적인) 튜링 머신이 외부 세계 / 환경과의 통신 (입력 / 출력)과의 상호 작용을 처리 할 수 ​​없다는 것입니다. 어떻게 그렇게 할 수 있습니까? 튜링 머신보다 어떤 것이 더 강력 할 수 있습니까? 이 이야기의 …
1
N- 본문 문제의 해결이 중단 문제와 동일합니까?
n-body 문제에 대한 일반적인 분석 솔루션은 정확한 정밀도로 임의의 시간 t에서 n-body 시스템의 상태를 제공하는 데 사용할 수있는 분석 함수를 생성 할 수 없습니다. 그러나 분석 기능이 알려진 n-body 시스템의 경우가 있습니다. 거의 같은 방식으로, 임의의 튜링 머신의 결과를 예측할 수있는 일반적인 알고리즘은 없습니다. 그럼에도 불구하고 영원히 멈추거나 달려 있다고 …
1
양자 컴퓨팅-해밀턴 모델과 단일 모델의 관계
양자 컴퓨팅에서 알고리즘을 개발할 때 두 가지 주요 모델이 있음을 알았습니다. Hamiltonian NAND 트리 문제 (Farhi, Goldstone, Guttman)와 같은 일부 알고리즘은 Hamiltonian 및 일부 초기 상태를 설계 한 다음 측정을 수행하기 전에 일정 시간 동안 Schrödinger 방정식에 따라 시스템을 진화시켜 작동 합니다.티티t 인수 분해를위한 Shor의 알고리즘과 같은 다른 알고리즘은 측정을 …
1
더하기, 곱하기, 평등 만있는 랜덤 액세스 머신
문헌은 원시적 곱셈을 갖는 단가 RAM이 비합리적이라는 것을 분명히 알 수있다. 다항식 시간에 튜링 머신으로 시뮬레이션 할 수 없음 다항식 시간에 PSPACE- 완전 문제를 해결할 수 있습니다 그러나이 주제 (Simon 1974, Schonhage 1979)에서 찾을 수있는 모든 참조에는 부울 연산, 정수 나누기 등이 포함됩니다. 더하기, 곱하기 및 같음 만 있는 RAM의 …
3
자체 수정 알고리즘이 아닌 자체 수정 알고리즘을 사용하여 모든 자체 수정 알고리즘을 모델링 할 수 있습니까?
명령어를 수정할 수있는 임의의 컴퓨터 프로그램이있는 경우 명령어를 수정할 수없는 프로그램으로 해당 프로그램을 시뮬레이션 할 수 있습니까? 편집하다: 나는 stackexchange를 처음 사용하므로 여기에 새로운 질문을 할 수 있는지 확실하지 않지만 여기에 간다. 그래서 가능하다는 증거는 실제로 여러분이 보여 주듯이 실제로 간단합니다. 이제는 궁금합니다. 입출력과 동등한 가장 효율적인 비 자기 수정 …
2
선형 경계 튜링 머신이 유한 상태 오토마타보다 강력한 이유는 무엇입니까?
나는 유한 한 우리의 컴퓨터가 궁극적으로 Finite State Machine보다 강력하지 않다는 인상을 받았습니다. 그러나 선형 경계 튜링 머신은 유한하지만 정규 언어는 문맥에 맞는 언어의 부적절한 하위 집합 인 것 같습니다. 분명히, 나는 여기에 뭔가 빠져 있습니다. 무슨 일이야?
4
테이프가 Turing Machine 정의의 일부가 아닌 이유는 무엇입니까?
테이프 / 테이프가 튜링 머신의 공식적인 정의의 일부가 아닌 이유가 궁금합니다. 예를 들어 Wikipedia 페이지에서 Turing machine의 공식적인 정의를 고려 하십시오 . Hopcroft 및 Ullman에 따른 정의에는 유한 상태 , 테이프 알파벳 , 공백 기호 , 초기 상태 , 최종 상태 세트 , 그리고 전환 기능 . 테이프 자체는 없습니다.Γ …
3
효율적인 계산 개념
다항식 시간 튜링 머신 알고리즘은 최악의 경우 런타임이 입력 크기의 다항식 함수에 의해 제한되는 경우 효율적인 것으로 간주됩니다. 나는 강력한 교회 튜링 논문을 알고있다 : Turing 머신에서 모든 합리적인 계산 모델을 효율적으로 시뮬레이션 할 수 있습니다 그러나 나는 미적분학 알고리즘의 계산 복잡성을 분석하기위한 견고한 이론을 알지 못합니다.λλ\lambda 알려진 모든 계산 …
1
기능적 프로그래밍 언어 구현에 대한 알고리즘 복잡성 분석
나는 오늘 알고리즘 분석이 계산 모델에 따라 다르다는 것을 배웠습니다 . 내가 생각하지 못했거나 들어 본 적이없는 것입니다. User @chi 가 더 자세히 설명 한 예 는 다음과 같습니다. 예를 들어 , 주어진 x i를 반환 합니다. RAM에서는 어레이 액세스가 일정한 시간이기 때문에 O ( 1 ) 로 해결할 수 …
3
유한 시간의 무한 계산
이것은 어리석은 생각이지만 무한한 계산 순서를 수행하도록 프로그래밍 된 컴퓨터가 있고 계산이 완료하는 데 초가 걸린다고 가정합니다 . 그런 다음이 컴퓨터는 유한 한 시간 안에 무한한 수의 계산을 수행 할 수 있습니다.나는일나는일i^\text{th}1 / 2나는1/2나는1/2^i 왜 이것이 불가능합니까? 사소한 계산을 수행하는 데 걸리는 시간에 하한이 있습니까?
1
비 결정적 튜링 머신의 비결 정성은 유한 오토마타와 다르고 오토마타를 내리는가?
입력 문자열을 다음과 같이 지정하십시오. w1w2...wnw1w2...wnw_1w_2...w_n. 그런 다음 NFA가 현재 상태 인 경우rrr (그리고 알파벳까지의 입력을 읽었습니다. wiwiw_i ) 다음 입력 기호를 읽기 전에 NFA는 두 개의 NFA로 분할되고 하나는 상태입니다. rrr 그리고 다른 존재 sss유형의 전환이있는 경우 r→ϵsr→ϵsr \xrightarrow{\epsilon} s. 유형의주기가있는 경우r→ϵs→ϵq1....→ϵqk→ϵrr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} r, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.