Câu hỏi được gắn thẻ «cc.complexity-theory»

2

Sở thú phức tạp cho các ngôn ngữ đơn phương

Tất nhiên, một số kết quả phức tạp có thể sụp đổ đối với các ngôn ngữ đơn nhất nhưng tôi tự hỏi liệu có một cuộc khảo sát nào đó tóm tắt các kết quả đã biết trong trường hợp này: một loại sở thú phức tạp cho các …

25 cc.complexity-theory  reference-request  big-list 

---

1

Điều gì đang

Điều này có liên quan đến câu hỏi Kích thước thành viên chứng kiến ​​cho mọi ngôn ngữ NP đã được biết đến chưa? Một số vấn đề (-complete) tự nhiên có các nhân chứng độ dài tuyến tính: một phép gán thỏa mãn cho S A T , một …

24 cc.complexity-theory  complexity-classes  np 

---

1

Mức độ gần đúng của

EDIT (v2): Đã thêm một phần ở cuối về những gì tôi biết về vấn đề. EDIT (v3): Đã thêm thảo luận về mức độ ngưỡng ở cuối. Câu hỏi Câu hỏi này chủ yếu là một yêu cầu tham khảo. Tôi không biết nhiều về vấn đề này. Tôi …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

---

1

Sự phức tạp của vấn đề bao trùm này là gì?

Chỉnh sửa: Trước tiên tôi đã định dạng sai ràng buộc của mình (2), bây giờ nó đã được sửa. Tôi cũng đã thêm thông tin và ví dụ. Với một số đồng nghiệp, nghiên cứu một số câu hỏi thuật toán khác, chúng tôi có thể giảm vấn đề …

24 cc.complexity-theory  ds.algorithms  reference-request 

---

4

Tách Logspace khỏi thời gian đa thức

Rõ ràng là bất kỳ vấn đề nào có thể quyết định trong logspace xác định ( ) chạy trong hầu hết thời gian đa thức ( P ). Có một sự giàu có của các tầng lớp phức tạp giữa L và P . Ví dụ bao gồm N …

24 cc.complexity-theory  lower-bounds  space-bounded 

---

3

Độ cứng của xấp xỉ - lỗi phụ gia

Có một tài liệu phong phú và ít nhất một cuốn sách rất hay đưa ra độ cứng đã biết của các kết quả gần đúng đối với các vấn đề NP-hard trong bối cảnh lỗi nhân (ví dụ: xấp xỉ 2 cho bìa đỉnh là giả định tối ưu …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

---

1

Hậu quả của các vấn đề hoàn chỉnh đối với NP giao cắt coNP

Hậu quả của việc có vấn đề hoàn toàn trong gì?NP∩coNPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

---

6

Có vấn đề NP-đầy đủ với các giải pháp thời gian dự kiến ​​đa thức?

Có bất kỳ vấn đề NP-đầy đủ nào mà thuật toán được biết rằng thời gian chạy dự kiến ​​là đa thức (đối với một số phân phối hợp lý qua các trường hợp) không? Nếu không, có những vấn đề mà sự tồn tại của một thuật toán như …

24 cc.complexity-theory  np-hardness 

---

1

Việc triển khai năm 2016 của thuật toán Shor có thực sự mở rộng không?

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 3 năm trước . Trong bài báo Khoa học năm 2016 "Hiện thực …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

---

3

Một nhà tiên tri SAT sẽ giúp tăng tốc thuật toán thời gian đa thức bao nhiêu?

Truy cập vào một nhà tiên tri sẽ cung cấp một tốc độ siêu đa cực lớn cho mọi thứ trong N P - P (giả sử tập hợp không trống). Tuy nhiên, điều chưa rõ ràng là P sẽ được hưởng lợi bao nhiêu từ quyền truy cập tiên …

23 cc.complexity-theory  np  np-complete 

---

3

Các mối quan hệ giữa các giả thuyết trong lý thuyết phức tạp hạt mịn là gì?

Lý thuyết phức tạp, thông qua các khái niệm như tính đầy đủ NP, phân biệt giữa các vấn đề tính toán có giải pháp tương đối hiệu quả và các vấn đề khó hiểu. Độ phức tạp "hạt mịn" nhằm mục đích tinh chỉnh sự khác biệt định tính …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

---

1

Tại sao HAMILTONIAN CYCLE lại khác với PERMANENT?

Một đa thức là một dự báo đơn điệu của một đa thức g ( y 1 , ... , y m ) nếu m = nhiều ( n ) , và có sự phân π : { y 1 , ... , y m } → { x 1 …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

---

2

Công nhận nút như một bằng chứng của công việc

Hiện tại bitcoin có hệ thống bằng chứng công việc (PoW) sử dụng SHA256. Các hàm băm khác sử dụng một bằng chứng về hệ thống làm việc sử dụng biểu đồ, đảo ngược hàm băm một phần. Có thể sử dụng một vấn đề Quyết định trong Lý thuyết …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

---

3

Các vấn đề tối ưu hóa với đặc tính tốt, nhưng không có thuật toán thời gian đa thức

Xem xét các vấn đề tối ưu hóa của các hình thức sau đây. Đặt là hàm tính toán thời gian đa thức, ánh xạ một chuỗi thành một số hữu tỷ. Vấn đề tối ưu hóa là đây: giá trị tối đa của so với chuỗi -bit bao nhiêu?f(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

---

5

Vấn đề hoàn thành EXPSPACE

Tôi hiện đang cố gắng tìm các vấn đề hoàn chỉnh của EXPSPACE (chủ yếu là tìm cảm hứng để giảm bớt), và tôi rất ngạc nhiên bởi số lượng nhỏ kết quả sắp tới. Cho đến nay, tôi đã tìm thấy những thứ này và tôi gặp khó khăn …

23 cc.complexity-theory  reference-request  big-list 

---