Khoa học máy tính lý thuyết

Giả sử rằng chúng ta muốn sắp xếp một danh sách gồm số thực. Giả sử rằng chúng ta được cung cấp một hộp đen có thể sắp xếp số thực ngay lập tức. Chúng ta có thể đạt được bao nhiêu lợi thế khi sử dụng hộp đen này?SSSnnnn−−√n\sqrt …

20 ds.algorithms  sorting  decision-trees 

Hai câu hỏi liên quan về tính toán độ sâu giới hạn: 1) Giả sử rằng bạn bắt đầu với n bit và để bắt đầu với bit i có thể là 0 hoặc 1 với một số xác suất p (i), độc lập. (Nếu nó làm cho vấn đề …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Trong khi định lý của cho thấy, , tôi không biết về bất kỳ tài liệu nào điều tra về sự bao gồm có thể của . Những hậu quả phức tạp về mặt lý thuyết sẽ bao gồm như vậy?B Q P ⊆ P / nhiềuB P P ⊆ …

20 reference-request  quantum-computing  derandomization  conditional-results 

Đặt R E GREG\mathsf{REG} là lớp của tất cả các ngôn ngữ thông thường. Được biết và . Nhưng có đặc tính nào cho các ngôn ngữ trong không?R E G ⊄ Một C 0 Một C 0 ∩ R E GA C0⊄ R E GMộtC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄MộtC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGMộtC0∩REG\mathsf{AC}^0 …

20 circuit-complexity  regular-language 

Tôi đang tìm kiếm tài liệu hướng dẫn bao gồm các bằng chứng chính xác của trình biên dịch, tốt nhất là sử dụng các phương pháp biểu thị, ở cấp độ của một học sinh bắt đầu. Ngoài ra, bạn có biết một số ví dụ trình biên dịch …

20 reference-request  pl.programming-languages  semantics  compilers 

Gần đây tôi đã đọc bản tóm tắt này về các vấn đề liên quan đến việc làm khác biệt giữa các cây và nó khiến tôi quan tâm đến việc tìm hiểu tình trạng của nghệ thuật cho vấn đề này là gì. Ngoài ra, giả sử rằng giữa …

20 ds.algorithms  tree  edit-distance 

Vấn đề thú vị sau đây xuất hiện trong nghiên cứu của tôi gần đây: NGAY LẬP TỨC: Đồ thị .G(V,E)G(V,E)G(V, E) GIẢI PHÁP: Một chordless hoàn lẻ chu kỳ, được định nghĩa là một superset của cạnh bộ sao cho đồ thị đầy đủ có các tài sản mà …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Tuyên bố miễn trừ trách nhiệm: Tôi không phải là nhà lý luận CS. Đến từ đại số trừu tượng, tôi đã quen với việc xử lý những thứ tương đương với một đẳng cấu - nhưng tôi gặp khó khăn khi dịch khái niệm này sang cấu trúc dữ …

20 ds.data-structures  algebra  ct.category-theory 

Một số kết quả được biết đến để tìm một phân đoạn n chính xác bên trong một mảng n chiều là gì? Trong 1D, nó chỉ là một vấn đề khớp chuỗi, KMP thực hiện nó trong thời gian tuyến tính. Trong 2D, bài báo này cho thấy nó …

20 ds.algorithms  reference-request  string-matching 

Định lý PCP nói rằng không có thuật toán thời gian đa thức cho MAX 3SAT để tìm một phép gán thỏa mãn các mệnh đề 7/8 của công thức 3SAT thỏa đáng trừ khi .P = N P7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Có một thuật …

20 cc.complexity-theory  pcp 

Ví dụ, trong các ngôn ngữ lập trình, người ta thường viết trình biên dịch / trình thông dịch X-in-X, nhưng ở cấp độ tổng quát hơn, nhiều hệ thống hoàn chỉnh Turing có thể tự mô phỏng theo những cách ấn tượng (ví dụ: mô phỏng Trò chơi cuộc …

20 computability  automata-theory  turing-machines 

Giả sử một đồ thị có đỉnh được trình bày dưới dạng luồng của các cạnh , nhưng nhiều đường chuyền được phép qua luồng.GGGnnnmmm Monika Rauch Henzinger, Mitchhakar Raghavan và Sridar Rajagopalan đã quan sát thấy rằng không gian là cần thiết để xác định liệu có một đường …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Trong phức tạp parametrized, ⊆ W [ 2 ] ⊆ ... ⊆ W [ P ] . Nó được phỏng đoán rằng mỗi ngăn chứa là đúng.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Nếu thì P = W [ P ] .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Nhưng nó có theo nó không …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Trong câu hỏi này , chúng tôi dường như đã xác định được một vấn đề tự nhiên là NP hoàn thành theo mức giảm ngẫu nhiên, nhưng có thể không phải là giảm theo xác định (mặc dù điều này phụ thuộc vào giả định nào chưa được chứng …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Đây là một sự phục hồi của một câu hỏi trước đó . Hãy xem xét trò chơi thông tin hoàn hảo vô tư sau đây giữa hai người chơi, Alice và Bob. Người chơi được hoán vị các số nguyên từ 1 đến n. Ở mỗi lượt, nếu hoán …

20 gt.game-theory  combinatorial-game-theory