Khoa học máy tính

Tôi đã đọc bài viết của Wikipedia về Kolmogorov Complexity ( nhờ câu hỏi này ), trong đó nêu rõ: Có thể thấy rằng độ phức tạp Kolmogorov của bất kỳ chuỗi nào không thể lớn hơn một vài byte so với độ dài của chính chuỗi đó. Tại sao …

13 kolmogorov-complexity 

Lập trình hàm có tính toán Lambda rất thanh lịch và các biến thể của nó như là một lý thuyết dự phòng. Có một điều như vậy cho OOP? Một sự trừu tượng cho mô hình hướng đối tượng là gì?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Tôi đang tìm kiếm một thuật toán hiệu quả cho vấn đề sau hoặc bằng chứng về độ cứng NP. Đặt là một tập hợp và một tập hợp các tập hợp con của . Tìm một chuỗi có độ dài nhỏ nhất sao cho mỗi , có một sao …

13 algorithms  formal-languages  encoding-scheme 

Sử dụng thuật toán Fibonacci đệ quy sau: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Nếu tôi nhập số 5 để tìm sợi (5), tôi biết điều này sẽ xuất 5 nhưng làm cách nào để kiểm tra độ phức tạp của thuật toán này? …

13 algorithms  time-complexity  recursion 

Có một số cách tự nhiên hoặc đáng chú ý để liên kết hoặc liên kết các nhóm toán học và ngôn ngữ chính thức CS hoặc một số khái niệm CS cốt lõi khác, ví dụ như máy Turing? Tôi đang tìm kiếm tài liệu tham khảo / ứng …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Tôi đã đọc về sự khác biệt giữa tính tuần tự và tính tuyến tính , cả hai đều là tiêu chí thống nhất cho các hệ thống được nhân rộng, chẳng hạn như cơ sở dữ liệu được nhân rộng. Tuy nhiên, tôi không biết trong trường hợp nào …

13 concurrency  databases 

Có thùng, thùng thứ i chứa một quả bóng i . Những quả bóng có n màu sắc, có một i bóng của màu sắc i . Hãy m = Σ n i = 1 một i .nnnTôiTôiimộtTôimộtTôia_innnmộtTôimộtTôia_iTôiTôiim = Σni = 1mộtTôim= =ΣTôi= =1nmộtTôim=\sum_{i=1}^n a_i Một trao đổi là lấy …

13 algorithms  complexity-theory  balls-and-bins 

Đặt ngôn ngữ là thường xuyên.L ⊆ Σ*L⊆Σ*\mathcal{L} \subseteq \Sigma^* Một hệ số của là một cặp tối đa của các bộ từ vớiLL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆ LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠ ∅ ≠ YX≠∅≠YX \neq \emptyset \neq Y , trong đó X⋅ Y= { x yX⋅Y= ={xyX …

13 algorithms  regular-languages  optimization 

Tôi đang cố gắng hiểu ý nghĩa của "tính xác định" trong các biểu thức, chẳng hạn như "ngữ pháp không ngữ cảnh xác định". (Có nhiều "điều" mang tính quyết định hơn trong lĩnh vực này). Tôi sẽ đánh giá cao một ví dụ nhiều hơn sau đó giải …

13 context-free  formal-grammars  parsers 

Có phải đầu ra của một trình phân tích cú pháp phải là một cây hoặc nó cũng có thể là biểu đồ chung? Hơn nữa, có bất kỳ ngôn ngữ hiện có hoặc một ngôn ngữ hợp lý sử dụng biểu diễn đồ thị chung thay vì cây cho …

13 compilers  parsing 

Hàm dịch chuyển tối đa bận rộn, , có các giá trị đã biết cho . Có một số lý do cơ bản, cấu trúc tại sao không thể tin được rằng chúng ta sẽ tìm thấy cho ? Có gì khác về so với ? Hay ? Ở đâu …

13 computability  busy-beaver 

Giả sử tôi có một đồ thị với những (không rõ) bộ matchings hoàn hảo của . Giả sử tập hợp này không trống, thì việc lấy mẫu thống nhất ngẫu nhiên từ nào? Điều gì sẽ xảy ra nếu tôi ổn với một phân phối gần với thống nhất, …

13 algorithms  complexity-theory  matching  sampling 

Tôi là người mới, nhưng rất quan tâm đến lĩnh vực điện toán và lý thuyết phức tạp, và tôi muốn làm rõ sự hiểu biết của mình về cách giải quyết các vấn đề và mức độ mạnh của các vấn đề liên quan đến máy được sử dụng …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Khi làm phép tính tâm thần người ta có thể làm: Cho một số nguyên k, tổng tất cả các chữ số (trong cơ sở 10) và nếu kết quả là bội số của 3, thì k là bội số của 3. Bạn có biết bất kỳ thuật toán nào …

13 algorithms 

Có tồn tại cấu trúc mạnh mẽ trong Trò chơi cuộc sống của Conway không? Chẳng hạn, có ai đã chế tạo một con tàu vũ trụ với một tấm khiên hấp thụ tất cả các dao động nhỏ và tàu lượn mà nó va chạm?

13 cellular-automata