Searcharxiv⌕ Search

arXiv subjects

Jiangdong Ai

Publications and source records attributed to Jiangdong Ai.

45 records · Page 3Linked to original sources

Graph operations and a unified method for kinds of Turán-type problems on paths, cycles and matchings

Let $G$ be a connected graph and $\mathcal{P}(G)$ a graph parameter. We say that $\mathcal{P}(G)$ is feasible if $\mathcal{P}(G)$ satisfies the following properties: (I) $\mathcal{P}(G)\leq \mathcal{P}(G_{uv})$, if $G_{uv}=G[u\to v]$ for any $u,v$, where $G_{uv}$ is the graph obtained by applying Kelmans operation from $u$ to $v$; (II) $\mathcal{P}(G) <\mathcal{P}(G+e)$ for any edge $e\notin E(G)$. Let $P_k$ be a path of order $k$, $\mathcal{C}_{\geq k}$ the set of all cycles of length at least $k$ and $M_{k+1}$ a matching containing $k+1$ independent edges. In this paper, we mainly prove the following three results: (i) Let $n\geq k\geq 5$ and let $t=\left\lfloor\frac{k-1}{2}\right\rfloor$. Let $G$ be a $2$-connected $n$-vertex $\mathcal{C}_{\geq k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^1_{n,k}=\{W_{n,k,s}=K_{s}\vee ((n-k+s)K_1\cup K_{k-2s}): 2\leq s\leq t\}$. (ii) Let $n\geq k\geq 4$ and let $t=\left\lfloor\frac{k}{2}\right\rfloor-1$. Let $G$ be a connected $n$-vertex $P_{k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^2_{n,k}=\{W_{n,k-1,s}=K_{s}\vee ((n-k+s+1)K_1\cup K_{k-2s-1}): 1\leq s\leq t\}.$ (iii) Let $G$ be a connected $n$-vertex $M_{k+1}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\cong K_n$ when $n=2k+1$ and $G\in \mathcal{G}^3_{n,k}=\{K_s\vee ((n-2k+s-1)K_1\cup K_{2k-2s+1}):1\leq s\leq k\}$ when $n\geq 2k+2$. Directly derived from these three main results, we obtain a series of applications in Turán-type problems, generalized Turán-type problems, powers of graph degrees in extremal graph theory, and problems related to spectral radius, and signless Laplacian spectral radius in spectral graph theory.

math.CO↗

A new perspective from hypertournaments to tournaments

A $k$-tournament $H$ on $n$ vertices is a pair $(V, A)$ for $2\leq k\leq n$, where $V(H)$ is a set of vertices, and $A(H)$ is a set of all possible $k$-tuples of vertices, such that for any $k$-subset $S$ of $V$, $A(H)$ contains exactly one of the $k!$ possible permutations of $S$. In this paper, we investigate the relationship between a hyperdigraph and its corresponding normal digraph. Particularly, drawing on a result from Gutin and Yeo, we establish an intrinsic relationship between a strong $k$-tournament and a strong tournament, which enables us to provide an alternative (more straightforward and concise) proof for some previously known results and get some new results.

math.CO↗

Bounds on Maximum Weight Directed Cut

We obtain lower and upper bounds for the maximum weight of a directed cut in the classes of weighted digraphs and weighted acyclic digraphs as well as in some of their subclasses. We compare our results with those obtained for the maximum size of a directed cut in unweighted digraphs. In particular, we show that a lower bound obtained by Alon, Bollobas, Gyafas, Lehel and Scott (J Graph Th 55(1) (2007)) for unweighted acyclic digraphs can be extended to weighted digraphs with the maximum length of a cycle being bounded by a constant and the weight of every arc being at least one. We state a number of open problems.

math.CO↗

Results on the Small Quasi-Kernel Conjecture

A {\em quasi-kernel} of a digraph $D$ is an independent set $Q\subseteq V(D)$ such that for every vertex $v\in V(D)\backslash Q$, there exists a directed path with one or two arcs from $v$ to a vertex $u\in Q$. In 1974, Chvátal and Lovász proved that every digraph has a quasi-kernel. In 1976, Erdős and Sźekely conjectured that every sink-free digraph $D=(V(D),A(D))$ has a quasi-kernel of size at most $|V(D)|/2$. In this paper, we give a new method to show that the conjecture holds for a generalization of anti-claw-free digraphs. For any sink-free one-way split digraph $D$ of order $n$, when $n\geq 3$, we show a stronger result that $D$ has a quasi-kernel of size at most $\frac{n+3}{2} - \sqrt{n}$, and the bound is sharp.

math.CO↗

Extended Path Partition Conjecture for Semicomplete and Acyclic Compositions

Let $D$ be a digraph and let $λ(D)$ denote the number of vertices in a longest path of $D$. For a pair of vertex-disjoint induced subdigraphs $A$ and $B$ of $D$, we say that $(A,B)$ is a partition of $D$ if $V(A)\cup V(B)=V(D).$ The Path Partition Conjecture (PPC) states that for every digraph, $D$, and every integer $q$ with $1\leq q\leqλ(D)-1$, there exists a partition $(A,B)$ of $D$ such that $λ(A)\leq q$ and $λ(B)\leqλ(D)-q.$ Let $T$ be a digraph with vertex set $\{u_1,\dots, u_t\}$ and for every $i\in [t]$, let $H_i$ be a digraph with vertex set $\{u_{i,j_i}\colon\, j_i\in [n_i]\}$. The {\em composition} $Q=T[H_1,\dots , H_t]$ of $T$ and $H_1,\ldots, H_t$ is a digraph with vertex set $\{u_{i,j_i}\colon\, i\in [t], j_i\in [n_i]\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{i,j_i}u_{p,q_p}\colon\, u_iu_p\in A(T), j_i\in [n_i], q_p\in [n_p]\}.$$ We say that $Q$ is acyclic {(semicomplete, respectively)} if $T$ is acyclic {(semicomplete, respectively)}. In this paper, we introduce a conjecture stronger than PPC using a property first studied by Bang-Jensen, Nielsen and Yeo (2006) and show that the stronger conjecture holds for wide families of acyclic and semicomplete compositions.

math.CO↗

Kings in Multipartite Hypertournaments

In his paper "Kings in Bipartite Hypertournaments" (Graphs $\&$ Combinatorics 35, 2019), Petrovic stated two conjectures on 4-kings in multipartite hypertournaments. We prove one of these conjectures and give counterexamples for the other.

math.CO↗

k-Ary spanning trees contained in tournaments

A rooted tree is called a $k$-ary tree, if all non-leaf vertices have exactly $k$ children, except possibly one non-leaf vertex has at most $k-1$ children. Denote by $h(k)$ the minimum integer such that every tournament of order at least $h(k)$ contains a $k$-ary spanning tree. It is well-known that every tournament contains a Hamiltonian path, which implies that $h(1)=1$. Lu et al. [J. Graph Theory {\bf 30}(1999) 167--176] proved the existence of $h(k)$, and showed that $h(2)=4$ and $h(3)=8$. The exact values of $h(k)$ remain unknown for $k\geq 4$. A result of Erdős on the domination number of tournaments implies $h(k)=Ω(k\log k)$. In this paper, we prove that $h(4)=10$ and $h(5)\geq13$.

math.CO↗

Proximity and Remoteness in Directed and Undirected Graphs

Let $D$ be a strongly connected digraph. The average distance $\barσ(v)$ of a vertex $v$ of $D$ is the arithmetic mean of the distances from $v$ to all other vertices of $D$. The remoteness $ρ(D)$ and proximity $π(D)$ of $D$ are the maximum and the minimum of the average distances of the vertices of $D$, respectively. We obtain sharp upper and lower bounds on $π(D)$ and $ρ(D)$ as a function of the order $n$ of $D$ and describe the extreme digraphs for all the bounds. We also obtain such bounds for strong tournaments. We show that for a strong tournament $T$, we have $π(T)=ρ(T)$ if and only if $T$ is regular. Due to this result, one may conjecture that every strong digraph $D$ with $π(D)=ρ(D)$ is regular. We present an infinite family of non-regular strong digraphs $D$ such that $π(D)=ρ(D).$ We describe such a family for undirected graphs as well.

math.CO↗

Arc-disjoint strong spanning subdigraphs in compositions and products of digraphs

A digraph $D=(V,A)$ has a good decomposition if $A$ has two disjoint sets $A_1$ and $A_2$ such that both $(V,A_1)$ and $(V,A_2)$ are strong. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\mid u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ For digraph compositions $Q=T[H_1,\dots H_t]$, we obtain sufficient conditions for $Q$ to have a good decomposition and a characterization of $Q$ with a good decomposition when $T$ is a strong semicomplete digraph and each $H_i$ is an arbitrary digraph with at least two vertices. For digraph products, we prove the following: (a) if $k\geq 2$ is an integer and $G$ is a strong digraph which has a collection of arc-disjoint cycles covering all vertices, then the Cartesian product digraph $G^{\square k}$ (the $k$th powers with respect to Cartesian product) has a good decomposition; (b) for any strong digraphs $G, H$, the strong product $G\boxtimes H$ has a good decomposition.

cs.DM↗