Di mana maks atau jumlah diambil alih semua pelabelan , produk diambil dari semua sisi untuk grafik G = \ {V, E \} dan f adalah fungsi arbitrer. Kuantitas ini mudah ditemukan untuk grafik lebar pohon yang dibatasi dan pada umumnya NP-hard untuk grafik planar. Jumlah pewarnaan yang tepat, set independen maksimum dan jumlah subgraph Euler adalah contoh khusus dari masalah di atas. Saya tertarik dengan skema perkiraan waktu polinomial untuk masalah semacam ini, terutama untuk grafik planar. Dekomposisi grafik apa yang berguna?
Sunting 11/1 : Sebagai contoh, saya bertanya-tanya tentang dekomposisi yang mungkin analog dengan ekspansi cluster fisika statistik (yaitu, ekspansi Mayer). Ketika mewakili interaksi yang lemah, ekspansi seperti itu bertemu, yang berarti bahwa Anda dapat mencapai akurasi yang diberikan dengan ketentuan ekspansi terlepas dari ukuran grafik. Bukankah ini menyiratkan keberadaan PTAS untuk kuantitas?
Pembaruan 02/11/2011
Ekspansi suhu tinggi menulis ulang fungsi partisi sebagai penjumlahan dari istilah di mana syarat tatanan yang lebih tinggi bergantung pada interaksi tatanan yang lebih tinggi. Ketika "korelasi peluruhan", istilah orde tinggi meluruh cukup cepat sehingga hampir semua massa terkandung dalam jumlah terbatas dari orde rendah.
Sebagai contoh untuk model Ising pertimbangkan ekspresi fungsi partisi berikut
Di sini konstanta sederhana, adalah himpunan subgraf Euler dari grafik kita,adalah jumlah sisi dalam graf .
Kami memiliki fungsi partisi yang ditulis ulang sebagai penjumlahan dari subgraph di mana setiap istilah dalam penjumlahan tersebut secara eksponensial dihukum oleh ukuran subgraph tersebut. Sekarang istilah grup dengan eksponen yang sama bersama-sama dan perkiraan dengan mengambil istilah pertama . Ketika jumlah subgraf Euler ukuran tidak tumbuh terlalu cepat, kesalahan perkiraan kami meluruh secara eksponensial dengan .
Penghitungan perkiraan sulit secara umum, tetapi mudah untuk contoh "pembusukan korelasi". Misalnya, dalam kasus model Ising, ada pembusukan korelasi ketika tumbuh lebih lambat daripada mana adalah jumlah subgraf Euler ukuran . Saya percaya dalam kasus seperti itu, memotong ekspansi suhu tinggi memberikan PTAS untuk
Contoh lain adalah penghitungan set independen berbobot - ini dapat digunakan untuk grafik apa pun jika beratnya cukup rendah karena Anda dapat membuat masalah tersebut menunjukkan peluruhan korelasi. Kuantitas kemudian diperkirakan dengan menghitung set independen di wilayah ukuran terbatas. Saya percaya hasil STOC'06 Dror Weitz menyiratkan bahwa penghitungan set independen yang tidak berbobot dimungkinkan untuk setiap grafik dengan derajat maksimum 4.
Saya telah menemukan dua keluarga dekomposisi "lokal" - antara grafik cluster dan grafik wilayah Kikuchi. Karena dekomposisi pada dasarnya memberitahu Anda untuk melipatgandakan jumlah di wilayah, dan membaginya dengan jumlah di wilayah yang tumpang tindih. Metode grafik wilayah Kikuchi meningkatkan hal ini dengan memperhitungkan bahwa tumpang tindih wilayah dapat dengan sendirinya tumpang tindih, menggunakan jenis koreksi "inklusi-pengecualian".
Pendekatan alternatif adalah menguraikan masalah menjadi bagian-bagian global yang dapat ditelusuri, seperti dalam, "Variational Inference over Combinatorial Spaces". Namun, dekomposisi lokal memungkinkan Anda untuk mengontrol kualitas perkiraan dengan memilih ukuran wilayah
sumber