«machine-models» 태그된 질문

1937 년 튜링은 튜링 머신을 설명했습니다. 그 이후로 실제 컴퓨터와 유사하지만 알고리즘을 설계하고 분석 할 수있을 정도로 단순한 모델을 찾기 위해 많은 계산 모델이 설명되었습니다. 결과적으로 다양한 계산 모델에 대한 SORT 문제와 같은 수십 개의 알고리즘이 있습니다. 불행하게도, 비트 벡터 연산이 허용 된 워드 RAM에서 실행 시간 O (n)을 가진 …

41 ds.algorithms  reference-request  soft-question  machine-models 

Paul Wegner와 Dina Goldin은 10 년 넘게 교회-튜링 논문이 종종 CS 이론 공동체와 다른 곳에서 잘못 표현되었다고 주장하는 논문과 책을 출판 해 왔습니다. 즉, 함수 계산에만 적용되는 경우 모든 계산을 포함하는 것으로 표시되는데, 이는 모든 계산의 매우 작은 하위 집합입니다. 대신 그들은 계산하는 동안 외부 세계와의 통신이 이루어지는 대화식 계산을 …

38 computability  turing-machines  machine-models  church-turing-thesis 

이 질문은 알고리즘 및 데이터 구조를 설계하기 위해 컴퓨터의 이론적 모델이 무엇인지에 대한 일반적인 질문 과 유사합니다 . 여기서는 현재 고성능 컴퓨터 (예 : Top 500으로 나열된 컴퓨터 ) 또는 심지어 다가오는 슈퍼 컴퓨터. 이 컴퓨터는 일반적으로 거대한 데이터 세트 (일부 사람들은 주로 결합 된 메인 메모리를 가지고 있기 때문에 …

20 reference-request  soft-question  machine-models 

최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계 자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다. 내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다. 그러한 기계를 실제로 …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

최근의 질문 은 Bellman 과 Held-Karp 와 독립적으로 인해 TSP에 대한 현재 고전적인 동적 프로그래밍 알고리즘에 대해 논의했습니다 . 알고리즘은 보편적 으로 시간 으로 실행되는 것으로보고됩니다 . 그러나 최근에 한 학생이 지적했듯이이 러닝 타임에는 불합리하게 강력한 계산 모델이 필요할 수 있습니다.O(2nn2)O(2nn2)O(2^n n^2) 다음은 알고리즘에 대한 간략한 설명입니다. 입력 값은 개의 …

16 ds.algorithms  machine-models  computing-over-reals 

철저한 검색 알고리즘과 관련된 복잡성 클래스는 무엇입니까? (있는 경우) NP 또는 PSPACE입니까? 탐욕적이고 동적 인 프로그래밍을위한 모델과 유사한 철저한 검색 알고리즘의 클래스를 캡처하는 제한된 계산 모델이 있습니까?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

TCS에서 다음 문제가 얼마나 잘 조사 되었습니까? (문제 진술이 모호한 경우 사과드립니다!) Computation MC 모델 (Turing Machine, Cellular Automata, Kolmogorov-Uspenskii Machine 등)과 MC 계산에 영향을 줄 수 있는 Noise 모델을 고려할 때이 노이즈로 인한 오류 를 복구 할 수있는 방법 이 효과적인 방법은? 예를 들어, 어떤 유형의 소음이 Turing Machine …

14 machine-models 

제목은 약간 오해의 소지가 있지만 질문이 다음과 같지 않기를 바랍니다. Grønlund와 Pettie의 새로운 결과에 따르면 3SUM 에는 의사 결정 트리의 복잡성 만 있습니다.O ( n3 / 2)O(n3/2)O(n^{3/2}) 의사 결정 트리 복잡도 의 문제에 대한 간단한 예가 있습니까? 그러나 더 자세한 모델에서는 ω ( f ) 의 하한을 인정 합니까?O ( …

13 cc.complexity-theory  machine-models  decision-trees 

Microsoft Word의 단일 목적 (Touring이 아닌 완전한) 기계적 구현을 ​​구축 할 수 있습니까? 반복자, 1 차 함수, 프로그래밍 기술의 전체 영역과 같은 것을 구현할 수 있습니까? 기어 및 기타 기계 부품이 데이터 구조 또는 프로그램 객체를 나타낼 수 있습니까? 특정 시점에서 이것은 일반적인 목적의 Turing- 등가 기계를 구축해야하거나 각 기능, …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

동기화 간에 프로세서 내에 로컬 메모리 보유가없는 mapReduce 프레임 워크를 벌크 동기식 병렬 프로그래밍 프레임 워크 라고 부르는 것이 정확 합니까? 그렇지 않다면 어떤 병렬 프로그래밍 모델이 mapReduce 프레임 워크를 가장 정확하게 캡슐화합니까?

11 dc.parallel-comp  machine-models 

EE 학부 과정에서 몇 개의 강의에 참석하여 몇 개의 중첩 루프가 있는지에 대한 부울 회로의 훌륭한 특성을 제시했습니다. 복잡성에서, 부울 회로는 종종 dags로 생각되지만 실제 하드웨어주기에서는 일반적입니다. 이제 루프가 무엇인지, 그리고 중첩 루프를 구성하는 것에 대한 몇 가지 기술은 기본적으로 하드웨어에서 오토 마톤을 구현하려면 두 개의 중첩 루프가 필요하며 프로세서를 …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

이 질문은 알려진 가역 튜링 타르 타프가 있는지 여부에 관한 것인데, 여기서 "가역적"은 Axelsen과 Glück 의 의미를 의미 하며, "타르 타트"는 훨씬 더 비공식적 인 개념이며 단어의 선택이 좋지 않을 수 있습니다. 그러나 나는 그것이 의미하는 바를 설명하기 위해 최선을 다할 것입니다. "타르 타트"의 의미 일부 계산 모델은 어떤 식 …

10 fl.formal-languages  computability  machine-models 

정의하는 계산 모델에 의해 Adleman에의 DNA 모델이나이 작품 이외의 단백질을 기반으로하는 프레임 워크 / 형식주의 거기에 체리와 키안은 ?

9 reference-request  machine-models 

자연 현상에서 영감을 얻은 계산의 잘 알려진 예는 양자 컴퓨터와 DNA 컴퓨터입니다. Maxwell의 법칙 또는 중력을 사용한 컴퓨팅의 잠재력 및 / 또는 한계에 대해 알려진 것은 무엇입니까? 즉, 자연의 "빠른"솔루션을 Maxwell 방정식 또는 n-body 문제에 범용 알고리즘에 직접 통합 할 수 있습니까?

9 computability  machine-models  physics  natural-computing