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

Các Robertson-Seymour lý nói rằng bất kỳ nhỏ kín gia đình GG\mathcal G của đồ thị có thể được đặc trưng bởi sự hữu hạn nhiều trẻ vị thành niên bị cấm. Có một thuật toán cho một đầu vào GG\mathcal G xuất ra các vị thành niên bị cấm …

9 graph-theory  decidability  graph-minor 

Có một bài báo hay từ năm 1991 chứa ba sơ đồ về các họ đồ thị khác nhau cho thấy những gì đã biết về độ cứng của việc xác định chỉ số màu cho chúng. Có bất kỳ tin tức kể từ đó về những điều này? Tôi …

9 graph-theory  np-hardness  graph-colouring 

Cho một đồ thị có hướng cố định (sơ đồ) , bài toán quyết định D -COLORING hỏi xem một sơ đồ đầu vào G có đồng cấu với D không . (Phép đồng hình của G đến D là ánh xạ f của V ( G ) đến V …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Với một ngôn ngữ thông thường trên bảng chữ cái A , máy tự động xác định tối thiểu của nó có thể được xem như là một đa giác được kết nối có định hướng với mức độ không đổi | Một | và một trạng thái ban đầu …

9 graph-theory  automata-theory 

Hãy và là hai đồ thị kết nối -regular kích thước . Hãy là tập các hoán vị mà . Nếu thì là tập hợp các tự đẳng của .H r n A P P G P - 1 = H G = H A GGGGHHHrrrnnnMộtMộtAPPPPG P- 1= HPGP-1= =HPGP^{-1}=HG …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Tôi tự hỏi nếu vấn đề sau đây là NP-hard. Đầu vào: một biểu đồ đơn giản và tô màu của các cạnh ( không xác minh bất kỳ thuộc tính cụ thể nào).f : E → { 1 , 2 , 3 } fG = ( V, E)G=(V,E)G = …

9 graph-theory  np-hardness 

Đặt là một đồ thị là sự kết hợp rời rạc của một nhóm và một tập độc lập, tức là G = K n 1 + ¯ K n 2 = K n 1 + I n 2 .GGGG = Kn1+ Kn2¯¯¯¯¯¯¯¯= Kn1+ Tôin2.G= =Kn1+Kn2¯= =Kn1+Tôin2.G = K_{n_1} + …

9 reference-request  graph-theory  graph-classes 

Hãy xem xét vấn đề sau: Đầu vào: một đồ thị đơn giản (không bị chặn) .G=(V,E)G=(V,E)G=(V,E) Câu hỏi: Có định hướng thỏa mãn tính chất mà với mọi có nhiều nhất một (hướng) - đi bộ không?GGGs,t∈Vs,t∈Vs,t \in Vsssttt Điều này có thể được phrased tương đương như: Đầu …

9 graph-theory  directed-acyclic-graph 

Đặt là đồ thị. Một tập đỉnh được gọi là quan trọng nếu và không có đỉnh trong là tiếp giáp với đúng một đỉnh trong . Vấn đề là tìm một bộ đỉnh có kích thước tối thiểu sao cho cho mọi bộ quan trọng .G=(V,E)G=(V,E)G=(V,E)X⊆VX⊆VX\subseteq VX≠∅X≠∅X\neq\emptysetV∖XV∖XV\setminus XXXXS⊆VS⊆VS\subseteq VS∩X≠∅S∩X≠∅S\cap …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

Câu hỏi này có hai phần và chủ yếu hướng đến tham khảo: Có nơi nào mà các trực giác chính để chứng minh định lý đồ thị nhỏ được đưa ra, mà không đi sâu vào chi tiết không? Tôi biết bằng chứng là dài và khó, nhưng chắc …

9 reference-request  graph-theory  graph-minor 

Tôi đang tìm tài liệu tham khảo cho bài toán sau: các số nguyên và k đã cho , liệt kê tất cả các đồ thị phẳng không đẳng hình trên n đỉnh và treewidth ≤ k . Tôi quan tâm đến cả kết quả lý thuyết và thực tế, …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Đã có một vài câu hỏi ( 1 , 2 , 3 ) về việc hoàn thành bắc cầu ở đây khiến tôi suy nghĩ nếu điều này là có thể: Giả sử chúng ta nhận được một đồ thị hướng đầu vào và muốn trả lời các truy vấn …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Giả sử rằng tôi có bộ với các phần tử được lấy từ r có thể. Mỗi bộ có kích thước n ( n < r ), trong đó các bộ có thể chồng lên nhau. Tôi muốn xác định xem hai vấn đề sau có hoàn chỉnh NP hay …

9 graph-theory  np-hardness 

Có phải việc kiểm tra tính chuyển động của một bản vẽ không dễ dàng hơn (về độ phức tạp tiệm cận) lấy sự đóng cửa quá độ của bản đồ? Chúng ta có biết bất kỳ ràng buộc thấp hơn Ω ( n 2 )Ω(n2)\Omega(n^2) để xác định xem …

9 graph-theory  directed-acyclic-graph  transitive-closure 

Có bao nhiêu chu kỳ trong một đồ thị đỉnh sao cho đồ thị không có chu kỳ .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Ví dụ: , , thì đồ thị sẽ có nhiều nhất hai để sẽ không có bất kỳn=5n=5n=5k=3k=3k=3C3C3C_3GGGCk(k>3).Ck(k>3).C_k (k > 3). Tôi nghĩ rằng có chu …

9 graph-theory  graph-algorithms