graph
35436 papers tagged with this keyword
The linear arboricity conjecture for graphs of low degeneracy
Published
• View Publication
• BIB
A linear forest is an acyclic graph whose each connected component is a path; or in other words, it is an acyclic graph whose maximum degree is at most 2. A linear coloring of a graph $G$ is an edge coloring of $G$ such that the edges in each color class form a linear forest. The linear arboricity of $G$, denoted as $χ'_l(G)$, is the minimum number of colors required in any linear coloring of $G$. It is easy to see that for any graph $G$, $χ'_l(G)\geq\left\lceil\frac{Δ(G)}{2}\right\rceil$, where $Δ(G)$ is the maximum degree of $G$. The Linear Arboricity Conjecture of Akiyama, Exoo and Harary from 1980 states that for every graph $G$, $χ'_l(G)\leq \left \lceil \frac{Δ(G)+1}{2}\right\rceil$. Basavaraju et al. showed that the conjecture is true for 3-degenerate graphs and provided a linear time algorithm for computing a linear coloring using at most $\left\lceil\frac{Δ(G)+1}{2}\right\rceil$ colors for any input 3-degenerate graph $G$. Recently, Chen, Hao and Yu showed that $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ for any $k$-degenerate graph $G$ having $Δ(G)\geq 2k^2-k$. From this result, we have $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ for every 3-degenerate graph $G$ having $Δ(G)\geq 15$. We show that this equality holds for every 3-degenerate graph $G$ having $Δ(G)\geq 9$. Moreover, by extending the techniques used, we show a different proof for the Linear Arboricity Conjecture on 3-degenerate graphs. Next, we prove that for every 2-degenerate graph $G$, $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ if $Δ(G)\geq 5$. We conjecture that this equality holds also when $Δ(G)\in\{3,4\}$ and show that this is the case for some well-known subclasses of 2-degenerate graphs.
Convex Hulls for Graphs of Quadratic Functions With Unit Coefficients: Even Wheels and Complete Split Graphs
We study the convex hull of the graph of a quadratic function $f(\mathbf{x})=\sum_{ij\in E}x_ix_j$, where the sum is over the edge set of a graph $G$ with vertex set $\{1,\dots,n\}$. Using an approach proposed by Gupte et al. (Discrete Optimization $\textbf{36}$, 2020, 100569), we investigate minimal extended formulations using additional variables $y_{ij}$, $1\leq i<j\leq n$, representing the products $x_ix_j$. The basic idea is to identify a set of facets of the Boolean Quadric Polytope which is sufficient for characterizing the convex hull for the given graph. Our main results are extended formulations for the cases that the underlying graph $G$ is either an even wheel or a complete split graph.
Gallai-Ramsey number for the union of stars
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 the complete graph $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain the exact value of the Gallai-Ramsey numbers for the union of two stars in many cases and bounds in other cases. This work represents the first class of disconnected graphs to be considered as the desired monochromatic subgraph.
Some new general lower bounds for mixed metric dimension of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected simple graph. The distance $d(u,v)$ between vertices $u$ and $v$ from $V$ is the number of edges in the shortest $u-v$ path. If $e=uv \in E$ is an edge in $G$ than distance $d(w,e)$ where $w$ is some vertex in $G$ is defined as $d(w,e)=\min(d(w,u),d(w,v))$. Now we can say that vertex $w \in V$ resolves two elements $x,y \in V \cup E$ if $d(w,x) \neq d(w,y)$. The mixed resolving set is a set of vertices $S$, $S\subseteq V$ if and only if any two elements of $E \cup V$ are resolved by some element of $S$. A minimal resolving set related to inclusion is called mixed resolving basis, and its cardinality is called the mixed metric dimension of a graph $G$.
This graph invariant is recently introduced and it is of interest to find its general properties and determine its values for various classes of graphs. Since the problem of finding mixed metric dimension is a minimization problem, of interest is also to find lower bounds of good quality. This paper will introduce three new general lower bounds. The exact values of mixed metric dimension for torus graph is determined using one of these lower bounds. Finally, the comparison between new lower bounds and those known in the literature will be presented on two groups of instances:
- all 21 conected graphs of order 5;
- selected 12 well-known graphs with order from 10 up to 36.
Tighter Bounds on the Independence Number of the Birkhoff Graph
Published
• View Publication
• BIB
The Birkhoff graph $\mathcal{B}_n$ is the Cayley graph of the symmetric group $S_n$, where two permutations are adjacent if they differ by a single cycle. Our main result is a tighter upper bound on the independence number $α(\mathcal{B}_n)$ of $\mathcal{B}_n$, namely, we show that $α(\mathcal{B}_n) \le O(n!/1.97^n)$ improving on the previous known bound of $α(\mathcal{B}_n) \le O(n!/\sqrt{2}^{n})$ by [Kane-Lovett-Rao, FOCS 2017]. Our approach combines a higher-order version of their representation theoretic techniques with linear programming. With an explicit construction, we also improve their lower bound on $α(\mathcal{B}_n)$ by a factor of $n/2$. This construction is based on a proper coloring of $\mathcal{B}_n$, which also gives an upper bound on the chromatic number $χ(\mathcal{B}_n)$ of $\mathcal{B}_n$. Via known connections, the upper bound on $α(\mathcal{B}_n)$ implies alphabet size lower bounds for a family of maximally recoverable codes on grid-like topologies.
Honeycomb Toroidal Graphs
Honeycomb toroidal graphs are trivalent Cayley graphs on generalized dihedral groups. We examine the two historical threads leading to these graphs, some of the properties that have been established, and some open problems.
A survey on the study of real zeros of flow polynomials
Published in J. Graph Theory 92 (Dec 2019), 361-376
• View Publication
• BIB
For a bridgeless graph $G$, its flow polynomial is defined to be the function $F(G,q)$ which counts the number of nonwhere-zero $Γ$-flows on an orientation of $G$ whenever $q$ is a positive integer and $Γ$ is an additive Abelian group of order $q$. It was introduced by Tutte in 1950 and the locations of zeros of this polynomial have been studied by many researchers. This article gives a survey on the results and problems on the study of real zeros of flow polynomials.
Target set selection with maximum activation time
Published
• View Publication
• BIB
A target set selection model is a graph $G$ with a threshold function $τ:V\to \mathbb{N}$ upper-bounded by the vertex degree. For a given model, a set $S_0\subseteq V(G)$ is a target set if $V(G)$ can be partitioned into non-empty subsets $S_0,S_1,\dotsc,S_t$ such that, for $i \in \{1, \ldots, t\}$, $S_i$ contains exactly every vertex $v$ having at least $τ(v)$ neighbors in $S_0\cup\dots\cup S_{i-1}$. We say that $t$ is the activation time $t_τ(S_0)$ of the target set $S_0$. The problem of, given such a model, finding a target set of minimum size has been extensively studied in the literature. In this article, we investigate its variant, which we call TSS-time, in which the goal is to find a target set $S_0$ that maximizes $t_τ(S_0)$. That is, given a graph $G$, a threshold function $τ$ in $G$, and an integer $k$, the objective of the TSS-time problem is to decide whether $G$ contains a target set $S_0$ such that $t_τ(S_0)\geq k$. Let $τ^* = \max_{v \in V(G)} τ(v)$. Our main result is the following dichotomy about the complexity of TSS-time when $G$ belongs to a minor-closed graph class ${\cal C}$: if ${\cal C}$ has bounded local treewidth, the problem is FPT parameterized by $k$ and $τ^{\star}$; otherwise, it is NP-complete even for fixed $k=4$ and $τ^{\star}=2$. We also prove that, with $τ^*=2$, the problem is NP-hard in bipartite graphs for fixed $k=5$, and from previous results we observe that TSS-time is NP-hard in planar graphs and W[1]-hard parameterized by treewidth. Finally, we present a linear-time algorithm to find a target set $S_0$ in a given tree maximizing $t_τ(S_0)$.
Fundamental Groupoids for Graphs
In this paper, we develop a $\times$-homotopy fundamental groupoid for graphs, and show a functorial relationship to the 2-category of graphs. We further explore the fundamental groupoid of graph products and develop a groupoid product which respects the graph product. A van Kampen Theorem for these groupoids is provided. Finally, we generalize previous work on a fundamental group for graphs, developing a looped walk groupoid and showing a connection to the polyhedral complex of graph morphisms.
Combinatorial Bounds for Conflict-free Coloring on Open Neighborhoods
Published
• View Publication
• BIB
In an undirected graph $G$, a conflict-free coloring with respect to open neighborhoods (denoted by CFON coloring) is an assignment of colors to the vertices such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for a CFON coloring of $G$ is the CFON chromatic number of $G$, denoted by $χ_{ON}(G)$.
The decision problem that asks whether $χ_{ON}(G) \leq k$ is NP-complete. We obtain the following results:
* Bodlaender, Kolay and Pieterse [WADS 2019] showed the upper bound $χ_{ON}(G)\leq {\sf fvs}(G)+3$, where ${\sf fvs}(G)$ denotes the size of a minimum feedback vertex set of $G$. We show the improved bound of $χ_{ON}(G)\leq {\sf fvs}(G)+2$, which is tight, thereby answering an open question in the above paper.
* We study the relation between $χ_{ON}(G)$ and the pathwidth of the graph $G$, denoted ${\sf pw}(G)$. The above paper from WADS 2019 showed the upper bound $χ_{ON}(G) \leq 2{\sf tw}(G)+1$ where ${\sf tw}(G)$ stands for the treewidth of $G$. This implies an upper bound of $χ_{ON}(G) \leq 2{\sf pw}(G)+1$. We show an improved bound of $χ_{ON}(G) \leq \lfloor \frac{5}{3}({\sf pw}(G)+1) \rfloor$.
* We prove new bounds for $χ_{ON}(G)$ with respect to the structural parameters neighborhood diversity and distance to cluster, improving existing results.
* We also study the partial coloring variant of the CFON coloring problem, which allows vertices to be left uncolored. Let $χ^*_{ON}(G)$ denote the minimum number of colors required to color $G$ as per this variant. Abel et. al. [SIDMA 2018] showed that $χ^*_{ON}(G) \leq 8$ when $G$ is planar. They asked if fewer colors would suffice for planar graphs. We answer this question by showing that $χ^*_{ON}(G) \leq 5$ for all planar $G$.
All our bounds are a result of constructive algorithmic procedures.
Computing Dense and Sparse Subgraphs of Weakly Closed Graphs
Published
• View Publication
• BIB
A graph $G$ is weakly $γ$-closed if every induced subgraph of $G$ contains one vertex $v$ such that for each non-neighbor $u$ of $v$ it holds that $|N(u)\cap N(v)|<γ$. The weak closure $γ(G)$ of a graph, recently introduced by Fox et al. [SIAM J. Comp. 2020], is the smallest number such that $G$ is weakly $γ$-closed. This graph parameter is never larger than the degeneracy (plus one) and can be significantly smaller. Extending the work of Fox et al. [SIAM J. Comp. 2020] on clique enumeration, we show that several problems related to finding dense subgraphs, such as the enumeration of bicliques and $s$-plexes, are fixed-parameter tractable with respect to $γ(G)$. Moreover, we show that the problem of determining whether a weakly $γ$-closed graph $G$ has a subgraph on at least $k$ vertices that belongs to a graph class $\mathcal{G}$ which is closed under taking subgraphs admits a kernel with at most $γk^2$ vertices. Finally, we provide fixed-parameter algorithms for Independent Dominating Set and Dominating Clique when parameterized by $γ+k$ where $k$ is the solution size.
Some graph theoretical aspects of generalized truncations
A broader definition of generalized truncations of graphs is introduced followed by an exploration of some standard concepts and parameters with regard to generalized truncations.
Cycle Extendability of Hamiltonian Strongly Chordal Graphs
Published
• View Publication
• BIB
In 1990, Hendry conjectured that all Hamiltonian chordal graphs are cycle extendable. After a series of papers confirming the conjecture for a number of graph classes, the conjecture is yet refuted by Lafond and Seamone in 2015. Given that their counterexamples are not strongly chordal graphs and they are all only $2$-connected, Lafond and Seamone asked the following two questions: (1) Are Hamiltonian strongly chordal graphs cycle extendable? (2) Is there an integer $k$ such that all $k$-connected Hamiltonian chordal graphs are cycle extendable?
Later, a conjecture stronger than Hendry's is proposed. In this paper, we resolve all these questions in the negative. On the positive side, we add to the list of cycle extendable graphs two more graph classes, namely, Hamiltonian $4$-\textsc{fan}-free chordal graphs where every induced $K_5 - e$ has true twins, and Hamiltonian $\{4\textsc{-fan}, \overline{A} \}$-free chordal graphs.
Order-sensitive domination in partially ordered sets
Published in Order, Vol:40, 2023, 157-172
• View Publication
• BIB
For a (finite) partially ordered set (poset) $P$, we call a dominating set $D$ in the comparability graph of $P$, an order-sensitive dominating set in $P$ if either $x\in D$ or else $a<x<b$ in $P$ for some $a,b\in D$ for every element $x$ in $P$ which is neither maximal nor minimal, and denote by $γ_{os}(P)$, the least size of an order-sensitive dominating set of $P$. For every graph $G$ and integer $k\geq 2$, we associate a graded poset $\mathscr{P}_k(G)$ of height $k$, and prove that $γ_{os}(\mathscr{P}_3(G))=γ_{\text{R}}(G)$ and $γ_{os}(\mathscr{P}_4(G))=2γ(G)$ hold, where $γ(G)$ and $γ_{\text{R}}(G)$ are the domination and Roman domination number of $G$, respectively. Apart from these, we introduce the notion of a Helly poset, and prove that when $P$ is a Helly poset, the computation of order-sensitive domination number of $P$ can be interpreted as a weighted clique partition number of a graph, the middle graph of $P$. Moreover, we show that the order-sensitive domination number of a poset $P$ exactly corresponds to the biclique vertex-partition number of the associated bipartite transformation of $P$. Finally, we prove that the decision problem of order-sensitive domination on posets of arbitrary height is NP-complete, which is obtained by using a reduction from EQUAL-$3$-SAT problem.
Enumerating alternating matrix spaces over finite fields with explicit coordinates
Published
• View Publication
• BIB
We initiate the study of enumerating linear subspaces of alternating matrices over finite fields with explicit coordinates. We postulate that this study can be viewed as a linear algebraic analogue of the classical topic of enumerating labelled graphs. To support this viewpoint, we present q-analogues of Gilbert's formula for enumerating connected graphs (Can. J. Math., 1956), and Read's formula for enumerating c-colored graphs (Can. J. Math., 1960). We also develop an analogue of Riddell's formula relating the exponential generating function of graphs with that of connected graphs (Riddell's PhD thesis, 1951), building on Eulerian generating functions developed by Srinivasan (Discrete Math., 2006).
Non-monotone target sets for threshold values restricted to $0$, $1$, and the vertex degree
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (May 13, 2022) dmtcs:6844
• View Publication
• BIB
We consider a non-monotone activation process $(X_t)_{t\in\{ 0,1,2,\ldots\}}$ on a graph $G$, where $X_0\subseteq V(G)$, $X_t=\{ u\in V(G):|N_G(u)\cap X_{t-1}|\geq τ(u)\}$ for every positive integer $t$, and $τ:V(G)\to \mathbb{Z}$ is a threshold function. The set $X_0$ is a so-called non-monotone target set for $(G,τ)$ if there is some $t_0$ such that $X_t=V(G)$ for every $t\geq t_0$. Ben-Zwi, Hermelin, Lokshtanov, and Newman [Discrete Optimization 8 (2011) 87-96] asked whether a target set of minimum order can be determined efficiently if $G$ is a tree. We answer their question in the affirmative for threshold functions $τ$ satisfying $τ(u)\in \{ 0,1,d_G(u)\}$ for every vertex~$u$. For such restricted threshold functions, we give a characterization of target sets that allows to show that the minimum target set problem remains NP-hard for planar graphs of maximum degree $3$ but is efficiently solvable for graphs of bounded treewidth.
Bounds for Gallai-Ramsey functions and numbers
For two graphs $G,H$ and a positive integer $k$, the \emph{Gallai-Ramsey number} $\operatorname{gr}_k(G,H)$ is defined as the minimum number of vertices $n$ such that any $k$-edge-coloring of $K_n$ contains either a rainbow (all different colored) copy of $G$ or a monochromatic copy of $H$. If $G$ and $H$ are both complete graphs, then we call it Gallai-Ramsey function. Fox and Sudakov proved $\operatorname{gr}_k(K_s,K_t)\leq s^{4kt}$. Alon et al. showed that $\operatorname{gr}_k(K_s,K_t)\leq (2s^3+4s^2)^{kt}$. In this paper, we prove that $\operatorname{gr}_k(K_s,K_t)\leq 2^{kt}s^{3kt}$ for $t\geq 47$. We also give better upper bounds for $\operatorname{gr}_k(G,H)$ when $G,H$ are some special graphs. In this paper, we derive some lower bounds for Gallai-Ramsey functions and numbers by Lovász Local Lemma.
Spectral classes of hypergraphs
Published in The Australasian Journal of Combinatorics, 79(3):495-514 (2021)
• Search Publication
The notions of spectral measures and spectral classes, which are well known for graphs, are generalized and investigated for oriented hypergraphs.
Tuza's Conjecture for random graphs
Published
• View Publication
• BIB
A celebrated conjecture of Zs. Tuza says that in any (finite) graph, the minimum size of a cover of triangles by edges is at most twice the maximum size of a set of edge-disjoint triangles. Resolving a recent question of Bennett, Dudek, and Zerbib, we show that this is true for random graphs; more precisely:
\[ \mbox{for any $p=p(n)$, $\mathbb P(\mbox{$G_{n,p}$ satisfies Tuza's Conjecture})\rightarrow 1 $ (as $n\rightarrow\infty$).} \]
Recognising Graphic and Matroidal Connectivity Functions
Published
• View Publication
• BIB
A {\em connectivity function} on a set $E$ is a function $λ:2^E\rightarrow \mathbb R$ such that $λ(\emptyset)=0$, that $λ(X)=λ(E-X)$ for all $X\subseteq E$, and that $λ(X\cap Y)+λ(X\cup Y)\leq λ(X)+λ(Y)$ for all $X,Y \subseteq E$. Graphs, matroids and, more generally, polymatroids have associated connectivity functions. In this paper we give a method for identifying when a connectivity function comes from a graph. This method uses no more than a polynomial number of evaluations of the connectivity function. In contrast, we show that the problem of identifying when a connectivity function comes from a matroid cannot be solved in polynomial time. We also show that the problem of identifying when a connectivity function is not that of a matroid cannot be solved in polynomial time.