Local and union boxicity
Autor: | Torsten Ueckerdt, Thomas Bläsius, Peter Stumpf |
---|---|
Rok vydání: | 2018 |
Předmět: |
Computational Geometry (cs.CG)
FOS: Computer and information sciences Vertex (graph theory) Discrete Mathematics (cs.DM) 0102 computer and information sciences 02 engineering and technology 01 natural sciences Theoretical Computer Science Combinatorics Computer Science::Discrete Mathematics FOS: Mathematics 0202 electrical engineering electronic engineering information engineering Mathematics - Combinatorics Discrete Mathematics and Combinatorics Mathematics Discrete mathematics Intersection graph Graph 05C62 68R10 010201 computation theory & mathematics Computer Science - Computational Geometry 020201 artificial intelligence & image processing Combinatorics (math.CO) F.2.2 Boxicity Computer Science - Discrete Mathematics |
Zdroj: | Discrete Mathematics. 341:1307-1315 |
ISSN: | 0012-365X |
DOI: | 10.1016/j.disc.2018.02.003 |
Popis: | The boxicity $\operatorname{box}(H)$ of a graph $H$ is the smallest integer $d$ such that $H$ is the intersection of $d$ interval graphs, or equivalently, that $H$ is the intersection graph of axis-aligned boxes in $\mathbb{R}^d$. These intersection representations can be interpreted as covering representations of the complement $H^c$ of $H$ with co-interval graphs, that is, complements of interval graphs. We follow the recent framework of global, local and folded covering numbers (Knauer and Ueckerdt, Discrete Mathematics 339 (2016)) to define two new parameters: the local boxicity $\operatorname{box}_\ell(H)$ and the union boxicity $\overline{\operatorname{box}}(H)$ of $H$. The union boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with $d$ vertex-disjoint unions of co-interval graphs, while the local boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with co-interval graphs, at most $d$ at every vertex. We show that for every graph $H$ we have $\operatorname{box}_\ell(H) \leq \overline{\operatorname{box}}(H) \leq \operatorname{box}(H)$ and that each of these inequalities can be arbitrarily far apart. Moreover, we show that local and union boxicity are also characterized by intersection representations of appropriate axis-aligned boxes in $\mathbb{R}^d$. We demonstrate with a few striking examples, that in a sense, the local boxicity is a better indication for the complexity of a graph, than the classical boxicity. Comment: 13 pages, 3 figures |
Databáze: | OpenAIRE |
Externí odkaz: |