Let $\mathcal{R}$ be a family of axis-parallel rectangles in the plane. The transversal number $τ(\mathcal{R})$ is the minimum number of points needed to pierce all the rectangles. The independence number $ν(\mathcal{R})$ is the maximum number of pairwise disjoint rectangles. Given a positive real number $r$, we say that $\mathcal{R}$ is an r-bounded family if, for any rectangle in $\mathcal{R}$, the aspect ratio of the longer side over the shorter side is at most $r$. Gyárfás and Lehel asked if it is possible to bound the transversal number $τ(\mathcal{R})$ with a linear function of the independence number $ν(\mathcal{R})$. Ahlswede and Karapetyan claimed a positive answer for the particular case of $r$-bounded families, but without providing proof. Chudnovsky et al. confirmed the result proving the bound $τ\leq (14 + 2r^2) ν$. This note aims at giving a simple proof of $τ\leq 2(r+1)(ν-1) + 1$, slightly improving the previous results. As a consequence of this new approach, we also deduce a constant factor bound for the ratio $\fracχω$ in the case of $r$-bounded family.
We prove lower and upper bounds for the chromatic number of certain hypergraphs defined by geometric regions. This problem has close relations to conflict-free colorings. One of the most interesting type of regions to consider for this problem is that of the axis-parallel rectangles. We completely solve the problem for a special case of them, for bottomless rectangles. We also give an almost complete answer for half-planes and pose several open problems. Moreover we give efficient coloring algorithms.
Given a finite set S in $[0,1]^2$ including the origin, an anchored rectangle packing is a set of non-overlapping rectangles in the unit square where each rectangle has a point of S as its left-bottom corner and contains no point of S in its interior. Allen Freedman conjectured in the 1960's one can always find an anchored rectangle packing with total area at least $1/2$. We verify the conjecture for point configurations whose relative positions belong to certain classes of permutations.
By rectangle packing we mean putting a set of rectangles into an enclosing rectangle, without any overlapping. We begin with perfect rectangle packing problems, then prove two continuity properties for parallel rectangle packing problems, and discuss how they might be used to obtain negative results for perfect rectangle packing problems.
A two-dimensional \emph{grid} is a set $\Gnm = [n]\times[m]$. A grid $\Gnm$ is \emph{$c$-colorable} if there is a function $χ_{n,m}: \Gnm \to [c]$ such that there are no rectangles with all four corners the same color. We address the following question: for which values of $n$ and $m$ is $\Gnm$ $c$-colorable? This problem can be viewed as a bipartite Ramsey problem and is related to a the Gallai-Witt theorem (also called the multidimensioanl Van Der Waerden's Theorem). We determine (1) \emph{exactly} which grids are 2-colorable, (2) \emph{exactly} which grids are 3-colorable, and (3) \emph{exa…
For a nondecreasing sequence of integers $S=(s_1, s_2, \ldots)$ an $S$-packing $k$-coloring of a graph $G$ is a mapping from $V(G)$ to $\{1, 2,\ldots,k\}$ such that vertices with color $i$ have pairwise distance greater than $s_i$. By setting $s_i = d + \lfloor \frac{i-1}{n} \rfloor$ we obtain a $(d,n)$-packing coloring of a graph $G$. The smallest integer $k$ for which there exists a $(d,n)$-packing coloring of $G$ is called the $(d,n)$-packing chromatic number of $G$. In the special case when $d$ and $n$ are both equal to one we speak of the packing chromatic number of $G$. We determine the …
Let $S$ be a set of $n$ points in the unit square $[0,1]^2$, one of which is the origin. We construct $n$ pairwise interior-disjoint axis-aligned empty rectangles such that the lower left corner of each rectangle is a point in $S$, and the rectangles jointly cover at least a positive constant area (about 0.09). This is a first step towards the solution of a longstanding conjecture that the rectangles in such a packing can jointly cover an area of at least 1/2.
In 1960, Asplund and Grünbaum proved that every intersection graph of axis-parallel rectangles in the plane admits an $O(ω^2)$-coloring, where $ω$ is the maximum size of a clique. We present the first asymptotic improvement over this six-decade-old bound, proving that every such graph is $O(ω\logω)$-colorable and presenting a polynomial-time algorithm that finds such a coloring. This improvement leads to a polynomial-time $O(\log\log n)$-approximation algorithm for the maximum weight independent set problem in axis-parallel rectangles, which improves on the previous approximation ratio of $O(\…
For points $p_1,\ldots , p_n$ in the unit square $[0,1]^2$, an \emph{anchored rectangle packing} consists of interior-disjoint axis-aligned empty rectangles $r_1,\ldots , r_n\subseteq [0,1]^2$ such that point $p_i$ is a corner of the rectangle $r_i$ (that is, $r_i$ is \emph{anchored} at $p_i$) for $i=1,\ldots, n$. We show that for every set of $n$ points in $[0,1]^2$, there is an anchored rectangle packing of area at least $7/12-O(1/n)$, and for every $n\in \mathbf{N}$, there are point sets for which the area of every anchored rectangle packing is at most $2/3$. The maximum area of an anchored…
Let R be a family of n axis-parallel rectangles with packing number p-1, meaning that among any p of the rectangles, there are two with a non-empty intersection. We show that the union complexity of R is at most O(n+p^2), and that the (<=k)-level complexity of R is at most O(kn+k^2p^2). Both upper bounds are tight.
Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $χ_ρ(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier …
For $1\leq s_1 \le s_2 \le \ldots \le s_k$ and a graph $G$, a packing $(s_1, s_2, \ldots, s_k)$-coloring of $G$ is a partition of $V(G)$ into sets $V_1, V_2, \ldots, V_k$ such that, for each $1\leq i \leq k$, the distance between any two distinct $x,y\in V_i$ is at least $s_i + 1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. It is known that there are trees of maximum degree 4 and subcubic graphs $G$ with arbitrarily large $χ_p(G)$. Recently, there was a series of papers on packing $(s_1, s_2, \ldots, s_k)$…
We slightly improve the known lower bound on the asymptotic competitive ratio for online bin packing of rectangles. We present a complete proof for the new lower bound, whose value is above 1.91.
This paper proves a corner occupying theorem for the two-dimensional integral rectangle packing problem, stating that if it is possible to orthogonally place n arbitrarily given integral rectangles into an integral rectangular container without overlapping, then we can achieve a feasible packing by successively placing an integral rectangle onto a bottom-left corner in the container. Based on this theorem, we might develop efficient heuristic algorithms for solving the integral rectangle packing problem. In fact, as a vague conjecture, this theorem has been implicitly mentioned with different …
Answering a question of Wilf, we show that if $n$ is sufficiently large, then one cannot cover an $n \times p(n)$ rectangle using each of the $p(n)$ distinct Ferrers shapes of size $n$ exactly once. Moreover, the maximum number of pairwise distinct, non-overlapping Ferrers shapes that can be packed in such a rectangle is only $Θ(p(n)/ \log n).$
It is known that $\sum\limits_{i=1}^{\infty} \frac{1}{i (i+1)} = 1$. In 1968, Meir and Moser asked for finding the smallest $ε$ such that all the rectangles of sizes $1/i \times 1/(i + 1)$ for $i = 1, 2, \ldots$, can be packed into a unit square or a rectangle of area $1 + ε$. In this paper, we show that we can pack the first $1.35\cdot10^{11}$ rectangles into the unit square and give an estimate for $ε$ from this packing.
Let $P_{n}$ be a set of $n$ points, including the origin, in the unit square $U = [0,1]^2$. We consider the problem of constructing $n$ axis-parallel and mutually disjoint rectangles inside $U$ such that the bottom-left corner of each rectangle coincides with a point in $P_{n}$ and the total area covered by the rectangles is maximized \cite{ibmpuzzle}, \cite{Winkler2007}, \cite{Winkler2010a}, \cite{Winkler2010b}. The longstanding conjecture has been that at least half of $U$ can be covered when such rectangles are properly placed. In this paper, we give an existential proof of the conjecture.
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $p$ such that vertices of $G$ can be partitioned into disjoint classes $X_{1}, ..., X_{p}$ where vertices in $X_{i}$ have pairwise distance greater than $i$. For $k < t$ we study the packing chromatic number of infinite distance graphs $D(k, t)$, i.e. graphs with the set $\Z$ of integers as vertex set and in which two distinct vertices $i, j \in \Z$ are adjacent if and only if $|i - j| \in \{k, t\}$. We generalize results by Ekstein et al. for graphs $D (1, t)$. For sufficiently large $t$ we prove that $χ_ρ(D(k, t)) \…
Given a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, the mapping $f:V(G) \rightarrow \{1,\ldots,k\}$ is an $S$-packing $k$-coloring of $G$ if for any distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=i$ the distance between $u$ and $v$ in $G$ is greater than $a_i$. The smallest $k$ such that $G$ has an $S$-packing $k$-coloring is the $S$-packing chromatic number, $χ_S(G)$, of $G$. In this paper, we consider the distance graphs $G(\mathbb{Z},\{2,t\})$, where $t>1$ is an odd integer, which has $\mathbb{Z}$ as its vertex set, and $i,j\in\mathbb{Z}$ are adjacent…
Recently, it was proved that triangle-free intersection graphs of $n$ line segments in the plane can have chromatic number as large as $Θ(\log\log n)$. Essentially the same construction produces $Θ(\log\log n)$-chromatic triangle-free intersection graphs of a variety of other geometric shapes---those belonging to any class of compact arc-connected sets in $\mathbb{R}^2$ closed under horizontal scaling, vertical scaling, and translation, except for axis-parallel rectangles. We show that this construction is asymptotically optimal for intersection graphs of boundaries of axis-parallel rectangles…
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by $8$ in the family of Sierpiński graphs with base $3$, we prove that it is unbounded in the families of Sierpiński graphs with bases greater than $3$. On the other hand, we prove that the packing chromatic number in the family of …
It is known that $\sum\limits_{i =1}^\infty {1/ i^2}={π^2/6}$. Meir and Moser asked what is the smallest $ε$ such that all the squares of sides of length $1$, $1/2$, $1/3$, $\ldots$ can be packed into a rectangle of area ${π^2/6}+ε$. A packing into a rectangle of the right area is called perfect packing. Chalcraft packed the squares of sides of length $1$, $2^{-t}$, $3^{-t}$, $\ldots$ and he found perfect packing for $1/2<t\le3/5$. We will show based on an algorithm by Chalcraft that there are perfect packings if $1/2<t\le2/3$. Moreover we show that there is a perfect packing for all $t$ in th…
For a sequence of non-decreasing positive integers $S = (s_1, \ldots, s_k)$, a packing $S$-coloring is a partition of $V(G)$ into sets $V_1, \ldots, V_k$ such that for each $1\leq i \leq k$ the distance between any two distinct $x,y\in V_i$ is at least $s_i+1$. The smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring is called the packing chromatic number of $G$ and is denoted by $χ_p(G)$. For a graph $G$, let $D(G)$ denote the graph obtained from $G$ by subdividing every edge. The question whether $χ_p(D(G)) \le 5$ for all subcubic graphs was first asked by Gastineau and Togni…
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
Konkuk University（建国大学）；Korea Institute for Advanced Study (KIAS)（韩国高等研究院）；Xi’an Jiaotong-Liverpool University（西交利物浦大学）；Guizhou Minzu University（贵州民族大学）
Faculty of Education, University of Maribor（马里博尔大学教育学院）；Faculty of Natural Sciences and Mathematics, University of Maribor（马里博尔大学自然科学与数学学院）；Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）；Faculty of Applied Sciences, University of West Bohemia（西波希米亚大学应用科学学院）；Faculty of Computer and Information Science, University of Ljubljana（卢布尔雅那大学计算机与信息科学学院）
We consider the polychromatic coloring problems for unions of two or more geometric hypergraphs on the same vertex sets of points in the plane. We show, inter alia, that the union of bottomless rectangles and horizontal strips does in general not allow for polychromatic colorings. This strengthens the corresponding result of Chen, Pach, Szegedy, and Tardos [Random Struct. Algorithms, 34:11-23, 2009] for axis-aligned rectangles, and gives the first explicit (not randomized) construction of non-$2$-colorable hypergraphs defined by axis-parallel rectangles of arbitrarily large uniformity.
Given a non-decreasing sequence $S=(s\_1,s\_2, \ldots, s\_k)$ of positive integers, an {\em $S$-packing coloring} of a graph $G$ is a mapping $c$ from $V(G)$ to $\{s\_1,s\_2, \ldots, s\_k\}$ such that any two vertices with color $s\_i$ are at mutual distance greater than $s\_i$, $1\le i\le k$. This paper studies $S$-packing colorings of (sub)cubic graphs. We prove that subcubic graphs are $(1,2,2,2,2,2,2)$-packing colorable and $(1,1,2,2,3)$-packing colorable. For subdivisions of subcubic graphs we derive sharper bounds, and we provide an example of a cubic graph of order $38$ which is not $(1…
Given a non-decreasing sequence S = (s 1,s 2,. .. ,s k) of positive integers, an S-packing edge-coloring of a graph G is a partition of the edge set of G into k subsets {X 1 ,X 2,. .. ,X k } such that for each 1 $\le$ i $\le$ k, the distance between two distinct edges e, e ' $\in$ X i is at least s i + 1. This paper studies S-packing edge-colorings of cubic graphs. Among other results, we prove that cubic graphs having a 2-factor are (1,1,1,3,3)-packing edge-colorable, (1,1,1,4,4,4,4,4)-packing edge-colorable and (1,1,2,2,2,2,2)-packing edge-colorable. We determine sharper results for cubic gr…
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $Π_1,\ldots,Π_k$, where $Π_i$, $i\in [k]$, is an $i$-packing. The following conjecture is posed and studied: if $G$ is a subcubic graph, then $χ_ρ(S(G))\le 5$, where $S(G)$ is the subdivision of $G$. The conjecture is proved for all generalized prisms of cycles. To get this result it is proved that if $G$ is a generalized prism of a cycle, then $G$ is $(1,1,2,2)$-colorable if and only if $G$ is not the Petersen graph. The validity of the conjecture is fu…
Consider a directed analogue of the random graph process on $n$ vertices, where the $n(n-1)$ edges are ordered uniformly at random and revealed one at a time. It is known that w.h.p.\@ the first digraph in this process with both in-degree and out-degree $\geq q$ has a $[q]$-edge-coloring with a Hamilton cycle in each color. We show that this coloring can be constructed online, where each edge must be irrevocably colored as soon as it appears. In a similar fashion, for the \emph{undirected} random graph process, we present an online $[n]$-edge-coloring algorithm which yields w.h.p.\@ $q$ disjoi…
Given a graph $G$, a coloring $c:V(G)\longrightarrow \{1,\ldots,k\}$ such that $c(u)=c(v)=i$ implies that vertices $u$ and $v$ are at distance greater than $i$, is called a packing coloring of $G$. The minimum number of colors in a packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ(G)$. In this paper, we propose the study of $χ_ρ$-critical graphs, which are the graphs $G$ such that for any proper subgraph $H$ of $G$, $χ_ρ(H)<χ_ρ(G)$. We characterize $χ_ρ$-critical graphs with diameter 2, and $χ_ρ$-critical block graphs with diameter 3. Furthermore, we…
On (1,1,2,3)- and (1,1,3,3,3)-Packing Colorings of Claw-Free Subcubic Graphs
Lebanese University（黎巴嫩大学）；Lebanese International University (LIU)（黎巴嫩国际大学）；Al Maaref University（Al Maaref大学）；University of Sciences and Arts in Lebanon（黎巴嫩科学与艺术大学）；Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800（波尔多大学、法国国家科学研究中心、波尔多理工学院、LaBRI实验室）
A packing $k$-coloring of a graph $G$ is a partition of $V(G)$ into sets $V_1,\ldots,V_k$ such that for each $1\leq i\leq k$ the distance between any two distinct $x,y\in V_i$ is at least $i+1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the minimum $k$ such that $G$ has a packing $k$-coloring. Sloper showed that there are $4$-regular graphs with arbitrarily large packing chromatic number. The question whether the packing chromatic number of subcubic graphs is bounded appears in several papers. We answer this question in the negative. Moreover, we show that for every fixed $k$ a…
