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

Giả sử chúng ta có một vấn đề tính toán, ví dụ như 3-SAT, có một tập hợp các trường hợp vấn đề (đầu vào có thể) . Thông thường trong phân tích thuật toán hoặc lý thuyết độ phức tạp tính toán, chúng ta có một số bộ của …

20 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Biểu đồ đường của siêu đồ thị là đồ thị (đơn giản) có các cạnh của là các đỉnh có hai cạnh của liền kề nhau trong nếu chúng có giao điểm không trống. Siêu đồ thị là một siêu dữ liệu nếu mỗi cạnh của nó có nhiều nhất …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Hai câu hỏi liên quan về tính toán độ sâu giới hạn: 1) Giả sử rằng bạn bắt đầu với n bit và để bắt đầu với bit i có thể là 0 hoặc 1 với một số xác suất p (i), độc lập. (Nếu nó làm cho vấn đề …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Vấn đề thú vị sau đây xuất hiện trong nghiên cứu của tôi gần đây: NGAY LẬP TỨC: Đồ thị .G(V,E)G(V,E)G(V, E) GIẢI PHÁP: Một chordless hoàn lẻ chu kỳ, được định nghĩa là một superset của cạnh bộ sao cho đồ thị đầy đủ có các tài sản mà …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Định lý PCP nói rằng không có thuật toán thời gian đa thức cho MAX 3SAT để tìm một phép gán thỏa mãn các mệnh đề 7/8 của công thức 3SAT thỏa đáng trừ khi .P = N P7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Có một thuật …

20 cc.complexity-theory  pcp 

Trong phức tạp parametrized, ⊆ W [ 2 ] ⊆ ... ⊆ W [ P ] . Nó được phỏng đoán rằng mỗi ngăn chứa là đúng.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Nếu thì P = W [ P ] .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Nhưng nó có theo nó không …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Trong câu hỏi này , chúng tôi dường như đã xác định được một vấn đề tự nhiên là NP hoàn thành theo mức giảm ngẫu nhiên, nhưng có thể không phải là giảm theo xác định (mặc dù điều này phụ thuộc vào giả định nào chưa được chứng …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Theo Karp, Lipton Theoem nói rằng nếu , thì sụp đổ thành . Do đó, giả sử khoảng cách giữa và , không có vấn đề nào về sẽ thuộc về .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Tôi quan tâm đến câu hỏi sau đây: Giả sử rằng không sụp đổ hoặc giả …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Năm câu hỏi được liên kết được đặt ra và một câu trả lời tích hợp duy nhất được hy vọng cho: Q1: Đỗ có tồn tại ngôn ngữ được công nhận hoàn toàn bởi những máy Turing trong P có số mũ runtime là undecidable ?LLLPPP Câu 2: Các …

20 cc.complexity-theory 

Thảo luận : Gần đây tôi đã dành thời gian cá nhân để học nhiều thứ khác nhau trong sự phức tạp trong giao tiếp. Chẳng hạn, tôi đã làm quen lại với chương có liên quan ở Arora / Barak, bắt đầu đọc một số bài báo và đặt …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Trong lớp phức tạp , có một số vấn đề được phỏng đoán KHÔNG có trong lớp , tức là các vấn đề với thuật toán song song xác định. Vấn đề lưu lượng tối đa là một ví dụ. Và có những vấn đề được TIN TƯỞNG trong , …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Tiêu đề ít nhiều nói lên tất cả, nhưng tôi đoán tôi có thể thêm một chút nền tảng và một số ví dụ cụ thể mà tôi quan tâm. Các nhà lý thuyết phức tạp mô tả, như Immerman và Fagin, đã mô tả nhiều lớp phức tạp nổi …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Tôi đang tìm kiếm một khảo sát tốt về các thuật toán và độ phức tạp của đại số tuyến tính (các phép toán như xếp hạng, nghịch đảo, giá trị riêng, ... cho Boolean, và ma trận số nguyên / hợp lý) với sự nhấn mạnh vào song song …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Giả sử chúng ta có một vấn đề được tham số hóa bởi tham số có giá trị thực p "dễ" giải quyết khi và "cứng" khi p = p 1 cho một số giá trị p 0 , p 1 .p=p0p=p0p=p_0p=p1p=p1p=p_1p0p0p_0p1p1p_1 Một ví dụ là đếm cấu hình spin …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

Immerman và Szelepcsenyi độc lập đã chứng minh rằng . Sử dụng kỹ thuật đếm quy nạp của họ, Borodin et al đã chứng minh rằng S A C i được đóng dưới sự bổ sung, với i > 0 . Trước định lý của Reingold ( S L = …

20 cc.complexity-theory  space-bounded