arXiv++ Combinatorics

Given an $n$ vertex graph whose edges have colored from one of $r$ colors $C=\{c_1,c_2,\ldots,c_r\}$, we define the Hamilton cycle color profile $hcp(G)$ to be the set of vectors $(m_1,m_2,\ldots,m_r)\in [0,n]^r$ such that there exists a Hamilton cycle that is the concatenation of $r$ paths $P_1,P_2,\ldots,P_r$, where $P_i$ contains $m_i$ edges of color $c_i$. We study $hcp(G_{n,p})$ when the edges are randomly colored. We discuss the profile close to the threshold for the existence of a Hamilton cycle and the threshold for when $hcp(G_{n,p})=\{(m_1,m_2,\ldots,m_r)\in [0,n]^r: m_1+m_2+\cdots+m_r=n\}$.

We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^α$ as $x\to0$, where $α\geq 1$. Also, there are $r=O(1)$ budget constraints with edge costs chosen from the same distribution. We use Lagrangean duality to construct polynomial time algorithms that produce asymptotically optimal solutions. For the spanning tree problem, we allow $r>1$, but for the assignment problem we can only analyse the case $r=1$.

We consider the following question. We are given a dense digraph $D$ with minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges of $D$ are given edge costs $C(e),e\in E(D)$, where $C(e)$ is an independent copy of the uniform $[0,1]$ random variable $U$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E(D)$. We show that w.h.p. the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. Karp's algorithm runs in polynomial time.

We consider a constrained version of the shortest path problem on the complete graphs whose edges have independent random lengths and costs. We establish the asymptotic value of the minimum length as a function of the cost-budget within a wide range.

We consider the following question. We have a dense regular graph $G$ with degree $αn$, where $α>0$ is a constant. We add $m=o(n^2)$ random edges. The edges of the augmented graph $G(m)$ are given independent edge weights $X(e)$, $e\in E(G(m))$. We estimate the minimum weight of some specified combinatorial structures. We show that in certain cases, we can obtain the same estimate as is known for the complete graph, but scaled by a factor $α^{-1}$. We consider spanning trees, shortest paths, perfect matchings in (pseudo-random) bipartite graphs.

We study two biassed Maker-Breaker games played on the complete digraph $\vec{K}_n$. In the strong connectivity game, Maker wants to build a strongly connected subgraph. We determine the asymptotic optimal bias for this game viz. $\frac{n}{\log n}$. In the Hamiltonian game, Maker wants to build a Hamiltonian subgraph. We determine the asymptotic optimal bias for this game up to a constant factor.

Let $X_1,X_2,\ldots,X_n$ be chosen independently and uniformly at random from the unit $d$-dimensional cube $[0,1]^d$. Let $r$ be given and let $\cal X=\{X_1,X_2,\ldots,X_n\}$. The random geometric graph $G=G_{\cal X,r}$ has vertex set $\cal X$ and an edge $X_iX_j$ whenever $\|X_i-X_j\|\leq r$. We show that if each edge of $G$ is colored independently from one of $n+o(n)$ colors and $r$ has the smallest value such that $G$ has minimum degree at least two, then $G$ contains a rainbow Hamilton cycle a.a.s.

We consider Hamilton cycles in the random digraph $D_{n,m}$ where the orientation of edges follows a pattern other than the trivial orientation in which the edges are oriented in the same direction as we traverse the cycle. We show that if the orientation forms a periodic pattern, other than the trivial pattern, then approximately half the usual $n\log n$ edges are needed to guarantee the existence of such Hamilton cycles a.a.s.

We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$.

