graph
34726 papers tagged with this keyword
On extremal results of multiplicative Zagreb indices of trees with given distance $k$-domination number
Published
• View Publication
• BIB
The first multiplicative Zagreb index $Π_1$ of a graph $G$ is the product of the square of every vertex degree, while the second multiplicative Zagreb index $Π_2$ is the product of the products of degrees of pairs of adjacent vertices. In this paper, we give sharp lower bound for $Π_1$ and upper bound for $Π_2$ of trees with given distance $k$-domination number, and characterize those trees attaining the bounds.
On graphs with equal total domination and Grundy total domination number
A sequence $(v_1,\ldots ,v_k)$ of vertices in a graph $G$ without isolated vertices is called a total dominating sequence if every vertex $v_i$ in the sequence totally dominates at least one vertex that was not totally dominated by $\{v_1,\ldots , v_{i-1}\}$ and $\{v_1,\ldots ,v_k\}$ is a total dominating set of $G$. The length of a shortest such sequence is the total domination number of G ($γ_t(G)$), while the length of a longest such sequence is the Grundy total domination number of $G$ ($γ_{gr}^t(G)$). In this paper we study graphs with equal total and Grundy total domination number. We characterize bipartite graphs with both total and Grundy total domination number equal to 4, and show that there is no connected chordal graph $G$ with $γ_t(G)=γ_{gr}^t(G)=4$. The main result of the paper is a characterization of regular bipartite graphs with $γ_t(G)=γ_{gr}^t(G)=6$ proved by establishing a surprising correspondence between existence of such graphs and a classical but still open problem of the existence of certain finite projective planes.
Blocking dominating sets for $H$-free graphs via edge contractions
In this paper, we consider the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by one by using only one edge contraction? We show that the problem is $\mathsf{NP}$-hard when restricted to $\{P_6,P_4+P_2\}$-free graphs and that it is $\mathsf{coNP}$-hard when restricted to subcubic claw-free graphs and $2P_3$-free graphs. As a consequence, we are able to establish a complexity dichotomy for the problem on $H$-free graphs when $H$ is connected.
Two nondeterministic positive definiteness tests for unidiagonal integral matrices
For standard algorithms verifying positive definiteness of a matrix $A\in\mathbb{M}_n(\mathbb{R})$ based on Sylvester's criterion, the computationally pessimistic case is this when $A$ is positive definite. We present two algorithms realizing the same task for $A\in\mathbb{M}_n(\mathbb{Z})$, for which the case when $A$ is positive definite is the optimistic one. The algorithms have pessimistic computational complexities $\mathcal{O}(n^3)$ and $\mathcal{O}(n^4)$ and they rely on performing certain edge transformations, called inflations, on the edge-bipartite graph (=bigraph) $Δ=Δ(A)$ associated with $A$. We provide few variants of the algorithms, including Las Vegas type randomized ones with precisely described maximal number of steps. The algorithms work very well in practice, in many cases with a better speed than the standard tests. Moreover, the algorithms yield some additional information on the properties on the quadratic form $q_A:\mathbb{Z}^n\to\mathbb{Z}$ associated with a matrix $A$. On the other hand, our results provide an interesting example of an application of symbolic computing methods originally developed for different purposes, with a big potential for further generalizations in matrix problems.
This is an extended version of the article [A. Mróz, Effective nondeterministic positive definiteness test for unidiagonal integral matrices, Proceedings SYNASC 2016, IEEE Computer Society CPS (2016), 65-71] in which we discussed the algorithm of the complexity $\mathcal{O}(n^4)$.
Algorithms for weighted independent transversals and strong colouring
Published in ACM Transactions on Algorithms 18(1), Article #1 (2021)
• View Publication
• BIB
An independent transversal (IT) in a graph with a given vertex partition is an independent set consisting of one vertex in each partition class. Several sufficient conditions are known for the existence of an IT in a given graph with a given vertex partition, which have been used over the years to solve many combinatorial problems. Some of these IT existence theorems have algorithmic proofs, but there remains a gap between the best bounds given by nonconstructive results, and those obtainable by efficient algorithms.
Recently, Graf and Haxell (2018) described a new (deterministic) algorithm that asymptotically closes this gap, but there are limitations on its applicability. In this paper we develop a randomized version of this algorithm that is much more widely applicable, and demonstrate its use by giving efficient algorithms for two problems concerning the strong chromatic number of graphs.
Extending de Bruijn sequences to larger alphabets
Published
• View Publication
• BIB
A de Bruijn sequence of order n over a k-symbol alphabet is a circular sequence where each length-n sequence occurs exactly once. We present a way of extending de Bruijn sequences by adding a new symbol to the alphabet: the extension is performed by embedding a given de Bruijn sequence into another one of the same order, but over the alphabet with one more symbol, while ensuring that there are no long runs without the new symbol. Our solution is based on auxiliary graphs derived from the de Bruijn graph and solving a problem of maximum flow.
Complexity of acyclic colorings of graphs and digraphs with degree and girth constraints
We consider acyclic r-colorings in graphs and digraphs: they color the vertices in r colors, each of which induces an acyclic graph or digraph. (This includes the dichromatic number of a digraph, and the arboricity of a graph.) For any girth and sufficiently high degree, we prove the NP-completeness of acyclic r-colorings; our method also implies the known analogue for classical colorings. The proofs use high girth graphs with high arboricity and dichromatic numbers. High girth graphs and digraphs with high chromatic and dichromatic numbers have been well studied; we re-derive the results from a general result about relational systems, which also implies the similar fact about high girth and high arboricity used in the proofs. These facts concern graphs and digraphs of high girth and low degree; we contrast them by considering acyclic colorings of tournaments (which have low girth and high degree). We prove that even though acyclic two-colorability of tournaments is known to be NP-complete, random acyclically r-colorable tournaments allow recovering an acyclic r-coloring in deterministic linear time, with high probablity.
Noncommutative unicellular LLT polynomials
Published
• View Publication
• BIB
It is known that unicellular LLT polynomials are related to the quasi-symmetric chromatic polynomials of certain graphs by the $(t-1)$-transform of symmetric functions. We investigate the extension of this transformation to various combinatorial Hopf algebras and prove a noncommutative version of this property.
Trung's Construction and the Charney-Davis Conjecture
Published in Bull. Malays. Math. Sci. Soc., 44 (2021), 9-16
• View Publication
• BIB
We consider a construction by which we obtain a simple graph $\mathrm{T}(H,v)$ from a simple graph $H$ and a non-isolated vertex $v$ of $H$. We call this construction "Trung's construction". We prove that $\mathrm{T}(H,v)$ is well-covered, W$_2$ or Gorenstein if and only if $H$ is so. Also we present a formula for computing the independence polynomial of $\mathrm{T}(H,v)$ and investigate when $\mathrm{T}(H,v)$ satisfies the Charney-Davis conjecture. As a consequence of our results, we show that every Gorenstein planar graph with girth at least four, satisfies the Charney-Davis conjecture.
On Gorenstein Circulant Graphs and Gorenstein SQC Graphs
Published in Discrete Mathematics, Vol. 346, No. 7 (2023), article no. 113472
• View Publication
• BIB
We characterize some graphs with a Gorenstein edge ideal. In particular, we show that if $G$ is a circulant graph with vertex degree at most four or a circulant graph of the form $C_n(1,\ldots, d)$ for some $d\leq n/2$, then $G$ is Gorenstein if and only if $G\cong tK_2$, $G\cong t\overline{C_n}$ or $G\cong tC_{13}(1,5)$ for some integers $t$ and $n\geq 4$. Also we prove that if $G$ is a \mathcal{SQC}\ graph, then $G$ is Gorenstein if and only if each component of $G$ is either an edge or a 5-cycle.
Deception, Delay, and Detection of Strategies
Homology generators in a relation offer individuals the ability to delay identification, by guiding the order via which the individuals reveal their attributes (see arXiv:1712.04130). This perspective applies as well to the identification of goal-attaining strategies in systems with errorful control, since the strategy complex of a fully controllable nondeterministic or stochastic graph is homotopic to a sphere. Specifically, such a graph contains for each state $v$ a maximal strategy $σ_v$ that converges to state $v$ from all other states in the graph and whose identity may be shrouded in the following sense: One may reveal certain actions of $σ_v$ in a particular order so that the full strategy becomes known only after at least $n-1$ of these actions have been revealed, with none of the actions revealed definitively inferable from those previously revealed. Here $n$ is the number of states in the graph. Moreover, the strategy contains at least $(n-1)!$ such informative action release sequences, each of length at least $n-1$. The earlier work described above sketched a proof that every maximal strategy in a pure nondeterministic or pure stochastic graph contains at least one informative action release sequence of length at least $n-1$. The primary purpose of the current report is to fill in the details of that sketch. To build intuition, the report first discusses several simpler examples. These examples suggest an underlying structure for hiding capabilities or bluffing capabilities, as well as for detecting such deceit.
Perfectly packing graphs with bounded degeneracy and many leaves
Published
• View Publication
• BIB
We prove that one can perfectly pack degenerate graphs into complete or dense $n$-vertex quasirandom graphs, provided that all the degenerate graphs have maximum degree $o(\frac{n}{\log n})$, and in addition $Ω(n)$ of them have at most $(1-Ω(1))n$ vertices and $Ω(n)$ leaves. This proves Ringel's conjecture and the Gyárfás Tree Packing Conjecture for all but an exponentially small fraction of trees (or sequences of trees, respectively).
Smallest graphs achieving the Stinson bound
Published
• View Publication
• BIB
Perfect secret sharing scheme is a method of distribute a secret information $s$ among participants such that only predefined coalitions, called qualified subsets of the participants can recover the secret, whereas any other coalitions, the unqualified subsets cannot determine anything about the secret. The most important property is the efficiency of the system, which is measured by the information ratio. It can be shown that for graphs the information ratio is at most $(δ+1)/2$ where $δ$ is the maximal degree of the graph. Blundo et al. constructed a family of $δ$-regular graphs with information ratio $(δ+1)/2$ on at least $c\cdot 6^δ$ vertices. We improve this result by constructing a significantly smaller graph family on $c\cdot 2^δ$ vertices achieving the same upper bound both in the worst and the average case.
Small domination-type invariants in random graphs
Published
• View Publication
• BIB
For $c\in \mathbb{R}^{+}\cup \{\infty \}$ and a graph $G$, a function $f:V(G)\rightarrow \{0,1,c\}$ is called a $c$-self dominating function of $G$ if for every vertex $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$ where $N_{G}(u)$ is the neighborhood of $u$ in $G$. The minimum weight $w(f)=\sum _{u\in V(G)}f(u)$ of a $c$-self dominating function $f$ of $G$ is called the $c$-self domination number of $G$. The $c$-self domination concept is a common generalization of three domination-type invariants; (original) domination, total domination and Roman domination. In this paper, we study a behavior of the $c$-self domination number in random graphs for small $c$.
Generalized One-to-One Mappings between Homomorphism Sets of Digraphs
Structural properties of finite digraphs $R$ and $S$ are studied which enforce $\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for every finite digraph $G \in \mathfrak{ D }'$, where ${\cal H}(G,H)$ is the set of homomorphisms from $G$ to $H$, and $\mathfrak{ D }'$ is a class of digraphs. In a previous study, we have seen that the key for such a relation between $R$ and $S$ is the existence of a strong S-scheme from $R$ to $S$. Such an S-scheme $ρ$ defines a one-to-one mapping $ρ_G : {\cal S}(G,R) \rightarrow {\cal S}(G,S)$ for every $G \in \mathfrak{ D }'$, where ${\cal S}(G,H)$ is the set of homomorphisms from $G$ to $H$ mapping proper arcs of $G$ to proper arcs of $H$. In the present article, we characterize S-schemes $ρ$ which are induced by strict homomorphisms $ε: {\cal E}(R) \rightarrow {\cal E}(S)$ between auxiliary systems of $R$ and $S$, and we analyze the mutual dependency between the properties of $ρ$ and $ε$. Wide applicability of the theory is ensured by specifying the auxiliary systems ${\cal E}(R)$ and ${\cal E}(S)$ as EV-systems of $R$ and $S$. The results are applied on a rearrangement method for digraphs and on undirected graphs.
Non-concentration of the chromatic number of a random graph
Published in J. Amer. Math. Soc. 34 (2021), 245-260
• View Publication
• BIB
We show that the chromatic number of $G_{n, \frac 12}$ is not concentrated on fewer than $n^{\frac 14 - \varepsilon}$ consecutive values. This addresses a longstanding question raised by Erdős and several other authors.
The Weighted Sitting Closer to Friends than Enemies Problem in the Line
Published
• View Publication
• BIB
The weighted \emph{Sitting Closer to Friends than Enemies} (SCFE) problem is to find an injection of the vertex set of a given weighted graph into a given metric space so that, for every pair of incident edges with different weight, the end vertices of the heavier edge are closer than the end vertices of the lighter edge. The \emph{Seriation} problem is to find a simultaneous reordering of the rows and columns of a symmetric matrix such that the entries are monotone nondecreasing in rows and columns when moving towards the diagonal. If such a reordering exists, it is called a \emph{Robinson} ordering. In this work, we establish a connection between the SCFE problem and the Seriation problem. We show that if the \emph{extended adjacency matrix} of a given weighted graph $G$ has no Robinson ordering then $G$ has no injection in $\mathbb{R}$ that solves the SCFE problem. On the other hand, if the extended adjacency matrix of $G$ has a Robinson ordering, we construct a polyhedron that is not empty if and only if there is an injection of the vertex set of $G$ in $\mathbb{R}$ that solves the SCFE problem. As a consequence of these results, we conclude that deciding the existence of (and constructing) such an injection in $\mathbb{R}$ for a given \emph{complete} weighted graph can be done in polynomial time. On the other hand, we show that deciding if an \emph{incomplete} weighted graph has such an injection in $\mathbb{R}$ is NP-Complete.
[1,2]-Domination in Generalized Petersen Graphs
Published
• View Publication
• BIB
A vertex subset $S$ of a graph $G=(V,E)$ is a $[1,2]$-dominating set if each vertex of $V\backslash S$ is adjacent to either one or two vertices in $S$. The minimum cardinality of a $[1,2]$-dominating set of $G$, denoted by $γ_{[1,2]}(G)$, is called the $[1,2]$-domination number of $G$. In this paper the $[1,2]$-domination and the $[1,2]$-total domination numbers of the generalized Petersen graphs $P(n,2)$ are determined.
On nested and 2-nested graphs: two subclasses of graphs between threshold and split graphs
Published in Matemática Contemporânea, Vol. 46 (2019) 119-128
• View Publication
• BIB
A $(0,1)$-matrix has the Consecutive Ones Property (C1P) for the rows if there is a permutation of its columns such that the ones in each row appear consecutively. We say a $(0, 1)$-matrix is nested if it has the consecutive ones property for the rows (C1P) and every two rows are either disjoint or nested. We say a $(0, 1)$-matrix is 2-nested if it has the C1P and admits a partition of its rows into two sets such that the submatrix induced by each of these sets is nested. We say a split graph $G$ with split partition $(K, S)$ is nested (resp.\ 2-nested) if the matrix $A(S, K)$ which indicates the adjacency between vertices in $S$ and $K$ is nested (resp.\ 2-nested). In this work, we characterize nested and 2-nested matrices by minimal forbidden submatrices. This characterization leads to a minimal forbidden induced subgraph characterization for these classes of graphs, which are a superclass of threshold graphs and a subclass of split and circle graphs.
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 1 : Layered wheels
Published in J Graph Theory. 2021; 97: 475-509
• View Publication
• BIB
We present a construction called layered wheel. Layered wheels are graphs of arbitrarily large treewidth and girth. They might be an outcome for a possible theorem characterizing graphs with large treewidth in terms of their induced subgraphs (while such a characterization is well-understood in terms of minors). They also provide examples of graphs of large treewidth and large rankwidth in well-studied classes, such as (theta, triangle)-free graphs and even-hole-free graphs with no $K_4$ (where a hole is a chordless cycle of length at least four, a theta is a graph made of three internally vertex disjoint paths of length at least two linking two vertices, and $K_4$ is the complete graph on four vertices).