Khoa học máy tính

Giả sử chúng ta đang làm việc với một hệ thống có 40 bit địa chỉ vật lý. Tổng không gian địa chỉ vật lý (giả sử bộ nhớ có thể định địa chỉ byte) là byte hoặc 1 TiB. Và nếu địa chỉ ảo có độ dài 48 bit, …

14 memory-management  virtual-memory  memory-access 

Có kỹ thuật nào để giải phương trình hàm cho các hàm chưa biết trong phép tính lambda không? Giả sử tôi có chức năng nhận dạng được định nghĩa mở rộng như sau: Ix=xIx=xI x = x (nghĩa là, bằng cách viết ra một phương trình cho hành vi …

14 lambda-calculus 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

14 mathematical-foundations 

Tôi có câu hỏi [loại buồn cười] này trong đầu. Tại sao máy tự động hữu hạn không xác định được gọi là không xác định trong khi chúng tôi xác định các chuyển đổi cho đầu vào. Chà, mặc dù có nhiều chuyển tiếp và epsilon , chúng được …

14 finite-automata  nondeterminism 

Có phải đã chứng minh rằng tính toán lượng tử không tốt hơn trong việc giải quyết các vấn đề hoàn chỉnh NP so với tính toán cổ điển hay nó chỉ được tin?

14 np-complete  quantum-computing 

Tôi quen thuộc với ý tưởng loại bỏ đệ quy đuôi cơ bản , trong đó các hàm trả về kết quả trực tiếp của một cuộc gọi đến chính chúng có thể được viết lại dưới dạng các vòng lặp. foo(...): # ... return foo(...) Tôi cũng hiểu rằng, …

14 compilers  recursion  program-optimization  tail-recursion 

Trong phần Giới thiệu về thuật toán của Cormen và cộng sự , phần 15.3 Các yếu tố của lập trình động giải thích việc ghi nhớ như sau: Một thuật toán đệ quy ghi nhớ duy trì một mục trong bảng cho giải pháp cho từng bài toán con. …

14 dynamic-programming  search-trees  dictionaries  memoization 

Tôi thường sử dụng ký hiệu cho chuỗi rỗng (từ trống hoặc chuỗi rỗng). Nhưng tôi biết một số người sử dụng λ thay vì ε .εε\varepsilonλλ\lambdaεε\varepsilon Tôi nghĩ có nguồn gốc từ chữ "Empty". Tuy nhiên tôi không biết nguồn gốc của những gì λ .εε\varepsilonλλ\lambda Trong lý thuyết …

14 formal-languages  automata  reference-request  notation  history 

Tôi có một vấn đề thuật toán. TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Ví dụ: Nếu = [1, 3, 4, 1, 3, 6], thì có thể là [3, 3, 6] hoặc [3, 4, 6] hoặc [4, 3, 6].TTTSSS Trong = [7, 5, 1, 1, 7, 4], thì là [7, 5, 7, 4].TTTSSS Tôi …

14 algorithms  optimization  sets 

Người ta biết rằng 2-SAT nằm trong P. Tuy nhiên, có vẻ khá thú vị khi đếm số lượng giải pháp cho một công thức 2-SAT nhất định, tức là # 2-SAT là # P-hard. Đó là, chúng tôi có một ví dụ về một vấn đề mà quyết định …

14 complexity-theory  counting 

Tôi quen thuộc với ngữ nghĩa hoạt động (cả bước nhỏ và bước lớn) để xác định ngôn ngữ lập trình. Tôi cũng quan tâm đến việc học ngữ nghĩa học biểu thị, nhưng tôi không chắc liệu nó có xứng đáng với nỗ lực đó không. Tôi sẽ chỉ …

14 semantics  operational-semantics  denotational-semantics 

Tôi vừa đọc Thuật toán này có thể vẫn được coi là thuật toán Tìm kiếm nhị phân không? và nhớ lại rằng một vài năm trước tôi đã viết một bộ chỉ mục / tìm kiếm các tệp nhật ký để tìm các mục nhật ký trong các tệp …

14 algorithms  search-algorithms  binary-search 

Vì vậy, Sudoku thường là , nhưng câu hỏi này mở rộng đến câu đố với là tốt. Có nhiều quy tắc khấu trừ thời gian đa thức có thể đạt được tiến bộ trong việc tìm ra giải pháp cho câu đố Sudoku. Nhưng sau đó đôi khi đoán …

14 complexity-theory  sudoku 

Tôi biết rằng các cổng NAND có thể được sử dụng để tạo ra các mạch thực hiện mọi bảng chân lý và các máy tính hiện đại được xây dựng từ các cổng NAND. Liên kết lý thuyết giữa các cổng NAND và tính đầy đủ của Turing là …

14 turing-machines  turing-completeness  digital-circuits 

Tôi chắc chắn ai đó đã nghĩ về điều này trước đây hoặc ngay lập tức bác bỏ nó, nhưng tại sao lý thuyết phân đôi của Schaefer cùng với định lý của Mahaney về các tập thưa thớt không ngụ ý P = NP? Đây là lý do của …

14 complexity-theory  np-complete  satisfiability  p-vs-np