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

Khi chúng ta được cung cấp một phân tách cây của đồ thị với chiều rộng w , có một số cách mà chúng ta có thể làm cho nó "đẹp". Cụ thể, người ta biết rằng có thể biến nó thành một phân rã cây trong đó cây là …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Cho một đồ thị, , tôi muốn tìm một tối ưu r -domination cho G . Đó là, tôi muốn có một tập con S của V sao cho tất cả các đỉnh trong G là ở khoảng cách tối đa là r từ một số đỉnh trong S , …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

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 

Đặt G là một cây trên các đỉnh 2n. Treewidth của G, tw (G) = 1. Bây giờ giả sử chúng ta thêm n cạnh vào G để có được đồ thị H. Một giới hạn trên dễ dàng trên tw (H) là n + 1. Đây có phải là …

14 upper-bounds  treewidth 

Người ta có thể nói chuyện của treewidth của một mạch Boolean, xác định nó như là treewidth của "moralized" đồ thị trên dây (đỉnh) thu được như sau: dây kết nối mộtaa và bbb khi bbb là sản phẩm của một cái cổng có mộtaa như là đầu vào …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Treewith là một tham số biểu đồ quan trọng cho biết mức độ gần của biểu đồ từ một cây (mặc dù không phải theo nghĩa tô pô nghiêm ngặt). Người ta biết rằng tính toán treewidth là NP-hard. Có lớp biểu đồ tự nhiên nào mà treewidth khó tính …

13 graph-theory  np-hardness  polynomial-time  treewidth 

Như tiêu đề nói, định nghĩa chính xác của -tree là gì? Có một số giấy tờ mà nói về k -trees và một phần k -trees như định nghĩa thay thế cho đồ thị với treewidth bị chặn, và tôi đã nhìn thấy nhiều định nghĩa dường như không …

13 graph-theory  treewidth 

Đặt kkk là cố định và để GGG là đồ thị (được kết nối). Nếu tôi không nhầm, thì theo công trình của Bodlaender [1, Định lý 3.11] rằng nếu treewidth của GGG có ít nhất 2k32k32k^3 , thì GGG chứa một ngôi sao K1,kK1,kK_{1,k} là trẻ vị thành niên. …

12 graph-theory  treewidth  graph-minor 

Tôi đã hỏi câu hỏi này vài tuần trước tại mathoverflow , nhưng tôi không nhận được câu trả lời. Ở đây, bằng 3D-lưới của sidelength kkk Ý tôi là đồ thị G=(V,E)G=(V,E)G=(V,E) với V={1,…,k}3V={1,…,k}3V= \{1,\ldots,k\}^3 và E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E=\{( (a,b,c) ,(x,y,z) ) \mid |a-x|+|b-y|+|c-z|=1 \} , tức là, các nút được …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

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ối thiểu cây chiều rộng của một mạch qua là gì {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} để tính MAJ? Ở đây MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} xuất ra 1 iff ít nhất một nửa số đầu vào của nó là 111 . Tôi chỉ quan tâm đến kích thước của mạch (phải là đa thức) …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Bài báo gần đây từ FOCS2013, Strong Backreen to Bounded Treecreen SAT của Gaspers và Szeider nói về mối liên hệ giữa treewidth của biểu đồ mệnh đề SAT và độ cứng của thể hiện. Đối với các trường hợp 3-SAT ngẫu nhiên, tức là các trường hợp 3-SAT được …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Đị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 

Elberfeld, Jakoby và Tantau 2010 ( ECCC TR10-062 ) đã chứng minh một phiên bản hiệu quả của định lý Bodlaender. Họ đã chỉ ra rằng đối với các đồ thị có treewidth nhiều nhất là , có thể tìm thấy phân rã cây có chiều rộng bằng cách sử …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Có một số lớp đồ thị thú vị với giới hạn treewidth. Ví dụ: cây (treewidth 1), chuỗi đồ thị song song (treewidth 2), đồ thị ngoài cùng (treewidth 2), đồ thị -outerplanar (treewidth O (k)), đồ thị của độ rộng nhánh (treewidth O (k)), .. .kkkkkk Câu hỏi: Có …

10 graph-theory  treewidth