Khoa học máy tính

Tôi muốn bắt đầu bằng cách nói rằng đây KHÔNG phải là một câu hỏi bài tập về nhà. Tôi đang đọc Giới thiệu về Thuật toán - văn bản CLRS nổi tiếng để trở thành một lập trình viên tốt hơn. Tôi đang cố gắng tự mình giải quyết …

15 data-structures  arrays  stacks 

library(ggplot2) compress <- function(str) { length(memCompress(paste(rep("a", str), collapse=""), type="bzip2")) / nchar(paste(rep("a", str), collapse="")) } cr <- data.frame(i = 1:10000, r = sapply(1:10000, compress)) ggplot(cr[cr$i>=5000 & cr$i<=10000,], aes(x=i, y=r)) + geom_line() Tỷ lệ nén bắt đầu ở mức 37 cho "a" và đạt điểm hòa vốn ở mức 39 ​​"a" (tỷ …

15 data-compression 

Một số ví dụ về các vấn đề quyết định khó khăn có thể được giải quyết trong thời gian đa thức là gì? Tôi đang tìm kiếm các vấn đề mà thuật toán tối ưu là "chậm" hoặc các vấn đề mà thuật toán được biết đến nhanh nhất …

15 algorithms  complexity-theory  reference-request 

Gần đây, một câu hỏi thú vị đã được hỏi và sau đó bị xóa. Đối với ngôn ngữ thông thường , độ phức tạp DFA của nó là kích thước của DFA tối thiểu chấp nhận nó và độ phức tạp NFA của nó là kích thước của NFA …

15 regular-languages  finite-automata 

Chúng tôi có một DAG. Chúng tôi có một chức năng trên các nút (nói một cách lỏng lẻo, chúng tôi đánh số các nút). Chúng tôi muốn tạo một biểu đồ có hướng mới với các quy tắc sau:F:V→NF:V→NF\colon V\to \mathbb N Chỉ các nút có cùng số có …

15 algorithms  graphs  np-complete  reductions 

Wikipedia nói : Mạng hoàn chỉnh xuất hiện trong nhiều ứng dụng trong toán học và khoa học máy tính Có phải nó chỉ đề cập đến thực tế là đại số Boolean tiêu chuẩn được sử dụng trong tính toán là một mạng hoàn chỉnh? Có bất cứ điều …

15 lattices  order-theory 

Trong tài liệu hệ thống phân tán bán kết Nghị viện bán thời gian (giao thức Paxos), Leslie Lamport nêu tên các nhà lập pháp hư cấu có liên quan đến giao thức nghị viện Paxon. Theo bài viết này , ông lưu ý rằng: Tôi đã đưa cho các …

15 distributed-systems  history 

Tôi đang cố gắng tìm một phương pháp hiệu quả để phát hiện xem một đồ thị G đã cho có hai cây bao trùm tối thiểu khác nhau hay không. Tôi cũng đang cố gắng tìm một phương pháp để kiểm tra xem nó có 3 cây bao trùm …

15 algorithms  graph-theory  graphs  spanning-trees 

Vì vậy, về cơ bản L thỏa mãn các điều kiện của bổ đề bơm cho CFL nhưng không phải là CFL (điều đó là có thể theo định nghĩa của bổ đề).

15 formal-languages  context-free  pumping-lemma 

Một bài đăng trên blog về câu đố gần đây về việc tìm ra ba câu hỏi cách đều nhau dẫn tôi đến một câu hỏi stackoverflow với câu trả lời hàng đầu tuyên bố sẽ thực hiện nó trong thời gian O (n lg n). Phần thú vị là …

15 algorithms  time-complexity 

Một Hidoku là một n×nn×nn \times n lưới với một số nguyên điền sẵn từ 1 đến n2n2n^2 . Mục tiêu là tìm một đường dẫn các số nguyên liên tiếp (từ 1 đến n2n2n^2 ) trong lưới. Cụ thể hơn, mỗi tế bào của lưới điện phải chứa một …

15 complexity-theory  reductions  np-hard 

Sau khi tôi học cách xây dựng một mảng hậu tố theo độ phức tạp O(N)O(N)O(N) , tôi thích khám phá các ứng dụng của mảng hậu tố. Một trong số đó là tìm chuỗi con chung dài nhất giữa hai chuỗi, trong thời gian O(N)O(N)O(N) . Tôi tìm thấy …

15 algorithms  suffix-array 

Các máy đếm có hai hoặc nhiều bộ đếm thường được hiển thị tương đương với máy Turing trong các khóa học về lý thuyết tính toán. Tuy nhiên, tôi chưa thấy một phân tích chính thức về ngôn ngữ nào có thể được nhận ra bởi một máy đếm. …

15 computability  automata 

Rõ ràng, nếu , tất cả các ngôn ngữ trong ngoại trừ và sẽ là -complete.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Tại sao hai ngôn ngữ nói riêng? Chúng ta không thể giảm bất kỳ ngôn ngữ nào khác trong cho họ bằng cách xuất chúng khi chấp nhận hay không …

15 complexity-theory  np-complete  reductions 

Gần đây tôi đã trở nên cực kỳ quan tâm đến việc hiểu và chứng minh các khía cạnh của ngôn ngữ lập trình (chức năng). Tuy nhiên, khi tôi đi sâu hơn vào, những thứ như phép tính, lý thuyết phạm trù và ngữ nghĩa học biểu thị là …

15 reference-request  lambda-calculus  functional-programming  books