[论文解读] A simple FPRAS for bi-directed reachability.

Heng Guo, Mark Jerrum|arXiv (Cornell University)|Sep 25, 2017

Markov Chains and Monte Carlo Methods参考文献 24被引用 1

一句话总结

本文證實了 Gorodezky 和 Pak 的猜想，即在雙向圖上，聚類彈出演算法的期望時間複雜度為多項式時間，從而建立了此類圖中可達性的第一個全多項式時間隨機近似方案（FPRAS）。該方法利用隨機弧失效，並有效估計在殘存子圖中所有頂點均可到達根頂點的機率。

ABSTRACT

Gorodezky and Pak (Random Struct. Algorithms, 2014) introduced a cluster-popping algorithm for sampling root-connected subgraphs in a directed graph, and conjectured that it runs in expected polynomial time on bi-directed graphs. We confirm their conjecture. It follows that there is a fully polynomial-time randomized approximation scheme (FPRAS) for reachability in bi-directed graphs. Reachability is the probability that, assuming each arc fails independently, all vertices can reach a special root vertex in the remaining graph. A bi-directed graph is one in which each directed arc has a parallel twin oriented in the opposite sense.

研究动机与目标

• 解決 Gorodezky 和 Pak 的猜想，即聚類彈出演算法在雙向圖上的期望時間複雜度為多項式時間。
• 建立雙向圖中可達性的全多項式時間隨機近似方案（FPRAS）的存在性。
• 提供在隨機弧失效下，根連通子圖的高效取樣方法。
• 分析聚類彈出演算法在雙向圖結構下的期望執行時間。

提出的方法

• 透過迭代移除頂點聚類，將聚類彈出演算法適用于雙向圖中根連通子圖的取樣。
• 利用隨機弧失效來模擬子圖的存活，其中每條弧獨立地以給定機率失效。
• 採用拒絕取樣框架，確保根連通子圖的均勻取樣。
• 利用雙向圖的結構性質，分析聚類彈出步驟的期望數量。
• 利用雙向圖中的對稱性，界定混合時間並確保多項式時間複雜度。
• 將可達性估計問題轉化為可在期望多項式時間內解決的取樣問題。

实验结果

研究问题

• RQ1 聚類彈出演算法在雙向圖上是否具有期望多項式時間複雜度？
• RQ2 聚類彈出演算法能否用於構建雙向圖中可達性的 FPRAS？
• RQ3 雙向圖的哪些結構性質使得根連通子圖的高效取樣成為可能？
• RQ4 聚類彈出演算法的期望執行時間在雙向圖設定下如何隨圖大小變化？

主要发现

• 聚類彈出演算法在雙向圖上具有期望多項式時間複雜度，證實了 Gorodezky 和 Pak 的猜想。
• 建立了雙向圖中可達性的 FPRAS，從而能有效近似所有頂點在隨機弧失效後均可到達根頂點的機率。
• 該演算法透過利用雙向圖的對稱結構，高效地取樣根連通子圖。
• 由於結構對稱性與聚類彈出機制，期望執行時間在頂點數與弧數上均有多項式邊界。