graph
34828 papers tagged with this keyword
Perfect codes in circulant graphs
Published in Discrete Mathematics 340 (2017) 1522-1527
• View Publication
• BIB
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ that is an independent set such that every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A total perfect code in $Γ$ is a subset $C$ of $V$ such that every vertex of $V$ is adjacent to exactly one vertex in $C$. A perfect code in the Hamming graph $H(n, q)$ agrees with a $q$-ary perfect 1-code of length $n$ in the classical setting. In this paper we give a necessary and sufficient condition for a circulant graph of degree $p-1$ to admit a perfect code, where $p$ is an odd prime. We also obtain a necessary and sufficient condition for a circulant graph of order $n$ and degree $p^l-1$ to have a perfect code, where $p$ is a prime and $p^l$ the largest power of $p$ dividing $n$. Similar results for total perfect codes are also obtained in the paper.
The (theta, wheel)-free graphs Part II: structure theorem
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 148-184
• View Publication
• BIB
A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this paper we obtain a decomposition theorem for the class of graphs that do not contain an induced subgraph isomorphic to a theta or a wheel, i.e. the class of (theta, wheel)-free graphs. The decomposition theorem uses clique cutsets and 2-joins. Clique cutsets are vertex cutsets that work really well in decomposition based algorithms, but are unfortunately not general enough to decompose more complex hereditary graph classes. A 2-join is an edge cutset that appeared in decomposition theorems of several complex classes, such as perfect graphs, even-hole-free graphs and others. In these decomposition theorems 2-joins are used together with vertex cutsets that are more general than clique cutsets, such as star cutsets and their generalizations (which are much harder to use in algorithms). This is a first example of a decomposition theorem that uses just the combination of clique cutsets and 2-joins. This has several consequences. First, we can easily transform our decomposition theorem into a complete structure theorem for (theta, wheel)-free graphs, i.e. we show how every (theta, wheel)-free graph can be built starting from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are (theta, wheel)-free. Such structure theorems are very rare for hereditary graph classes, only a few examples are known. Secondly, we obtain an $\mathcal O (n^4m)$-time decomposition based recognition algorithm for (theta, wheel)-free graphs. Finally, in Parts III and IV of this series, we give further applications of our decomposition theorem.
On well-covered Cartesian products
Published
• View Publication
• BIB
In 1970, Plummer defined a well-covered graph to be a graph $G$ in which all maximal independent sets are in fact maximum. Later Hartnell and Rall showed that if the Cartesian product $G \Box H$ is well-covered, then at least one of $G$ or $H$ is well-covered. In this paper, we consider the problem of classifying all well-covered Cartesian products. In particular, we show that if the Cartesian product of two nontrivial, connected graphs of girth at least $4$ is well-covered, then at least one of the graphs is $K_2$. Moreover, we show that $K_2 \Box K_2$ and $C_5 \Box K_2$ are the only well-covered Cartesian products of nontrivial, connected graphs of girth at least $5$.
The spectral determinations of the multicone graphs Kw+mCn
The main goal of the paper is to characterize new classes of multicone graphs which are determined by both adjacency and Laplacian spectra. A multicone graph is defined to be the join of a clique and a regular graph. A wheel graph obtained from the join of a complete graph on a vertex with a cycle. A question about when wheel graphs are determined by their adjacency spectra is still unsolved. So, any indication about the determinations of these graphs with respect to their adjacency spectra can be an interesting and important problem. In [Y. Zhang, X. Liu, and X. Yong: Which wheel graphs are determined by their Laplacian spectra?. Comput. Math. Appl., 58 (2009) 1887{1890] and [M.-H. Liu: Some graphs determined by their (signless) Laplacian spectra. Czech. Math. J., 62, (2012) 1117{1134] it have been shown that except for, the wheel graph of order seven, all wheel graphs are determined by their Laplacian spectra and wheel graphs are determined by their signless Laplacian spectra, respectively. In this study, we present new classes of connected multicone graphs which are a natural generalization of wheel graphs and we show that these graphs are determined by their adjacency spectra as well as their Laplacian spectra. Also, we show that complement of some of these graphs are determined by their adjacency spectra. In addition, we give a necessary and sufficient condition for perfecting graphs cospectral with presented graphs in the paper. Finally, we pose two problems for further work.
Arc-transitive cyclic and dihedral covers of pentavalent symmetric graphs of order twice a prime
Published
• View Publication
• BIB
A regular cover of a connected graph is called {\em cyclic} or {\em dihedral} if its transformation group is cyclic or dihedral respectively, and {\em arc-transitive} (or {\em symmetric}) if the fibre-preserving automorphism subgroup acts arc-transitively on the regular cover. In this paper, we give a classification of arc-transitive cyclic and dihedral covers of a connected pentavalent symmetric graph of order twice a prime. All those covers are explicitly constructed as Cayley graphs on some groups, and their full automorphism groups are determined.
Hyper Zagreb Index of Bridge and Chain Grpahs
Published
• View Publication
• BIB
Let G be a simple connected molecular graph with vertex set $V(G)$ and edge set $E(G)$. One important modification of classical Zagreb index, called hyper Zagreb index $HM(G)$ is defined as the sum of squares of the degree sum of the adjacent vertices, that is, sum of the terms $[{d_G}(u)+{d_G}(v)]^2$ over all the edges of $G$, where ${d_G}(u)$ denote the degree of the vertex $u$ of $G$. In this paper, the hyper Zagreb index of certain bridge and chain graphs are computed and hence using the derived results we compute the hyper Zagreb index of several classes of chemical graphs and nanostructures.
Combinatorial Ricci curvature on cell-complex and Gauss-Bonnnet Theorem
Published
• View Publication
• BIB
In this paper we present the Ricci curvature on cell-complexes and show the Gauss-Bonnnet type theorem on graphs and 2-complex that decomposes closed surface. The defferential forms on a cell complex is defined as linear maps on chain complex, and Laplacian operates this defferential forms. Then we construct the Bochner-Weitzenböck formula and define the Ricci curvature. This curvature is determined by the combinatorial calculation. We show also the properties of combinatorial vector fields on a cell complex
Constant Threshold Intersection Graphs of Orthodox Paths in Trees
Published
• View Publication
• BIB
A graph $G$ belongs to the class ${\rm ORTH}[h,s,t]$ for integers $h$, $s$, and $t$ if there is a pair $(T,{\cal S})$, where $T$ is a tree of maximum degree at most $h$, and ${\cal S}$ is a collection $(S_u)_{u\in V(G)}$ of subtrees $S_u$ of maximum degree at most $s$ of $T$, one for each vertex $u$ of $G$, such that, for every vertex $u$ of $G$, all leaves of $S_u$ are also leaves of $T$, and, for every two distinct vertices $u$ and $v$ of $G$, the following three properties are equivalent:
(i) $u$ and $v$ are adjacent.
(ii) $S_u$ and $S_v$ have at least $t$ vertices in common.
(iii) $S_u$ and $S_v$ share a leaf of $T$.
The class ${\rm ORTH}[h,s,t]$ was introduced by Jamison and Mulder.
Here we focus on the case $s=2$, which is closely related to the well-known VPT and EPT graphs. We collect general properties of the graphs in ${\rm ORTH}[h,2,t]$, and provide a characterization in terms of tree layouts. Answering a question posed by Golumbic, Lipshteyn, and Stern, we show that ${\rm ORTH}[h+1,2,t]\setminus {\rm ORTH}[h,2,t]$ is non-empty for every $h\geq 3$ and $t\geq 3$. We derive decomposition properties, which lead to efficient recognition algorithms for the graphs in ${\rm ORTH}[h,2,2]$ for every $h\geq 3$. Finally, we give a complete description of the graphs in ${\rm ORTH}[3,2,2]$, and show that the graphs in ${\rm ORTH}[3,2,3]$ are line graphs of planar graphs.
Partitions of multigraphs under degree constraints
Published
• View Publication
• BIB
In 1996, Michael Stiebitz proved that if $G$ is a simple graph with $δ(G)\geq s+t+1$ and $s,t\in \mathbb{Z}_{\geq 0}$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. In 2016, Amir Ban proved a similar result for weighted graphs. Let $G$ be a simple graph with at least two vertices, let $w:E(G) \to \mathbb{r}_{>0}$ be a weight function, let $s,t \in \mathbb{R}_{\geq 0}$, and let $W=\max_{e\in E(G)} w(e)$. If $δ(G)\geq s+t+2W$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. This motivated us to consider this partition problem for multigraphs, or equivalently for weighted graphs $(G,w)$ with $w:E(G) \to \mathbb{Z}_{\geq 1}$. We prove that if $s,t\in \mathbb{z}_{\geq 0}$ and $δ(G)\geq s+t+2W-1\geq 1$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. We also prove a variable version of this result and show that for $K_4^-$-free graphs, the bound on the minimum degree can be decreased.
Digraphs with at most one trivial critical ideal
Published
• View Publication
• BIB
Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.
A finite simple group is CCA if and only if it has no element of order four
Published
• View Publication
• BIB
A Cayley graph for a group $G$ is CCA if every automorphism of the graph that preserves the edge-orbits under the regular representation of $G$ is an element of the normaliser of $G$. A group $G$ is then said to be CCA if every connected Cayley graph on $G$ is CCA. We show that a finite simple group is CCA if and only if it has no element of order 4. We also show that "many" 2-groups are non-CCA.
A proof of the Erdős-Sands-Sauer-Woodrow conjecture
Published
• View Publication
• BIB
A very nice result of Bárány and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gyárfás and Pálvőlgyi this result would follow from the following conjecture : If a tournament admits a partition of its arc set into $k$ quasi orders, then its domination number is bounded in terms of $k$. This question is in turn implied by the Erdős-Sands-Sauer-Woodrow conjecture : If the arcs of a tournament $T$ are colored with $k$ colors, there is a set $X$ of at most $g(k)$ vertices such that for every vertex $v$ of $T$, there is a monochromatic path from $X$ to $v$. We give a short proof of this statement. We moreover show that the general Sands-Sauer-Woodrow conjecture (which as a special case implies the stable marriage theorem) is valid for directed graphs with bounded stability number. This conjecture remains however open.
Forcing clique immersions through chromatic number
Published
• View Publication
• BIB
Building on recent work of Dvořák and Yepremyan, we show that every simple graph of minimum degree $7t+7$ contains $K_t$ as an immersion and that every graph with chromatic number at least $3.54t + 4$ contains $K_t$ as an immersion. We also show that every graph on $n$ vertices with no stable set of size three contains $K_{2\lfloor n/5 \rfloor}$ as an immersion.
Enumeration of artitions with prescribed successive rank parity blocks
Published
• View Publication
• BIB
Successive ranks of a partition, which were introduced by Atkin, are the difference of the $i$th row and the $i$th column in the Ferrers graph. Recently, in the study of singular overpartitions, Andrews revisited successive ranks and parity blocks. Motivated by his work, we investigate partitions with prescribed successive rank parity blocks. The main result of this paper is the generating function of partitions with exactly $d$ successive ranks and $m$ parity blocks.
Cayley graphs and symmetric interconnection networks
These lecture notes are on automorphism groups of Cayley graphs and their applications to optimal fault-tolerance of some interconnection networks. We first give an introduction to automorphisms of graphs and an introduction to Cayley graphs. We then discuss automorphism groups of Cayley graphs. We prove that the vertex-connectivity of edge-transitive graphs is maximum possible. We investigate the automorphism group and vertex-connectivity of some families of Cayley graphs that have been considered for interconnection networks; we focus on the hypercubes, folded hypercubes, Cayley graphs generated by transpositions, and Cayley graphs from linear codes. New questions and open problems are also discussed.
On $g$-good-neighbor conditional diagnosability of $(n, k)$-star networks
Published
• View Publication
• BIB
The $g$-good-neighbor conditional diagnosability is a new measure for fault diagnosis of systems. Xu et al. [Theor. Comput. Sci. 659 (2017) 53--63] determined the $g$-good-neighbor conditional diagnosability of $(n, k)$-star networks $S_{n, k}$ (i.e., $t_g(S_{n, k})$) with $1\leq k\leq n-1$ for $1\leq g\leq n-k$ under the PMC model and the MM$^*$ model. In this paper, we determine $t_g(S_{n, k})$ for all the remaining cases with $1\leq k\leq n-1$ for $1\leq g\leq n-1$ under the two models, from which we can obtain the $g$-good-neighbor conditional diagnosability of the star graph obtained by Li et al. [to appear in Theor. Comput. Sci.] for $1\leq g\leq n-2$.
Subhypergraphs in non-uniform random hypergraphs
Published
• View Publication
• BIB
In this paper we focus on the problem of finding (small) subhypergraphs in a (large) hypergraph. We use this problem to illustrate that reducing hypergraph problems to graph problems by working with the 2-section is not always a reasonable approach. We begin by defining a generalization of the binomial random graph model to hypergraphs and formalizing several definitions of subhypergraph. The bulk of the paper focusses on determining the expected existence of these types of subhypergraph in random hypergraphs. We also touch on the problem of determining whether a given subgraph appearing in the 2-section is likely to have been induced by a certain subhypergraph in the hypergraph. To evaluate the model in relation to real-world data, we compare model prediction to two datasets with respect to (1) the existence of certain small subhypergraphs, and (2) a clustering coefficient.
Minimal multiple blocking sets
Published
• View Publication
• BIB
We prove that a minimal $t$-fold blocking set in a finite projective plane of order $n$ has cardinality at most \[\frac{1}{2} n\sqrt{4tn - (3t + 1)(t - 1)} + \frac{1}{2} (t - 1)n + t.\] This is the first general upper bound on the size of minimal $t$-fold blocking sets in finite projective planes and it generalizes the classical result of Bruen and Thas on minimal blocking sets. From the proof it directly follows that if equality occurs in this bound then every line intersects the blocking set $S$ in either $t$ points or $\frac{1}{2}(\sqrt{4tn - (3t + 1)(t - 1)} + t - 1) + 1$ points. We use this to show that for $n$ a prime power, equality can occur in our bound in exactly one of the following three cases: (a) $t = 1$, $n$ is a square and $S$ is a unital; (b) $t = n - \sqrt{n}$, $n$ is a square and $S$ is the complement of a Baer subplane; (c) $t = n$ and $S$ is equal to the set of all points except one. For a square prime power $q$ and $t \leq \sqrt{q} + 1$, we give a construction of a minimal $t$-fold blocking set $S$ in $\mathrm{PG}(2,q)$ with $|S| = q\sqrt{q} + 1 + (t - 1)(q - \sqrt{q} + 1)$. Furthermore, we obtain an upper bound on the size of minimal blocking sets in symmetric $2$-designs and use it to give new proofs of other known results regarding tangency sets in higher dimensional finite projective spaces. We also discuss further generalizations of our bound. In our proofs we use an incidence bound on combinatorial designs which follows from applying the expander mixing lemma to the incidence graph of these designs.
Maximum Likelihood Threshold and Generic Completion Rank of Graphs
Published
• View Publication
• BIB
The minimum number of observations such that the maximum likelihood estimator in a Gaussian graphical model exists with probability one is called the maximum likelihood threshold of the underlying graph G. The natural algebraic relaxation is the generic completion rank introduced by Uhler. We show that the maximum likelihood threshold and the generic completion rank behave in the same way under clique sums, which gives us large families of graphs on which these invariants coincide. On the other hand we determine both invariants for complete bipartite graphs $K_{m,n}$ and show that for some choices of m and n the two parameters may be quite far apart. In particular, this gives the first examples of graphs on which the maximum likelihood threshold and the generic completion rank do not agree.
Burling graphs, chromatic number, and orthogonal tree-decompositions
Published in Electronic Journal of Combinatorics, 25/1:P1.35, 2018
• View Publication
• BIB
A classic result of Asplund and Grünbaum states that intersection graphs of axis-aligned rectangles in the plane are $χ$-bounded. This theorem can be equivalently stated in terms of path-decompositions as follows: There exists a function $f:\mathbb{N}\to\mathbb{N}$ such that every graph that has two path-decompositions such that each bag of the first decomposition intersects each bag of the second in at most $k$ vertices has chromatic number at most $f(k)$. Recently, Dujmović, Joret, Morin, Norin, and Wood asked whether this remains true more generally for two tree-decompositions. In this note we provide a negative answer: There are graphs with arbitrarily large chromatic number for which one can find two tree-decompositions such that each bag of the first decomposition intersects each bag of the second in at most two vertices. Furthermore, this remains true even if one of the two decompositions is restricted to be a path-decomposition. This is shown using a construction of triangle-free graphs with unbounded chromatic number due to Burling, which we believe should be more widely known.