contain ↗ reference
7720 papers tagged with this keyword
Uniquely restricted matchings in subcubic graphs without short cycles
A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We prove that any connected subcubic graph with $n$ vertices and girth at least $5$ contains a uniquely restricted matching of size at least $(n-1) / 3$ except for two exceptional cubic graphs of order $14$ and $20$.
Packing chromatic vertex-critical graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (February 18, 2019) dmtcs:4878
• View Publication
• BIB
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 [k]$, where vertices in $V_i$ are pairwise at distance at least $i+1$. Packing chromatic vertex-critical graphs, $χ_ρ$-critical for short, are introduced as the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. If $χ_ρ(G) = k$, then $G$ is $k$-$χ_ρ$-critical. It is shown that if $G$ is $χ_ρ$-critical, then the set $\{χ_ρ(G) - χ_ρ(G-x):\ x\in V(G)\}$ can be almost arbitrary. The $3$-$χ_ρ$-critical graphs are characterized, and $4$-$χ_ρ$-critical graphs are characterized in the case when they contain a cycle of length at least $5$ which is not congruent to $0$ modulo $4$. It is shown that for every integer $k\ge 2$ there exists a $k$-$χ_ρ$-critical tree and that a $k$-$χ_ρ$-critical caterpillar exists if and only if $k\le 7$. Cartesian products are also considered and in particular it is proved that if $G$ and $H$ are vertex-transitive graphs and ${\rm diam(G)} + {\rm diam}(H) \le χ_ρ(G)$, then $G\,\square\, H$ is $χ_ρ$-critical.
Spanning trees in random graphs
Published
• View Publication
• BIB
For each $Δ>0$, we prove that there exists some $C=C(Δ)$ for which the binomial random graph $G(n,C\log n/n)$ almost surely contains a copy of every tree with $n$ vertices and maximum degree at most $Δ$. In doing so, we confirm a conjecture by Kahn.
Upper Bound for Palindromic and Factor Complexity of Rich Words
Published
• View Publication
• BIB
A finite word $w$ of length $n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called rich. An infinite word $w$ is called rich if every finite factor of $w$ is rich.
Let $w$ be a word (finite or infinite) over an alphabet with $q>1$ letters, let $F(w,n)$ be the set of factors of length $n$ of the word $w$, and let $F_p(w,n)\subseteq F(w,n)$ be the set of palindromic factors of length $n$ of the word $w$.
We present several upper bounds for $| F(w,n)|$ and $| F_p(w,n)|$, where $w$ is a rich word. In particular we show that \[| F(w,n)| \leq (q+1)8n^2(8q^{10}n)^{\log_2{2n}}+q\mbox{.}\]
In 2007, Bal{á}{\v z}i, Mas{á}kov{á}, and Pelantov{á} showed that \[| F_p(w,n)| +| F_p(w,n+1)| \leq | F(w,n+1)|-| F(w,n)|+2\mbox{,}\] where $w$ is an infinite word whose set of factors is closed under reversal. We generalize this inequality for finite words.
The graph grabbing game on $\{0,1\}$-weighted graphs
Published
• View Publication
• BIB
The \emph{graph grabbing game} is a two-player game on a weighted connected graph in which two players, Alice and Bob, alternatively remove non-cut vertices one by one to gain the weights on them. Alice wins the game if she gains at least half of the total weights. In this paper, we show that on every connected even graph which does contain a fully spiked cycle as an induced subgraph, Alice always has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$. In addition, we give a list of forbidden subgraph for the family of graphs on which Alice has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$.
Graph reconstruction and generation from one card and the degree sequence
Many degree sequences can only be realised in graphs that contain a `ds-completable card', defined as a vertex-deleted subgraph in which the erstwhile neighbours of the deleted vertex can be identified from their degrees, if one knows the degree sequence of the original graph. We obtain conditions on the degree sequence, such that graphs whose degree sequence satisfies one of the conditions must contain such a card. The methods allow all such sequences on graphs of order up to 10 to be identified, and some fraction of the sequences for larger graphs. Among other applications, this can be used to reduce the computational task of generating graphs of a given degree sequence without duplicates.
Improved Inapproximability of Rainbow Coloring
Published
• View Publication
• BIB
A rainbow $q$-coloring of a $k$-uniform hypergraph is a $q$-coloring of the vertex set such that every hyperedge contains all $q$ colors.
We prove that given a rainbow $(k - 2\lfloor \sqrt{k}\rfloor)$-colorable $k$-uniform hypergraph, it is NP-hard to find a normal $2$-coloring. Previously, this was only known for rainbow $\lfloor k/2 \rfloor$-colorable hypergraphs (Guruswami and Lee, SODA 2015).
We also study a generalization which we call rainbow $(q, p)$-coloring, defined as a coloring using $q$ colors such that every hyperedge contains at least $p$ colors. We prove that given a rainbow $(k - \lfloor \sqrt{kc} \rfloor, k- \lfloor3\sqrt{kc} \rfloor)$-colorable $k$ uniform hypergraph, it is NP-hard to find a normal $c$-coloring for any $c = o(k)$.
The proof of our second result relies on two combinatorial theorems. One of the theorems was proved by Sarkaria (J. Comb. Theory. 1990) using topological methods and the other theorem we prove using a generalized Borsuk-Ulam theorem.
Nondegenerate spheres in four dimensions
Published
• View Publication
• BIB
Non-degeneracy was first defined for hyperplanes by Elekes-Tóth, and later extended to spheres by Apfelbaum-Sharir: given a set $P$ of $m$ points in $\mathbb{R}^d$ and some $β\in(0,1)$, a $(d-1)$-dimensional sphere (or a $(d-1)$-sphere) $S$ in $\mathbb{R}^d$ is called $β$-nondegenerate with respect to $P$ if $S$ does not contain a proper subsphere $S'$ such that $|S'\cap P|\geq β|S\cap P|$. Apfelbaum-Sharir found an upper bound for the number of incidences between points and nondegenerate spheres in three dimensions, which was recently used by Zahl to obtain the best known bound for the unit distance problem in three dimensions.
In this paper, we show that the number of incidences between $m$ points and $n$ $β$-nondegenerate 3-spheres in $\mathbb{R}^4$ is $O_{β,\varepsilon}\left(m^{\frac{15}{19}+\varepsilon} n^{\frac{16}{19}}+mn^{\frac{2}{3}}\right)$. As a consequence, we obtain a bound of $O_{\varepsilon}(n^{2+4/11+\varepsilon})$ on the number of similar triangles formed by $n$ points in $\mathbb{R}^4$, an improvement over the previously best known bound $O(n^{2+2/5})$.
While proving this, we find it convenient to work with a more general definition of nondegeneracy: a bipartite graph $G=(P,Q)$ is called $β$-nondegenerate if $|N(q_1)\cap N(q_2)|<β|N(q_1)|$ for any two distinct vertices $q_1,q_2\in Q$; here $N(q)$ denotes the set of neighbors of $q$ and $β$ is some positive constant less than 1. A $β$-nondegenerate graph can have up to $Θ(|P||Q|)$ edges without any restriction, but must have much fewer edges if the graph is semi-algebraic or has bounded VC-dimension. We show that previous results for planes and spheres in three dimensions still hold under this new definition, and so does our new bound for spheres in four dimensions.
On non-repetitive sequences of arithmetic progressions:the cases $k \in \{4,5,6,7,8\}$
Published
• View Publication
• BIB
A $d$-subsequence of a sequence $\varphi = x_1\dots x_n$ is a subsequence $x_i x_{i+d} x_{i+2d} \dots$, for any positive integer $d$ and any $i$, $1 \le i \le n$. A \textit{$k$-Thue sequence} is a sequence in which every $d$-subsequence, for $1 \le d \le k$, is non-repetitive, i.e. it contains no consecutive equal subsequences. In 2002, Grytczuk proposed a conjecture that for any $k$, $k+2$ symbols are enough to construct a $k$-Thue sequences of arbitrary lengths. So far, the conjecture has been confirmed for $k \in \{1,2,3,5\}$. Here, we present two different proving techniques, and confirm it for all $k$, with $2 \le k \le 8$.
The largest projective cube-free subsets of $\mathbb{Z}_{2^n}$
Published
• View Publication
• BIB
In the Boolean lattice, Sperner's, Erdős's, Kleitman's and Samotij's theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of $\mathbb{Z}_2^n$ we work in $\mathbb{Z}_{2^n}$, several analogous statements hold if one replaces the word $k$-chain by projective cube of dimension $2^{k-1}$.
We say that $B_d$ is a projective cube of dimension $d$ if there are numbers $a_1, a_2, \ldots, a_d$ such that $$B_d = \left\{\sum_{i\in I} a_i \bigg\rvert \emptyset \neq I\subseteq [d]\right\}.$$
As an analog of Sperner's and Erdős's theorems, we show that whenever $d=2^{\ell}$ is a power of two, the largest $d$-cube free set in $\mathbb{Z}_{2^n}$ is the union of the largest $\ell$ layers. As an analog of Kleitman's theorem, Samotij and Sudakov asked whether among subsets of $\mathbb{Z}_{2^n}$ of given size $M$, the sets that minimize the number of Schur triples (2-cubes) are those that are obtained by filling up the largest layers consecutively. We prove the first non-trivial case where $M=2^{n-1}+1$, and conjecture that the analog of Samotij's theorem also holds.
Several open questions and conjectures are also given.
Improved Ramsey-type results for comparability graphs
Published in Combinatorics, Probability and Computing 29 (2020), 747-756
• View Publication
• BIB
Several discrete geometry problems are equivalent to estimating the size of the largest homogeneous sets in graphs that happen to be the union of few comparability graphs. An important observation for such results is that if $G$ is an $n$-vertex graph that is the union of $r$ comparability (or more generally, perfect) graphs, then either $G$ or its complement contains a clique of size $n^{1/(r+1)}$.
This bound is known to be tight for $r=1$. The question whether it is optimal for $r\ge 2$ was studied by Dumitrescu and Tóth. We prove that it is essentially best possible for $r=2$, as well: we introduce a probabilistic construction of two comparability graphs on $n$ vertices, whose union contains no clique or independent set of size $n^{1/3+o(1)}$.
Using similar ideas, we can also construct a graph $G$ that is the union of $r$ comparability graphs, and neither $G$, nor its complement contains a complete bipartite graph with parts of size $\frac{cn}{(\log n)^r}$. With this, we improve a result of Fox and Pach.
Few $T$ copies in $H$-saturated graphs
Published
• View Publication
• BIB
A graph is $F$-saturated if it is $F$-free but the addition of any edge creates a copy of $F$. In this paper we study the quantity $\mathrm{sat}(n, H, F)$ which denotes the minimum number of copies of $H$ that an $F$-saturated graph on $n$ vertices may contain. This parameter is a natural saturation analogue of Alon and Shikhelman's generalized Turán problem, and letting $H = K_2$ recovers the well-studied saturation function. We provide a first investigation into this general function focusing on the cases where the host graph is either $K_s$ or $C_k$-saturated. Some representative interesting behavior is:
(a) For any natural number $m$, there are graphs $H$ and $F$ such that $\mathrm{sat}(n, H, F) = Θ(n^m)$.
(b) For many pairs $k$ and $l$, we show $\mathrm{sat}(n, C_l, C_k) = 0$. In particular, we prove that there exists a triangle-free $C_k$-saturated graph on $n$ vertices for any $k > 4$ and large enough $n$.
(c) $\mathrm{sat}(n, K_3, K_4) = n-2$, $\mathrm{sat}(n, C_4, K_4) \sim \frac{n^2}{2}$, and $\mathrm{sat}(n, C_6, K_5) \sim n^3$.
We discuss several intriguing problems which remain unsolved.
Partial words with a unique position starting a square
Published in Inform. Process. Lett., Volume 145, May 2019, Pages 44-47
• View Publication
• BIB
We consider partial words with a unique position starting a power. We show that over a $k$ letter alphabet, a partial word with a unique position starting a square can contain at most $k$ squares. This is in contrast to full words which can contain at most one power if a unique position starts a power. For certain higher powers we exhibit binary partial words containing three powers all of which start at the same position.
Covering the Plane by a Sequence of Circular Disks with a Constraint
Published in Computational Geometry, Volume 91, December 2020, 101680
• View Publication
• BIB
We are interested in the following problem of covering the plane by a sequence of congruent circular disks with a constraint on the distance between consecutive disks. Let $(\mathcal{D}_n)_{n \in \mathbb N}$ be a sequence of closed unit circular disks such that $\cup_{n \in \mathbb{N}} \mathcal{D}_n = \mathbb {R}^2$ with the condition that for $n \ge 2$, the center of the disk $\mathcal{D}_n$ lies in $\mathcal{D}_{n-1}$. What is a "most economical" or an optimal way of placing $\mathcal{D}_n$ for all $n \in \mathbb{N}$? We answer this question in the case where no "sharp" turn is allowed, i.e. if $C_n$ is the center of the disk $\mathcal{D}_n$, then for all $n \ge 2$, % $\angle C_{n-1}C_nC_{n+1}$ is not very small.
We also consider a related problem. We wish to find out an optimal way to cover the plane with unit circular disks with the constraint that each disk contains the centers of at least two other disks. We find out the answer in the case when the centers of the disks form a two-dimensional lattice.
Some Sufficient Conditions on Pancyclic Graphs
Published
• View Publication
• BIB
A pancyclic graph is a graph that contains cycles of all possible lengths from three up to the number of vertices in the graph. In this paper, we establish some new sufficient conditions for a graph to be pancyclic in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph.
There does not exist a distance-regular graph with intersection array $\{80, 54,12; 1, 6, 60\}$
Published
• View Publication
• BIB
In this paper we will show that there does not exist a distance-regular graph $Γ$ with intersection array $\{80, 54,12; 1, 6, 60\}$. We first show that a local graph $Δ$ of $Γ$ does not contain a coclique with 5 vertices, and then we prove that the graph $Γ$ is geometric by showing that $Δ$ consists of 4 disjoint cliques with 20 vertices. Then we apply a result of Koolen and Bang to the graph $Γ$, and we could obtain that there is no such a distance-regular graph.
Non-monochromatic Triangles in a 2-Edge-Coloured Graph
Published
• View Publication
• BIB
Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks.
Ramsey and Gallai-Ramsey numbers for two classes of unicyclic graphs
Published
• View Publication
• BIB
Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we consider two classes of unicyclic graphs, the star with an extra edge and the path with a triangle at one end. We provide the $2$-color Ramsey numbers for these two classes of graphs and use these to obtain general upper and lower bounds on the Gallai-Ramsey numbers.
On the counterexamples to Borsuk's conjecture by Kahn and Kalai
In the concluding remarks of their 1993 published and now famous paper, Jeff Kahn and Gil Kalai wrote in particular: "Our construction shows that Borsuk's conjecture is false for d = 1,325 and for every d > 2,014."
But, as Bernulf Weiszbach remarked in his paper from 2000, a simple (few steps for an upper-class pocket calculator) computation indicates that that claim is not true for d=1325.
William Kretschmer (Univ. of Texas) sent me his writeup on that paper by Kahn and Kalai, in particular pointing out that the derivation of the formula used in that computation disregarded a certain aspect, that way missed the chance to remove one final halving from that formula and to indeed provide a proof that a certain point set is a counterexample for dimension 1325 (and all higher dimensions up to 1560, too).
This updated article takes a closer look at that derivation, gives an own, much more detailed and formal version of it that delivers the improved/corrected formula, and contains some further conclusions.
The Combinatorial Data Fusion Problem in Conflicted-supervised Learning
The best merge problem in industrial data science generates instances where disparate data sources place incompatible relational structures on the same set $V$ of objects. Graph vertex labelling data may include (1) missing or erroneous labels,(2) assertions that two vertices carry the same (unspecified) label, and (3) denying some subset of vertices from carrying the same label. Conflicted-supervised learning applies to cases where no labelling scheme satisfies (1), (2), and (3). Our rigorous formulation starts from a connected weighted graph $(V, E)$, and an independence system $\mathcal{S}$ on $V$, characterized by its circuits, called forbidden sets. Global incompatibility is expressed by the fact $V \notin \mathcal{S}$. Combinatorial data fusion seeks a subset $E_1 \subset E$ of maximum edge weight so that no vertex component of the subgraph $(V, E_1)$ contains any forbidden set. Multicut and multiway cut are special cases where all forbidden sets have cardinality two. The general case exhibits unintuitive properties, shown in counterexamples. The first in a series of papers concentrates on cases where $(V, E)$ is a tree, and presents an algorithm on general graphs, in which the combinatorial data fusion problem is transferred to the Gomory-Hu tree, where it is solved using greedy set cover. Experimental results are given.