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

Tôi quan tâm nghiên cứu các vấn đề hoàn chỉnh của đồ thị đẳng cấu (GI). Trong bài báo "Các vấn đề tương đương đa thức đối với sự đồng hình đồ thị" của Kellogg S. Booth, (1979), đã chứng minh rằng nhiều vấn đề cơ bản đã hoàn thành …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Đối với một vấn đề tìm kiếm cục bộ đa thức , chúng tôi biết rằng ít nhất một giải pháp (tối ưu cục bộ) phải tồn tại. Tuy nhiên, còn nhiều giải pháp nữa có thể tồn tại, việc đếm số lượng giải pháp cho một vấn đề hoàn …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Đây là phần tiếp theo câu hỏi trước đây của tôi: Độ phức tạp thời gian xác định được biết đến thấp nhất ràng buộc cho một vấn đề tự nhiên trong NP Tôi thấy hoang mang rằng chúng tôi không thể chứng minh bất kỳ thời gian xác định …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Được biết, một số (không tương đối hóa) lớp phức tạp cú pháp giữa PP{\bf P} và PSPACEPSPACE{\bf PSPACE} có tài sản sau đây, P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Tôi tự hỏi liệu có tồn tại một …

11 cc.complexity-theory  complexity-classes 

Hãy để là khoảng cách trung bình của một đồ thị liên thông G .ad(G)ad(G)\rm{ad}(G)G.G.G. Một cách để tính toán là bằng cách tổng hợp lên các yếu tố của D ( G ) , ma trận khoảng cách của G và mở rộng quy mô tổng một cách thích …

11 cc.complexity-theory  graph-theory  graph-algorithms 

Tôi, giống như nhiều người, là một người sử dụng phần mềm toán học sắc sảo như Mathematica và Maple. Tuy nhiên, tôi đã trở nên ngày càng thất vọng bởi nhiều trường hợp phần mềm như vậy chỉ đơn giản là cung cấp cho bạn câu trả lời sai …

11 cc.complexity-theory 

Trợ lý giảng dạy của một khóa học đã quản lý để viết một chương trình (chắc chắn) tạo ra các câu hỏi thi khó. Bây giờ, cô ấy muốn viết một chương trình tạo ra các câu trả lời tương ứng. Các vấn đề của Examiner hỏi liệu điều …

11 cc.complexity-theory  uniformity 

Một ma trận thứ hạng được cho là cứng nhắc, nếu để đưa thứ hạng của nó xuống nnnn , người ta phải thay đổi ít nhấtn1+εcác mục của nó, đối với một sốε>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Nếu một ma trận A là cứng nhắc, sau đó chương trình đường thẳng …

11 cc.complexity-theory 

Tôi muốn biết nếu có tồn tại một thế giới tương đối hóa nơi . Tôi cũng quan tâm để biết nếu có tồn tại một thế giới tương đối hóa nơi P B ≠ N P B = P P B .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not …

11 cc.complexity-theory  oracles  relativization 

Tôi có một vài câu hỏi liên quan đến việc đánh lừa các mạch độ sâu không đổi. Người ta biết rằng sự độc lập theo chiều dọc của là cần thiết để đánh lừa các mạch A C 0 có độ sâu d , trong đó n là kích …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

Một vấn đề mở rất thú vị trong nghiên cứu các biện pháp phức tạp của hàm Boolean là cái gọi là phỏng đoán độ nhạy và độ nhạy khối. Để biết nền tảng về độ nhạy so với độ nhạy khối, bạn có thể xem blogpost sau của S. …

11 cc.complexity-theory  reference-request  fourier-analysis 

Có với các tính chất sau không:L∈NPL∈NPL\in {\bf NP} Được biết, có nghĩa P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Không có (được gọi) thời gian đa thức Turing giảm (hoặc một số khác N P vấn đề -complete) để L .SATSATSATNPNP{\bf NP}LLL Nói cách khác, nếu thuật …

11 cc.complexity-theory  np-hardness  reductions 

Một số nền tảng: Tôi quan tâm đến việc tìm kiếm các giới hạn thấp hơn (ít được biết đến hơn) (hoặc kết quả độ cứng) cho vấn đề Học với Lỗi (Lwe) và khái quát hóa như Học với Lỗi trên Nhẫn. Đối với các định nghĩa cụ thể, …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

ETH tuyên bố rằng SAT không thể được giải quyết trong trường hợp xấu nhất trong thời gian phụ. Trường hợp trung bình thì sao? Có vấn đề tự nhiên nào trong NP được phỏng đoán là khó theo cấp số nhân trong trường hợp trung bình không? Lấy trường …

11 cc.complexity-theory  np  average-case-complexity 

Tôi quan tâm đến câu hỏi liệu NP có bằng coNP hay không. Tôi đánh giá cao một số lời khuyên về các ấn phẩm tốt để đọc về chủ đề này. Đối với hồ sơ, tôi biết rằng câu hỏi này có liên quan mật thiết đến câu hỏi …

11 cc.complexity-theory  reference-request  p-vs-np