Khoa học máy tính

Tôi đang nghiên cứu CPU và tôi biết cách nó đọc một chương trình từ bộ nhớ và thực hiện các hướng dẫn của nó. Tôi cũng hiểu rằng một hệ điều hành phân tách các chương trình trong các quy trình và sau đó luân phiên giữa mỗi chương …

32 operating-systems 

Nếu một cái gì đó đơn giản, thì nó nên được giải thích hoàn toàn với một vài từ. Điều này có thể được thực hiện cho phép tính: Calcul-compus là một ngữ pháp cú pháp (về cơ bản, cấu trúc) với quy tắc rút gọn (có nghĩa là quy …

32 functional-programming  type-theory 

Tôi dự định dạy một khóa học mùa đông về một số chủ đề khác nhau, một trong số đó sẽ là trình biên dịch. Bây giờ, tôi đã gặp vấn đề này trong khi nghĩ về các bài tập để đưa ra trong suốt quý, nhưng nó đã làm …

32 computability  proof-techniques  compilers 

Chương trình 579 bit này trong Tính toán nhị phân Lambda có trạng thái tạm dừng không xác định: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Đó là, không biết liệu chương trình này chấm dứt hay không. Để xác định nó, bạn phải giải quyết phỏng đoán Collatz …

32 algorithms  computability  kolmogorov-complexity 

Tôi đang tìm kiếm sự giúp đỡ để hiểu thuật toán phát hiện chu kỳ của Floyd. Tôi đã trải qua phần giải thích trên wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoir_and_hare ) Tôi có thể thấy thuật toán phát hiện chu kỳ trong thời gian O (n). Tuy nhiên, tôi không thể hình …

32 algorithms  linked-lists 

Có tồn tại bất kỳ tính toán Turing lambda hoàn thành? Nếu vậy, một vài ví dụ là gì?

31 computability  lambda-calculus  type-theory 

Tôi vừa hoàn thành chương đầu tiên của Giới thiệu về Lý thuyết tính toán của Michael Sipser , giải thích những điều cơ bản của automata hữu hạn. Ông định nghĩa một ngôn ngữ thông thường là bất cứ thứ gì có thể được mô tả bởi một automata …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Nói rằng và b 1 b 2 ... b n là hai chuỗi có cùng chiều dài. Một anagramming của hai chuỗi là một ánh xạ song ánh p : [ 1 ... n ] → [ 1 ... n ] như vậy mà một i = b p ( …

31 algorithms  strings  search-algorithms  natural-language-processing 

Tôi đang tìm hiểu về cây radix (còn gọi là thử nén) và Patricia thử, nhưng tôi đang tìm thấy thông tin mâu thuẫn về việc chúng có thực sự giống nhau hay không. Một cây cơ số có thể được lấy từ một trie bình thường (không nén) bằng …

31 data-structures  trees 

Tôi đang gặp khó khăn khi hiểu trực giác tại sao PSPACE thường được cho là khác với EXPTIME. Nếu PSPACE là tập hợp các vấn đề có thể giải quyết được trong đa thức không gian ở kích thước đầu vào , thì làm thế nào có thể có …

31 complexity-theory  complexity-classes  intuition 

Tại sao máy tính sử dụng hệ thống số nhị phân (0,1)? Tại sao họ không sử dụng Hệ thống số Ternary (0,1,2) hoặc bất kỳ hệ thống số nào khác thay thế?

31 computer-architecture  binary-arithmetic 

Vì vậy, vấn đề quyết định TSP (vấn đề nhân viên bán hàng du lịch) là NP hoàn tất . Nhưng tôi không hiểu làm thế nào tôi có thể xác minh rằng một giải pháp nhất định cho TSP trên thực tế là tối ưu trong thời gian đa …

31 complexity-theory  np-complete  traveling-salesman 

Nói rằng tôi cần mô phỏng phân phối rời rạc sau đây: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Cách rõ ràng nhất là vẽ bit ngẫu nhiên và kiểm tra …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Tôi đang tự hỏi liệu có một ví dụ hay cho một vấn đề NP-Hard dễ hiểu không phải là NP-Complete và không phải là không thể giải quyết được không? Ví dụ, vấn đề tạm dừng là NP-Hard, không phải NP-Complete, nhưng không thể giải quyết được. Tôi tin …

31 complexity-theory  computability  np-hard 

Điều gì sẽ là cách nhanh nhất để làm điều này (từ góc độ thuật toán, cũng như một vấn đề thực tế)? Tôi đã suy nghĩ một cái gì đó dọc theo dòng sau. Tôi có thể thêm vào cuối một mảng và sau đó sử dụng bubbleort vì …

31 algorithms  efficiency  arrays  sorting