We discuss the length $\vec{L}_{c,n}$ of the longest directed cycle in the sparse random digraph $D_{n,p},p=c/n$, $c$ constant. We show that for large $c$ there exists a function $\vec{f}(c)$ such that $\vec{L}_{c,n}/n\to \vec{f}(c)$ a.s. The function $\vec{f}(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $c$. We are only able to explicitly give the values $p_1,p_2$, although we could in principle compute any $p_k$.

Let $\mathbf{A}_{n,m;k}$ be a random $n \times m$ matrix with entries from some field $\mathbb{F}$ where there are exactly $k$ non-zero entries in each column, whose locations are chosen independently and uniformly at random from the set of all ${n \choose k}$ possibilities. In a previous paper (arXiv:1806.04988), we considered the rank of a random matrix in this model when the field is $\mathbb{F}=GF(2)$. In this note, we point out that with minimal modifications, the arguments from that paper actually allow analogous results when the field $\mathbb{F}$ is arbitrary. In particular, for any field $\mathbb{F}$ and any fixed $k\geq 3$, we determine an asymptotically correct estimate for the rank of $\mathbf{A}_{n,m;k}$ in terms of $c,n,k$ where $m=cn/k$, and $c$ is a constant. This formula works even when the values of the nonzero elements are adversarially chosen. When $\mathbb{F}$ is a finite field, we also determine the threshold for having full row rank, when the values of the nonzero elements are randomly chosen.

We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions.

We consider the localization game played on graphs in which a cop tries to determine the exact location of an invisible robber by exploiting distance probes. The corresponding graph parameter $ζ(G)$ for a given graph $G$ is called the localization number. In this paper, we improve the bounds for dense random graphs determining an asymptotic behaviour of $ζ(G)$. Moreover, we extend the argument to sparse graphs.

Recall that Janson showed that if the edges of the complete graph $K_n$ are assigned exponentially distributed independent random weights, then the expected length of a shortest path between a fixed pair of vertices is asymptotically equal to $(\log n)/n$. We consider analogous problems where edges have not only a random length but also a random cost, and we are interested in the length of the minimum-length structure whose total cost is less than some cost budget. For several classes of structures, we determine the correct minimum length structure as a function of the cost-budget, up to constant factors. Moreover, we achieve this even in the more general setting where the distribution of weights and costs are arbitrary, so long as the density $f(x)$ as $x\to 0$ behaves like $cx^γ$ for some $γ\geq 0$; previously, this case was not understood even in the absence of cost constraints. We also handle the case where each edge has several independent costs associated to it, and we must simultaneously satisfy budgets on each cost. In this case, we show that the minimum-length structure obtainable is essentially controlled by the product of the cost thresholds.

We study two models of an age-biased graph process: the $δ$-version of the preferential attachment graph model (PAM) and the uniform attachment graph model (UAM), with $m$ attachments for each of incoming vertices. We show that almost surely the scaled size of a breadth-first (descendant) tree rooted at a fixed vertex converges, for $m=1$, to a limit whose distribution is a mixture of two beta-distributions and a single beta-distribution respectively, and that for $m>1$ the limit is $1$. We also analyze the likely performance of two greedy (online) algorithms, for a large matching set and a large independent set, and determine--for each model and each greedy algorithm--both a limiting fraction of vertices involved and an almost sure convergence rate.

We are given a bipartite graph that contains at least one perfect matching and where each edge is colored from a set $Q=\{c_1,c_2,\ldots,c_q}\$. Let $Q_i=\set{e\in E(G):c(e)=c_i}$, where $c(e)$ denotes the color of $e$. The perfect matching color profile $mcp(G)$ is defined to be the set of vectors $(m_1,m_2,\ldots,m_q)\in [n]^q$ such that there exists a perfect matching $M$ such that $|M\cap Q_i|=m_i$. We give bounds on the matching color profile for a randomly colored random bipartite graph.

We study the minimum spanning arborescence problem on the complete digraph $\vec{K}_n$ where an edge $e$ has a weight $W_e$ and a cost $C_e$, each of which is an independent uniform random variable $U^α$ where $α\leq 1$ and $U$ is uniform $[0,1]$. There is also a constraint that the spanning arborescence $T$ must satisfy $C(T)\leq c_0$. We establish, for a range of values for $c_0,α$, the asymptotic value of the optimum weight via the consideration of a dual problem.

We discuss the length of the longest cycle in a sparse random graph $G_{n,p},p=c/n$. $c$ constant. We show that for large $c$ there is a function $f(c)$ such that $L_n(c)/n\to f(c)$ a.s. The function $f(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $k$. We are only able to explicitly give the values $p_1,p_2$, although we could in principle compute any $p_k$. We see immediately that the length of the longest path is also asymptotic to $f(c)n$ w.h.p.

In this paper we consider the existence of Hamilton cycles in the random graph $G=G_{n,m}^{δ\geq 3}$. This a random graph chosen uniformly from the set of graphs with vertex set $[n]$, $m$ edges and minimum degree at least 3. Our ultimate goal is to prove that if $m=cn$ and $c>3/2$ is constant then $G$ is Hamiltonian w.h.p. In an earlier paper the second author showed that $c\geq 10$ is sufficient for this and in this paper we reduce the lower bound to $c>2.662...$. This new lower bound is the same lower bound found in Frieze and Pittel \cite{FP} for the expansion of so-called Pósa sets.

We find the threshold for the existence of a collection of edge disjoint copies of $K_r$ that form a cyclic structure and span all vertices of $G_{n,p}$. We use a recent result of Riordan to give a two line proof of the main result.