×

Small vertex cover helps in fixed-parameter tractability of graph deletion problems over data streams. (English) Zbl 1530.05146

Summary: In the study of parameterized streaming complexity on graph problems, the main goal is to design streaming algorithms for parameterized problems such that \(\mathcal{O}(f(k) \log^{\mathcal{O}(1)} n)\) space is enough, where \(f\) is an arbitrary computable function depending only on the parameter \(k\). However, in the past few years very few positive results have been established. Most of the graph problems that do have streaming algorithms of the above nature are ones where localized checking is required, like Vertex Cover or Maximum Matching parameterized by the size \(k\) of the solution we are seeking. R. Chitnis et al. [SODA 2016, 1326–1344 (2016; Zbl 1409.68341)] have shown that many important parameterized problems that form the backbone of traditional parameterized complexity are known to require \(\Omega (n)\) bits of storage for any streaming algorithm; e.g. Feedback Vertex Set, Even Cycle Transversal, Odd Cycle Transversal, Triangle Deletion or the more general \(\mathcal{F}\)-Subgraph Deletion when parameterized by solution size \(k\). Our contribution lies in overcoming the obstacles to efficient parameterized streaming algorithms in graph deletion problems by utilizing the power of parameterization. We focus on the vertex cover size \(K\) as the parameter for the parameterized graph deletion problems we consider. In this work, we consider the four most well-studied streaming models: the Ea, Dea, Va (vertex arrival) and Al (adjacency list) models. Surprisingly, the consideration of vertex cover size \(K\) in the different models leads to a classification of positive and negative results for problems like \(\mathcal{F}\)-Subgraph Deletion and \(\mathcal{F}\)-Minor Deletion.

MSC:

05C70 Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)
05C85 Graph algorithms (graph-theoretic aspects)
68R10 Graph theory (including graph drawing) in computer science
68W05 Nonnumerical algorithms
68Q25 Analysis of algorithms and problem complexity

Citations:

Zbl 1409.68341

References:

[1] Assadi, S., Khanna, S., Li, Y.: Tight Bounds for Single-pass Streaming Complexity of the Set Cover Problem. In Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC, pp 698-711 (2016) · Zbl 1373.68250
[2] Agarwal, D., McGregor, A., Phillips, J.M., Venkatasubramanian, S., Zhu, Z.: Spatial Scan Statistics Approximations and Performance Study. In Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp 24-33 (2006)
[3] Bury, M.; Grigorescu, E.; McGregor, A.; Monemizadeh, M.; Schwiegelshohn, C.; Vorotnikova, S.; Zhou, S., Structural Results on Matching Estimation with Applications to Streaming, Algorithmica, 81, 1, 367-392 (2019) · Zbl 1412.68163 · doi:10.1007/s00453-018-0449-y
[4] Bishnu, A., Ghosh, A., Mishra, G., Sen, S.: On the streaming complexity of fundamental geometric problems. CoRR, abs/1803.06875 (2018)
[5] Cai, L., Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties, Inf. Process. Lett., 58, 4, 171-176 (1996) · Zbl 0875.68702 · doi:10.1016/0020-0190(96)00050-6
[6] Chitnis, R.H., Cormode, G., Esfandiari, H., Hajiaghayi, M., Monemizadeh, M.: Brief Announcement New Streaming Algorithms for Parameterized Maximal Matching & Beyond. In Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA, pp 56-58 (2015)
[7] Chitnis, R., Cormode, G., Esfandiari, H., Hajiaghayi, M., McGregor, A., Monemizadeh, M., Vorotnikova, S.: Kernelization via Sampling with Applications to Finding Matchings and Related Problems in Dynamic Graph Streams. In Proceedings of the 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pp 1326-1344 (2016) · Zbl 1409.68341
[8] Chitnis, R.H., Cormode, G., Hajiaghayi, M.T., Monemizadeh, M.: Parameterized Streaming: Maximal Matching and Vertex Cover. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pp 1234-1251 (2015) · Zbl 1372.68207
[9] Cormode, G., Dark, J., Konrad, C.: Independent Sets in Vertex-Arrival Streams. In Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, ICALP, pp 45:1-45:14 (2019) · Zbl 1517.68285
[10] Cygan, M.; Fomin, FV; Kowalik, L.; Lokshtanov, D.; Marx, D.; Pilipczuk, M.; Pilipczuk, M.; Saurabh, S., Parameterized Algorithms (2015), Incorporated: Springer Publishing Company, Incorporated · Zbl 1334.90001 · doi:10.1007/978-3-319-21275-3
[11] Cormode, G., Jowhari, H., Monemizadeh, M., Muthukrishnan, S.: The Sparse Awakens Streaming Algorithms for Matching Size Estimation in Sparse Graphs. In Proceedings of the 25th Annual European Symposium on Algorithms, ESA, volume 87, pp 29:1-29:15 (2017) · Zbl 1442.68273
[12] Cao, Y., Marx, D.: Interval Deletion Is Fixed-Parameter Tractable. ACM Trans. Algorithms, 11(3):21:1-21:35 (2015) · Zbl 1398.68220
[13] Cao, Y.; Marx, D., Chordal Editing is Fixed-Parameter Tractable, Algorithmica, 75, 1, 118-137 (2016) · Zbl 1344.68095 · doi:10.1007/s00453-015-0014-x
[14] Esfandiari, H.; Hajiaghayi, M.; Liaghat, V.; Monemizadeh, M.; Onak, K., Streaming Algorithms for Estimating the Matching Size in Planar Graphs and Beyond, ACM Trans. Alg., 14, 4, 1-23 (2018) · Zbl 1454.68191
[15] Fomin, FV; Jansen, BMP; Pilipczuk, M., Preprocessing subgraph and minor problems When does a small vertex cover help?, J. Comput. Syst. Sci., 80, 2, 468-495 (2014) · Zbl 1277.68095 · doi:10.1016/j.jcss.2013.09.004
[16] Fafianie, S., Kratsch, S.: Streaming kernelization. In Proceedings of the 39th International Symposium on Math. Found. Comput. Sci., MFCS, pp 275-286 (2014) · Zbl 1426.68120
[17] Fomin, FV; Lokshtanov, D.; Misra, N.; Philip, G.; Saurabh, S., Hitting Forbidden Minors Approximation and Kernelization, SIAM J. Discret. Math., 30, 1, 383-410 (2016) · Zbl 1336.68123 · doi:10.1137/140997889
[18] Fomin, F.V., Lokshtanov, D., Misra, N., Saurabh, S.: Planar F-Deletion Approximation, Kernelization and Optimal FPT Algorithms. In Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS, pP 470-479 (2012)
[19] Guruswami, V., Velingker, A., Velusamy, S.: Streaming Complexity of Approximating Max 2CSP and Max Acyclic Subgraph. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM, pP 8:1-8:19 (2017) · Zbl 1467.68064
[20] Kapralov, M., Khanna, S., Sudan, M., Velingker, A.: \(1+\Omega (1)\) approximation to MAX-CUT Requires Linear Space. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA, pp 1703-1722 (2017) · Zbl 1410.68169
[21] Kim, E.J., Langer, A., Paul, C., Reidl, F., Rossmanith, P., Sau, I., Sikdar, S.: Linear Kernels and Single-Exponential Algorithms Via Protrusion Decompositions. ACM Trans. Algorithms, 12(2):21:1-21:41 (2016) · Zbl 1398.68245
[22] Kushilevitz, E.; Nisan, N., Communication Complexity (1997), New York, NY, USA: Cambridge University Press, New York, NY, USA · Zbl 0869.68048
[23] Kociumaka, T.; Pilipczuk, M., Faster deterministic Feedback Vertex Set, Inf. Process. Lett., 114, 10, 556-560 (2014) · Zbl 1371.68116 · doi:10.1016/j.ipl.2014.05.001
[24] Marx, D., Chordal Deletion is Fixed-Parameter Tractable, Algorithmica, 57, 4, 747-768 (2010) · Zbl 1220.05066 · doi:10.1007/s00453-008-9233-8
[25] McGregor, A., Graph Stream Algorithms A Survey, SIGMOD Record, 43, 1, 9-20 (2014) · doi:10.1145/2627692.2627694
[26] McGregor, A.; Vorotnikova, S., Planar Matching in Streams Revisited (2016), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik: In APPROX/RANDOM, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik · Zbl 1398.68682
[27] McGregor, A.; Vorotnikova, S., A Simple, Space-Efficient (2018), In SOSA: Streaming Algorithm for Matchings in Low Arboricity Graphs, In SOSA · Zbl 1433.68622
[28] McGregor, A., Vorotnikova, S., Vu, H.T.: Better Algorithms for Counting Triangles in Data Streams. In Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS, pp 401-411 (2016)
[29] Reed, BA; Smith, K.; Vetta, A., Finding odd cycle transversals, Oper. Res. Lett., 32, 4, 299-301 (2004) · Zbl 1052.05061 · doi:10.1016/j.orl.2003.10.009
[30] Sun, X., Woodruff, D.P.: Tight Bounds for Graph Problems in Insertion Streams. In Proceedings of the 18th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, pp 435-448 (2015) · Zbl 1375.68062
[31] Thomassé, S.: A \(4k^2\) Kernel for Feedback Vertex Set. ACM Trans. Algorithms, 6(2):32:1-32:8 (2010) · Zbl 1300.05236
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.