Khoa học máy tính lý thuyết

Cho một đồ thị lưỡng cực không trọng số . Có đúng là luôn tồn tại một khớp rỗng M ⊆ E (không nhất thiết là tối đa), như vậy mà cho mỗi ( i , j ) ∈ E với tôi phù hợp và j chưa từng có, nó …

8 graph-theory  matching 

Hãy để Alice và Bob tính toán hàm boolean f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) . Chọn một tập hợp con ngẫu nhiên I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\} của cardinality nnn và để J={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I . Hãy Alice nhận được các biến xixix_i nơi i∈Ii∈Ii\in\mathcal I và Bob có được xjxjx_j đâu j∈Jj∈Jj\in\mathcal J . Đặt độ …

8 reference-request  communication-complexity 

Một kết quả cơ bản trong độ phức tạp được tham số hóa của các vấn đề đồ thị là VERTEX COVER được tham số hóa bởi kích thước giải pháp là cố định tham số có thể điều chỉnh (FPT). Mặt khác, khi được tham số hóa bởi "tham …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

Tôi bối rối về ví dụ được đưa ra trong bài viết Wikipedia về ngữ pháp nhạy cảm ngữ cảnh: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Tôi đã thay đổi phần thảo luận trong bài viết trên wikipedia, vì vậy trạng thái hiện tại của bài viết sẽ khác với những gì tôi …

8 fl.formal-languages  grammars 

Đặt là một tham số đồ thị (ví dụ: đường kính, số thống trị, v.v.)Sss Một họ của đồ thị có thuộc tính s -treeference nếu có hàm f sao cho với bất kỳ đồ thị G ∈ F nào , treewidth của G nhiều nhất là f ( s …

8 graph-theory  graph-algorithms  graph-minor 

Với một đồ thị vô hướng G, chúng ta có thể nói rằng G gần như là lưỡng cực nếu xóa các cạnh k (hoặc đỉnh) sẽ làm cho nó trở thành lưỡng cực. Có các thuật toán đa thời gian để xác định xem một đồ thị là chính …

8 ds.algorithms  graph-theory 

Sau khi đọc Hiệu ứng như Phiên, Phiên là Hiệu ứng , tôi đã tự hỏi làm thế nào một bằng chứng về sự tương đương giữa cả hai diễn ra, hoặc thậm chí, bằng chứng về các loại Phiên là Hệ thống Loại và Hiệu ứng. Theo cách thức …

8 type-theory  proofs  type-systems 

(Đây là "thượng kết thúc" của câu hỏi của tôi từ hơn 10 months ago trên cs.stackexchange. Đó là câu hỏi và "kết thúc thấp hơn" Tôi hỏi đây hơn 8 tháng trước đây , mà tôi cũng có một tiền thưởng trên, đều được trả lời. Những là ảnh …

8 np-hardness  csp  promise-problems 

Những gì được biết về sự phức tạp của các vấn đề NP-hard trên đồ thị Cayley? Giả sử rằng biểu đồ được đưa ra rõ ràng dưới dạng bảng nhân của nhóm và danh sách các trình tạo. Vì vậy, chiều dài đầu vào là kích thước của biểu …

8 np-hardness  np-complete 

Ấn phẩm đầu tiên của khái niệm tối ưu hóa sắp xếp hợp nhất là gì xác định chuỗi các vị trí liên tiếp theo thứ tự tăng dần (còn gọi là chạy) trong thời gian tuyến tính; sau đó liên tục hợp nhất hai chuỗi ngắn nhất như vậy …

8 reference-request  sorting  huffman 

So với phổ của đồ thị vô hướng, tương ứng với ma trận đối xứng, phổ của đồ thị có hướng không được biết đến nhiều: Được biết, đồ thị có hướng có ma trận kề có giá trị riêng là nhị phân nếu là một chu kỳ. Điều này …

8 graph-theory  graph-algorithms  linear-algebra  spectral-graph-theory 

Độ rộng đường dẫn của đồ thị lưỡng cực hoàn chỉnh với các bộ partite có kích thước và nhiều nhất là . Tôi quan tâm đến việc làm phẳng đồ thị này theo quy trình sau:K3,nK3,nK_{3,n}333nnn333 Vẽ nó trong mặt phẳng sao cho không có cạnh nào chứa một …

8 graph-theory  co.combinatorics  graph-drawing 

Nhiều cấu trúc cây cân bằng (cây đỏ / đen, cây splay, v.v.) và một số cấu trúc từ điển được sắp xếp khác (skiplists) hỗ trợ thao tác nối có hai từ điển trong đó tất cả các khóa trong cấu trúc đầu tiên đều nhỏ hơn tất cả …

8 ds.data-structures 

Nói ngắn gọn, câu hỏi của tôi là: bằng chứng ban đầu của Karp có giảm SAT xuống 3SAT không cần thiết không? Cac chi tiêt như sau. Trong bài viết về khả năng giảm thiểu trong số các vấn đề kết hợp năm 1972 , Karp đã chứng minh …

8 cc.complexity-theory  sat  reductions 

Tôi đang tìm kiếm các ví dụ về các vấn đề dễ dàng để có được các thuật toán chạy trong thời gian hoặc 2 O ( n c ) cho một số c > 1 nhưng không biết liệu có một thuật toán nào không thuật toán chạy trong …

8 exp-time-algorithms  hamiltonian-paths