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

Các mật độ của một ngôn ngữ XXX là một hàm dX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N} được định nghĩa là dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|. Giả sử và là các ngôn ngữ trong một số bảng chữ cái hữu hạn, không gian log nhiều giảm xuống và …

12 cc.complexity-theory  reductions  structural-complexity 

Tôi đang xem xét ngôn ngữ của tất cả các công thức logic mệnh đề thỏa đáng, SAT (để đảm bảo rằng điều này có một bảng chữ cái hữu hạn, chúng tôi sẽ mã hóa các chữ cái mệnh đề theo một cách phù hợp [sửa: các câu trả …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Tôi tự hỏi, điều gì sẽ xảy ra, nếu trong định nghĩa của (Phân cấp đa thức, xem, ví dụ, ở đây ), vai trò của sẽ được thay thế bằng ?PHPHPHR PNPNPNPR PRPRP Dường như, chúng ta vẫn có thể xây dựng một hệ thống phân cấp, giống như …

12 cc.complexity-theory  randomized-algorithms  randomness 

Hãy biểu thị kích thước tối thiểu của một (không-monotone) số học ( + , × , - ) mạch tính toán một cho đa tuyến đa thức f ( x 1 , ... , x n ) = Σ e ∈ E cMột ( f)Một(f)A(f)( + , × , …

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

Karp giảm là thời gian đa thức tính toán nhiều - một giảm giữa hai vấn đề tính toán. Nhiều giảm Karp thực sự là một chức năng. Điều này đặt ra câu hỏi liệu mỗi lần giảm Karp là tiêm (chức năng một người). Có một vấn đề -complete …

12 cc.complexity-theory 

vào năm 1979 Hopcroft / Ullman đã viết rằng L ⊆ P ⊆ NP ⊆ PSpace được biết đến nhưng L ⊊ PSpace là ngăn chặn thích hợp (& tầm thường) duy nhất được biết mặc dù tất cả đều được phỏng đoán là ngăn chặn thích hợp và "nơi …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly ngụ ý , do đó có những hậu quả thú vị như sự sụp đổ của hệ thống phân cấp đa thức.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Có ý nghĩa thú vị nào cho không?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Tôi đang tìm kiếm một danh sách về sự phức tạp đã biết hoặc chưa biết của các vấn đề lý thuyết / đại số số khác nhau. Ví dụ, GCD trong đang mở,NC1NC1NC^1 bao thanh toán trong là mở,PPP cohomology điện toán sheaf là -hard#P#P\#P , Arora và Barak …

12 cc.complexity-theory  big-list  algebra  open-problem 

Rào cản chứng minh tự nhiên của Razborov và Rudich nói rằng theo các giả định về mật mã đáng tin cậy, người ta không thể hy vọng tách NP khỏi P / poly bằng cách tìm các thuộc tính tổ hợp của các hàm có tính xây dựng, lớn …

12 cc.complexity-theory  circuit-complexity 

Đặt là hàm boolean có độ nhạy s ( f ) và độ nhạy khối b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Giả thuyết độ nhạy khối-độ nhạy cho biết có một sao cho ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Trang wikipedia trên PSPACE đề cập rằng không được biết là nghiêm ngặt (không may không có tài liệu tham khảo).NL⊂PHNL⊂PHNL\subset PH Câu 1: Điều gì về và - những điều này được biết là nghiêm ngặt?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Câu 2: Nếu không, có một lớp được thành lập có …

12 cc.complexity-theory  complexity-classes  logspace 

Đầu vào là một vũ trụ UUU và một họ các tập con của UUU , nói, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Chúng tôi giả định rằng các tập con trong FF{\cal F} có thể bao gồm UUU , tức là, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Một chuỗi bao phủ gia …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Chúng ta có thể chứng minh rằng cho mọi ngôn ngữ đó không phải là N P -Hard (điều này giả định P ≠ N P ), P L ≠ P SAT ? Thay phiên, điều này có thể được chứng minh theo bất kỳ giả định hợp lý?L ∈ …

12 cc.complexity-theory  complexity-classes  np-intermediate 

Tôi đang đọc một bài báo của Buhrman và Homer Hồi Superpolynomial Circuits, Hầu như thưa thớt thưa thớt và Phân cấp cấp số mũ . Ở cuối trang 2, họ nhận xét rằng kết quả của Kannan ngụ ý rằng không có mạch kích thước đa thức. Tôi biết …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Vì vậy, một tìm kiếm nhanh trên web đã khiến tôi tin rằng "APXHardness ngụ ý rằng không có QPTAS nào tồn tại cho một vấn đề trừ khi [một số lớp phức tạp] được đưa vào một số [lớp phức tạp khác]" và nó cũng được biết đến! Dường …

12 cc.complexity-theory  reference-request