Câu hỏi được gắn thẻ «machine-models»

Năm 1937 Turing đã mô tả một máy Turing. Kể từ đó, nhiều mô hình tính toán đã được giải mã trong nỗ lực tìm kiếm một mô hình giống như một máy tính thực sự nhưng vẫn đủ đơn giản để thiết kế và phân tích các thuật toán. …

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

Paul Wegner và Dina Goldin trong hơn một thập kỷ đã xuất bản các bài báo và sách tranh luận chủ yếu rằng luận án Church-Turing thường bị xuyên tạc trong cộng đồng Lý thuyết CS và các nơi khác. Đó là, nó được trình bày dưới dạng bao gồm …

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

Câu hỏi này tương tự như câu hỏi chung hơn cho mô hình lý thuyết đúng của máy tính để thiết kế thuật toán và cấu trúc dữ liệu. Ở đây, tôi hỏi cụ thể về các máy tính hiệu suất cao hiện tại (như những máy tính được liệt …

20 reference-request  soft-question  machine-models 

Gần đây tôi tình cờ thấy một cấu trúc lý thuyết khá thú vị. Một cái gọi là máy Godel Đó là một người giải quyết vấn đề chung có khả năng tự tối ưu hóa. Nó phù hợp với môi trường phản ứng. Theo tôi hiểu, nó có thể …

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

Một câu hỏi gần đây đã thảo luận về thuật toán lập trình động hiện đại cho TSP, do độc lập với Bellman và Held-Karp . Thuật toán được báo cáo phổ biến để chạy trong thời gian . Tuy nhiên, như một trong những học sinh của tôi gần …

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

Lớp phức tạp liên quan đến các thuật toán tìm kiếm toàn diện là gì? (nếu có một) Là NP hay PSPACE? Có các mô hình tính toán bị hạn chế nắm bắt lớp các thuật toán tìm kiếm toàn diện tương tự như các mô hình cho lập trình …

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

Làm thế nào tốt vấn đề sau đây đã được điều tra trong TCS? (Tôi xin lỗi nếu tuyên bố vấn đề nghe có vẻ mơ hồ!) Đưa ra một Mô hình tính toán MC (Máy Turing, Máy tự động di động, Máy Kolmogorov-Uspenskii ... vv) và Mô hình tiếng …

14 machine-models 

Tiêu đề hơi sai lệch: nhưng hy vọng câu hỏi không phải là: Kết quả mới của Grønlund và Pettie cho thấy 3SUM chỉ có độ phức tạp của cây quyết định khiến tôi băn khoăn:Ô ( n3 / 2)O(n3/2)O(n^{3/2}) Có một ví dụ đơn giản về một vấn đề …

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

Có thể xây dựng một mục đích cơ học duy nhất (không hoàn thành Turing) của Microsoft Word không? Có thể thực hiện những thứ như vòng lặp, hàm bậc nhất, toàn bộ các kỹ thuật lập trình không? Có thể bánh răng và các bộ phận cơ khí khác …

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

Có chính xác không khi gọi khung mapReduce là một loại khung lập trình song song đồng bộ số lượng lớn mà không có bộ nhớ cục bộ trong bộ xử lý giữa các đồng bộ hóa? Nếu không, mô hình lập trình song song nào đóng gói chính xác …

11 dc.parallel-comp  machine-models 

Trong khi một sinh viên EE, tôi đã tham dự một số bài giảng trình bày một đặc điểm tốt đẹp của các mạch boolean về số lượng các vòng lặp lồng nhau mà họ có. Trong sự phức tạp, các mạch boolean thường được coi là dags, nhưng trong …

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

Câu hỏi này là về việc liệu có bất kỳ tarp Turing có thể đảo ngược nào được biết đến hay không, trong đó "đảo ngược" có nghĩa là theo nghĩa của Axelsen và Glück , và "tarpit" là một khái niệm không chính thức hơn nhiều (và có thể …

10 fl.formal-languages  computability  machine-models 

Có khuôn khổ / chủ nghĩa hình thức xác định các mô hình tính toán dựa trên các protein khác với mô hình DNA của Adman hay công trình này của Cherry và Qian không?

9 reference-request  machine-models 

Các ví dụ nổi tiếng về tính toán lấy cảm hứng từ hiện tượng tự nhiên là máy tính lượng tử và máy tính DNA. Những gì được biết về tiềm năng và / hoặc hạn chế của điện toán với luật hoặc lực hấp dẫn của Maxwell? Đó là, …

9 computability  machine-models  physics  natural-computing