graph
35436 papers tagged with this keyword
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).
First-order proofs without syntax
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula $φ$ as a lax fibration over a graph associated with $φ$. The main theorem is soundness and completeness: a formula is a valid if and only if it has a combinatorial proof.
Every Graph Is Local Antimagic Total And Its Applications To Local Antimagic (Total) Chromatic Numbers
A graph $G = (V, E)$ of order $p$ and size $q$ is said to be local antimagic if there exists a bijection $g:E(G) \to \{1,2,\ldots,q\}$ such that for any pair of adjacent vertices $u$ and $v$, $g^+(u)\ne g^+(v)$, where $g^+(u)=\sum_{uv\in E(G)} g(uv)$ is the induced vertex color of $u$ under $g$. We also say $G$ is local antimagic total if there exists a bijection $f: V\cup E \to\{1,2,\ldots ,p+q\}$ such that for any pair of adjacent vertices $u$ and $v$, $w(u)\not= w(v)$, where $w(u)= f(u) +\sum_{uv\in E(G)} f(uv)$ is the induced vertex weight of $u$ under $f$. The local antimagic (and local antimagic total) chromatic number of $G$, denoted $χ_{la}(G)$ (and $χ_{lat}(G)$), is the minimum number of distinct induced vertex colors (and weights) over all local antimagic (and local antimagic total) labelings of $G$. We also say a local antimagic total labeling is local super antimagic total if $f(v)\in\{1,2,\ldots,p\}$ for each $v\in V(G)$. In [Proof of a local antimagic conjecture, {\it Discrete Math. Theor. Comp. Sc.}, {\bf 20(1)} (2018), \#18], the author proved that every connected graph of order at least 3 is local antimagic. Using this result, we provide a very short proof that every graph is local antimagic total. We showed that there exists close relationship between $χ_{la}(G \vee K_1)$ and $χ_{lat}(G)$. A sufficient condition is also given for the corresponding local super antimagic total labeling. Sharp bounds of $χ_{lat}(G)$ and close relationships between $χ_{lat}(G)$ and $χ_{la}(G \vee K_1)$ are found. Bounds of $χ_{lat}(G-e)$ in terms of $χ_{lat}(G)$ for a graph $G$ with an edge $e$ deleted are also obtained. These relationships are used to determine the exact values of $χ_{lat}$ for many graphs $G$. We also conjecture that each graph $G$ of order at least 3 has $χ_{lat}(G)\le χ_{la}(G)$.
Domination versus edge domination
Published
• View Publication
• BIB
We propose the conjecture that the domination number $γ(G)$ of a $Δ$-regular graph $G$ with $Δ\geq 1$ is always at most its edge domination number $γ_e(G)$, which coincides with the domination number of its line graph. We prove that $γ(G)\leq \left(1+\frac{2(Δ-1)}{Δ2^Δ}\right)γ_e(G)$ for general $Δ\geq 1$, and $γ(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)γ_e(G)$ for $Δ=3$. Furthermore, we verify our conjecture for cubic claw-free graphs.
Algebraic properties of perfect structures
Published
• View Publication
• BIB
A perfect structure is a triple $(M,P,S)$ of matrices $M, P$ and $S$ of consistent sizes such that $MP = PS$. Perfect structures comprise similar matrices, eigenvectors, perfect colorings (equitable partitions) and graph coverings. In this paper we study general algebraic properties of perfect structures and characterize all perfect structures with identity or unity matrix $M$. Next, we consider a graph product generalizing most standard products (e.g. Cartesian, tensor, normal, lexicographic graph products). For this product we propose a construction of perfect structures and prove that it can be reversed for eigenvectors. Finally, we apply obtained results to calculate the spectra of several classes of graphs and to prove some properties of perfect colorings.
Impartial digraphs
Published
• View Publication
• BIB
We prove a conjecture of Fox, Huang, and Lee that characterizes directed graphs that have constant density in all tournaments: they are disjoint unions of trees that are each constructed in a certain recursive way.