Câu hỏi được gắn thẻ «reference-request»

Tôi đang tìm kiếm một tài liệu tham khảo về 'giảm' Turing giảm xuống nhiều giảm một. Tôi có một tuyên bố về hình thức sau đây (các tuyên bố đủ tương tự cũng sẽ thỏa mãn tôi): Định lý. Nếu , thì .A ≤ 2 f m B t …

8 cc.complexity-theory  reference-request  complexity-classes 

Tôi quan tâm đến cách người ta chứng minh rằng một câu tương đối hóa. Tất nhiên, việc chứng minh rằng một câu không tương đối hóa là đơn giản, như đã thấy trong kết quả của Baker-Gill-Solovay; nhưng làm thế nào để chứng minh rằng một câu không tương …

8 cc.complexity-theory  reference-request  relativization 

Đặt HHH là một sơ đồ con khoảng thời gian cảm ứng tối đa của đồ thị G=(V,E)G=(V,E)G=(V,E) . Nếu n=|V|n=|V|n=|V|Thì số nhỏ nhất là V(H)V(H)V(H)bao nhiêu? Số lượng nhiều nhất là 3n/43n/43n/4 xem xét một tập hợp 444 lỗ khác nhau. Nó có thể nhỏ hơn không?

8 reference-request  extremal-combinatorics  interval-graphs 

Các ứng dụng của Kolmogorov Độ phức tạp trong Lý thuyết số và trên các lĩnh vực liên quan đến bằng chứng là gì? (Chuyên khảo của Li & Vitanyi không có nhiều ứng dụng liên quan đến Lý thuyết số.) Một trong những bằng chứng tốt đẹp mà tôi …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

Hãy xác định bài toán SAT : Cho F 3 , công thức 3-CNF thỏa đáng và F 2 , công thức 2-CNF ( F 3 và F 2 được xác định trên cùng một biến). Là F 3 ∧ F 2 satisfiable?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Sự phức tạp của vấn …

8 cc.complexity-theory  reference-request  np-hardness  sat 

Lý thuyết phức tạp dường như được xây dựng xung quanh các vấn đề quyết định hơn là các chức năng. Ai giới thiệu cái này đầu tiên và lý do cho sự lựa chọn này là gì? Ví dụ, giấy "Con đường, cây và hoa" của Edmonds thường được …

8 cc.complexity-theory  reference-request 

Tôi đọc cuốn sách nổi tiếng của Alon và Spencer về phương pháp xác suất trong tổ hợp. Có một khảo sát hoặc ghi chú bài giảng về những tiến bộ và mối quan hệ gần đây với các chủ đề lý thuyết phức tạp sau đây của phương pháp …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Có một số ứng dụng của phân rã đồ thị mô-đun trong lý thuyết TCS / độ phức tạp? Tôi đặc biệt quan tâm đến việc sử dụng nó trong các bằng chứng hoặc giới hạn trên / dưới nếu nó xảy ra. [1] Phân rã đồ thị mô-đun , …

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Net (còn gọi là Freenet, hoặc như NetWalk) là một trò chơi câu đố chơi trên một lưới với các đối tượng sau đây:n×nn×nn \times n Có máy tính ; mỗi máy tính chiếm một ô và có một cáp liên kết;mmm mỗi máy tính phải được kết nối với …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Gần đây, tôi đã chơi xung quanh với những hồi tưởng , chủ yếu là từ bài báo kinh điển của Abramsky Retracing Một số con đường trong Đại số quá trình . Chúng khá lắt léo (về cơ bản là các giải pháp cho phương trình miền ) và …

8 reference-request  pl.programming-languages  functional-programming 

Hãy AAA là một tập hợp các kích thước kkk và BBB là một tập hợp các kích thước ℓℓ\ell , cho cố định kkk và ℓℓ\ell , và như vậy mà A∩B=∅A∩B=∅A\cap B=\emptyset . Gia đình (hoặc a) Sperner FF\mathcal{F} trên A∪BA∪BA\cup B gì mà FB={C∩B : C∈F}FB={C∩B : …

8 reference-request  co.combinatorics 

Thor Johnson, et al, trong bài báo của họ: Chiều rộng cây có hướng , đã đưa ra một định nghĩa cho lưới định hướng , và họ phỏng đoán:JkJkJ_k ( 5.1 )(5.1)(5.1) Với mỗi số nguyên tồn tại một số nguyên sao cho mọi sơ đồ có độ rộng …

8 reference-request  graph-theory  co.combinatorics  graph-minor 

Tôi đang tìm bài báo gốc nơi Hoare (hoặc người khác mà tôi cho là) ​​thảo luận về việc chấm dứt (Total Correctness). Hoặc bất kỳ công việc ban đầu nào khác về việc chấm dứt logic "vanilla" Hoare (tôi cho rằng ý tôi là một ngôn ngữ đồ chơi …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

Giả sử chúng ta muốn tìm phần tử nhỏ nhất của tập , có phần tử được lập chỉ mục từ 1 đến n . Chúng tôi không có quyền truy cập vào các giá trị của các phần tử này, nhưng chúng tôi có thể so sánh bất kỳ …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Tôi biết các biến thể sau của các vấn đề SUBSETSUM: ( Elberfeld tại. Al., 2010 ), NP- và NEXP-hoàn thành ( liên kết ).S U B S E T S U M S U C C I N C T - S U B S E T S U …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum