arXiv++ Combinatorics

We study a relaxation of the Vector Domination problem called Vector Connectivity (VecCon). Given a graph $G$ with a requirement $r(v)$ for each vertex $v$, VecCon asks for a minimum cardinality set $S$ of vertices such that every vertex $v\in V\setminus S$ is connected to $S$ via $r(v)$ disjoint paths. In the paper introducing the problem, Boros et al. [Networks, 2014] gave polynomial-time solutions for VecCon in trees, cographs, and split graphs, and showed that the problem can be approximated in polynomial time on $n$-vertex graphs to within a factor of $\log n+2$, leaving open the question of whether the problem is NP-hard on general graphs. We show that VecCon is APX-hard in general graphs, and NP-hard in planar bipartite graphs and in planar line graphs. We also generalize the polynomial result for trees by solving the problem for block graphs.

If X is a geodesic metric space and $x_1,x_2,x_3\in X$, a {\it geodesic triangle} $T=\{x_1,x_2,x_3\}$ is the union of the three geodesics $[x_1x_2]$, $[x_2x_3]$ and $[x_3x_1]$ in $X$. The space $X$ is $δ$-\emph{hyperbolic} $($in the Gromov sense$)$ if any side of $T$ is contained in a $δ$-neighborhood of the union of the two other sides, for every geodesic triangle $T$ in $X$. We denote by $δ(X)$ the sharp hyperbolicity constant of $X$, i.e. $δ(X):=\inf\{δ\ge 0: \, X \, \text{ is $δ$-hyperbolic}\,\}\,. $ The main result of this paper is the inequality $δ(G) \le δ(\mathcal L(G))$ for the line graph $\mathcal L(G)$ of every graph $G$. We prove also the upper bound $δ(\mathcal L(G)) \le 5 δ(G)+ 3 l_{max}$, where $l_{max}$ is the supremum of the lengths of the edges of $G$. Furthermore, if every edge of $G$ has length $k$, we obtain $δ(G) \le δ(\mathcal L(G)) \le 5 δ(G)+ 5k/2$.

The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to determining the minimum vertex congestion of an embedding of $G$ into a tree. Using this result, we prove sharp lower bounds in terms of both the minimum degree and average degree of $G$. These results are precise enough to exactly determine the treewidth of the line graph of a complete graph and other interesting examples. We also improve the best known upper bound on the treewidth of a line graph. Analogous results are proved for pathwidth.

The bounds on the sum and product of chromatic numbers of a graph and its complement are known as Nordhaus-Gaddum inequalities. In this paper, we study the bounds on the sum and product of the independence numbers of graphs and their line graphs.

An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We show a dichotomy for the size of the smallest identifying code in classes of graphs closed under induced subgraphs. Our dichotomy is derived from the VC-dimension of the considered class C, that is the maximum VC-dimension over the hypergraphs formed by the closed neighbourhoods of elements of C. We show that hereditary classes with infinite VC-dimension have infinitely many graphs with an identifying code of size logarithmic in the number of vertices while classes with finite VC-dimension have a polynomial lower bound. We then turn to approximation algorithms. We show that the problem of finding a smallest identifying code in a given graph from some class is log-APX-hard for any hereditary class of infinite VC-dimension. For hereditary classes of finite VC-dimension, the only known previous results show that we can approximate the identifying code problem within a constant factor in some particular classes, e.g. line graphs, planar graphs and unit interval graphs. We prove that it can be approximate within a factor 6 for interval graphs. In contrast, we show that on C_4-free bipartite graphs (a class of finite VC-dimension) it cannot be approximated to within a factor of c.log(|V|) for some c>0.

Equistable graphs are graphs admitting positive weights on vertices such that a subset of vertices is a maximal stable set if and only if it is of total weight $1$. In $1994$, Mahadev et al.~introduced a subclass of equistable graphs, called strongly equistable graphs, as graphs such that for every $c \le 1$ and every non-empty subset $T$ of vertices that is not a maximal stable set, there exist positive vertex weights such that every maximal stable set is of total weight $1$ and the total weight of $T$ does not equal $c$. Mahadev et al. conjectured that every equistable graph is strongly equistable. General partition graphs are the intersection graphs of set systems over a finite ground set $U$ such that every maximal stable set of the graph corresponds to a partition of $U$. In $2009$, Orlin proved that every general partition graph is equistable, and conjectured that the converse holds as well. Orlin's conjecture, if true, would imply the conjecture due to Mahadev, Peled, and Sun. An intermediate conjecture, one that would follow from Orlin's conjecture and would imply the conjecture by Mahadev, Peled, and Sun, was posed by Miklavič and Milanič in $2011$, and states that every equistable graph has a clique intersecting all maximal stable sets. The above conjectures have been verified for several graph classes. We introduce the notion of equistarable graphs and based on it construct counterexamples to all three conjectures within the class of complements of line graphs of triangle-free graphs.

Graph theory is a branch of mathematics in which pair-wise relations between objects are studied. My PhD thesis, supervised by David R. Wood, introduces and investigates a new family of graphs, called link graphs, that generalises the notions of line graphs and path graphs. An s-link is a walk of length s such that consecutive edges are different. The s-link graph of a given graph G is the graph with vertices the s-links of G, and two vertices are adjacent if their corresponding s-links form an (s + 1)-link; Or equivalently, one corresponding s-link can be shunted to the other in one step. For example, the 1-link graph of G is the line graph of G. We give a characterisation for link graphs, which leads to algorithmic solutions to their recognition and determination problems, and implies that the recognition problem belongs to NP. Moreover, based on a recursive structure of linkgraphs, we obtain results about the chromatic number, Hadwiger number and isomorphism group of link graphs. We also obtain results about the uniqueness, tree-decomposition and better-quasi-ordering of the original graphs of a given link graph.

In this paper, we study the characteristic polynomials of the line graphs of generalized Bethe trees. We give an infinite family of such graphs sharing the same smallest eigenvalue. Our family generalizes the family of coronas of complete graphs discovered by Cvetković and Stevanović.

An L-shape is the union of a horizontal and a vertical segment with a common endpoint. These come in four rotations: L, Γ, LE{} and \eeG. A $k$-bend path is a simple path in the plane, whose direction changes $k$ times from horizontal to vertical. If a graph admits an intersection representation in which every vertex is represented by an L, an L{} or Γ, a $k$-bend path, or a segment, then this graph is called an $\{L\}$-graph, $\{L,Γ\}$-graph, $B_k$-VPG-graph or SEG-graph, respectively. Motivated by a theorem of Middendorf and Pfeiffer [Discrete Mathematics, 108(1):365--372, 1992], stating that every $\{L,Γ\}$-graph is a SEG-graph, we investigate several known subclasses of SEG-graphs and show that they are $\{L\}$-graphs, or $B_k$-VPG-graphs for some small constant $k$. We show that all planar $3$-trees, all line graphs of planar graphs, and all full subdivisions of planar graphs are $\{L\}$-graphs. Furthermore we show that all complements of planar graphs are $B_{17}$-VPG-graphs and all complements of full subdivisions are $B_2$-VPG-graphs. Here a full subdivision is a graph in which each edge is subdivided at least once.

The domination game on a graph $G$ (introduced by B. Brešar, S. Klavžar, D.F. Rall \cite{BKR2010}) consists of two players, Dominator and Staller, who take turns choosing a vertex from $G$ such that whenever a vertex is chosen by either player, at least one additional vertex is dominated. Dominator wishes to dominate the graph in as few steps as possible, and Staller wishes to delay this process as much as possible. The game domination number $γ_{\small g}(G)$ is the number of vertices chosen when Dominator starts the game; when Staller starts, it is denoted by $γ_{\small g}^{\prime }(G).$ In this paper, the domination game on line graph $L\left( K_{\overline{m}}\right) $ of complete multipartite graph $K_{\overline{m}}$ $(\overline{m}\equiv (m_{1},...,m_{n})\in \mathbb{N} ^{n})$ is considered, the exact values for game domination numbers are obtained and optimal strategy for both players is described. Particularly, it is proved that for $m_{1}\leq m_{2}\leq ...\leq m_{n}$ both $γ_{\small g}\left( L\left( K_{\overline{m}}\right) \right) =\min \left\{ \left\lceil \frac{2}{3}\left\vert V\left( K_{\overline{m}}\right) \right\vert \right\rceil ,\right.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}\right) \right\rceil ,\text{ }m_{n-1}\right\} \right\} -1$ when $n\geq 2$ and $γ_{g}^{\prime }(L\left( K_{\overline{m}}\right) )=\min \left\{ \left\lceil \frac{2}{3}\left( \left\vert V(K_{_{\overline{m}}})\right\vert -2\right) \right\rceil ,\right.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}-1\right) \right\rceil ,\text{ }m_{n-1}\right\} \right\} $ when $n\geq 4$.

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives from relations between graphs and is related to multihomomorphisms. This gives a generalization of surjective homomorphisms and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time. The theory of the graph homomorphism order is well developed, and from it we consider analogous notions defined for orders induced by constrained homomorphisms. We identify corresponding cores, prove or disprove universality, characterize gaps and dualities. We give a new and significantly easier proof of the universality of the homomorphism order by showing that even the class of oriented cycles is universal. We provide a systematic approach to simplify the proofs of several earlier results in this area. We explore in greater detail locally injective homomorphisms on connected graphs, characterize gaps and show universality. We also prove that for every $d\geq 3$ the homomorphism order on the class of line graphs of graphs with maximum degree $d$ is universal.

A family $\mathcal{F}$ of permutations of the vertices of a hypergraph $H$ is called 'pairwise suitable' for $H$ if, for every pair of disjoint edges in $H$, there exists a permutation in $\mathcal{F}$ in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for $H$ is called the 'separation dimension' of $H$ and is denoted by $π(H)$. Equivalently, $π(H)$ is the smallest natural number $k$ so that the vertices of $H$ can be embedded in $\mathbb{R}^k$ such that any two disjoint edges of $H$ can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph $H$ is equal to the 'boxicity' of the line graph of $H$. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.

Given a graph $I=(V, E),$ $\emptyset \ne D \subseteq V,$ and an arbitrary nonempty set $X,$ an injective function $f: V\to 2^X \setminus \{\emptyset\}$ is an interference of $D$ with respect to $I,$ if for every vertex $u\in V\setminus D$ there exists a neighbor $v\in D$ such that $f(u)\cap f(v) \ne \emptyset.$ We initiate a study of interference in graphs. We study special cases of the difficult problem of finding a smallest possible set $X,$ and we decide when, given a graph $G=(V,E(G))$ (resp., its line graph $L(G)$) the open neighborhood function $N_G: V \to 2^V$ (resp., $N_{L(G)}: E \to 2^E$) or its complementary function is an interference with respect to the complete graph $I=K_n.$

The line graph of a graph with signed edges carries vertex signs. A vertex-signed graph is consistent if every circle (cycle, circuit) has positive vertex-sign product. Acharya, Acharya, and Sinha recently characterized line-consistent signed graphs, i.e., edge-signed graphs whose line graphs, with the naturally induced vertex signature, are consistent. Their proof applies Hoede's relatively difficult characterization of consistent vertex-signed graphs. We give a simple proof that does not depend on Hoede's theorem as well as a structural description of line-consistent signed graphs.

A signed graph is a graph whose edges are signed. In a vertex-signed graph the vertices are signed. The latter is called consistent if the product of signs in every circle is positive. The line graph of a signed graph is naturally vertex-signed. Based on a characterization by Acharya, Acharya, and Sinha in 2009, we give constructions for the signed simple graphs whose naturally vertex-signed line graph is consistent.

A Nordhaus-Gaddum-type result is a (tight) lower or upper bound on the sum or product of a parameter of a graph and its complement. In this paper some variations are considered. First, recall their theorem, which gives bounds on the sum and the product of the chromatic number of a graph with that of its complement. In this paper, we provide a new characterization of the other class of graphs.

In this paper we define and study a new family of graphs that generalises the notions of line graphs and path graphs. Let $G$ be a graph with no loops but possibly with parallel edges. An \emph{$\ell$-link} of $G$ is a walk of $G$ of length $\ell \geqslant 0$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The \emph{$\ell$-link graph $\mathbb{L}_\ell(G)$} of $G$ is the graph with vertices the $\ell$-links of $G$, such that two vertices are joined by $μ\geqslant 0$ edges in $\mathbb{L}_\ell(G)$ if they correspond to two subsequences of each of $μ$ $(\ell + 1)$-links of $G$. By revealing a recursive structure, we bound from above the chromatic number of $\ell$-link graphs. As a corollary, for a given graph $G$ and large enough $\ell$, $\mathbb{L}_\ell(G)$ is $3$-colourable. By investigating the shunting of $\ell$-links in $G$, we show that the Hadwiger number of a nonempty $\mathbb{L}_\ell(G)$ is greater or equal to that of $G$. Hadwiger's conjecture states that the Hadwiger number of a graph is at least the chromatic number of that graph. The conjecture has been proved by Reed and Seymour (2004) for line graphs, and hence $1$-link graphs. We prove the conjecture for a wide class of $\ell$-link graphs.

We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism.

The first geometric-arithmetic (GA) index and atom-bond connectivity (ABC) index are molecular structure descriptors which play a significant role in quantitative structure-property relationship (QSPR) and quantitative structure-activity relationship (QSAR) studies. Das and Trinajstić [\textit{Chem. Phys. Lett.} \textbf{497} (2010) 149-151] showed that $GA$ index is greater than $ABC$ index for all those graphs (except $K_{1,4}$ and $T^{*}$, see Figure 1) in which the difference between maximum and minimum degree is less than or equal to 3. In this note, it is proved that $GA$ index is greater than $ABC$ index for line graphs of molecular graphs, for general graphs in which the difference between maximum and minimum degree is less than or equal to $(2δ-1)^{2}$ (where $δ$ is the minimum degree and $δ\geq2$) and for some families of trees. Thereby, a partial solution to an open problem proposed by Das and Trinajstić is given.

An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $f^+:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An arithmetic integer additive set-indexer is an integer additive set-indexer $f$, under which the set-labels of all elements of a given graph $G$ are arithmetic progressions. In this paper, we discuss about admissibility of arithmetic integer additive set-indexers by certain associated graphs of the given graph $G$, like line graph, total graph, etc.