Khoa học máy tính

Gần đây tôi đã đọc rằng có thể có các mảng không cần khởi tạo, nghĩa là có thể sử dụng chúng mà không phải mất thời gian cố gắng đặt từng thành viên về giá trị mặc định. tức là bạn có thể bắt đầu sử dụng mảng như …

19 data-structures  arrays 

Các khóa học đồ họa giới thiệu thường có một dự án yêu cầu bạn xây dựng một bộ dò tia để kết xuất cảnh. Nhiều sinh viên đồ họa bước vào trường học nói rằng họ muốn làm việc theo dõi tia. Tuy nhiên, dường như dấu vết tia …

19 graphics 

Trong Thuật toán của Hromkovič cho các vấn đề khó khăn (ấn bản thứ 2) có định lý này (2.3.3.3, trang 117): Có một vấn đề quyết định (có thể quyết định) sao cho với mọi thuật toán giải được có một thuật toán khác cũng giải quyết được và …

19 complexity-theory 

Định luật De Morgan thường được giới thiệu trong một môn toán giới thiệu cho khóa học về khoa học máy tính và tôi thường xem nó như một cách để biến các câu lệnh từ AND thành OR bằng cách phủ định các thuật ngữ. Có một lời giải …

19 logic  discrete-mathematics  didactics 

Để cho L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Là thường xuyên?LLL Câu hỏi này thoạt nhìn có vẻ nghi ngờ và tôi đã nhận ra rằng nó được kết nối với phỏng đoán nguyên tố …

19 formal-languages  automata  regular-languages  finite-automata 

Giáo sư của chúng tôi yêu cầu chúng tôi nghĩ về một chức năng trong OCaml có loại 'a -> 'b tức là một hàm của một đối số có thể là bất cứ thứ gì và có thể trả về một thứ khác. Tôi đã nghĩ đến việc sử …

19 programming-languages  typing  functional-programming 

Tôi là một sinh viên tốt nghiệp tham gia một khóa học về lý thuyết tính toán và tôi gặp khó khăn nghiêm trọng trong việc sản xuất nội dung một khi tôi được yêu cầu. Tôi có thể theo sách giáo khoa (Giới thiệu về Lý thuyết tính toán …

19 computability  education  intuition 

Tôi đang bắt đầu một nghiên cứu thư mục cá nhân về các thuật toán kiểm tra kiểu và muốn một số mẹo. Các thuật toán, chiến lược và kỹ thuật chung được sử dụng phổ biến nhất là gì? Tôi đặc biệt quan tâm đến các thuật toán kiểm …

19 algorithms  programming-languages  reference-request  type-checking 

Có một sự giảm bớt trong cuốn sách "Giới thiệu về lý thuyết tính toán" của Sipser trên trang 285 từ 3SAT đến vấn đề đường dẫn Hamilton. Có giảm đơn giản hơn? Nói một cách đơn giản, ý tôi là giảm bớt sẽ dễ hiểu hơn (đối với sinh …

19 complexity-theory  np-hard 

Tôi đã làm việc về lập trình động một thời gian. Cách chính tắc để đánh giá đệ quy lập trình động là bằng cách tạo một bảng gồm tất cả các giá trị cần thiết và điền vào từng hàng. Xem ví dụ Cormen, Leiserson et al: "Giới thiệu …

19 algorithms  dynamic-programming 

Toán tử khác biệt tập hợp (ví dụ, EXCEPTtrong một số biến thể SQL) là một trong nhiều toán tử cơ bản của đại số quan hệ. Tuy nhiên, có một số cơ sở dữ liệu không hỗ trợ trực tiếp toán tử khác biệt tập hợp, nhưng hỗ trợ …

19 database-theory  relational-algebra  finite-model-theory 

Nhiều tài liệu tham khảo hệ điều hành nói rằng với đa nhiệm (trái ngược với sự ưu tiên), một quy trình sẽ giữ CPU cho đến khi nó tự nguyện đình chỉ một cách rõ ràng. Nếu một quy trình đang chạy thực hiện một yêu cầu I / …

19 operating-systems  process-scheduling 

Tôi đang đọc về Lập trình động khi tôi thấy đoạn trích dẫn sau Một thuật toán lập trình động sẽ kiểm tra tất cả các cách có thể để giải quyết vấn đề và sẽ chọn giải pháp tốt nhất. Do đó, chúng ta có thể nghĩ đại khái …

19 algorithms  terminology  optimization  dynamic-programming 

Có cấu trúc dữ liệu nào duy trì một tập hợp các tập hợp (của tập hợp mặt đất hữu hạn) hỗ trợ các hoạt động sau không? Bất kỳ thời gian chạy tuyến tính sẽ được đánh giá cao? Ban đầu một bộ trống. Thêm một yếu tố vào …

19 data-structures  sets 

Tôi bị mắc kẹt trong câu hỏi sau đây: "Các ngôn ngữ thông thường chính xác là những ngôn ngữ được chấp nhận bởi automata hữu hạn. Với thực tế này, cho thấy rằng nếu ngôn ngữ được chấp nhận bởi một số máy tự động hữu hạn, thì L …

19 formal-languages  regular-languages  automata  finite-automata