Khoa học máy tính

Tôi thấy rằng hầu hết các định nghĩa về những gì cần phải hoàn thành Turing đều mang tính thời sự ở một mức độ nào đó. Ví dụ: nếu bạn Google "Turing hoàn thành nghĩa là gì", bạn sẽ nhận được: Một máy tính hoàn thành Turing nếu nó …

34 turing-machines  turing-completeness 

Có bất kỳ vấn đề nào được biết đến trong (và không phải trong ) không hoàn thành không? Sự hiểu biết của tôi là không có vấn đề hiện được biết đến trong trường hợp này, nhưng nó đã không được loại trừ như là một khả năng. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} …

34 complexity-theory  np-complete  p-vs-np 

Dijkstra, trong bài tiểu luận về sự tàn khốc của việc thực sự giảng dạy khoa học máy tính , đưa ra đề xuất sau đây cho một khóa học lập trình giới thiệu: Một mặt, chúng tôi dạy những gì trông giống như tính toán vị ngữ, nhưng chúng …

33 reference-request  programming-languages  education  didactics 

Điều nổi tiếng là thuật toán 'ngây thơ' này để xáo trộn một mảng bằng cách hoán đổi từng mục với một mục được chọn ngẫu nhiên khác không hoạt động chính xác: for (i=0..n-1) swap(A[i], A[random(n)]); Cụ thể, vì tại mỗi lần lặp nnn , một trong nnn lựa …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

Có sự khác biệt cơ bản giữa lập trình động từ trên xuống và từ dưới lên không? Cụ thể, có một vấn đề có thể được giải quyết từ dưới lên nhưng không phải từ trên xuống? Hay cách tiếp cận từ dưới lên chỉ là một cách giải …

33 algorithms  dynamic-programming 

Có thùng và loại bóng. Các th bin có nhãn cho , nó là số kỳ vọng của bóng kiểu .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Bạn bắt đầu với những quả bóng loại . Mỗi quả bóng loại có trọng lượng và muốn đặt các quả bóng vào thùng sao cho bin …

33 complexity-theory  np-hard  integer-programming 

Trong bài báo chuyên đề năm 1987 của cô, Dana Angluin trình bày một thuật toán thời gian đa thức để học DFA từ các truy vấn thành viên và truy vấn lý thuyết (đối chiếu với DFA được đề xuất). Cô ấy cho thấy rằng nếu bạn đang cố …

33 algorithms  learning-theory  machine-learning 

Sau khi đọc một số nguồn, tôi vẫn còn bối rối về các luồng cấp độ người dùng và hạt nhân. Đặc biệt: Chủ đề có thể tồn tại ở cả cấp độ người dùng và cấp độ nhân Sự khác biệt giữa cấp độ người dùng và cấp độ …

33 operating-systems  terminology  concurrency  os-kernel 

EDIT: Bây giờ tôi đã hỏi một câu hỏi tương tự về sự khác biệt giữa các danh mục và bộ. Mỗi lần tôi đọc về lý thuyết loại (mà phải thừa nhận là khá không chính thức), tôi thực sự không thể hiểu nó khác với lý thuyết tập …

33 type-theory  sets 

Hôm nay chúng tôi đã thảo luận trong một bài giảng một thuật toán rất đơn giản để tìm một phần tử trong một mảng được sắp xếp bằng cách sử dụng tìm kiếm nhị phân . Chúng tôi được yêu cầu xác định độ phức tạp tiệm cận của …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Xin lỗi trước nếu câu hỏi này nghe có vẻ ngu ngốc ... Theo tôi biết, việc xây dựng một thuật toán sử dụng lập trình động hoạt động theo cách này: diễn đạt vấn đề như một mối quan hệ tái phát; thực hiện mối quan hệ lặp lại …

33 algorithms  dynamic-programming  algorithm-design 

Trong lớp của tôi, một sinh viên hỏi liệu tất cả các automata hữu hạn có thể được vẽ mà không vượt qua các cạnh (có vẻ như tất cả các ví dụ của tôi đã làm). Tất nhiên câu trả lời là phủ định, máy tự động rõ ràng …

32 regular-languages  finite-automata  planar-graphs 

Tôi thậm chí không phải là một sinh viên CS, vì vậy đây có thể là một câu hỏi ngu ngốc, nhưng xin vui lòng chịu đựng với tôi ... Trong kỷ nguyên tiền máy tính, chúng ta chỉ có thể thực hiện một cấu trúc dữ liệu mảng với …

32 algorithms  algorithm-analysis  data-structures  runtime-analysis 

Khi máy tính lưu trữ một biến, khi một chương trình cần lấy giá trị của biến đó, làm thế nào để máy tính biết vị trí tìm trong bộ nhớ cho giá trị của biến đó?

32 compilers  memory-access  variable-binding 

Tôi đã đọc về Iota và Jot và thấy phần này khó hiểu: Không giống như Iota, nơi cây cú pháp cho một chuỗi có thể phân nhánh ở bên trái hoặc bên phải, cú pháp Jot được phân nhánh đồng đều. Do đó, Iota hoàn toàn không có ngữ …

32 regular-languages  programming-languages  turing-completeness