Phân tách đồ thị để kết hợp các chức năng địa phương của các nhãn của đỉnh


15

Giả sử chúng ta muốn tìm hoặc max x i j E f(xi,xj)

ΣxΠTôijEf(xTôi,xj)
tối đaxΠTôijEf(xTôi,xj)

Trong đó max hoặc sum được lấy trên tất cả các nhãn của , sản phẩm được lấy trên tất cả các cạnh cho đồ thị và f là một hàm tùy ý. Đại lượng này rất dễ tìm thấy đối với các đồ thị chiều rộng cây giới hạn và nói chung NP-hard cho các đồ thị phẳng. Số lượng màu thích hợp, tập độc lập tối đa và số đồ thị con Euler là những trường hợp đặc biệt của vấn đề ở trên. Tôi quan tâm đến các sơ đồ xấp xỉ thời gian đa thức cho các vấn đề thuộc loại này, đặc biệt là đối với các đồ thị phẳng. Những gì phân tách đồ thị sẽ hữu ích?E G = { V , E } fVEG= ={V,E}f

Chỉnh sửa 11/1 : Ví dụ, tôi tự hỏi về các phân tách có thể tương tự như mở rộng cụm của vật lý thống kê (nghĩa là mở rộng Mayer). Khi f đại diện cho các tương tác yếu, các mở rộng như vậy sẽ hội tụ, điều đó có nghĩa là bạn có thể đạt được độ chính xác nhất định với k điều khoản của việc mở rộng bất kể kích thước của biểu đồ. Điều này có nghĩa là sự tồn tại của PTAS cho số lượng?

Cập nhật ngày 02/11/2011

Mở rộng nhiệt độ cao viết lại hàm phân vùng Z dưới dạng tổng của các điều khoản trong đó các điều khoản bậc cao hơn phụ thuộc vào tương tác bậc cao hơn. Khi "tương quan phân rã", các thuật ngữ bậc cao phân rã đủ nhanh để gần như toàn bộ khối lượng của Z được chứa trong số lượng hữu hạn của các số hạng bậc thấp.

Ví dụ cho mô hình Ising xem xét biểu thức sau của hàm phân vùng của nó

Z= =ΣxXđiểm kinh nghiệmJΣTôijExTôixj= =cΣMộtC(tanhJ)|Một|

Ở đây c một hằng số đơn giản, C là một tập hợp các sơ đồ con Euler của đồ thị của chúng ta, |Một|là số cạnh của đồ thị con Một .

Chúng tôi đã viết lại hàm phân vùng dưới dạng tổng trên các sơ đồ con trong đó mỗi thuật ngữ trong tổng bị phạt theo cấp số nhân theo kích thước của sơ đồ con. Bây giờ các thuật ngữ nhóm có cùng số mũ với nhau và xấp xỉ Z bằng cách lấy các số hạng k đầu tiên k. Khi số lượng đồ thị con Euler có kích thước p không tăng quá nhanh, lỗi xấp xỉ của chúng ta sẽ giảm theo cấp số nhân với k .

Tính gần đúng nói chung là khó, nhưng dễ dàng cho các trường hợp "phân rã tương quan". Chẳng hạn, trong trường hợp mô hình Ising, có sự phân rã tương quan khi tăng chậm hơn trong đó là số lượng đồ thị con Euler có kích thước . Tôi tin trong trường hợp như vậy, việc cắt giảm sự giãn nở nhiệt độ cao mang lại PTAS chof(k)(tanhJ)kf(k)kZ

Một ví dụ khác là đếm các tập độc lập có trọng số - có thể điều chỉnh được cho bất kỳ biểu đồ nào nếu trọng số đủ thấp vì bạn có thể làm cho vấn đề thể hiện sự phân rã tương quan. Số lượng sau đó được tính gần đúng bằng cách đếm các bộ độc lập trong các vùng kích thước giới hạn. Tôi tin rằng kết quả STOC'06 của Dror Weitz ngụ ý rằng việc đếm tập độc lập không trọng số có thể áp dụng cho bất kỳ biểu đồ nào có mức độ tối đa 4.

Tôi đã tìm thấy hai họ phân tách "cục bộ" - Đồ thị cụm Bethe và đồ thị vùng Kikuchi. Phân tách Bethe về cơ bản cho bạn biết nhân số đếm theo vùng và chia cho số lượng trong vùng chồng lấp. Phương pháp biểu đồ vùng Kikuchi cải thiện điều này bằng cách tính đến việc chồng lấp vùng có thể tự chồng lấp, sử dụng loại hiệu chỉnh "loại trừ bao gồm".

Cách tiếp cận khác là phân tích vấn đề thành các phần có thể kéo được trên toàn cầu, như trong "Suy luận biến đổi về không gian kết hợp". Tuy nhiên, phân tách cục bộ cho phép bạn kiểm soát chất lượng gần đúng bằng cách chọn kích thước vùng

Câu trả lời:


7

Những gì tôi muốn nói là quá dài cho (nhưng thực sự nên là) một bình luận.

Nếu tôi đang đọc chính xác câu hỏi, bạn muốn có một FPRAS (sơ đồ xấp xỉ ngẫu nhiên hoàn toàn đa thức) cho một trong các đại lượng trên, mỗi trong số đó bao gồm các vấn đề hoàn thành # P khác nhau như các trường hợp đặc biệt. Cụ thể, bạn muốn có một FPRAS chung trong trường hợp đồ thị phẳng, bằng cách sử dụng mở rộng cụm.

Tôi nghi ngờ rằng điều này có thể xảy ra do thực tế là tính đầy đủ NP của vấn đề tồn tại (ví dụ như tô màu phù hợp) ngụ ý rằng vấn đề đếm tương ứng (ví dụ: số lượng màu phù hợp) hoàn thành trong #P liên quan đến tính khử AP (xấp xỉ- bảo quản). Xem Dyer, Goldberg, Greenhill và Jerrum, Al Thuậtmica (2004) 38: 471-500.

Nhưng có lẽ tôi đã đọc sai câu hỏi.

(Trên thực tế, bạn có thể giải thích cho người không biết ý nghĩa của việc mở rộng nhiệt độ cao không?)


Tôi đã trả lời câu hỏi của mình
Yaroslav Bulatov

@ Nam Tư: Cảm ơn bạn đã làm rõ! BTW, theo "vùng", bạn có nghĩa là "tập hợp đỉnh"? (Đây là những gì tôi thấy khi tôi xem Heske, JAIR 26 (2006), 153-190.) hầu hết 4) đồ thị phẳng sử dụng cái mà bạn gọi là "phân tách đồ thị" (là một thuật ngữ quá tải, để công bằng). Đúng không?
RJK

Có, các vùng là các tập con đỉnh và tôi quan tâm đến PTAS cho các lớp biểu đồ "có thể điều khiển được". BTW, đây là một ví dụ điển hình về phân rã cụm để đếm các tập độc lập mà tôi nghĩ có thể biến thành PTAS cho các trường hợp có phân rã tương quan - yaroslavvb.blogspot.com/2011/02/iêu
Yaroslav Bulatov
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.