-
VideoPoet: A Large Language Model for Zero-Shot Video Generation
Authors:
Dan Kondratyuk,
Lijun Yu,
Xiuye Gu,
José Lezama,
Jonathan Huang,
Grant Schindler,
Rachel Hornung,
Vighnesh Birodkar,
Jimmy Yan,
Ming-Chang Chiu,
Krishna Somandepalli,
Hassan Akbari,
Yair Alon,
Yong Cheng,
Josh Dillon,
Agrim Gupta,
Meera Hahn,
Anja Hauth,
David Hendon,
Alonso Martinez,
David Minnen,
Mikhail Sirotenko,
Kihyuk Sohn,
Xuan Yang,
Hartwig Adam
, et al. (6 additional authors not shown)
Abstract:
We present VideoPoet, a language model capable of synthesizing high-quality video, with matching audio, from a large variety of conditioning signals. VideoPoet employs a decoder-only transformer architecture that processes multimodal inputs -- including images, videos, text, and audio. The training protocol follows that of Large Language Models (LLMs), consisting of two stages: pretraining and tas…
▽ More
We present VideoPoet, a language model capable of synthesizing high-quality video, with matching audio, from a large variety of conditioning signals. VideoPoet employs a decoder-only transformer architecture that processes multimodal inputs -- including images, videos, text, and audio. The training protocol follows that of Large Language Models (LLMs), consisting of two stages: pretraining and task-specific adaptation. During pretraining, VideoPoet incorporates a mixture of multimodal generative objectives within an autoregressive Transformer framework. The pretrained LLM serves as a foundation that can be adapted for a range of video generation tasks. We present empirical results demonstrating the model's state-of-the-art capabilities in zero-shot video generation, specifically highlighting VideoPoet's ability to generate high-fidelity motions. Project page: http://sites.research.google/videopoet/
△ Less
Submitted 4 June, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Diversity and Diffusion: Observations on Synthetic Image Distributions with Stable Diffusion
Authors:
David Marwood,
Shumeet Baluja,
Yair Alon
Abstract:
Recent progress in text-to-image (TTI) systems, such as StableDiffusion, Imagen, and DALL-E 2, have made it possible to create realistic images with simple text prompts. It is tempting to use these systems to eliminate the manual task of obtaining natural images for training a new machine learning classifier. However, in all of the experiments performed to date, classifiers trained solely with syn…
▽ More
Recent progress in text-to-image (TTI) systems, such as StableDiffusion, Imagen, and DALL-E 2, have made it possible to create realistic images with simple text prompts. It is tempting to use these systems to eliminate the manual task of obtaining natural images for training a new machine learning classifier. However, in all of the experiments performed to date, classifiers trained solely with synthetic images perform poorly at inference, despite the images used for training appearing realistic. Examining this apparent incongruity in detail gives insight into the limitations of the underlying image generation processes. Through the lens of diversity in image creation vs.accuracy of what is created, we dissect the differences in semantic mismatches in what is modeled in synthetic vs. natural images. This will elucidate the roles of the image-languag emodel, CLIP, and the image generation model, diffusion. We find four issues that limit the usefulness of TTI systems for this task: ambiguity, adherence to prompt, lack of diversity, and inability to represent the underlying concept. We further present surprising insights into the geometry of CLIP embeddings.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
Sparse pancyclic subgraphs of random graphs
Authors:
Yahav Alon,
Michael Krivelevich
Abstract:
It is known that the complete graph $K_n$ contains a pancyclic subgraph with $n+(1+o(1))\cdot \log _2 n$ edges, and that there is no pancyclic graph on $n$ vertices with fewer than $n+\log _2 (n-1) -1$ edges. We show that, with high probability, $G(n,p)$ contains a pancyclic subgraph with $n+(1+o(1))\log_2 n$ edges for $p \ge p^*$, where $p^*=(1+o(1))\ln n/n$, right above the threshold for pancycl…
▽ More
It is known that the complete graph $K_n$ contains a pancyclic subgraph with $n+(1+o(1))\cdot \log _2 n$ edges, and that there is no pancyclic graph on $n$ vertices with fewer than $n+\log _2 (n-1) -1$ edges. We show that, with high probability, $G(n,p)$ contains a pancyclic subgraph with $n+(1+o(1))\log_2 n$ edges for $p \ge p^*$, where $p^*=(1+o(1))\ln n/n$, right above the threshold for pancyclicity.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
Two-round Ramsey games on random graphs
Authors:
Yahav Alon,
Patrick Morris,
Wojciech Samotij
Abstract:
Motivated by the investigation of sharpness of thresholds for Ramsey properties in random graphs, Friedgut, Kohayakawa, Rödl, Ruciński and Tetali introduced two variants of a single-player game whose goal is to colour the edges of a~random graph, in an online fashion, so as not to create a monochromatic triangle. In the two-round variant of the game, the player is first asked to find a triangle-fr…
▽ More
Motivated by the investigation of sharpness of thresholds for Ramsey properties in random graphs, Friedgut, Kohayakawa, Rödl, Ruciński and Tetali introduced two variants of a single-player game whose goal is to colour the edges of a~random graph, in an online fashion, so as not to create a monochromatic triangle. In the two-round variant of the game, the player is first asked to find a triangle-free colouring of the edges of a random graph $G_1$ and then extend this colouring to a triangle-free colouring of the union of $G_1$ and another (independent) random graph $G_2$, which is disclosed to the player only after they have coloured $G_1$. Friedgut et al.\ analysed this variant of the online Ramsey game in two instances: when $G_1$ has $Θ(n^{4/3})$ edges and when the number of edges of $G_1$ is just below the threshold above which a random graph typically no longer admits a triangle-free colouring, which is located at $Θ(n^{3/2})$.
The two-round Ramsey game has been recently revisited by Conlon, Das, Lee and Mészáros, who generalised the result of Friedgut at al.\ from triangles to all strictly $2$-balanced graphs. We extend the work of Friedgut et al.\ in an orthogonal direction and analyse the triangle case of the two-round Ramsey game at all intermediate densities. More precisely, for every $n^{-4/3} \ll p \ll n^{-1/2}$, with the exception of $p = Θ(n^{-3/5})$, we determine the threshold density $q$ at which it becomes impossible to extend any triangle-free colouring of a typical $G_1 \sim G_{n,p}$ to a triangle-free colouring of the union of $G_1$ and $G_2 \sim G_{n,q}$. An interesting aspect of our result is that this threshold density $q$ `jumps' by a polynomial quantity as $p$ crosses a `critical' window around $n^{-3/5}$.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
The completion numbers of Hamiltonicity and pancyclicity in random graphs
Authors:
Yahav Alon,
Michael Anastos
Abstract:
Let $μ(G)$ denote the minimum number of edges whose addition to $G$ results in a Hamiltonian graph, and let $\hatμ(G)$ denote the minimum number of edges whose addition to $G$ results in a pancyclic graph. We study the distributions of $μ(G),\hatμ(G)$ in the context of binomial random graphs. Letting $d=d(n)$:=$n\cdot p$, we prove that there exists a function $f:\mathbb{R}^+\to [0,1]$ of order…
▽ More
Let $μ(G)$ denote the minimum number of edges whose addition to $G$ results in a Hamiltonian graph, and let $\hatμ(G)$ denote the minimum number of edges whose addition to $G$ results in a pancyclic graph. We study the distributions of $μ(G),\hatμ(G)$ in the context of binomial random graphs. Letting $d=d(n)$:=$n\cdot p$, we prove that there exists a function $f:\mathbb{R}^+\to [0,1]$ of order $f(d) = \frac{1}{2}de^{-d}+e^{-d}+O(d^6e^{-3d})$ such that, if $G\sim G(n,p)$ with $20 \le d(n) \le 0.4 \log n$, then with high probability $μ(G)= (1+o(1))\cdot f(d)\cdot n$. Let $n_i(G)$ denote the number of degree $i$ vertices in $G$. A trivial lower bound on $μ(G)$ is given by the expression $n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. We show that in the random graph process $\{ G_t\}_{t=0}^{\binom{n}{2}}$ with high probability there exist times $t_1,t_2$, both of order $(1+o(1))n\cdot \left( \frac{1}{6}\log n + \log \log n \right)$, such that $μ(G_t)=n_0(G_t) + \lceil \frac{1}{2}n_1(G_t) \rceil$ for every $t\ge t_1$ and $μ(G_t)>n_0(G_t) + \lceil \frac{1}{2}n_1(G_t) \rceil$ for every $t\le t_2$. The time $t_i$ can be characterized as the smallest $t$ for which $G_t$ contains less than $i$ copies of a certain problematic subgraph. In particular, this implies that the hitting time for the existence of a Hamilton path is equal to the hitting time of $n_1(G) \le 2$ with high probability. For the binomial random graph, this implies that if $np-\frac{1}{3}\log n - 2\log \log n \to \infty$ and $G\sim G(n,p)$ then, with high probability, $μ(G) = n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. Finally, we show that if $G\sim G(n,p)$ and $np\ge 20$ then, with high probability, $\hatμ (G)=μ(G)$.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
Hamilton completion and the path cover number of sparse random graphs
Authors:
Yahav Alon,
Michael Krivelevich
Abstract:
We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ edges can be added to…
▽ More
We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ edges can be added to $G$ to create a Hamiltonian graph.
△ Less
Submitted 25 December, 2023; v1 submitted 21 October, 2022;
originally announced October 2022.
-
Using Graph Neural Networks for Program Termination
Authors:
Yoav Alon,
Cristina David
Abstract:
Termination analyses investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of program bugs (e.g. hanging programs, denial-of-service vulnerabilities). Beyond formal approaches, various attempts have been made to estimate the termination behavior of programs using neural networks. However, the majority of these approaches continue to…
▽ More
Termination analyses investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of program bugs (e.g. hanging programs, denial-of-service vulnerabilities). Beyond formal approaches, various attempts have been made to estimate the termination behavior of programs using neural networks. However, the majority of these approaches continue to rely on formal methods to provide strong soundness guarantees and consequently suffer from similar limitations. In this paper, we move away from formal methods and embrace the stochastic nature of machine learning models. Instead of aiming for rigorous guarantees that can be interpreted by solvers, our objective is to provide an estimation of a program's termination behavior and of the likely reason for nontermination (when applicable) that a programmer can use for debugging purposes. Compared to previous approaches using neural networks for program termination, we also take advantage of the graph representation of programs by employing Graph Neural Networks. To further assist programmers in understanding and debugging nontermination bugs, we adapt the notions of attention and semantic segmentation, previously used for other application domains, to programs. Overall, we designed and implemented classifiers for program termination based on Graph Convolutional Networks and Graph Attention Networks, as well as a semantic segmentation Graph Neural Network that localizes AST nodes likely to cause nontermination. We also illustrated how the information provided by semantic segmentation can be combined with program slicing to further aid debugging.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
The global resilience of Hamiltonicity in $G(n, p)$
Authors:
Yahav Alon
Abstract:
Denote by $r_g(G,\mathcal{H})$ the global resilience of a graph $G$ with respect to Hamiltonicity. That is, $r_g(G,\mathcal{H})$ is the minimal $r$ for which there exists a subgraph $H\subseteq G$ with $r$ edges, such that $G\setminus H$ is not Hamiltonian. We show that if $p$ is above the Hamiltonicity threshold and $G\sim G(n,p)$ then, with high probability, $r_g(G,\mathcal{H})=δ(G)-1$. This is…
▽ More
Denote by $r_g(G,\mathcal{H})$ the global resilience of a graph $G$ with respect to Hamiltonicity. That is, $r_g(G,\mathcal{H})$ is the minimal $r$ for which there exists a subgraph $H\subseteq G$ with $r$ edges, such that $G\setminus H$ is not Hamiltonian. We show that if $p$ is above the Hamiltonicity threshold and $G\sim G(n,p)$ then, with high probability, $r_g(G,\mathcal{H})=δ(G)-1$. This is easily extended to the full interval: for every $p(n)\in [0,1]$, if $G\sim G(n,p)$ then, with high probability, $r_g(G,\mathcal{H})= \max \{ 0,δ(G)-1 \}$.
△ Less
Submitted 9 January, 2023; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Neuroplastic graph attention networks for nuclei segmentation in histopathology images
Authors:
Yoav Alon,
Huiyu Zhou
Abstract:
Modern histopathological image analysis relies on the segmentation of cell structures to derive quantitative metrics required in biomedical research and clinical diagnostics. State-of-the-art deep learning approaches predominantly apply convolutional layers in segmentation and are typically highly customized for a specific experimental configuration; often unable to generalize to unknown data. As…
▽ More
Modern histopathological image analysis relies on the segmentation of cell structures to derive quantitative metrics required in biomedical research and clinical diagnostics. State-of-the-art deep learning approaches predominantly apply convolutional layers in segmentation and are typically highly customized for a specific experimental configuration; often unable to generalize to unknown data. As the model capacity of classical convolutional layers is limited by a finite set of learned kernels, our approach uses a graph representation of the image and focuses on the node transitions in multiple magnifications. We propose a novel architecture for semantic segmentation of cell nuclei robust to differences in experimental configuration such as staining and variation of cell types. The architecture is comprised of a novel neuroplastic graph attention network based on residual graph attention layers and concurrent optimization of the graph structure representing multiple magnification levels of the histopathological image. The modification of graph structure, which generates the node features by projection, is as important to the architecture as the graph neural network itself. It determines the possible message flow and critical properties to optimize attention, graph structure, and node updates in a balanced magnification loss. In experimental evaluation, our framework outperforms ensembles of state-of-the-art neural networks, with a fraction of the neurons typically required, and sets new standards for the segmentation of new nuclei datasets.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Real-time low-resource phoneme recognition on edge devices
Authors:
Yonatan Alon
Abstract:
While speech recognition has seen a surge in interest and research over the last decade, most machine learning models for speech recognition either require large training datasets or lots of storage and memory. Combined with the prominence of English as the number one language in which audio data is available, this means most other languages currently lack good speech recognition models.
The met…
▽ More
While speech recognition has seen a surge in interest and research over the last decade, most machine learning models for speech recognition either require large training datasets or lots of storage and memory. Combined with the prominence of English as the number one language in which audio data is available, this means most other languages currently lack good speech recognition models.
The method presented in this paper shows how to create and train models for speech recognition in any language which are not only highly accurate, but also require very little storage, memory and training data when compared with traditional models. This allows training models to recognize any language and deploying them on edge devices such as mobile phones or car displays for fast real-time speech recognition.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Synthetic Generation of Three-Dimensional Cancer Cell Models from Histopathological Images
Authors:
Yoav Alon,
Xiang Yu,
Huiyu Zhou
Abstract:
Synthetic generation of three-dimensional cell models from histopathological images aims to enhance understanding of cell mutation, and progression of cancer, necessary for clinical assessment and optimal treatment. Classical reconstruction algorithms based on image registration of consecutive slides of stained tissues are prone to errors and often not suitable for the training of three-dimensiona…
▽ More
Synthetic generation of three-dimensional cell models from histopathological images aims to enhance understanding of cell mutation, and progression of cancer, necessary for clinical assessment and optimal treatment. Classical reconstruction algorithms based on image registration of consecutive slides of stained tissues are prone to errors and often not suitable for the training of three-dimensional segmentation algorithms. We propose a novel framework to generate synthetic three-dimensional histological models based on a generator-discriminator pattern optimizing constrained features that construct a 3D model via a Blender interface exploiting smooth shape continuity typical for biological specimens. To capture the spatial context of entire cell clusters we deploy a novel deep topology transformer that implements and attention mechanism on cell group images to extract features for the frozen feature decoder. The proposed algorithms achieves high quantitative and qualitative synthesis evident in comparative evaluation metrics such as a low Frechet-Inception scores.
△ Less
Submitted 8 February, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Multi-Agent Reinforcement Learning for Unmanned Aerial Vehicle Coordination by Multi-Critic Policy Gradient Optimization
Authors:
Yoav Alon,
Huiyu Zhou
Abstract:
Recent technological progress in the development of Unmanned Aerial Vehicles (UAVs) together with decreasing acquisition costs make the application of drone fleets attractive for a wide variety of tasks. In agriculture, disaster management, search and rescue operations, commercial and military applications, the advantage of applying a fleet of drones originates from their ability to cooperate auto…
▽ More
Recent technological progress in the development of Unmanned Aerial Vehicles (UAVs) together with decreasing acquisition costs make the application of drone fleets attractive for a wide variety of tasks. In agriculture, disaster management, search and rescue operations, commercial and military applications, the advantage of applying a fleet of drones originates from their ability to cooperate autonomously. Multi-Agent Reinforcement Learning approaches that aim to optimize a neural network based control policy, such as the best performing actor-critic policy gradient algorithms, struggle to effectively back-propagate errors of distinct rewards signal sources and tend to favor lucrative signals while neglecting coordination and exploitation of previously learned similarities. We propose a Multi-Critic Policy Optimization architecture with multiple value estimating networks and a novel advantage function that optimizes a stochastic actor policy network to achieve optimal coordination of agents. Consequently, we apply the algorithm to several tasks that require the collaboration of multiple drones in a physics-based reinforcement learning environment. Our approach achieves a stable policy network update and similarity in reward signal development for an increasing number of agents. The resulting policy achieves optimal coordination and compliance with constraints such as collision avoidance.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
Wisdom of Committees: An Overlooked Approach To Faster and More Accurate Models
Authors:
Xiaofang Wang,
Dan Kondratyuk,
Eric Christiansen,
Kris M. Kitani,
Yair Alon,
Elad Eban
Abstract:
Committee-based models (ensembles or cascades) construct models by combining existing pre-trained ones. While ensembles and cascades are well-known techniques that were proposed before deep learning, they are not considered a core building block of deep model architectures and are rarely compared to in recent literature on develo** efficient models. In this work, we go back to basics and conduct…
▽ More
Committee-based models (ensembles or cascades) construct models by combining existing pre-trained ones. While ensembles and cascades are well-known techniques that were proposed before deep learning, they are not considered a core building block of deep model architectures and are rarely compared to in recent literature on develo** efficient models. In this work, we go back to basics and conduct a comprehensive analysis of the efficiency of committee-based models. We find that even the most simplistic method for building committees from existing, independently pre-trained models can match or exceed the accuracy of state-of-the-art models while being drastically more efficient. These simple committee-based models also outperform sophisticated neural architecture search methods (e.g., BigNAS). These findings hold true for several tasks, including image classification, video classification, and semantic segmentation, and various architecture families, such as ViT, EfficientNet, ResNet, MobileNetV2, and X3D. Our results show that an EfficientNet cascade can achieve a 5.4x speedup over B7 and a ViT cascade can achieve a 2.3x speedup over ViT-L-384 while being equally accurate.
△ Less
Submitted 17 February, 2022; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Spanning trees at the connectivity threshold
Authors:
Yahav Alon,
Michael Krivelevich,
Peleg Michaeli
Abstract:
We present an explicit connected spanning structure that appears in a random graph just above the connectivity threshold with high probability.
We present an explicit connected spanning structure that appears in a random graph just above the connectivity threshold with high probability.
△ Less
Submitted 26 November, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Cycle lengths in sparse random graphs
Authors:
Yahav Alon,
Michael Krivelevich,
Eyal Lubetzky
Abstract:
We study the set ${\cal L}(G)$ of lengths of all cycles that appear in a random $d$-regular $G$ on $n$ vertices for a fixed $d\geq 3$, as well as in Erdős--Rényi random graphs on $n$ vertices with a fixed average degree $c>1$. Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990's, with a focus on the extreme lengths: cycles of fixed…
▽ More
We study the set ${\cal L}(G)$ of lengths of all cycles that appear in a random $d$-regular $G$ on $n$ vertices for a fixed $d\geq 3$, as well as in Erdős--Rényi random graphs on $n$ vertices with a fixed average degree $c>1$. Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990's, with a focus on the extreme lengths: cycles of fixed length, and cycles of length linear in $n$. Here we derive, for a random $d$-regular graph, the limiting probability that ${\cal L}(G)$ simultaneously contains the entire range $\{\ell,\ldots,n\}$ for $\ell\geq 3$, as an explicit expression $θ_\ell=θ_\ell(d)\in(0,1)$ which goes to $1$ as $\ell\to\infty$. For the random graph ${\cal G}(n,p)$ with $p=c/n$, where $c\geq C_0$ for some absolute constant $C_0$, we show the analogous result for the range $\{\ell,\ldots,(1-o(1))L_{\max}(G)\}$, where $L_{\max}$ is the length of a longest cycle in $G$. The limiting probability for ${\cal G}(n,p)$ coincides with $θ_\ell$ from the $d$-regular case when $c$ is the integer $d-1$. In addition, for the directed random graph ${\cal D}(n,p)$ we show results analogous to those on ${\cal G}(n,p)$, and for both models we find an interval of $c ε^2 n$ consecutive cycle lengths in the slightly supercritical regime $p=\frac{1+ε}n$.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Hitting time of edge disjoint Hamilton cycles in random subgraph processes on dense base graphs
Authors:
Yahav Alon,
Michael Krivelevich
Abstract:
Consider the random subgraph process on a base graph $G$ on $n$ vertices: a sequence $\lbrace G_t \rbrace _{t=0} ^{|E(G)|}$ of random subgraphs of $G$ obtained by choosing an ordering of the edges of $G$ uniformly at random, and by sequentially adding edges to $G_0$, the empty graph on the vertex set of $G$, according to the chosen ordering. We show that if $G$ has one of the following properties:…
▽ More
Consider the random subgraph process on a base graph $G$ on $n$ vertices: a sequence $\lbrace G_t \rbrace _{t=0} ^{|E(G)|}$ of random subgraphs of $G$ obtained by choosing an ordering of the edges of $G$ uniformly at random, and by sequentially adding edges to $G_0$, the empty graph on the vertex set of $G$, according to the chosen ordering. We show that if $G$ has one of the following properties:
1. There is a positive constant $\varepsilon > 0$ such that $δ(G) \geq \left( \frac{1}{2} + \varepsilon \right) n$;
2. There are some constants $α, β>0$ such that every two disjoint subsets $U,W$ of size at least $αn$ have at least $β|U||W|$ edges between them, and the minimum degree of $G$ is at least $(2α+ β)\cdot n$; or:
3. $G$ is an $(n,d,λ)$--graph, with $d\geq \frac{C\cdot n\cdot \log \log n}{\log n}$ and $λ\leq \frac{c\cdot d^2}{n}$ for some absolute constants $c,C>0$.
then for a positive integer constant $k$ with high probability the hitting time of the property of containing $k$ edge disjoint Hamilton cycles is equal to the hitting time of having minimum degree at least $2k$. These results extend prior results by by Johansson and by Frieze and Krivelevich, and answer a question posed by Frieze.
△ Less
Submitted 4 July, 2021; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Finding a Hamilton cycle fast on average using rotations and extensions
Authors:
Yahav Alon,
Michael Krivelevich
Abstract:
We present an algorithm CRE, which either finds a Hamilton cycle in a graph $G$ or determines that there is no such cycle in the graph. The algorithm's expected running time over input distribution $G\sim G(n,p)$ is $(1+o(1))n/p$, the optimal possible expected time, for $p=p(n) \geq 70n^{-\frac{1}{2}}$. This improves upon previous results on this problem due to Gurevich and Shelah, and to Thomason…
▽ More
We present an algorithm CRE, which either finds a Hamilton cycle in a graph $G$ or determines that there is no such cycle in the graph. The algorithm's expected running time over input distribution $G\sim G(n,p)$ is $(1+o(1))n/p$, the optimal possible expected time, for $p=p(n) \geq 70n^{-\frac{1}{2}}$. This improves upon previous results on this problem due to Gurevich and Shelah, and to Thomason.
△ Less
Submitted 27 October, 2019; v1 submitted 7 March, 2019;
originally announced March 2019.
-
Random graph's Hamiltonicity is strongly tied to its minimum degree
Authors:
Yahav Alon,
Michael Krivelevich
Abstract:
We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(δ(G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.
We show that the probability that a random graph $G\sim G(n,p)$ contains no Hamilton cycle is $(1+o(1))Pr(δ(G) < 2)$ for all values of $p = p(n)$. We also prove an analogous result for perfect matchings.
△ Less
Submitted 19 December, 2019; v1 submitted 11 October, 2018;
originally announced October 2018.
