Khoa học máy tính

3

Tại sao CPU liên quan đến tiếng vang bàn phím?

Tôi hiện đang học cho một kỳ thi khoa học máy tính, và tôi đã bắt gặp một khái niệm khiến tôi hơi bối rối. Khi gõ một phím trên bàn phím, một ký tự ASCII được truyền đến CPU. Khi nhận được ký tự này, CPU sẽ xuất cùng …

9 computer-architecture operating-systems user-interface

2

Máy tính tương tự và luận án Church-Turing

Tôi muốn trích dẫn từ Nielsen & Chuang, Tính toán lượng tử và Thông tin lượng tử, ấn bản kỷ niệm 10 năm, trang 5 (nhấn mạnh của tôi): Một lớp các thách thức đối với luận điểm mạnh mẽ của Giáo hội Turing xuất phát từ lĩnh vực tính …

9 computation-models church-turing-thesis

2

Làm thế nào để sử dụng máy orure Turing không dẫn đến mâu thuẫn?

Làm thế nào chúng ta có thể đảm bảo rằng chúng ta đang tiếp tục đưa ra những tuyên bố hợp lý và hợp lý về các lớp phức tạp khi sử dụng máy Turing orory? Theo sự hiểu biết của tôi (dựa trên các định nghĩa được đưa ra …

9 complexity-theory oracle-machines

1

Thuật toán và cấu trúc dữ liệu hiệu quả nhất để duy trì thông tin thành phần được kết nối trên biểu đồ động là gì?

Giả sử tôi có một biểu đồ thưa thớt hữu hạn vô hướng và cần có khả năng chạy các truy vấn sau một cách hiệu quả: Tôis Co n n e c t e d( N1, N2)IsConnected(N1,N2)IsConnected(N_1, N_2) - trả về nếu có đường dẫn giữa và , nếu …

9 algorithms graph-theory graphs data-structures

3

Liệu sự bất biến trong lập trình chức năng có thực sự tồn tại?

Mặc dù tôi làm việc như một lập trình viên trong cuộc sống hàng ngày và sử dụng tất cả các ngôn ngữ hợp thời (Python, Java, C, v.v.) Tôi vẫn chưa có cái nhìn rõ ràng về lập trình chức năng là gì. Từ những gì tôi đã đọc, …

9 data-structures functional-programming

2

Thuật toán căn bậc hai chính xác tùy ý?

Có bất kỳ thuật toán phụ nào được biết để tính sàn của căn bậc hai của một nsố nguyên bit không? Thuật toán ngây thơ sẽ là một cái gì đó như def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r …

9 algorithms numerical-algorithms

1

RAM lãng quên là gì và nó hoạt động như thế nào?

Bất cứ ai có thể giải thích cho tôi chính xác RAM lãng quên là gì? Tôi đã tìm thấy lời giải thích sau đây làm cho nó rõ ràng với tôi, nhưng tôi muốn hiểu về các khía cạnh kỹ thuật: Mã hóa không phải lúc nào cũng đủ …

9 terminology computer-architecture security memory-hardware memory-access

1

Nếu một người cho thấy rằng UNIITE k-SAT nằm trong P, thì nó có ngụ ý P = NP không?

Valiant & Vazirani đã chứng minh SAT có thể giảm xuống còn UNIQUE SAT dưới các mức giảm xác suất ngẫu nhiên trong thời gian đa thức. Calabro và cộng sự . cho thấy rằng UN -QUE k-SAT cũng khó như k-SAT. Bây giờ câu hỏi là, nếu ai đó …

9 complexity-theory satisfiability p-vs-np

1

Làm thế nào để thuật ngữ động lượng cho thuật toán backpropagation hoạt động?

Khi cập nhật các trọng số của mạng nơ ron bằng thuật toán backpropagation với một thuật ngữ động lượng, liệu tốc độ học tập có nên được áp dụng cho thuật ngữ động lượng không? Hầu hết các thông tin tôi có thể tìm thấy về việc sử dụng …

9 machine-learning neural-networks

1

Cho n chuỗi, một trong số chúng là một chuỗi con của một chuỗi khác?

Giả sử chúng ta được cung cấp một tập hợp gồm chuỗi, . Tôi muốn biết liệu bất kỳ chuỗi nào trong số đó là một chuỗi con của bất kỳ chuỗi nào khác trong bộ sưu tập. Nói cách khác, tôi muốn một thuật toán cho tác vụ sau:nnnS1,…,SnS1,…,SnS_1,\dots,S_n …

9 algorithms strings efficiency substrings

1

Tên của vấn đề là gì? (phân vùng đồ thị thành ba bìa)

Tôi đã tự hỏi nếu vấn đề này có một tên: Cho một đồ thị đơn giản có các cạnh được tô màu đỏ, xanh dương và xanh lục, , có một đỉnh màu sao cho mọi cạnh có một điểm cuối với cùng màu?G = ( V, B ∪ …

9 algorithms complexity-theory graphs satisfiability colorings

3

Sự tương đương của phân tích luồng dữ liệu, giải thích trừu tượng và suy luận kiểu?

Câu trả lời của @ Babou cho một câu hỏi gần đây nhắc nhở tôi rằng có lúc tôi nghĩ rằng tôi đã đọc một bài báo về sự tương đương (về cả hai sự kiện có thể được suy luận hoặc chứng minh và độ phức tạp của thời …

9 reference-request compilers type-inference program-optimization

1

bài tập baz_num_elts từ Tổ chức phần mềm

Tôi đang ở bài tập sau trong Cơ sở phần mềm : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does …

9 coq

1

Viết hệ điều hành đa nhiệm cho bộ xử lý không có MMU

Tôi đã nghĩ đến việc viết một hệ điều hành sở thích cho một số bộ xử lý ARM. Có nhiều máy tính bảng đơn phổ biến với ARM MPU, vì vậy tôi chỉ muốn mua một trong số đó (chọn một máy tính có tài liệu mở hơn). Tôi …

9 operating-systems memory-management memory-hardware os-kernel

1

Hiệu quả tìm GCD cặp đôi tối đa của một tập hợp các số tự nhiên

Hãy xem xét vấn đề sau: Đặt là tập con hữu hạn của các số tự nhiên.S= { s1, s2, . . . Sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Đặt g c d ( s i , s j ) | s i , s j ∈ S …

9 algorithms number-theory