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

Phân hủy cây rất khó trong trường hợp xấu nhất nhưng phương pháp tham lam dường như gần như tối ưu trên các mạng thực tế nhỏ. Có bất cứ điều gì được biết về độ cứng của sự phân hủy cây của một trường hợp "điển hình" của một …

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Đặt G là đồ thị được kết nối. Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối nếu G thuộc các loại sau? G là chung. G là mặt phẳng. G là lưỡng cực. Tôi không quan tâm đến bất kỳ cấu trúc nào …

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

Lại một vấn đề phân vùng cạnh có độ phức tạp mà tôi tò mò, được thúc đẩy bởi một câu hỏi trước đây của tôi . Đầu vào: đồ thị khối G=(V,E)G=(V,E)G=(V,E) Câu hỏi: là có một phân vùng của vào E 1 , E 2 , ... , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Vấn đề Tôi có một biểu đồ vô hướng (có nhiều cạnh), sẽ thay đổi theo thời gian, các nút và cạnh có thể được chèn và xóa. Trên mỗi sửa đổi của biểu đồ, tôi phải cập nhật các thành phần được kết nối của biểu đồ này. Tính …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

Chúng tôi biết từ ví dụ Koutis-Miller-Peng (dựa trên công trình của Spielman & Teng), rằng chúng tôi có thể giải quyết rất nhanh các hệ tuyến tính Ax=bAx=bA x = b cho ma trận AAA là ma trận Laplacian cho một số đồ thị thưa thớt với trọng số …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-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 

Một antichain trong DAG ( V, E)(V,E)(V, E) là một tập hợp con Một ⊆ VA⊆VA \subseteq V đỉnh mà cặp unreachable, cụ thể là, không có v≠v′∈Av≠v′∈Av \neq v' \in A sao cho vvv có thể truy cập từ v′v′v' ở EEE . Từ định lý của Dilworth trong …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Cho một DAG (đạo diễn acyclic graph) , với nguồn S và bồn T . Tìm một DAG D ' , với nguồn S và bồn T , với số lượng tối thiểu của các cạnh sao cho:DDDSSSTTTD′D′D'SSSTTT Đối với tất cả các cặp có một con đường từ u …

11 graph-theory  graph-algorithms 

Điều này làm tôi bối rối. Một trường hợp dễ dàng để đếm là khi vấn đề quyết định nằm trong và không có giải pháp.PPP Một bài giảng cho thấy rằng vấn đề đếm số lượng khớp hoàn hảo trong biểu đồ lưỡng cực (tương đương, đếm số lượng …

11 cc.complexity-theory  graph-theory 

Crossposted từ MO . Đặt là một lớp biểu đồ được xác định bởi một số hữu hạn các đồ thị con bị cấm, tất cả đều là chu kỳ (chứa ít nhất một chu kỳ).CCC Có vấn đề đồ thị NP-hard nào có thể được giải quyết trong thời …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Nhớ lại những đường kính của một đồ thị là độ dài của một con đường ngắn nhất dài nhất trong . Đưa ra một biểu đồ, một thuật toán rõ ràng để tính toán giải quyết vấn đề đường đi ngắn nhất của tất cả các cặp (APSP) và …

11 graph-theory  graph-algorithms  shortest-path 

Một phần của khó khăn trong việc tìm hiểu thêm về vấn đề này là vấn đề khớp đồ thị khác với người anh em nổi tiếng hơn nhiều của nó, vấn đề khớp, nhưng khó phân biệt với nó khi sử dụng các công cụ tìm kiếm. Cho hai …

11 reference-request  graph-theory  graph-isomorphism 

Hãy để là khoảng cách trung bình của một đồ thị liên thông G .ad(G)ad(G)\rm{ad}(G)G.G.G. Một cách để tính toán là bằng cách tổng hợp lên các yếu tố của D ( G ) , ma trận khoảng cách của G và mở rộng quy mô tổng một cách thích …

11 cc.complexity-theory  graph-theory  graph-algorithms 

Chúng ta hãy thư giãn tô màu một chút, nghĩa là chúng ta cho phép một số lượng nhỏ các đỉnh liền kề được gán cùng màu. Một thành phần đơn sắc được định nghĩa là một thành phần được kết nối trong biểu đồ con được tạo bởi tập …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Định lý của Courcelle nói rằng mọi thuộc tính đồ thị có thể xác định theo logic bậc hai đơn trị có thể được quyết định theo thời gian tuyến tính trên đồ thị của treewidth giới hạn . Đây là một trong những định lý meta thuật toán nổi …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor