Khoa học máy tính

Hôm nay, một cuộc nói chuyện của Henning Kerstan ("Trace Semantics for Xác suất hệ thống chuyển đổi") lần đầu tiên đối mặt với tôi với lý thuyết thể loại. Ông đã xây dựng một khung lý thuyết để mô tả các hệ thống chuyển tiếp xác suất và hành …

18 applied-theory  category-theory 

Combinatorics đóng một vai trò quan trọng trong khoa học máy tính. Chúng tôi thường xuyên sử dụng các phương pháp tổ hợp trong cả phân tích cũng như thiết kế các thuật toán. Ví dụ: một phương pháp để tìm bìa -vertex được đặt trong biểu đồ có thể …

18 algorithms  algorithm-analysis  combinatorics 

Trong các ngôn ngữ lập trình, đóng cửa là một tính năng phổ biến và thường được mong muốn. Wikipedia nói (nhấn mạnh của tôi): Trong khoa học máy tính, bao đóng (...) là một hàm cùng với môi trường tham chiếu cho các biến không cục bộ của hàm …

18 programming-languages  semantics 

Từ câu trả lời đến (Khi nào) là bảng băm tra cứu O (1)? , Tôi tập hợp rằng các bảng băm có hành vi trong trường hợp xấu nhất , ít nhất là được khấu hao, khi dữ liệu thỏa mãn các điều kiện thống kê nhất định và …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

Hãy xem xét một phân đoạn bộ nhớ (có kích thước có thể tăng hoặc thu hẹp, như tệp, khi cần) mà bạn có thể thực hiện hai thao tác cấp phát bộ nhớ cơ bản liên quan đến các khối kích thước cố định: phân bổ một khối giải …

18 time-complexity  memory-allocation  operating-systems 

Tôi biết rằng máy tính lượng tử có thể xử lý sự chồng chất của tất cả các trạng thái có thể với một lần chuyển qua logic. Đó dường như là những gì mọi người chỉ ra là những gì làm cho máy tính lượng tử trở nên đặc …

18 computation-models  quantum-computing 

Đặc biệt: 1) Bộ đệm được ánh xạ trực tiếp với 4096 khối / dòng trong đó mỗi khối có 8 từ 32 bit. Có bao nhiêu bit cần thiết cho các trường thẻ và chỉ mục, giả sử địa chỉ 32 bit? 2) Câu hỏi tương tự như 1) …

18 computer-architecture  cpu-cache 

Xem xét sự tái phát T(n)=n−−√⋅T(n−−√)+cnT(n)= =n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n cho với một số hằng số dương và .n>2n>2n \gt 2cccT(2)=1T(2)= =1T(2) = 1 Tôi biết định lý Master để giải quyết các đợt tái phát, nhưng tôi không chắc chắn về cách chúng ta có …

18 asymptotics  recurrence-relation  master-theorem 

Trong nhiều triển khai tìm kiếm theo chiều sâu mà tôi thấy (ví dụ: ở đây ), mã phân biệt giữa một đỉnh màu xám (được phát hiện, nhưng không phải tất cả các hàng xóm của nó đã được truy cập) và một đỉnh đen (được phát hiện và …

18 algorithms  graphs  search-algorithms  graph-traversal 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Văn bản gốc: Mắt kỳ lạ nhìn gần hồ Được mã hóa: 0000101100000110011100010101101101001111101011111100011001111110100100101 Tại sao không cần có dấu phân tách trong …

17 coding-theory  encoding-scheme  huffman-coding 

Tôi đang bắt đầu đọc một cuốn sách về Độ phức tạp tính toán và Máy Turing. Đây là trích dẫn: Một thuật toán (nghĩa là một máy) có thể được biểu diễn dưới dạng một chuỗi bit một khi chúng ta quyết định một số mã hóa chính tắc. …

17 algorithms  turing-machines  computability  computation-models 

Hộp đen của có nghĩa là tôi có thể đánh giá đa thức tại bất kỳ điểm nào.f ( x )f( x )f(x)f(x)f( x )f(x)f(x) Đầu vào : Một hộp đen của đa thức monic độ .df( X ) ∈ Z+[ x ]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Đầu ra: Các hệ số của …

17 algorithms  polynomials 

Làm thế nào ALU trong bộ vi xử lý sẽ phân biệt giữa một số đã ký, -7 được ký hiệu là 1111 và số 15 không dấu, cũng được ký hiệu là 1111?

17 arithmetic  binary 

Tôi đã đọc về các thuật toán nén dữ liệu và giới hạn lý thuyết cho việc nén dữ liệu. Gần đây tôi gặp một phương pháp nén gọi là "Mã hóa Entropator Entropy", ý tưởng chính của phương pháp này là mã hóa tệp như các ký tự được …

17 information-theory  data-compression 

Ví dụ: khi chúng tôi xem xét một DFA cho phép các chuỗi không có chuỗi phụ 00hoặc 11tôi có thể tạo hai DFA sau:

17 automata  finite-automata