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

1

Theo đề nghị của Josh Grochow, tôi chuyển đổi nhận xét của mình từ câu hỏi trước sang câu hỏi mới. Chúng ta có bằng chứng gì cho ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Ở đây là lớp ngôn ngữ có thể nhận biết được bằng các máy Turing không xác định thời …

17 cc.complexity-theory complexity-classes conditional-results unique-solution

3

Trong lớp nào các thuật toán ngẫu nhiên sai với cơ hội chính xác 25%?

Giả sử tôi xem xét biến thể sau của BPP, chúng ta gọi E (xact) BPP: Một ngôn ngữ nằm trong EBPP nếu có một TG ngẫu nhiên thời gian đa thức chấp nhận mọi từ của ngôn ngữ với xác suất chính xác 3/4 và mọi từ không có …

17 cc.complexity-theory complexity-classes randomized-algorithms

1

Sự phức tạp của vấn đề tô màu cạnh này là gì?

Gần đây, tôi đã gặp các biến thể của màu cạnh. Đưa ra một đồ thị vô hướng được kết nối, tìm màu của các cạnh sử dụng số lượng màu tối đa trong khi cũng thỏa mãn các ràng buộc mà đối với mỗi đỉnh , sự cố các …

17 cc.complexity-theory np-hardness complexity-classes graph-colouring

2

Là

Trong "đoạn cuối" của "trang đầu tiên" của bài báo sau: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Nếu NP có mạch kích thước đa thức, thì MA = AM," Khoa học máy tính lý thuyết, 1995. Tôi gặp phải một yêu cầu hơi phản …

17 cc.complexity-theory complexity-classes

1

Các lớp học phức tạp để chứng minh kiến thức

Được thúc đẩy bởi một câu hỏi Greg Kuperberg đã hỏi tôi, tôi tự hỏi liệu có bất kỳ bài viết nào xác định và nghiên cứu các lớp ngôn ngữ phức tạp thừa nhận các loại bằng chứng kiến thức khác nhau . Các lớp như SZK và NISZK …

16 complexity-classes cr.crypto-security zero-knowledge

2

Các lớp phức tạp tiềm tàng bằng nhau mà không biết tương đối hóa mâu thuẫn

Một số ví dụ về các cặp lớp phức tạp và sao choMộtMộtABBB chúng tôi không biết liệu , vàA = BMột= =BA=B chúng ta cũng không biết tương đối mâu thuẫn (nghĩa là chúng ta không biết phép lạ và sao cho và )?Q A P = B P …

16 cc.complexity-theory complexity-classes relativization

3

Ví dụ về hoàn thành vấn đề?

Tôi cần một danh sách ngôn ngữ hoàn chỉnh. Có hai vấn đề như vậy được liệt kê trong Sở thú phức tạp , đó là:Σp2Σ2p\Sigma_2^p DNF tối thiểu tương đương. Cho công thức DNF F và số nguyên k, có công thức DNF tương đương với F với k …

16 complexity-classes polynomial-hierarchy

1

Sự mơ hồ liên tục có thể làm giảm sự phức tạp trạng thái của một ngôn ngữ thông thường?

Chúng ta nói rằng NFA là Thường xuyên mơ hồ nếu có tồn tại sao cho bất kỳ chữ được chấp nhận bởi một trong hai hoặc (chính xác) đường dẫn.MMM w ∈ Σ * 0 kk ∈ Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Nếu automaton liên tục mơ hồ với , thì …

16 complexity-classes fl.formal-languages automata-theory regular-language

2

Là NP trong

NP có trong không?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory complexity-classes

2

Một tài liệu tham khảo tốt cho các toán tử lớp phức tạp?

Tôi quan tâm nếu có tồn tại bất kỳ bài viết hay khảo sát tốt nào mà tôi có thể tham khảo khi tôi viết về các toán tử lớp phức tạp : các toán tử biến đổi các lớp phức tạp bằng cách thực hiện những việc như thêm …

16 reference-request complexity-classes

3

Phân tách lớp phức tạp mà không có định lý phân cấp

Các định lý phân cấp là các công cụ cơ bản. Một số lượng lớn trong số chúng đã được thu thập trong một câu hỏi trước đó (xem Định lý phân cấp và / hoặc định lý phân cấp nào bạn biết? ). Một số phân tách lớp phức …

16 cc.complexity-theory complexity-classes hierarchy-theorems

2

Đặc điểm của các vấn đề tồn tại thuật toán thời gian tuyến tính

Tôi đã tự hỏi nếu các vấn đề mà thuật toán thời gian tuyến tính (trong kích thước đầu vào) tồn tại có thể được mô tả là sở hữu các thuộc tính cụ thể. Điều này bao gồm thời gian tuyến tính (ví dụ: kiểm tra thuộc tính, một …

16 cc.complexity-theory ds.algorithms complexity-classes approximation-algorithms

1

Sự cố hoàn thành LogDCFL

LogCFL là tập hợp tất cả các ngôn ngữ có thể thu nhỏ logspace thành ngôn ngữ không ngữ cảnh. Tương tự, LogDCFL là tập hợp tất cả các ngôn ngữ có thể rút ngắn logspace thành ngôn ngữ không có ngữ cảnh xác định. Xem bài viết trên wikipedia …

16 cc.complexity-theory complexity-classes

1

Làm thế nào mạnh mẽ là chính xác điện toán lượng tử chính xác nếu bạn đình chỉ tính phi quân sự?

Câu hỏi ngắn. Sức mạnh tính toán của các mạch "lượng tử" là gì, nếu chúng ta cho phép các cổng không đơn nhất (nhưng vẫn không thể đảo ngược) và yêu cầu đầu ra đưa ra câu trả lời chính xác một cách chắc chắn? Câu hỏi này có …

15 complexity-classes quantum-computing

1

Độ phức tạp mịn của vĩnh viễn không âm

Đã có một công việc tuyệt vời được thực hiện trên Vĩnh viễn diễn ra trong hai thập kỷ qua. Tôi đã tự hỏi một thời gian về khả năng thuật toán Smooth P cho Ma trận vĩnh viễn không ma trận. Tất nhiên có thuật toán JSV nổi tiếng …

15 cc.complexity-theory complexity-classes

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