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

Lớp NCiNCi\textrm{NC}^i là các hàm lớp được tính toán bởi các họ mạch có giới hạn quạt, kích thước nO(1)nO(1)n^{O(1)} và độ sâu O(logi(n))O(logi⁡(n))O(\log^i(n)) . Các NCNC\textrm{NC} -hierarchy là sự kết hợp của những lớp học. Có nghiên cứu nào về biến thể kích thước tuyến tính của hệ thống …

10 cc.complexity-theory  circuit-complexity 

Tôi hiện đang tìm kiếm một đề tài cho một luận án và gặp phải lĩnh vực lý thuyết thông tin thuật toán. Lĩnh vực này có vẻ rất thú vị đối với tôi, nhưng dường như mọi thứ là lĩnh vực đã được thực hiện trước nhiều năm. Vì …

10 cc.complexity-theory  it.information-theory 

Đây là một khái quát của câu hỏi trước đây của tôi . Hãy là một đa thức-cỗ máy thời gian xác định, có thể đặt câu hỏi với một số oracle . Ban đầu trống nhưng điều này có thể được thay đổi sau một trò chơi sẽ được …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Có ví dụ nào về trường hợp mô phỏng cổ điển của thuật toán lượng tử cho một vấn đề vượt trội hơn thuật toán cổ điển được biết đến trước đây cho vấn đề này không? "Xuất sắc hơn" không có nghĩa là lớp phức tạp khác nhau, nó …

10 cc.complexity-theory  quantum-computing  quantum-information 

Hãy là một đa thức-cỗ máy thời gian xác định, có thể đặt câu hỏi với một số oracle Một . Ban đầu A trống nhưng điều này có thể được thay đổi sau một trò chơi sẽ được mô tả dưới đây. Đặt x là một chuỗi.MMMAAAAAAxxx Hãy xem …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Tôi đã bắt gặp hai ví dụ về độ cứng giả thuyết của một số vấn đề đồ thị. Độ cứng giả thuyết có nghĩa là bác bỏ một số phỏng đoán sẽ ngụ ý tính đầy đủ NP của vấn đề đồ thị tương ứng. Chẳng hạn, phỏng đoán …

10 cc.complexity-theory  graph-theory  np-hardness 

Định lý của Mahaney cho chúng ta biết rằng nếu có một -complete thưa thớt được đặt dưới các mức giảm nhiều lần một đa thức, thì . (Xem " Bộ hoàn chỉnh thưa thớt cho NP: Giải pháp phỏng đoán Berman và Hartmanis ")NPNPNPP= NPP=NPP = NP Có hậu …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Có một thuật toán sắp xếp dựa trên so sánh sử dụng trung bình so sánh l g ( n ! ) + o ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) không? Sự tồn tại của thuật toán so sánh trường hợp xấu nhất l g ( n ! ) + o ( n …

10 cc.complexity-theory  ds.algorithms  sorting 

Động lực : Trong khi phát triển các công cụ để tạo phiên bản dữ liệu, cuối cùng chúng tôi đã xem xét các thuật toán để "tìm" hai bộ số nguyên, bằng cách đưa ra một chuỗi các phép biến đổi lấy một bộ số nguyên khác. Chúng tôi …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Tôi đang quan tâm trong việc xác định mức độ phức tạp của vấn đề quyết định sau đây: Cho hai số nguyên và l 2 (mỗi với ít nhất bit m), quyết định xem bit quan trọng nhất của nhân l 1 ⋅ l 2 là 1 (hiển thị …

10 cc.complexity-theory  circuit-complexity 

Giả sử là một ngôn ngữ được tham số hóa đối với một số bảng chữ cái . Các -slice của là , tập các trường hợp trong có tham số . Lớp phức tạp chứa các ngôn ngữ được tham số hóa sao cho cho mỗi , có thể …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Elberfeld, Jakoby và Tantau 2010 ( ECCC TR10-062 ) đã chứng minh một phiên bản hiệu quả của định lý Bodlaender. Họ đã chỉ ra rằng đối với các đồ thị có treewidth nhiều nhất là , có thể tìm thấy phân rã cây có chiều rộng bằng cách sử …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Hãy để một máy Turing có xác suất có quyền truy cập vào một đồng tiền không công bằng xuất hiện với xác suất ppp (flips là độc lập). Xác định BPPpBPPpBPP_p là lớp ngôn ngữ có thể nhận biết được bằng một máy như vậy trong thời gian đa …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

Đặt AAA là ma trận trên trường hữu hạn F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} và xxx , yyy là vectơ của không gian Fn2F2n\mathbb{F}_2^n . Tôi quan tâm đến độ phức tạp tính toán của việc quyết định xem có tồn tại t∈Nt∈Nt \in \mathbb{N} sao cho Atx=yAtx=yA^t x = y , …

10 cc.complexity-theory  reference-request  linear-algebra 

Sự bao gồm ngược lại là hiển nhiên, vì thực tế là bất kỳ ngôn ngữ NP tự giảm nào trong BPP cũng nằm trong RP. Đây có phải cũng được biết là giữ cho các ngôn ngữ NP không tự giảm?

10 cc.complexity-theory  derandomization  pseudorandomness