«computation-models» 태그된 질문

내 지식으로는 존재하지 않습니다 O(n)O(n)O(n) 다음 문제를 해결하는 최악의 알고리즘 : 주어진 길이의 시퀀스 nnn 유한 정수로 구성되면 모든 요소가 후속 요소보다 작거나 같은 순열을 찾습니다. 그러나 전이 선택적 계산 모델 에는 존재하지 않는다는 증거가 있는가? 정수의 범위를 제한하지 않습니다. 나는 또한 솔루션을 비교 정렬로 제한하지 않습니다.

9 complexity-theory  sorting  computation-models  lower-bounds 

이것은 또 다른 질문의 후속이다 여기 , 내가 너무 철학적되지 않습니다 바랍니다. Raphael이 이전 질문에 대한 의견에서 지적했듯이 실제로 "계산 가능"에 대한 정의를 얻지는 못하지만 일부 논문에 따르면 튜링보다 약한 계산 모델에 대해서는 정의가 명확하지 않습니다. 입력 및 출력의 인코딩으로 인해 기계. 튜링 계산 의 일반적인 정의는 다음과 같습니다. 정의 …

9 computability  computation-models 

5 페이지 10 주년 기념 에디션, Quantum Computation and Quantum Information, Nielsen & Chuang에서 인용하고 싶습니다 (강조 광산). 강력한 교회에 대한 한 가지 부류의 과제 – 튜링 논문은 아날로그 계산 분야에서 비롯됩니다. 튜링 이후 몇 년간 여러 연구팀은 특정 유형의 아날로그 컴퓨터가 튜링 머신에서 효율적인 솔루션이 없다고 생각되는 문제를 효율적으로 …

9 computation-models  church-turing-thesis 

이전 질문 에서 알고리즘은 정확히 무엇입니까? 사전 계산 된 값의 배열을 기반으로 함수의 값을 반환하는 "알고리즘"이 알고리즘인지를 물었습니다. 내 관심을 끈 대답 중 하나는 다음과 같습니다. 계승 예제는 비 균일 계산이라고하는 다른 계산 모델로 들어갑니다. 튜링 머신은 균일 한 계산 모델의 예입니다. 하나의 유한 한 설명이 있으며 임의로 큰 크기의 …

9 turing-machines  computation-models