Khoa học máy tính

Tôi có một số câu hỏi liên quan về hai chủ đề này. Đầu tiên, hầu hết các văn bản phức tạp chỉ phủ bóng lên lớp NCNC\mathbb{NC} . Có một nguồn lực tốt bao gồm các nghiên cứu sâu hơn? Ví dụ, một cái gì đó thảo luận về …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Một ứng dụng cổ điển của phân chia và chinh phục là để giải quyết vấn đề sau: Cho một mảng gồm các phần tử riêng biệt, có thể so sánh, đếm số lượng cặp đảo ngược trong mảng: cặp sao cho và .i < ja[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]tôi < …

14 algorithms  reference-request  arrays 

Trong câu hỏi này về đếm ngược , tôi tìm thấy một bài báo chứng minh giới hạn thấp hơn về độ phức tạp không gian cho tất cả các thuật toán phát trực tuyến (chính xác) . Tôi đã tuyên bố rằng ràng buộc này mở rộng cho tất …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Tôi có những câu hỏi này từ một bài kiểm tra cũ tôi đang cố gắng giải. Đối với mỗi vấn đề, đầu vào là một mã hóa của một số máy Turing MMM . Đối với số nguyên và ba vấn đề sau:c>1c>1c>1 Có đúng là với mọi đầu …

14 computability  turing-machines  undecidability 

Tôi tự hỏi làm thế nào mà rằng ngôn ngữ sau đây là trong .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 …

14 computability  undecidability 

Theo bài viết trên Wikipedia , chữ L trong có nghĩa là "quét từ trái sang phải" và "R" có nghĩa là "đạo hàm ngoài cùng bên phải". Tuy nhiên, trong bài viết gốc của Knuth về ngữ pháp L R ( k ) , ông định nghĩa L R …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Cho một mảng gồm N số nguyên, mỗi phần tử trong mảng có thể tăng thêm một số cố định b với một số xác suất p [ i ] , 0 ≤ i < n . Tôi phải tìm số lần hoán đổi dự kiến ​​sẽ diễn ra để …

14 algorithms  algorithm-analysis  sorting  average-case 

Nếu đồ thị được kết nối và không có đường dẫn có độ dài lớn hơn , hãy chứng minh rằng cứ hai đường dẫn trong có độ dài có ít nhất một đỉnh chung. GGGkkkGGGkkk Tôi nghĩ rằng đỉnh chung đó nên ở giữa cả hai đường dẫn. Bởi …

14 graph-theory  graphs  combinatorics 

Đây là một vấn đề nổi tiếng. Với một mảng A[1…n]A[1…n]A[1\dots n] các số nguyên dương, sản lượng các số nguyên dương nhỏ nhất không trong mảng. Vấn đề có thể được giải quyết trong không gian và thời gian O(n)O(n)O(n) : đọc mảng, theo dõi trong không gian O(n)O(n)O(n) …

14 complexity-theory  time-complexity  space-complexity 

Tôi cố gắng giải quyết vấn đề bảo hiểm sau đây. Có máy phát với vùng phủ sóng 1km và n máy thu. Quyết định trong O ( n log n ) rằng tất cả các máy thu được bảo vệ bởi bất kỳ máy phát nào. Tất cả các …

14 algorithms  computational-geometry  search-problem 

Hầu hết các hướng dẫn về Lambda Compus đều cung cấp ví dụ trong đó Số nguyên dương và Booleans có thể được biểu diễn bằng Hàm. Còn -1 và tôi thì sao?

14 data-structures  lambda-calculus  integers  real-numbers 

Vì Lập trình tuyến tính Integer là NP hoàn chỉnh, nên có sự giảm Karp từ bất kỳ vấn đề nào trong NP sang nó. Tôi nghĩ điều này ngụ ý rằng luôn có một công thức ILP có kích thước đa thức cho bất kỳ vấn đề nào trong …

14 complexity-theory  np-complete  reductions  linear-programming 

Các thiết bị và các kết nối của chúng được sử dụng cùng với Bộ xử lý lượng tử là gì? Chúng có tương thích với các thiết bị phần cứng như Cache, RAM, Disks của các máy tính hiện tại không?

14 computer-architecture  quantum-computing 

Chúng tôi nhận được một dòng n−1n−1n-1 cặp số khác nhau từ tập {1,…,n}{1,…,n}\left\{1,\dots,n\right\} . Làm cách nào tôi có thể xác định số bị thiếu bằng thuật toán đọc luồng một lần và sử dụng bộ nhớ chỉ các bit O(log2n)O(log2⁡n)O(\log_2 n) ?

14 algorithms  integers  online-algorithms 

Tôi muốn tạo ra một viên nang thời gian kỹ thuật số sẽ không thể đọc được trong một khoảng thời gian và sau đó có thể đọc được. Ví dụ, tôi không muốn dựa vào bất kỳ dịch vụ bên ngoài nào để giữ bí mật khóa và sau …

14 cryptography  encryption  digital-preservation