graph
35273 papers tagged with this keyword
Cops against a cheating robber
Published
• View Publication
• BIB
We investigate a cheating robot version of Cops and Robber, first introduced by Huggan and Nowakowski, where both the cops and the robber move simultaneously, but the robber is allowed to react to the cops' moves. For conciseness, we refer to this game as Cops and Cheating Robot. The cheating robot number for a graph is the fewest number of cops needed to win on the graph. We introduce a new parameter for this variation, called the push number, which gives the value for the minimum number of cops that move onto the robber's vertex given that there are a cheating robot number of cops on the graph. After producing some elementary results on the push number, we use it to give a relationship between Cops and Cheating Robot and Surrounding Cops and Robbers. We investigate the cheating robot number for planar graphs and give a tight bound for bipartite planar graphs. We show that determining whether a graph has a cheating robot number at most fixed $k$ can be done in polynomial time. We also obtain bounds on the cheating robot number for strong and lexicographic products of graphs.
Constructing cospectral graphs via regular rational orthogonal matrix with level two and three
Published
• View Publication
• BIB
Two graphs $G$ and $H$ are \emph{cospectral} if the adjacency matrices share the same spectrum. Constructing cospectral non-isomorphic graphs has been studied extensively for many years and various constructions are known in the literature, e.g. the famous GM-switching method. In this paper, we shall construct cospectral graphs via regular rational orthogonal matrix $Q$ with level two and three. We provide two straightforward algorithms to characterize with adjacency matrix $A$ of graph $G$ such that $Q^TAQ$ is again a (0,1)-matrix, and introduce two new switching methods to construct families of cospectral graphs which generalized the GM-switching to some extent.
Generalized Turán problem for a path and a clique
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a family of graphs. The generalized Turán number $ex(n, K_r, \mathcal{H})$ is the maximum number of copies of the clique $K_r$ in any $n$-vertex $\mathcal{H}$-free graph. In this paper, we determine the value of $ex(n, K_r, \{P_k, K_m \} )$ for sufficiently large $n$ with an exceptional case, and characterize all corresponding extremal graphs, which generalizes and strengthens the results of Katona and Xiao [EJC, 2024] on $ex(n, K_2, \{P_k, K_m \} )$. For the exceptional case, we obtain a tight upper bound for $ex(n, K_r, \{P_k, K_m \} )$ that confirms a conjecture on $ex(n, K_2, \{P_k, K_m \} )$ posed by Katona and Xiao.
A construction for regular-graph designs
Published
• View Publication
• BIB
A regular-graph design is a block design for which a pair $\{a,b\}$ of distinct points occurs in $λ+1$ or $λ$ blocks depending on whether $\{a,b\}$ is or is not an edge of a given $δ$-regular graph. Our paper describes a specific construction for regular-graph designs with $λ= 1$ and block size $δ+ 1$. We show that for $δ\in \{2,3\}$, certain necessary conditions for the existence of such a design with $n$ points are sufficient, with two exceptions in each case and two possible exceptions when $δ= 3$. We also construct designs of orders 105 and 117 for connected 4-regular graphs.
Perfect coalition in graphs
Published
• View Publication
• BIB
\noindent A perfect dominating set in a graph $G=(V,E)$ is a subset $S \subseteq V$ such that each vertex in $V \setminus S$ has exactly one neighbor in $S$. A perfect coalition in $G$ consists of two disjoint sets of vertices $V_i$ and $V_j$ such that i) neither $V_i$ nor $V_j$ is a dominating set, ii) each vertex in $V(G) \setminus V_i$ has at most one neighbor in $V_i$ and each vertex in $V(G) \setminus V_j$ has at most one neighbor in $V_j$, and iii) $V_i \cup V_j$ is a perfect dominating set. A perfect coalition partition (abbreviated $prc$-partition) in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that for each set $V_i$ of $π$ either $V_i$ is a singleton dominating set, or there exists a set $V_j \in π$ that forms a perfect coalition with $V_i$. In this paper, we initiate the study of perfect coalition partitions in graphs. We obtain a bound on the number of perfect coalitions involving each member of a perfect coalition partition, in terms of maximum degree. The perfect coalition of some special graphs are investigated. The graph $G$ with $δ(G)=1$, the triangle-free graphs $G$ with prefect coalition number of order of $G$ and the trees $T$ with prefect coalition number in $\{n,n-1,n-2\}$ where $n=|V(T)|$ are characterized.
Backbone coloring for graphs with degree 4
The $λ$-backbone coloring of the graph $G$ with backbone $H$ is a graph-coloring problem in which we are given a graph $G$ and a subgraph $H$, and we want to assign colors to vertices in such a way that the endpoints of every edge from $G$ have different colors, and the endpoints of every edge from $H$ are assigned colors which differ by at least $λ$.
In this paper we pursue research on backbone coloring of bounded-degree graphs with well-known classes of backbones. Our result is an almost complete classification of problems in the form $BBC_λ(G, H) \le λ+ k$ for graphs with maximum degree $4$ and backbones from the following classes: paths, trees, matchings, and galaxies.
The maximum size of a nonhamiltonian-connected graph with given order and minimum degree
Published
• View Publication
• BIB
In this paper, we determine the maximum size of a nonhamiltonian-connected graph with prescribed order and minimum degree. We also characterize the extremal graphs that attain this maximum size. This work generalizes a previous result obtained by Ore [ J. Math. Pures Appl. 42 (1963) 21-27] and further extends a theorem proved by Ho, Lin, Tan, Hsu, and Hsu [Appl. Math. Lett. 23 (2010) 26-29]. As a corollary of our main result, we determine the maximum size of a $k$-connected nonhamiltonian-connected graph with a given order.
The minimum size of a chordal graph with given order and minimum degree
A graph is chordal if it does not contain an induced cycle of length greater than three. We determine the minimum size of a chordal graph with given order and minimum degree. In doing so, we have discovered interesting properties of chordal graphs.
The strong Nash-Williams orientation theorem for rayless graphs
Published
• View Publication
• BIB
In 1960, Nash-Williams proved his strong orientation theorem that every finite graph has an orientation in which the number of directed paths between any two vertices is at least half the number of undirected paths between them (rounded down). Nash-Williams conjectured that it is possible to find such orientations for infinite graphs as well. We provide a partial answer by proving that all rayless graphs have such an orientation.
The Lower Bound for Number of Hexagons in Strongly Regular Graphs with Parameters $λ=1$ and $μ=2$
Published
• View Publication
• BIB
The existence of $srg(99,14,1,2)$ has been a question of interest for several decades to the moment. In this paper we consider the structural properties in general for the family of strongly regular graphs with parameters $λ=1$ and $μ=2$. In particular, we establish the lower bound for the number of hexagons and, by doing that, we show the connection between the existence of the aforementioned graph and the number of its hexagons.
Counting Flows of $b$-compatible Graphs
Published
• View Publication
• BIB
Kochol introduced the assigning polynomial $F(G,α;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $α$ is a $\{0,1\}$-assigning from a family $Λ(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let $α_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\inΛ(G)$, $α_{G,b}(X)=0$ if and only if $\sum_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $α$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $α=α_{G,b}$, then the assigning polynomial $F(G,α;k)$ has the $b$-compatible spanning subgraph expansion \[ F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S\mbox{ is $b$-compatible}}}(-1)^{|S|}k^{m(G-S)}, \] and is the following form $F(G,α;k)=\sum_{i=0}^{m(G)}(-1)^ia_i(G,α)k^{m(G)-i}$, where each $a_i(G,α)$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $α,α'$ of $G$, if there exist functions $b:V(G)\to A$ and $b':V(G)\to A'$ such that $G$ is both $b$-compatible and $b'$-compatible, $α=α_{G,b}$, $α'=α_{G,b'}$ and $α(X)\leα'(X)$ for all $X\inΛ(G)$, then \[ a_i(G,α)\le a_i(G,α') \quad \mbox{ for }\quad i=0,1,\ldots, m(G). \]
Quasi-treeings are treeable: a streamlined proof
We present a streamlined exposition of a construction by R. Chen, A. Poulin, R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations generated by any locally-finite Borel graph such that each component is a quasi-tree. More generally, we show that if each component of a locally-finite Borel graph admits a finitely-separating Borel family of cuts, then we may 'canonically' replace each component of the graph by a tree of special ultrafilter-like objects on cuts called orientations; moreover, if the cuts are dense towards ends, then the union of these trees is a Borel treeing.
Invariants of Bipartite Kneser B type-\MakeLowercase{k} graphs
Let $\mathscr{B}_n = \{ \pm x_1, \pm x_2, \pm x_3, \cdots, \pm x_{n-1}, x_n \}$ where $n>1$ is fixed, $x_i \in \mathbb{R}^+$, $i = 1, 2, 3, \cdots, n$ and $x_1 < x_2 < x_3 < \cdots < x_n$. Let $φ(\mathscr{B}_n)$ be the set of all non-empty subsets $S = \{u_1, u_2,\cdots, u_t\}$ of $\mathscr{B}_n$ such that $|u_1|<|u_2|<\cdots <|u_{t-1}|<u_t $ where $u_t\in \mathbb{R}^+$. Let $\mathscr{B}_n^+ = \{ x_1, x_2, x_3, \cdots, x_{n-1}, x_n \}$. For a fixed $k$, let $V_1$ be the set of $k$-element subsets of $\mathscr{B}_n^+$, $1 \leq k <n$. $V_2= φ(\mathscr{B}_n)-V_1$. For any $A \in V_2$, let $A^\dagger = \{\lvert x \rvert: x \in A\}$. Define a bipartite graph with parts $V_1$ and $V_2$ and having adjacency as $X \in V_1$ is adjacent to $Y\in V_2$ if and only if $X \subset Y^\dagger$ or $Y^\dagger \subset X$. A graph of this type is called a bipartite Kneser B type-$k$ graph and denoted by $H_B(n,k)$. In this paper, we calculated various graph invariants of $H_B(n,k)$.
Trees and near-linear stable sets
Published
• View Publication
• BIB
When $H$ is a forest, the Gyárfás-Sumner conjecture implies that every graph $G$ with no induced subgraph isomorphic to $H$ and with bounded clique number has a stable set of linear size. We cannot prove that, but we prove that every such graph $G$ has a stable set of size $|G|^{1-o(1)}$. If $H$ is not a forest, there need not be such a stable set.
Second, we prove that when $H$ is a ``multibroom'', there {\em is} a stable set of linear size. As a consequence, we deduce that all multibrooms satisfy a ``fractional colouring'' version of the Gyárfás-Sumner conjecture.
Finally, we discuss extensions of our results to the multicolour setting.
Subdivisions and near-linear stable sets
Published
• View Publication
• BIB
We prove that for every complete graph $K_t$, all graphs $G$ with no induced subgraph isomorphic to a subdivision of $K_t$ have a stable subset of size at least $|G|/{\rm polylog}|G|$. This is close to best possible, because for $t\ge 7$, not all such graphs $G$ have a stable set of linear size, even if $G$ is triangle-free.
Ramsey numbers for partially ordered sets
Published
• View Publication
• BIB
In this thesis, we present quantitative Ramsey-type results in the setting of finite sets that are equipped with a partial order, so-called posets. A prominent example of a poset is the Boolean lattice $Q_n$, which consists of all subsets of $\{1,\dots,n\}$, ordered by inclusion. For posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the smallest $N$ such that no matter how the elements of $Q_N$ are colored in blue and red, there is either an induced subposet isomorphic to $P$ in which every element is colored blue, or an induced subposet isomorphic to $Q$ in which every element is colored red.
The central focus of this thesis is to investigate $R(P,Q_n)$, where $P$ is fixed and $n$ grows large. Our results contribute to an active area of discrete mathematics, which studies the existence of large homogeneous substructures in host structures with local constraints, introduced for graphs by Erdős and Hajnal. We provide an asymptotically tight bound on $R(P,Q_n)$ for $P$ from several classes of posets, and show a dichotomy in the asymptotic behavior of $R(P,Q_n)$, depending on whether $P$ contains a subposet isomorphic to one of two specific posets.
A fundamental question in the study of poset Ramsey numbers is to determine the asymptotic behavior of $R(Q_n,Q_n)$ for large $n$. In this dissertation, we present improvements on the known lower and upper bound on $R(Q_n,Q_n)$. Moreover, we explore variations of the poset Ramsey setting, including Erdős-Hajnal-type questions when the small forbidden poset has a non-monochromatic color pattern, and so-called weak poset Ramsey numbers, which are concerned with non-induced subposets.
Injective colorings of Sierpiński-like graphs and Kneser graphs
Two relationships between the injective chromatic number and, respectively, chromatic number and chromatic index, are proved. They are applied to determine the injective chromatic number of Sierpiński graphs and to give a short proof that Sierpiński graphs are Class $1$. Sierpiński-like graphs are also considered, including generalized Sierpiński graphs over cycles and rooted products. It is proved that the injective chromatic number of a rooted product of two graphs lies in a set of six possible values. Sierpiński graphs and Kneser graphs $K(n,r)$ are considered with respect of being perfect injectively colorable, where a graph is perfect injectively colorable if it has an injective coloring in which every color class forms an open packing of largest cardinality. In particular, all Sierpiński graphs and Kneser graphs $K(n, r)$ with $n \ge 3r-1$ are perfect injectively colorable graph, while $K(7,3)$ is not.
Vertex identification to a forest
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a graph class and $k\in\mathbb{N}$. We say a graph $G$ admits a \emph{$k$-identification to $\mathcal{H}$} if there is a partition $\mathcal{P}$ of some set $X\subseteq V(G)$ of size at most $k$ such that after identifying each part in $\mathcal{P}$ to a single vertex, the resulting graph belongs to $\mathcal{H}$. The graph parameter ${\sf id}_{\mathcal{H}}$ is defined so that ${\sf id}_{\mathcal{H}}(G)$ is the minimum $k$ such that $G$ admits a $k$-identification to $\mathcal{H}$, and the problem of \textsc{Identification to $\mathcal{H}$} asks, given a graph $G$ and $k\in\mathbb{N}$, whether ${\sf id}_{\mathcal{H}}(G)\le k$. If we set $\mathcal{H}$ to be the class $\mathcal{F}$ of acyclic graphs, we generate the problem \textsc{Identification to Forest}, which we show to be {\sf NP}-complete. We prove that, when parameterized by the size $k$ of the identification set, it admits a kernel of size $2k+1$. For our kernel we reveal a close relation of \textsc{Identification to Forest} with the \textsc{Vertex Cover} problem. We also study the combinatorics of the \textsf{yes}-instances of \textsc{Identification to $\mathcal{H}$}, i.e., the class $\mathcal{H}^{(k)}:=\{G\mid {\sf id}_{\mathcal{H}}(G)\le k\}$, {which we show to be minor-closed for every $k$} when $\mathcal{H}$ is minor-closed. We prove that the minor-obstructions of $\mathcal{F}^{(k)}$ are of size at most $2k+4$. We also prove that every graph $G$ such that ${\sf id}_{\mathcal{F}}(G)$ is sufficiently big contains as a minor either a cycle on $k$ vertices, or $k$ disjoint triangles, or the \emph{$k$-marguerite} graph, that is the graph obtained by $k$ disjoint triangles by identifying one vertex of each of them into the same vertex.
Shifts of Finite Type Obtained by Forbidding a Single Pattern
Published
• View Publication
• BIB
Given a finite word $w$, Guibas and Odlyzko (J. Combin. Theory Ser. A, 30, 1981, 183-208) showed that the autocorrelation polynomial $φ_w(t)$ of $w$, which records the set of self-overlaps of $w$, explicitly determines for each $n$, the number $|B_n(w)|$ of words of length $n$ that avoid $w$. We consider this and related problems from the viewpoint of symbolic dynamics, focusing on the setting of $X_{\{w\}}$, the space of all bi-infinite sequences that avoid $w$. We first summarize and elaborate upon (J. Combin. Theory Ser. A, 30, 1981, 183-208) and other work to show that the sequence $|B_n(w)|$ is equivalent to several invariants of $X_{\{w\}}$. We then give a finite-state labeled graphical representation $L_w$ of $X_{\{w\}}$ and show that $w$ can be recovered from the graph isomorphism class of the unlabeled version of $L_w$. Using $L_w$, we apply ideas from probability and Perron-Frobenius theory to obtain results comparing features of $X_{\{w\}}$ for different $w$. Next, we give partial results on the problem of classifying the spaces $X_{\{w\}}$ up to conjugacy. Finally, we extend some of our results to spaces of multi-dimensional arrays that avoid a given finite pattern.
Markov chains, CAT(0) cube complexes, and enumeration: monotone paths in a strip mix slowly
Published
• View Publication
• BIB
We prove that two natural Markov chains on the set of monotone paths in a strip mix slowly. To do so, we make novel use of the theory of non-positively curved (CAT(0)) cubical complexes to detect small bottlenecks in many graphs of combinatorial interest. Along the way, we give a formula for the number c_m(n) of monotone paths of length n in a strip of height m. In particular we compute the exponential growth constant of c_m(n) for arbitrary m, generalizing results of Williams for m=2, 3.