-
A Note on Using the Resistance-Distance Matrix to solve Hamiltonian Cycle Problem
Authors:
Vladimir Ejov,
Jerzy A Filar,
Michael Haythorpe,
John F Roddick,
Serguei Rossomakhine
Abstract:
An instance of Hamiltonian cycle problem can be solved by converting it to an instance of Travelling salesman problem, assigning any choice of weights to edges of the underlying graph. In this note we demonstrate that, for difficult instances, choosing the edge weights to be the resistance distance between its two incident vertices is often a good choice. We also demonstrate that arguably stronger…
▽ More
An instance of Hamiltonian cycle problem can be solved by converting it to an instance of Travelling salesman problem, assigning any choice of weights to edges of the underlying graph. In this note we demonstrate that, for difficult instances, choosing the edge weights to be the resistance distance between its two incident vertices is often a good choice. We also demonstrate that arguably stronger performance arises from using the inverse of the resistance distance. Examples are provided demonstrating benefits gained from these choices.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
A New Heuristic for Detecting Non-Hamiltonicity in Cubic Graphs
Authors:
Jerzy A Filar,
Michael Haythorpe,
Serguei Rossomakhine
Abstract:
We analyse a polyhedron which contains the convex hull of all Hamiltonian cycles of a given undirected connected cubic graph. Our constructed polyhedron is defined by polynomially-many linear constraints in polynomially-many continuous (relaxed) variables. Clearly, the emptiness of the constructed polyhedron implies that the graph is non-Hamiltonian. However, whenever a constructed polyhedron is n…
▽ More
We analyse a polyhedron which contains the convex hull of all Hamiltonian cycles of a given undirected connected cubic graph. Our constructed polyhedron is defined by polynomially-many linear constraints in polynomially-many continuous (relaxed) variables. Clearly, the emptiness of the constructed polyhedron implies that the graph is non-Hamiltonian. However, whenever a constructed polyhedron is non-empty, the result is inconclusive. Hence, the following natural question arises: if we assume that a non-empty polyhedron implies Hamiltonicity, how frequently is this diagnosis incorrect? We prove that, in the case of bridge graphs, the constructed polyhedron is always empty. We also demonstrate that some non-bridge non-Hamiltonian cubic graphs induce empty polyhedra as well. We compare our approach to the famous Dantzig-Fulkerson-Johnson relaxation of a TSP, and give empirical evidence which suggests that the latter is infeasible if and only if our constructed polyhedron is also empty. By considering special edge cut sets which are present in most cubic graphs, we describe a heuristic approach, built on our constructed polyhedron, for which incorrect diagnoses of non-Hamiltonian graphs as Hamiltonian appear to be very rare. In particular, for cubic graphs containing up to 18 vertices, only four out of 45,982 undirected connected cubic graphs were so misdiagnosed. By constrast, we demonstrate that an equivalent heuristic, when built on the Dantzig-Fulkerson-Johnson relaxation of a TSP, is mostly unsuccessful in identifying additional non-Hamiltonian graphs. These empirical results suggest that polynomial algorithms based on our constructed polyhedron may be able to correctly identify Hamiltonicity of a cubic graph in all but rare cases.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Deterministic "Snakes and Ladders" Heuristic for the Hamiltonian Cycle Problem
Authors:
Pouya Baniasadi,
Vladimir Ejov,
Jerzy A Filar,
Michael Haythorpe,
Serguei Rossomakhine
Abstract:
We present a polynomial complexity, deterministic, heuristic for solving the Hamiltonian Cycle Problem (HCP) in an undirected graph of order $n$. Although finding a Hamiltonian cycle is not theoretically guaranteed, we have observed that the heuristic is successful even in cases where such cycles are extremely rare, and it also performs very well on all HCP instances of large graphs listed on the…
▽ More
We present a polynomial complexity, deterministic, heuristic for solving the Hamiltonian Cycle Problem (HCP) in an undirected graph of order $n$. Although finding a Hamiltonian cycle is not theoretically guaranteed, we have observed that the heuristic is successful even in cases where such cycles are extremely rare, and it also performs very well on all HCP instances of large graphs listed on the TSPLIB web page. The heuristic owes its name to a visualisation of its iterations. All vertices of the graph are placed on a given circle in some order. The graph's edges are classified as either snakes or ladders, with snakes forming arcs of the circle and ladders forming its chords. The heuristic strives to place exactly $n$ snakes on the circle, thereby forming a Hamiltonian cycle. The Snakes and Ladders Heuristic (SLH) uses transformations inspired by $k-$opt algorithms such as the, now classical, Lin-Kernighan heuristic to reorder the vertices on the circle in order to transform some ladders into snakes and vice versa. The use of a suitable stopping criterion ensures the heuristic terminates in polynomial time if no improvement is made in $n^3$ major iterations.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
On near optimal control of systems with slow observables
Authors:
Vladimir Gaitsgory,
Sergey Rossomakhine
Abstract:
The paper deals with a problem of control of a system characterized by the fact that the influence of controls on the dynamics of certain functions of state variables (called observables) is relatively weak and the rates of change of these observables are much slower than the rates of change of the state variables themselves. The contributions of the paper are twofold. Firstly, the averaged system…
▽ More
The paper deals with a problem of control of a system characterized by the fact that the influence of controls on the dynamics of certain functions of state variables (called observables) is relatively weak and the rates of change of these observables are much slower than the rates of change of the state variables themselves. The contributions of the paper are twofold. Firstly, the averaged system whose solutions approximate the trajectories of the slow observables is introduced, and it is shown that the optimal value of the problem of optimal control with time discounting criterion considered on the solutions of the system with slow observables (this problem is referred to as perturbed) converges to the optimal value of the corresponding problem of optimal control of the averaged system. Secondly, a way how an asymptotically optimal control of the perturbed problem can be constructed on the basis of an optimal solution of the averaged problem is indicated, sufficient and necessary optimality conditions for the averaged problem are stated, and a way how a near optimal solution of the latter can be constructed numerically is outlined (the construction being illustrated with an example).
△ Less
Submitted 10 August, 2016;
originally announced August 2016.
-
On average control generating families for singularly perturbed optimal control problems with long run average optimality criteria
Authors:
Vladimir Gaitsgory,
Ludmila Manic,
Sergey Rossomakhine
Abstract:
The paper aims at the development of tools for analysis and construction of near optimal solutions of singularly perturbed (SP) optimal controls problems with long run average optimality criteria. The idea that we exploit is to first asymptotically approximate a given problem of optimal control of the SP system by a certain averaged optimal control problem, then reformulate this averaged problem a…
▽ More
The paper aims at the development of tools for analysis and construction of near optimal solutions of singularly perturbed (SP) optimal controls problems with long run average optimality criteria. The idea that we exploit is to first asymptotically approximate a given problem of optimal control of the SP system by a certain averaged optimal control problem, then reformulate this averaged problem as an infinite-dimensional (ID) linear programming (LP) problem, and then approximate the latter by semi-infinite LP problems. We show that the optimal solution of these semi-infinite LP problems and their duals (that can be found with the help of a modification of an available LP software) allow one to construct near optimal controls of the SP system. We demonstrate the construction with a numerical example.
△ Less
Submitted 19 August, 2014; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Averaging and linear programming in some singularly perturbed problems of optimal control
Authors:
Vladimir Gaitsgory,
Sergei Rossomakhine
Abstract:
The paper aims at the development of an apparatus for analysis and construction of near optimal solutions of singularly perturbed (SP) optimal controls problems (that is, problems of optimal control of SP systems) considered on the infinite time horizon.
We mostly focus on problems with time discounting criteria but a possibility of the extension of results to periodic optimization problems is d…
▽ More
The paper aims at the development of an apparatus for analysis and construction of near optimal solutions of singularly perturbed (SP) optimal controls problems (that is, problems of optimal control of SP systems) considered on the infinite time horizon.
We mostly focus on problems with time discounting criteria but a possibility of the extension of results to periodic optimization problems is discussed as well. Our consideration is based on earlier results on averaging of SP control systems and on linear programming formulations of optimal control problems. The idea that we exploit is to first asymptotically approximate a given problem of optimal control of the SP system by a certain averaged optimal control problem, then reformulate this averaged problem as an infinite-dimensional (ID) linear programming (LP) problem, and then approximate the latter by semi-infinite LP problems. We show that the optimal solution of these semi-infinite LP problems and their duals (that can be found with the help of a modification of an available LP software) allow one to construct near optimal controls of the SP system. We demonstrate the construction with two numerical examples.
△ Less
Submitted 19 August, 2014; v1 submitted 15 September, 2013;
originally announced September 2013.
-
A Linear-size Conversion of HCP to 3HCP
Authors:
Vladimir Ejov,
Michael Haythorpe,
Serguei Rossomakhine
Abstract:
We provide an algorithm that converts any instance of the Hamiltonian cycle problem (HCP) into a cubic instance of HCP (3HCP), and prove that the input size of the new instance is only a linear function of that of the original instance. This is achieved by first considering various restrictions of HCP. Known conversions from directed HCP to undirected HCP, and sub-cubic HCP to cubic HCP are given.…
▽ More
We provide an algorithm that converts any instance of the Hamiltonian cycle problem (HCP) into a cubic instance of HCP (3HCP), and prove that the input size of the new instance is only a linear function of that of the original instance. This is achieved by first considering various restrictions of HCP. Known conversions from directed HCP to undirected HCP, and sub-cubic HCP to cubic HCP are given. We introduce a subgraph called a 4-gate and show that it may be used to convert sub-quartic HCP into sub-cubic HCP. We further generalise this idea by first introducing the 5-gate, and then the s-gate for any s >= 4. We prove that these subgraphs may be used to convert general instances of HCP into cubic HCP instances, where the input size of the converted instance is a quadratic function of that of the original instance. This result improves upon the previously best known approach which results in cubic growth in the size of the instance. We further prove that the quadratic function is reduced to a linear function if the maximum initial degree is bounded above by a constant. Motivated by this result, we describe an algorithm to convert general HCP to HCP of bounded degree and prove that it results in only linear growth. All of the above results are then used in the proof that any instance of HCP may be converted to an equivalent instance 3HCP with only linear growth in the input size.
△ Less
Submitted 21 May, 2013;
originally announced May 2013.
-
An effective algorithm for the enumeration of edge colorings and Hamiltonian cycles in cubic graphs
Authors:
V. Ejov,
N. Pugacheva,
S. Rossomakhine,
P. Zograf
Abstract:
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the edges incident to them admit a unique coloring) and ``soft'' ones (such that the edges incident to them admit two distinct colorings), and then to perform the…
▽ More
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the edges incident to them admit a unique coloring) and ``soft'' ones (such that the edges incident to them admit two distinct colorings), and then to perform the coloring. The computational complexity of this algorithm is on a par with (or even below) the fastest known algorithms that find a single 3-edge coloring or a Hamiltonian cycle for a cubic graph.
△ Less
Submitted 26 October, 2006;
originally announced October 2006.
