[论文解读] An Exponential Lower Bound for Cut Sparsifiers in Planar Graphs

Gramoz Goranci, Monika Henzinger+1 more|arXiv (Cornell University)|Jan 1, 2017

Complexity and Algorithms in Graphs参考文献 36被引用 6

一句话总结

本文為平面圖中的割 sparsifier 建立了指數下界，證明對於所有終點位於單一面上的 k 終點平面圖，任何精確的割 sparsifier 大小必須為 Ω(k²)，與目前已知的最佳上界一致。作者引入了有向圖的可達性保留極小圖（RPM），並證明平面有向圖可擁有大小為 O(k² log k) 的 RPM，而一般有向圖則需 O(k³) 個頂點；透過 Steiner 系統與繞道圖構造，證實了緊緻的下界。

ABSTRACT

Given an edge-weighted graph G with a set Q of k terminals, a mimicking network is a graph with the same set of terminals that exactly preserves the sizes of minimum cuts between any partition of the terminals. A natural question in the area of graph compression is to provide as small mimicking networks as possible for input graph G being either an arbitrary graph or coming from a specific graph class. In this note we show an exponential lower bound for cut mimicking networks in planar graphs: there are edge-weighted planar graphs with k terminals that require 2^(k-2) edges in any mimicking network. This nearly matches an upper bound of O(k * 2^(2k)) of Krauthgamer and Rika [SODA 2013, arXiv:1702.05951] and is in sharp contrast with the O(k^2) upper bound under the assumption that all terminals lie on a single face [Goranci, Henzinger, Peng, arXiv:1702.01136]. As a side result we show a hard instance for the double-exponential upper bounds given by Hagerup, Katajainen, Nishimura, and Ragde [JCSS 1998], Khan and Raghavendra [IPL 2014], and Chambers and Eppstein [JGAA 2013].

研究动机与目标

• 解決大圖中最小化 sparsifier 頂點數的基礎問題，特別著重於保留終點之間的可達性與割結構。
• 提出一種稱為可達性保留極小圖（RPM）的新類型 sparsifier，要求 sparsifier H 是原圖 G 的極小圖，以保留結構特性（如平面性）。
• 為所有終點位於同一面上的平面圖中的割 sparsifier 建立緊緻的上下界，超越先前的指數界。
• 提出一種利用 Steiner 系統與繞道圖的創新構造，以證明距離與割保留的不可壓縮性結果。
• 透過提供可證明最佳的 sparsifier 大小，將理論圖 sparsification 與實際應用（如網路路由與近似演算法）連結起來。

提出的方法

• 引入可達性保留極小圖（RPM），一種新的頂點 sparsifier 類型，要求 sparsifier H 必須是原圖 G 的極小圖，以確保結構相似性（例如平面性得以保留）。
• 結合圖極小理論與緊湊距離查詢機制（來自 Thorup [Tho04]）來構造大小為 O(k² log k) 的平面有向圖 RPM。
• 利用 (3,2)-Steiner 系統（SS）構造一組 k 終點平面圖，以產生終點間距離對邊刪除極為敏感的實例。
• 應用 [CGH16] 中的引理 6.8，識別出大小為 Ω(k^{1+1/(t−1)}) 的子集 S′，其無短繞道環，進而基於路徑長度分離性構造下界。
• 透過證明：任何保留距離在 t−ε 內或加法誤差為 2t−3 的壓縮函數，都必須使用至少 Ω(k^{1+1/(t−1)}) 比特，進而導出當 t 為 k 的對數時的指數下界。
• 利用 k 個終點上存在 (3,2)-SS 的事實，構造出 2^ℓ 個子圖，每個子圖的終點對間距離輪廓皆不同，以證明任何更小的 sparsifier 都無法保留距離。

实验结果

研究问题

• RQ1 k 終點有向圖的可達性保留極小圖（RPM）最小大小為何？此大小能否獨立於原圖大小而有界？
• RQ2 平面有向圖是否可實現小於一般有向圖的可達性保留極小圖？若是，其緊緻漸近界為何？
• RQ3 所有終點位於單一面上的 k 終點平面圖，其精確割 sparsifier 的最小可能大小為何？
• RQ4 能否為此類平面圖構造大小為 O(k²) 的割 sparsifier？此界是否與已知下界一致？
• RQ5 能否利用組合設計（如 Steiner 系統）建立終點距離保留的不可壓縮性結果？

主要发现

• 任何 k 終點平面有向圖皆可擁有大小為 O(k² log k) 的可達性保留極小圖（RPM），此為一般有向圖 O(k³) 界的指數級改進。
• 針對所有 k 個終點位於單一面上的平面圖，割 sparsifier 大小的指數下界 Ω(k²) 已被證明，與 O(k²) 的上界完全一致。
• 已建立不可壓縮性結果：任何保留終點對間距離在 t−ε 內或加法誤差為 2t−3 的壓縮函數，都必須使用至少 Ω(k^{1+1/(t−1)}) 比特，表示無法存在更小的 sparsifier。
• 本文構造出一組所有 k 個終點位於共同面上的平面圖，其可擁有大小為 O(k²) 的精確割 sparsifier，證明此界為漸近緊緻。
• 透過利用 (3,2)-Steiner 系統與繞道圖性質，作者證明任何保留距離的 sparsifier 必須具備 Ω(k²) 大小，從而顯示 O(k²) 為此類圖的最優解。