graph
34604 papers tagged with this keyword
Regular decomposition of the edge set of graphs with applications
We introduce a new method for decomposing the edge set of a graph, and use it to replace the Regularity lemma of Szemerédi in some graph embedding problems. An algorithmic version is also given.
A new graph decomposition method for bipartite graphs
Given a sufficiently large and sufficiently dense bipartite graph $G=(A, B; E),$ we present a novel method for decomposing the majority of the edges of $G$ into quasirandom graphs so that the vertex sets of these quasirandom graphs partition the majority of $A.$ The method works for relatively small or sparse graphs, and can be used to substitute the Regularity lemma of Szemerédi in some graph embedding problems.
A spanning union of cycles in rectangular grid graphs, thick grid cylinders and Moebius strips
Motivated to find the answers to some of the questions that have occurred in recent papers dealing with Hamiltonian cycles (abbreviated HCs) in some special classes of grid graphs we started the investigation of spanning unions of cycles, the so-called 2-factors, in these graphs (as a generalizations of HCs). For all the three types of graphs from the title and for any integer $m \geq 2$ we propose an algorithm for obtaining a specially designed (transfer) digraph ${\cal D}^*_m$. The problem of enumeration of 2-factors is reduced to the problem of enumerating oriented walks in this digraph. Computational results we gathered for $m \leq 17$ reveal some interesting properties both for the digraphs ${\cal D}^*_m$ and for the sequences of numbers of 2-factors. We prove some of them for arbitrary $m \geq 2$.
$2$-distance $(Δ+2)$-coloring of sparse graphs
A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($Δ+2$)-coloring for graphs with maximum average degree less than $\frac{8}{3}$ (resp. $\frac{14}{5}$) and maximum degree $Δ\geq 6$ (resp. $Δ\geq 10$). As a corollary, every planar graph with girth at least $8$ (resp. $7$) and maximum degree $Δ\geq 6$ (resp. $Δ\geq 10$) admits a $2$-distance $(Δ+2)$-coloring.
Vertebrate interval graphs
A vertebrate interval graph is an interval graph in which the maximum size of a set of independent vertices equals the number of maximal cliques. For any fixed $v \ge 1$, there is a polynomial-time algorithm for deciding whether a vertebrate interval graph admits a vertex partition into two induced subgraphs with claw number at most $v$. In particular, when $v = 2$, whether a vertebrate interval graph can be partitioned into two proper interval graphs can be decided in polynomial time.
The Multipartite Ramsey numbers $m_j(C_3, C_m, n_1K_2,n_2K_2,\ldots, n_iK_2)$
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy of $G_i$ for at least on $i$. C. J. Jayawardene, E. T. Baskoro et al. $(2016)$ gave the size of M-R-numbe $m_j(nK_2, C_7)$ for $j \geq 2 $ and $n\leq 6$. Y. Rowshan et al. $(2021)$ gave the size of M-R-number $m_j(nK_2, C_7)$ for $j = 2,3, 4$ and $n\geq 2$. Y. Rowshan $(2021)$ gave the size of M-R-number $m_j(nK_2,C_7)$, for each $j\geq 5$ and $n\geq 2$. In this article we compute the size of M-R-number $m_j(C_3,C_3, nK_2)$ for each $j\geq 7$, $n\geq 1$, $m_j(C_3,C_3, n_1K_2,n_2K_,\ldots,n_iK_2)$ for each $2\leq j\leq 6$, $i\geq 2, n_i\geq 1$, and M-R-number $m_j(C_3,C_4, nK_2)$, for each $n\geq 1$, and small $j$.
Peg solitaire and Conway's soldiers on infinite graphs
Peg solitaire is classically a one-player game played on a grid board containing pegs. The goal of the game is to have a single peg remaining on the board by sequentially jumping with a peg over an adjacent peg onto an empty cell while eliminating the jumped peg. Conway's soldiers is a related game played on $\mathbb{Z}^2$ with pegs initially located on the half-space $y \le 0$. The goal is to bring a peg as far up as possible on the board using peg solitaire jumps. Conway showed that bringing a peg to the line $y = 5$ is impossible with finitely many jumps. Applying Conway's approach, we prove an analogous impossibility property on graphs. In addition, we generalize peg solitaire on finite graphs as introduced by Beeler and Hoilman (2011) to an infinite game played on countable graphs.
Uniform forcing and immune sets in graphs and hypergraphs
Published in Discrete Applied Mathematics 305 (2021) 23-33
• View Publication
• BIB
Zero forcing is an iterative coloring process on a graph that has been widely used in such different areas as the modelling of propagation phenomena in networks and the study of minimum rank problems in matrices and graphs. This paper deals with zero forcing on hypergraphs. (Representing a network by a hypergraph allows us to account for its community structure and for more general interactions between different subsets of nodes.)
We consider two natural generalizations to hypergraphs of zero forcing on graphs (one of them already known) and, for each one of these generalizations we look into two clutters that play a significant role in the forcing process: the clutter of minimal forcing sets and the one of minimal immune sets. A formulation of immune sets in terms of neighbourhoods (hence without making reference to the iterative zero forcing process) is presented, highlighting the different behaviour of the distinct forcing rules. Moreover, we obtain the families of minimal forcing and minimal immune sets in the case of complete hypergraphs and we provide a full characterization of forcing and immune uniform clutters, both in the graph and in the hypergraph case.
The Lovász-Cherkassky theorem for locally finite graphs with ends
Published in Discrete Mathematics, Volume 346, Issue 12, 2023, Article 113586
• View Publication
• BIB
Lovász and Cherkassky discovered independently that, if $G$ is a finite graph and $T\subseteq V(G)$ such that the degree $d_G(v)$ is even for every vertex $v\in V(G)\setminus T$, then the maximum number of edge-disjoint paths which are internally disjoint from~$T$ and connect distinct vertices of $T$ is equal to $\frac{1}{2} \sum_{t\in T}λ_G(t, T\setminus \{t\})$ (where $λ_G(t, T\setminus \{t\})$ is the size of a smallest cut that separates $t$ and $T\setminus\{t\}$). From another perspective, this means that for every vertex $t\in T$, in any optimal path-system there are $λ_G(t, T\setminus \{t\})$ many paths between $t$ and~$T\setminus\{t\}$. We extend the theorem of Lovász and Cherkassky based on this reformulation to all locally-finite infinite graphs and their ends. In our generalisation, $T$ may contain not just vertices but ends as well, and paths are one-way (two-way) infinite when they establish a vertex-end (end-end) connection.
Insertion and Lie Bracket Concerning Finite Sets
In this article we discuss the operations of partitions (sequence of disjoint finite subsets) which are quotient, insertion, composition and Lie bracket. Moreover, we discuss applications of those operations for Feymman diagrams and Kontesvich's graphs.
Spectral radius conditions for the existence of all subtrees of diameter at most four
Published in Linear Algebra and its Applications, 663 (2023), 80-101
• View Publication
• BIB
Let $μ(G)$ denote the spectral radius of a graph $G$. We partly confirm a conjecture due to Nikiforov, which is a spectral radius analogue of the well-known Erdős-Sós Conjecture that any tree of order $t$ is contained in a graph of average degree greater than $t-2$. Let $S_{n,k}=K_{k}\vee\overline{K_{n-k}}$, and let $S_{n,k}^{+}$ be the graph obtained from $S_{n,k}$ by adding a single edge joining two vertices of the independent set of $S_{n,k}$. In 2010, Nikiforov conjectured that for a given integer $k$, every graph $G$ of sufficiently large order $n$ with $μ(G)\geq μ(S_{n,k}^{+})$ contains all trees of order $2k+3$, unless $G=S_{n,k}^{+}$. We confirm this conjecture for trees with diameter at most four, with one exception. In fact, we prove the following stronger result for $k\geq 8$. If a graph $G$ with sufficiently large order $n$ satisfies $μ(G)\geq μ(S_{n,k})$ and $G\neq S_{n,k}$, then $G$ contains all trees of order $2k+3$ with diameter at most four, except for the tree obtained from a star $K_{1,k+1}$ by subdividing each of its $k+1$ edges once.
A special case of Vu's conjecture: Coloring nearly disjoint graphs of bounded maximum degree
Published
• View Publication
• BIB
A collection of graphs is \textit{nearly disjoint} if every pair of them intersects in at most one vertex. We prove that if $G_1, \dots, G_m$ are nearly disjoint graphs of maximum degree at most $D$, then the following holds. For every fixed $C$, if each vertex $v \in \bigcup_{i=1}^m V(G_i)$ is contained in at most $C$ of the graphs $G_1, \dots, G_m$, then the (list) chromatic number of $\bigcup_{i=1}^m G_i$ is at most $D + o(D)$. This result confirms a special case of a conjecture of Vu and generalizes Kahn's bound on the list chromatic index of linear uniform hypergraphs of bounded maximum degree. In fact, this result holds for the correspondence (or DP) chromatic number and thus implies a recent result of Molloy, and we derive this result from a more general list coloring result in the setting of `color degrees' that also implies a result of Reed and Sudakov.
Even factors in edge-chromatic-critical graphs with a small number of divalent vertices
Published in Graphs and Combinatorics 38, 104 (2022)
• View Publication
• BIB
A finite simple connected graph $G$ with maximum degree $k$ is $k$-critical if it has chromatic index $χ'(G)=k+1$ and $χ'(G-e)=k$ for every edge $e\in E(G)$. Bej and the first author raised the question whether every $k$-critical graph has an even factor. We prove that every $k$-critical graph with at most $2k-6$ vertices of degree 2 has an even factor.
Partitioning an interval graph into subgraphs with small claws
The claw number of a graph $G$ is the largest number $v$ such that $K_{1,v}$ is an induced subgraph of $G$. Interval graphs with claw number at most $v$ are cluster graphs when $v = 1$, and are proper interval graphs when $v = 2$.
Let $κ(n,v)$ be the smallest number $k$ such that every interval graph with $n$ vertices admits a vertex partition into $k$ induced subgraphs with claw number at most $v$. Let $\checkκ(w,v)$ be the smallest number $k$ such that every interval graph with claw number $w$ admits a vertex partition into $k$ induced subgraphs with claw number at most $v$. We show that $κ(n,v) = \lfloor\log_{v+1} (n v + 1)\rfloor$, and that $\lfloor\log_{v+1} w\rfloor + 1 \le \checkκ(w,v) \le \lfloor\log_{v+1} w\rfloor + 3$.
Besides the combinatorial bounds, we also present a simple approximation algorithm for partitioning an interval graph into the minimum number of induced subgraphs with claw number at most $v$, with approximation ratio $3$ when $1 \le v \le 2$, and $2$ when $v \ge 3$.
Temporal Inference with Finite Factored Sets
We propose a new approach to temporal inference, inspired by the Pearlian causal inference paradigm - though quite different from Pearl's approach formally. Rather than using directed acyclic graphs, we make use of factored sets, which are sets expressed as Cartesian products. We show that finite factored sets are powerful tools for inferring temporal relations. We introduce an analog of d-separation for factored sets, conditional orthogonality, and we demonstrate that this notion is equivalent to conditional independence in all probability distributions on a finite factored set.
Many nodal domains in random regular graphs
Published
• View Publication
• BIB
Let $G$ be a random $d$-regular graph. We prove that for every constant $α> 0$, with high probability every eigenvector of the adjacency matrix of $G$ with eigenvalue less than $-2\sqrt{d-2}-α$ has $Ω(n/$polylog$(n))$ nodal domains.
Note on the Turán number of the $3$-linear hypergraph $C_{13}$
Published
• View Publication
• BIB
Let the crown $C_{13}$ be the linear $3$-graph on $9$ vertices $\{a,b,c,d,e,f,g,h,i\}$ with edges $$E = \{\{a,b,c\}, \{a, d,e\}, \{b, f, g\}, \{c, h,i\}\}.$$ Proving a conjecture of Gyárfás et. al., we show that for any crown-free linear $3$-graph $G$ on $n$ vertices, its number of edges satisfy $$\lvert E(G) \rvert \leq \frac{3(n - s)}{2}$$ where $s$ is the number of vertices in $G$ with degree at least $6$. This result, combined with previous work, essentially completes the determination of linear Turán number for linear $3$-graphs with at most $4$ edges.
On the $2$-domination number of cylinders with small cycles
Published in Fundamenta Informaticae, Volume 185, Issue 2 (May 6, 2022) fi:8516
• View Publication
• BIB
Domination-type parameters are difficult to manage in Cartesian product graphs and there is usually no general relationship between the parameter in both factors and in the product graph. This is the situation of the domination number, the Roman domination number or the $2$-domination number, among others. Contrary to what happens with the domination number and the Roman domination number, the $2$-domination number remains unknown in cylinders, that is, the Cartesian product of a cycle and a path and in this paper, we will compute this parameter in the cylinders with small cycles. We will develop two algorithms involving the $(\min,+)$ matrix product that will allow us to compute the desired values of $γ_2(C_n\Box P_m)$, with $3\leq n\leq 15$ and $m\geq 2$. We will also pose a conjecture about the general formulae for the $2$-domination number in this graph class.
On the Connectivity and the Diameter of Betweenness-Uniform Graphs
Published
• View Publication
• BIB
Betweenness centrality is a centrality measure based on the overall amount of shortest paths passing through a given vertex. A graph is betweenness-uniform if all its vertices have the same betweenness centrality. We study the properties of betweenness-uniform graphs. In particular, we show that every connected betweenness-uniform graph is either a cycle or a $3$-connected graph. Also, we show that betweenness uniform graphs of high maximal degree have small diameter.
On dispersability of some circulant graphs
Published
• View Publication
• BIB
The matching book thickness of a graph is the least number of pages in a book embedding such that each page is a matching. A graph is dispersable if its matching book thickness equals its maximum degree. Minimum page matching book embeddings are given for bipartite and for most non-bipartite circulants contained in the (Harary) cube of a cycle and for various higher-powers.