Khoa học máy tính

Đưa ra một ngữ pháp G không ngữ cảnh, tồn tại một Pushdown Automaton Nondeterministic Pushdown Automaton N chấp nhận chính xác ngôn ngữ mà G chấp nhận. (và ngược lại visa) Cũng có thể tồn tại một Máy tự động đẩy xuống xác định D cũng chấp nhận chính …

22 automata  context-free  pushdown-automata 

Khi đọc Uday Reddy của câu trả lời cho mối quan hệ giữa functors trong SML và lý thuyết Loại là gì? Tiểu bang Lý thuyết danh mục chưa biết cách xử lý các hàm bậc cao hơn. Một ngày nào đó, nó sẽ. Như tôi nghĩ lý thuyết Danh …

22 functional-programming  category-theory 

Tôi đã nghiên cứu một vài điều về Độ phức tạp Kolmogorov , đọc một số bài báo và sách từ Vitanyi và Li và sử dụng khái niệm Khoảng cách nén chuẩn hóa để xác minh mức độ của các tác giả (xác định cách mỗi tác giả viết …

22 computability  approximation  data-compression  kolmogorov-complexity 

Một máy Turing trở về trạng thái đã gặp trước đó với đầu đọc / ghi của nó trên cùng một ô của cùng một băng chính xác sẽ bị bắt trong một vòng lặp. Một cái máy như vậy không dừng lại. Ai đó có thể đưa ra một …

22 computability  turing-machines  halting-problem 

Tôi hiểu lý thuyết đằng sau các mạng Bayes và đang tự hỏi cần những gì để xây dựng một trong thực tế. Hãy nói ví dụ này, rằng tôi có một mạng Bayesian (có hướng) gồm 100 biến ngẫu nhiên rời rạc; mỗi biến có thể lấy một trong …

22 data-structures  machine-learning 

Đặt là một số đồ thị hoàn chỉnh, có trọng số, không bị chặn. Chúng tôi xây dựng một đồ thị thứ hai bằng cách thêm từng cạnh một từ đến . Chúng tôi thêm tổng cộng vào .G ' = ( V , E ' ) E E ' …

22 algorithms  graphs  graph-theory  shortest-path 

Trong một câu hỏi trước đây có một định nghĩa về cây cân bằng trọng lượng và một câu hỏi liên quan đến cây đỏ đen. Câu hỏi này là để hỏi cùng một câu hỏi, nhưng đối với cây AVL . Câu hỏi là, đưa ra định nghĩa về …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

Đã có rất nhiều sự cường điệu về trình biên dịch JIT cho các ngôn ngữ như Java, Ruby và Python. Trình biên dịch JIT khác với trình biên dịch C / C ++ như thế nào và tại sao trình biên dịch được viết cho Java, Ruby hoặc Python …

22 compilers 

Có ngôn ngữ "tự nhiên" nào không thể giải quyết được không? bởi "tự nhiên" Tôi có nghĩa là một ngôn ngữ được xác định trực tiếp bởi các thuộc tính của chuỗi và không thông qua các máy và tương đương của chúng. Nói cách khác, nếu ngôn ngữ …

22 formal-languages  automata  computability  undecidability 

Các thuật toán sắp xếp chung thường lấy một tập hợp dữ liệu để sắp xếp và một hàm so sánh có thể so sánh hai phần tử riêng lẻ. Nếu bộ so sánh là một quan hệ thứ tự¹, thì đầu ra của thuật toán là một danh sách …

22 algorithms  randomized-algorithms  sorting 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Tôi đang tìm kiếm các lý thuyết toán học …

22 formal-languages  formal-grammars 

Giả sử rằng . N P I là lớp các vấn đề trong N P không thuộc P cũng không thuộc N P -hard. Bạn có thể tìm thấy một danh sách các vấn đề được phỏng đoán là N P I tại đây .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Định lý Ladner …

22 complexity-theory  np-hard 

Vì vậy, tôi hiểu ý tưởng rằng vấn đề quyết định được xác định là Có đường dẫn P sao cho chi phí thấp hơn C không? và bạn có thể dễ dàng kiểm tra điều này là đúng bằng cách xác minh đường dẫn bạn nhận được. Tuy nhiên, …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

Số vô tỉ như ππ\pi , eee và 2-√2\sqrt{2} có một chuỗi duy nhất và không lặp lại sau dấu thập phân. Nếu chúng ta trích xuấtchữ số thứnnntừ các số đó (trong đónnnlà số lần phương thức được gọi) và tạo một số có các chữ số như vậy, …

21 randomized-algorithms  randomness  random-number-generator 

Bảng chữ cái nguồn: {a,b,c,d,e,f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Bảng chữ cái mã: {0,1}{0,1}\{0, 1\} a:0101a:0101a\colon 0101 b:1001b:1001b\colon 1001 c:10c:10c\colon 10 d:000d:000d\colon 000 e:11e:11e\colon 11 f:100f:100f\colon 100 Tôi nghĩ rằng để một mã có thể giải mã duy nhất, nó phải không có tiền tố. Nhưng trong mã này, …

21 encoding-scheme