English
Related papers

Related papers: Deterministic "Snakes and Ladders" Heuristic for t…

200 papers

A Dynamic Programming based polynomial worst case time and space algorithm is described for computing Hamiltonian Path of a directed graph. Complexity constructive proofs along with a tested C++ implementation are provided as well. The…

Data Structures and Algorithms · Computer Science 2013-01-16 Dmitriy Nuriyev

The Hidden Subgroup Problem (HSP) is a computational problem which includes as special cases integer factorization, the discrete logarithm problem, graph isomorphism, and the shortest vector problem. The celebrated polynomial-time quantum…

Logic in Computer Science · Computer Science 2020-05-05 Matthew Moore , Taylor Walenczyk

A computational procedure that allows the detection of a new type of high-dimensional chaotic saddle in Hamiltonian systems with three degrees of freedom is presented. The chaotic saddle is associated with a so-called normally hyperbolic…

Chaotic Dynamics · Physics 2009-11-10 H. Waalkens , A. Burbanks , S. Wiggins

We show a new way to round vector solutions of semidefinite programming (SDP) hierarchies into integral solutions, based on a connection between these hierarchies and the spectrum of the input graph. We demonstrate the utility of our method…

Data Structures and Algorithms · Computer Science 2011-04-26 Boaz Barak , Prasad Raghavendra , David Steurer

The NP-hard Maximum Planar Subgraph problem asks for a planar subgraph $H$ of a given graph $G$ such that $H$ has maximum edge cardinality. For more than two decades, the only known non-trivial exact algorithm was based on integer linear…

Data Structures and Algorithms · Computer Science 2018-06-22 Markus Chimani , Tilo Wiedera

Spectral clustering is a celebrated algorithm that partitions objects based on pairwise similarity information. While this approach has been successfully applied to a variety of domains, it comes with limitations. The reason is that there…

Statistics Theory · Mathematics 2018-05-24 Kwangjun Ahn , Kangwook Lee , Changho Suh

Locally Checkable Labeling (LCL) problems include essentially all the classic problems of $\mathsf{LOCAL}$ distributed algorithms. In a recent enlightening revelation, Chang and Pettie [arXiv 1704.06297] showed that any LCL (on bounded…

Data Structures and Algorithms · Computer Science 2017-05-17 Manuela Fischer , Mohsen Ghaffari

The Hamiltonian cycle polynomial can be evaluated to count the number of Hamiltonian cycles in a graph. It can also be viewed as a list of all spanning cycles of length $n$. We adopt the latter perspective and present a pair of original…

Combinatorics · Mathematics 2025-10-06 Hamilton Sawczuk , Edinah Gnang

We show that $p=\sqrt{\frac{e}{n}}$ is a sharp threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle. This improves the previous results of K\"uhn and Osthus and also Nenadov and \v{S}kori\'c.

Combinatorics · Mathematics 2016-09-20 Andrzej Dudek , Alan Frieze

We leverage the proximal Galerkin algorithm (Keith and Surowiec, Foundations of Computational Mathematics, 2024, DOI: 10.1007/s10208-024-09681-8), a recently introduced mesh-independent algorithm, to obtain a high-order finite element…

Numerical Analysis · Mathematics 2025-03-11 Ioannis P. A. Papadopoulos

We consider heuristic algorithm for solving graph isomorphism problem. The algorithm based on a successive splitting of the eigenvalues of the matrices which are modifications (to positive defined) of graphs' adjacency matrices.…

General Mathematics · Mathematics 2007-05-23 R. T. Faizullin , A. V. Prolubnikov

The celebrated Time Hierarchy Theorem for Turing machines states, informally, that more problems can be solved given more time. The extent to which a time hierarchy-type theorem holds in the distributed LOCAL model has been open for many…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-24 Yi-Jun Chang , Seth Pettie

This paper proposes an algorithmic method to heuristically solve the famous Travelling Salesman Problem (TSP) when the salesman's path evolves in continuous state space and discrete time but with otherwise arbitrary (nonlinear) dynamics.…

Optimization and Control · Mathematics 2021-03-02 Alexander Weber , Alexander Knoll

Today scheduling problems have an immense effect on various areas of human lives, be it from their application in manufacturing and production industry, transportation, or workforce allocation. The unrelated parallel machines scheduling…

Neural and Evolutionary Computing · Computer Science 2021-07-29 Marko Đurasević , Domagoj Jakobović

Getting a labeling of vertices close to the structure of the graph has been proved to be of interest in many applications e.g., to follow smooth signals indexed by the vertices of the network. This question can be related to a graph…

Discrete Mathematics · Computer Science 2015-02-17 Ronan Hamon , Pierre Borgnat , Patrick Flandrin , Céline Robardet

The Single-Source Shortest Path (SSSP) problem is well-known for the challenges in developing fast, practical, and work-efficient parallel algorithms. This work introduces a novel shortest path search method. It allows paths with different…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-25 Huashan Yu , Xiaolin Wang , Yingwei Luo

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

We show that for every $k \in \mathbb{N}$ there exists $C > 0$ such that if $p^k \ge C \log^8 n / n$ then asymptotically almost surely the random graph $G_{n,p}$ contains the $k$\textsuperscript{th} power of a Hamilton cycle. This…

Combinatorics · Mathematics 2017-05-17 Rajko Nenadov , Nemanja Škorić

In this paper we consider the following total functional problem: Given a cubic Hamiltonian graph $G$ and a Hamiltonian cycle $C_0$ of $G$, how can we compute a second Hamiltonian cycle $C_1 \neq C_0$ of $G$? Cedric Smith proved in 1946,…

Data Structures and Algorithms · Computer Science 2020-08-11 Argyrios Deligkas , George B. Mertzios , Paul G. Spirakis , Viktor Zamaraev

In this article we study domino snake problems on finitely generated groups. We provide general properties of these problems and introduce new tools for their study. The first is the use of symbolic dynamics to understand the set of all…

Discrete Mathematics · Computer Science 2023-07-25 Nathalie Aubrun , Nicolas Bitar