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

Tham lam, vì thiếu một từ tốt hơn, là tốt. Một trong những mô hình thuật toán đầu tiên được dạy trong khóa học thuật toán giới thiệu là cách tiếp cận tham lam . Cách tiếp cận tham lam dẫn đến các thuật toán đơn giản và trực quan …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

Hãy xem xét khái quát hóa rõ ràng của khối Rubik . Có phải NP-khó tính toán chuỗi di chuyển ngắn nhất để giải một khối được xáo trộn nhất định, hay có một thuật toán đa thức thời gian?n×n×nn×n×nn\times n\times n [Một số kết quả liên quan được mô …

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

Các Immerman-Vardi lý khẳng định rằng ptime (hoặc P) một cách chính xác là lớp các ngôn ngữ có thể được mô tả bằng một câu của First-Order logic cùng với một nhà khai thác điểm cố định, trong lớp của cấu trúc lệnh. Toán tử điểm cố định có …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

Lớp phức tạp bao gồm các biểu tượng có thể được quyết định bởi một máy Turing không điều kiện thời gian đa thức có nhiều nhất một con đường tính toán chấp nhận. Đó là, giải pháp, nếu có, là duy nhất theo nghĩa này. Người ta cho rằng …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Một số vấn đề hình học rất dễ dàng khi được xem xét trong , nhưng NP-đầy đủ trong cho (bao gồm một trong những vấn đề yêu thích của tôi, bìa đĩa đơn vị).R d d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 Có ai biết về một vấn đề có thể giải …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Câu hỏi này được lấy cảm hứng từ một câu hỏi tương tự về toán học ứng dụng trên dòng chảy toán học và rằng suy nghĩ dai dẳng rằng các câu hỏi quan trọng của TCS như P so với NP có thể độc lập với ZFC (hoặc các …

37 cc.complexity-theory  lo.logic  proof-complexity 

Chúng tôi biết rằng cấp độ đầu tiên của hệ thống phân cấp đa thức (ví dụ NP và co-NP) là trong PP và . Chúng ta cũng biết từ Định lý của Toda rằng .PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} Chúng tôi có biết liệuPH⊆PPPH⊆PPPH \subseteq PPPPPPPPPPPPPPPPPPH⊈PPPH⊈PPPH \nsubseteq PPPP⊈PHPP⊈PHPP \nsubseteq …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

Theo tôi hiểu, chương trình lý thuyết phức tạp hình học cố gắng tách bằng cách chứng minh rằng hoán vị của ma trận có giá trị phức tạp khó tính hơn nhiều so với định thức.VP≠VNPVP≠VNPVP \neq VNP Câu hỏi tôi đã có sau khi lướt qua các giấy …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

Tôi quan tâm đến độ phức tạp được tham số hóa của vấn đề mà tôi sẽ gọi là vấn đề Set-Dimensional Hits: đưa ra một không gian phạm vi (tức là một hệ thống / siêu dữ liệu đã đặt) S = (X, R) có kích thước VC nhiều …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Trong phần giới thiệu và giải thích các lớp phức tạp P và NP thường được đưa ra thông qua máy Turing. Một trong những mô hình tính toán là phép tính lambda. Tôi hiểu rằng tất cả các mô hình tính toán đều tương đương (và nếu chúng tôi …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

Đưa ra một vấn đề mới trong có độ phức tạp thực sự nằm ở đâu đó giữa và hoàn thành NP, có hai phương pháp mà tôi biết có thể được sử dụng để chứng minh rằng việc giải quyết vấn đề này là khó khăn:PN PNP\mathsf{NP}PP\mathsf{P} Cho thấy …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

Người ta phỏng đoán rằng tính ngẫu nhiên không mở rộng sức mạnh của thuật toán thời gian đa thức, nghĩa là, được phỏng đoán để giữ. Mặt khác, tính ngẫu nhiên dường như có tác động khá khác nhau trong việc giảm thời gian đa thức . Theo kết …

36 cc.complexity-theory  reductions  derandomization 

Đây là một câu hỏi phi kỹ thuật, nhưng chắc chắn có liên quan đến cộng đồng TCS. Nếu được coi là không phù hợp, hãy đóng cửa. Các Zoo phức tạp trang web (http://qwiki.stanford.edu/index.php/Complexity_Zoo) đã chắc chắn được các dịch vụ tuyệt vời cho cộng đồng TCS trong những …

36 cc.complexity-theory  reference-request  soft-question 

Một ứng dụng quan trọng của định lý PCP là nó mang lại kết quả loại "độ cứng gần đúng". Trong một số trường hợp tương đối đơn giản hơn, người ta có thể chứng minh độ cứng như vậy mà không cần PCP. Tuy nhiên, có trường hợp nào …

36 cc.complexity-theory  approximation-hardness  pcp 

Chúng ta biết rằng hàm số mũ exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y so với số tự nhiên không thể tính được trong thời gian đa thức, bởi vì kích thước của đầu ra không bị giới hạn về mặt đa thức trong kích thước của các đầu vào. Đây có phải là …

36 cc.complexity-theory  nt.number-theory