Khoa học máy tính

Tôi đã viết mã Python này và tự hỏi liệu đôi khi nó chỉ đơn giản là không chấm dứt (giả sử chúng ta có bộ nhớ / thời gian vô hạn và không có giới hạn độ sâu đệ quy). Theo trực giác, bạn nghĩ rằng nó chấm dứt, …

10 trees  probability-theory  termination 

Tôi đang thực hiện thuật toán Naive Bayes để phân loại văn bản với làm mịn Laplacian. Vấn đề tôi gặp phải là xác suất gần bằng 0 vì tôi đang nhân nhiều phân số nhỏ. Do đó, xác suất cuối cùng mang lại không. Điều này là do có …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

Từ tài liệu tham khảo này: Tích cực nghiêm ngặt Các điều kiện tích cực nghiêm ngặt loại trừ các tuyên bố như data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK …

10 type-theory  inductive-datatypes 

Tuyên bố miễn trừ trách nhiệm: Tôi biết có những câu hỏi nghe có vẻ tương tự đã có ở đây và trên Stackoverflow. Nhưng tất cả chúng là về sự va chạm, đó không phải là điều tôi đang yêu cầu. Câu hỏi của tôi là: tại sao đầu …

10 complexity-theory  hash  hash-tables  performance 

Kiểu tự là một phần mở rộng của Tính toán công trình [1] cho phép ngôn ngữ thể hiện các kiểu dữ liệu đại số được mã hóa thông qua Mã hóa Scott. Scott Encoding cung cấp một khả năng khớp mẫu O(1), đây là một trong những động lực …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

Tôi đã cố gắng tìm hiểu xem vấn đề tạm dừng có thể quyết định được đối với automata di động một chiều 3 ký hiệu hay không. Định nghĩa Gọi biểu thị cấu hình của hệ thống tại bước thời gian i . Chính thức hơn f : A …

10 computability  decision-problem  halting-problem  cellular-automata 

Tôi đang học cách chuyển đổi NFA thành DFA và tôi muốn chắc chắn rằng mình đang làm đúng. Rõ ràng, quay trở lại theo hướng khác không phải là một điều. Có ai biết một thuật toán để kiểm tra xem DFA có tương đương với NFA không?

10 automata  finite-automata  proof-techniques  nondeterminism 

x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Một thuật toán vũ lực sẽ đi qua mọi điểm và đếm số điểm ở khoảng cách nhỏ hơn . Điều đó sẽ tạo ra sự phức tạp của .rrrO(n2)O(n2)\mathcal{O}(n^2) Có một cách tiếp cận tốt hơn?

10 algorithms  complexity-theory  computational-geometry 

Nếu P = N PP=NP\mathbf{P} = \mathbf{NP} thì L = N LL= =NL\mathbf{L} = \mathbf{NL} ? Tôi đang đặt câu hỏi này bởi vì, đối với các lớp không xác định khác, có vẻ như P = N PP= =NP\mathbf{P} = \mathbf{NP} luôn xác định rằng chúng bằng với các …

10 complexity-theory  p-vs-np 

Tôi muốn hiểu lý thuyết loại nhưng trước tiên tôi phải biết làm thế nào tôi có thể áp dụng nó. Có thể có nhiều ứng dụng không rõ ràng của lý thuyết loại ngoài các hệ thống loại trong lập trình? Có thể có các ứng dụng khác, giả …

10 type-theory  applied-theory 

Câu hỏi này có phần trái ngược với câu hỏi trước đó về các bộ được hình thành từ các thao tác tập hợp trên các bộ hoàn chỉnh NP: Nếu tập hợp kết quả từ sản phẩm hợp nhất, giao lộ hoặc Cartesian của hai bộ có thể quyết …

10 complexity-theory  np-hard  np  np-intermediate 

Đây có lẽ là một suy nghĩ ngớ ngẩn, nhưng giả sử chúng ta có một máy tính được lập trình để thực hiện một chuỗi tính toán vô hạn và giả sử phép tính mất giây để hoàn thành. Sau đó, máy tính này có thể thực hiện vô …

10 computability  computation-models 

Gần đây tôi đã đọc một mục blog thực sự thú vị từ Google Research Blog nói về mạng lưới thần kinh. Về cơ bản họ sử dụng mạng lưới thần kinh này để giải quyết các vấn đề khác nhau như nhận dạng hình ảnh. Họ sử dụng các …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

Tôi đã cố gắng giải bài tập sau nhưng tôi bị kẹt trong khi cố gắng tìm tất cả các cặp quan trọng . Tôi có những câu hỏi sau: Làm thế nào để tôi biết cặp quan trọng nào tạo ra quy tắc mới? Làm thế nào để tôi …

10 logic  first-order-logic 

Tôi đang đọc Hệ điều hành của Galvin và tình cờ thấy dòng dưới đây, Tuy nhiên, không phải tất cả các trạng thái không an toàn là bế tắc. Một trạng thái không an toàn có thể dẫn đến bế tắc Ai đó có thể vui lòng giải thích …

10 operating-systems  deadlocks