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

Chúng ta biết rằng nếu thì toàn bộ PH sụp đổ. Điều gì xảy ra nếu hệ thống phân cấp đa thức sụp đổ một phần? (Hoặc làm thế nào để hiểu rằng PH có thể sụp đổ trên một điểm nhất định chứ không phải bên dưới?)P=NPP=NPP=NP Nói cách …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Câu hỏi sau đây sử dụng các ý tưởng từ mật mã được áp dụng cho lý thuyết phức tạp. Điều đó nói rằng, đó là một câu hỏi lý thuyết hoàn toàn phức tạp và không có kiến ​​thức về tiền điện tử nào được yêu cầu để trả …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Hãy xem xét trò chơi sau đây trên đồ thị có trọng số GGG với một con chip tại một số nút. Tất cả các nút của GGG được đánh dấu bởi A hoặc B. Có hai người chơi Alice và Bob. Mục tiêu của Alice (Bob) là chuyển chip …

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

Tôi có một phần trong nỗ lực chứng minh của . Nỗ lực chứng minh bao gồm một giảm Karp từ vấn đề -complete VERTEX BÌA 3 THƯỜNG XUYÊN để thi SAT. ⊕ P ⊕⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Cho một đồ thị khối , phần giảm tạo ra công …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Từ định lý phân cấp không gian, người ta biết rằng nếu fff là không gian có thể xây dựng thì DSPACE ( 2f(n)2f(n)2f(n) ) không bằng DSPACE ( f(n))f(n))f(n)) . Ở đây, bởi DSPACE ( f(n))f(n))f(n)) Tôi có nghĩa là lớp của tất cả các vấn đề có thể …

11 cc.complexity-theory  complexity-classes 

Câu hỏi chung Liệu định lý phân cấp không gian có khái quát đến tính toán không đồng nhất không? Dưới đây là một vài câu hỏi cụ thể hơn: Là ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Đối với tất cả các hàm xây dựng không gian f(n)f(n)f(n) , DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Tôi quan tâm đến vấn đề kinh điển ĐĂNG KÝ NGÔN NGỮ. Cho một biểu thức chính quy , chúng tôi biểu thị bằng ngôn ngữ thông thường liên quan đến nó. (Các biểu thức thông thường nằm trên một bảng chữ cái cố định , với liên kết hoạt …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Nói chung, quyết định xem một phương trình diophantine có bất kỳ giải pháp số nguyên nào tương đương với bài toán tạm dừng hay không. Tôi tin rằng việc quyết định nếu một phương trình bậc hai diophantine có bất kỳ giải pháp nào là NP-đầy đủ. Có tồn …

11 cc.complexity-theory  linear-algebra  polynomials 

Hãy là một đồ thị acyclic đạo diễn , và để cho λ là một chức năng ghi nhãn lập bản đồ mỗi đỉnh v ∈ V để một nhãn λ ( v ) trong một số bảng chữ cái hữu hạn L . Viết n : = | V …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Gần đây tôi đã bắt gặp một bài báo của Coudron và Yuen về việc mở rộng ngẫu nhiên bằng các thiết bị lượng tử. Kết quả chính của công việc là có thể tạo ra tính ngẫu nhiên "vô hạn" từ một số nguồn không đổi (nghĩa là số …

11 cc.complexity-theory  quantum-information 

Trong công thức CNF đọc hai lần đối lập, mỗi biến xuất hiện hai lần, một lần dương và một lần âm. Tôi quan tâm đến vấn đề , bao gồm tính toán tính chẵn lẻ của số lượng bài tập thỏa mãn của công thức CNF đọc hai lần.⊕ …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Tóm lại, câu hỏi là: ở mức độ nào, khả năng tính toán cho các nhiệm vụ khó thực sự giúp bạn giải quyết các nhiệm vụ dễ dàng. (Có thể có nhiều cách khác nhau để làm cho câu hỏi này thú vị và không tầm thường, và đây …

11 cc.complexity-theory  dc.parallel-comp 

Có lý thuyết đồ thị thuật toán / lý thuyết số / tổ hợp / lý thuyết thông tin / lý thuyết trò chơi. Có phân tích toán học thuật toán? Theo wiki, phân tích toán học bao gồm các lý thuyết về sự khác biệt, tích hợp, đo lường, …

11 cc.complexity-theory  reference-request  soft-question  computability 

Tôi đã suy nghĩ về ngôn ngữ này thuộc lớp nào: là đồ thị, là số tự nhiên và là số màu củaL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Tôi nghĩ về là (1) "không có màu của màu k-1" và (2) "có màu của màu ". Bây giờ, …

11 cc.complexity-theory  np-hardness  complexity-classes 

Cây quyết định đọc một lần được định nghĩa như sau: và F a l s e là những cây quyết định đọc một lần.TrueTrueTrueFalseFalseFalse Nếu và B được đọc một lần cây quyết định và x là một biến không xảy ra trong một và B , sau đó …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas