Space Limited Graph Algorithms on Big Data

We study algorithms for graph problems in which the graphs are of extremely large size N so that super-linear time ω(N) $$\omega (N)$$ or linear space Θ(N) $$\varTheta (N)$$ would become impractical. We use a parameter k to characterize the computational power of a normal computer that can provide a...

Full description

Saved in:
Bibliographic Details
Published inComputing and Combinatorics Vol. 13595; pp. 255 - 267
Main Authors Chen, Jianer, Chu, Zirui, Guo, Ying, Yang, Wei
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2023
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text
ISBN3031221044
9783031221040
ISSN0302-9743
1611-3349
DOI10.1007/978-3-031-22105-7_23

Cover

More Information
Summary:We study algorithms for graph problems in which the graphs are of extremely large size N so that super-linear time ω(N) $$\omega (N)$$ or linear space Θ(N) $$\varTheta (N)$$ would become impractical. We use a parameter k to characterize the computational power of a normal computer that can provide additional time and space bounded by polynomials of k. In particular, we are interested in strict linear-time algorithms using space O(kO(1)) $$O(k^{O(1)})$$ . In our case studies, as examples, we present a randomized algorithm of time O(N) and space O(k2) $$O(k^2)$$ that constructs a maximal matching of size upper bounded by k in a graph of size N, and a randomized kernelization algorithm of time O(N) and space O(k3) $$O(k^3)$$ for the NP-hard Edge Dominating Set problem. Our kernelization algorithm for Edge Dominating Set has its kernel size match the best kernel size by known polynomial-time kernelization algorithms for the problem with no space complexity constraints. We also show that the techniques developed in our algorithms can be used to develop improved streaming algorithms.
Bibliography:Supported by National Natural Science Foundation of China under grant 61872097.
Original Abstract: We study algorithms for graph problems in which the graphs are of extremely large size N so that super-linear time ω(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega (N)$$\end{document} or linear space Θ(N)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varTheta (N)$$\end{document} would become impractical. We use a parameter k to characterize the computational power of a normal computer that can provide additional time and space bounded by polynomials of k. In particular, we are interested in strict linear-time algorithms using space O(kO(1))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(k^{O(1)})$$\end{document}. In our case studies, as examples, we present a randomized algorithm of time O(N) and space O(k2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(k^2)$$\end{document} that constructs a maximal matching of size upper bounded by k in a graph of size N, and a randomized kernelization algorithm of time O(N) and space O(k3)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(k^3)$$\end{document} for the NP-hard Edge Dominating Set problem. Our kernelization algorithm for Edge Dominating Set has its kernel size match the best kernel size by known polynomial-time kernelization algorithms for the problem with no space complexity constraints. We also show that the techniques developed in our algorithms can be used to develop improved streaming algorithms.
ISBN:3031221044
9783031221040
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-031-22105-7_23