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

Các kkk vấn đề -cycle là như sau: Sơ thẩm: Một đồ thị vô hướng GGG có nnn đỉnh và tối đa cạnh.(n2)(n2)n \choose 2 Câu hỏi: Có tồn tại một mô-tơ (thích hợp) trong không?kkkGGG Bối cảnh: Đối với bất kỳ k cố định nào kkk, chúng ta có …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Khoảng một năm trước, một người bạn và tôi đã nghĩ ra một cách để thực hiện thuật toán của Kruskal cho các đồ thị dày đặc hơn so với giới hạn thông thường O(mlogm)O(mlog⁡m)O(m \log m)(mà không giả sử các cạnh được sắp xếp trước). Cụ thể, chúng ta …

15 graph-theory  graph-algorithms 

Nếu chúng ta có một đồ thị lớn (có hướng) và một cây gốc nhỏ hơn , thì độ phức tạp được biết đến nhiều nhất để tìm các đồ thị con của đẳng cấu với gì? Tôi nhận thức được kết quả cho sự đồng hình của cây con …

15 ds.algorithms  reference-request  graph-theory 

Sự phức tạp của vấn đề sau đây là gì? Đầu vào : K nHHH một đường dẫn Hamilton trongKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 một tập hợp con của các cặp đỉnh một số nguyên dươngkkk Truy vấn : có phù hợp sao cho mọi , ? (trong đó )( v …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Giả sử chúng ta kết nối các điểm của bằng cách sử dụng tập hợp các cạnh vô hướng sao cho được kết nối với hoặc được kết nối với , độc lập và thống nhất ngẫu nhiên cho tất cả .V= Z2V= =Z2V = \mathbb{Z}^2EEE( tôi , j )(Tôi,j)(i, …

14 graph-theory 

Chúng tôi xem xét các DAG (đồ thị chu kỳ có hướng) với một nút nguồn sss và một nút mục tiêu ttt ; các cạnh song song nối cùng một cặp đỉnh được cho phép. Một kkk - cut là một tập hợp các cạnh mà việc loại bỏ …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Vấn đề con đường dài nhất là NP-hard. Bằng chứng (điển hình?) Dựa vào việc giảm vấn đề đường dẫn Hamilton (hoàn thành NP). Lưu ý rằng ở đây đường dẫn được thực hiện đơn giản (nút-). Đó là, không có đỉnh có thể xảy ra nhiều hơn một lần …

14 graph-theory  graph-algorithms  hamiltonian-paths 

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Trong bài báo của họ xấp xỉ Khỏang cách Oracles , Thorup và Zwick đã chỉ ra rằng đối với bất kỳ đồ thị vô hướng có trọng số, chúng ta có thể xây dựng một cấu trúc dữ liệu kích thước có thể trả về một ( 2 k …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Cả hai vấn đề GI và Hôn đều là vấn đề quyết định sự tương đương cấu trúc của các đối tượng toán học. Có bất kỳ kết quả thiết lập kết nối giữa chúng? Các kết nối tốt đẹp của vấn đề nút thắt với vật lý thống kê …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Tôi quan tâm đến đồ thị trên nnn đỉnh có thể được tạo ra thông qua quy trình sau. Bắt đầu với một đồ thị tùy ý trên các đỉnh . Dán nhãn tất cả các đỉnh trong là không sử dụng .k ≤ n GGGGk≤nk≤nk\le nGGG Tạo ra một …

14 ds.algorithms  graph-theory  treewidth 

Câu hỏi này liên quan đến một trong những câu hỏi trước đây của tôi, vấn đề NP-hard trên cây . Tôi đang tìm kiếm các vấn đề P-đầy đủ trên cây.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

Cho một đồ thị thông thường, vô hướng , mối quan hệ giữa đường kính của nó - được định nghĩa là khoảng cách lớn nhất giữa hai nút - và độ dẫn của nó, được định nghĩa là trong đó là số cạnh giao nhau giữa và .G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V …

14 graph-theory  co.combinatorics  expanders 

Có bất cứ điều gì được biết về vấn đề sau đây? Liệu nó có ý nghĩa gì không? Đó là những gì được gọi là? Là nó tương đương tầm thường với một số vấn đề khác? Sự phức tạp thời gian là gì? Cho một đồ thị vô …

14 ds.algorithms  graph-theory 

Hãy xem xét bài toán hoàn thành # P về việc đếm số lượng đỉnh của một đồ thị đã cho .G=(V,E)G= =(V,E)G = (V, E) Tôi muốn biết liệu có bất kỳ kết quả nào cho thấy độ cứng của vấn đề đó thay đổi như thế nào với …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity