English
Related papers

Related papers: A Constructive Algorithm to Prove P=NP

200 papers

We study the problem of finding a tour of $n$ points in which every edge is long. More precisely, we wish to find a tour that visits every point exactly once, maximizing the length of the shortest edge in the tour. The problem is known as…

Data Structures and Algorithms · Computer Science 2016-06-29 László Kozma , Tobias Mömke

In the Bounded Multiple Traveling Salesman Problem (BMTSP), a tour for each salesman, that starts and ends at the depot and that respects the bounds on the number of cities that a feasible salesman tour should satisfy, is to be constructed.…

Discrete Mathematics · Computer Science 2024-05-30 Víctor Pacheco-Valencia , Nodari Vakhania

We show how to construct an explicit Hamilton cycle in the directed Cayley graph Cay({\sigma_n, sigma_{n-1}} : \mathbb{S}_n), where \sigma_k = (1 2 >... k). The existence of such cycles was shown by Jackson (Discrete Mathematics, 149 (1996)…

Discrete Mathematics · Computer Science 2007-10-10 Frank Ruskey , Aaron Williams

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

Data Structures and Algorithms · Computer Science 2014-11-24 Sigve Hortemo Sæther

In this work we adapt a prediction-correction algorithm for continuous time-varying convex optimization problems to solve dynamic programs arising from Model Predictive Control. In particular, the prediction step tracks the evolution of the…

Systems and Control · Electrical Eng. & Systems 2019-11-25 Santiago Paternain , Manfred Morari , Alejandro Ribeiro

This paper demonstrates the relativity of Computability and Nondeterministic; the nondeterministic is just Turing's undecidable Decision rather than the Nondeterministic Polynomial time. Based on analysis about TM, UM, DTM, NTM, Turing…

Computational Complexity · Computer Science 2015-01-09 Jian-Ming Zhou

Finding a Hamiltonian cycle in a given graph is computationally challenging, and in general remains so even when one is further given one Hamiltonian cycle in the graph and asked to find another. In fact, no significantly faster algorithms…

Data Structures and Algorithms · Computer Science 2024-02-23 Andreas Björklund , Petteri Kaski , Jesper Nederlof

We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding…

Combinatorics · Mathematics 2015-12-07 Bohao Yao , Charl Ras , Hamid Mokhtar

We investigate a variety of problems of finding tours and cycle covers with minimum turn cost. Questions of this type have been studied in the past, with complexity and approximation results as well as open problems dating back to work by…

Computational Geometry · Computer Science 2019-04-26 Sándor P. Fekete , Dominik Krupke

After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this…

Combinatorics · Mathematics 2025-07-08 Huye Chen , Jingjian Li , Hao Yu

A Hamiltonian path (cycle) in a graph is a path (cycle, respectively) which passes through all of its vertices. The problems of deciding the existence of a Hamiltonian cycle (path) in an input graph are well known to be NP-complete, and…

Combinatorics · Mathematics 2024-03-07 Nikola Jedličková , Jan Kratochvíl

We revisit the inverted pendulum problem with the goal of understanding and computing the true optimal value function. We start with an observation that the true optimal value function must be nonsmooth ($i.e.$, not globally $C^1$) due to…

Optimization and Control · Mathematics 2024-08-05 Haoyu Han , Heng Yang

Given a graph whose arc traversal times vary over time, the Time-Dependent Travelling Salesman Problem consists in finding a Hamiltonian tour of least total duration covering the vertices of the graph. The main goal of this work is to…

Artificial Intelligence · Computer Science 2023-01-05 Tommaso Adamo , Gianpaolo Ghiani , Pierpaolo Greco , Emanuela Guerriero

Time-driven quantum systems are important in many different fields of physics like cold atoms, solid state, optics, etc. Many of their properties are encoded in the time evolution operator which is calculated by using a time-ordered product…

We present a new problem called the incomplete Traveling Tournament problem, which introduces the well known Traveling Tournament Problem into the realm of incomplete round-robin tournaments. We focus on the case where teams can face each…

Optimization and Control · Mathematics 2026-03-23 Karel Devriesere , David Van Bulck , Dries Goossens

We give a probabilistic analysis of the unit-demand Euclidean capacitated vehicle routing problem in the random setting, where the input distribution consists of $n$ unit-demand customers modeled as independent, identically distributed…

Data Structures and Algorithms · Computer Science 2021-12-14 Claire Mathieu , Hang Zhou

In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem which has the interesting property of having no polynomial time solutions. Next we show that HPTSP is in the class NP by demonstrating that…

Computational Complexity · Computer Science 2011-11-03 Roman V. Yampolskiy

In this paper we consider the Hamilton cycle problem in the rectangular meshes with at most two faulty nodes.We prove that this problem is solvable in polynomial time with a corresponding algorithm. We provided an entirely new approach to…

Combinatorics · Mathematics 2025-01-22 Yingtai Xie

In this paper, we prove that optimally solving an $n \times n \times n$ Rubik's Cube is NP-complete by reducing from the Hamiltonian Cycle problem in square grid graphs. This improves the previous result that optimally solving an $n \times…

Computational Complexity · Computer Science 2018-04-30 Erik D. Demaine , Sarah Eisenstat , Mikhail Rudoy

This paper leverages the framework of algorithms-with-predictions to design data structures for two fundamental dynamic graph problems: incremental topological ordering and cycle detection. In these problems, the input is a directed graph…

Data Structures and Algorithms · Computer Science 2024-02-20 Samuel McCauley , Benjamin Moseley , Aidin Niaparast , Shikha Singh