-
A high-performance analog Max-SAT solver and its application to Ramsey numbers
Authors:
Botond Molnár,
Melinda Varga,
Zoltan Toroczkai,
Mária Ercsey-Ravasz
Abstract:
We introduce a continuous-time analog solver for MaxSAT, a quintessential class of NP-hard discrete optimization problems, where the task is to find a truth assignment for a set of Boolean variables satisfying the maximum number of given logical constraints. We show that the scaling of an invariant of the solver's dynamics, the escape rate, as function of the number of unsatisfied clauses can pred…
▽ More
We introduce a continuous-time analog solver for MaxSAT, a quintessential class of NP-hard discrete optimization problems, where the task is to find a truth assignment for a set of Boolean variables satisfying the maximum number of given logical constraints. We show that the scaling of an invariant of the solver's dynamics, the escape rate, as function of the number of unsatisfied clauses can predict the global optimum value, often well before reaching the corresponding state. We demonstrate the performance of the solver on hard MaxSAT competition problems. We then consider the two-color Ramsey number $R(m,m)$ problem, translate it to SAT, and apply our algorithm to the still unknown $R(5,5)$. We find edge colorings without monochromatic 5-cliques for complete graphs up to 42 vertices, while on 43 vertices we find colorings with only two monochromatic 5-cliques, the best coloring found so far, supporting the conjecture that $R(5,5) = 43$.
△ Less
Submitted 28 January, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Optimization hardness as transient chaos in an analog approach to constraint satisfaction
Authors:
Maria Ercsey-Ravasz,
Zoltan Toroczkai
Abstract:
Boolean satisfiability [1] (k-SAT) is one of the most studied optimization problems, as an efficient (that is, polynomial-time) solution to k-SAT (for $k\geq 3$) implies efficient solutions to a large number of hard optimization problems [2,3]. Here we propose a mapping of k-SAT into a deterministic continuous-time dynamical system with a unique correspondence between its attractors and the k-SAT…
▽ More
Boolean satisfiability [1] (k-SAT) is one of the most studied optimization problems, as an efficient (that is, polynomial-time) solution to k-SAT (for $k\geq 3$) implies efficient solutions to a large number of hard optimization problems [2,3]. Here we propose a mapping of k-SAT into a deterministic continuous-time dynamical system with a unique correspondence between its attractors and the k-SAT solution clusters. We show that beyond a constraint density threshold, the analog trajectories become transiently chaotic [4-7], and the boundaries between the basins of attraction [8] of the solution clusters become fractal [7-9], signaling the appearance of optimization hardness [10]. Analytical arguments and simulations indicate that the system always finds solutions for satisfiable formulae even in the frozen regimes of random 3-SAT [11] and of locked occupation problems [12] (considered among the hardest algorithmic benchmarks); a property partly due to the system's hyperbolic [4,13] character. The system finds solutions in polynomial continuous-time, however, at the expense of exponential fluctuations in its energy function.
△ Less
Submitted 2 August, 2012;
originally announced August 2012.
-
The Chaos Within Sudoku
Authors:
Maria Ercsey-Ravasz,
Zoltan Toroczkai
Abstract:
The mathematical structure of the widely popular Sudoku puzzles is akin to typical hard constraint satisfaction problems that lie at the heart of many applications, including protein folding and the general problem of finding the ground state of a glassy spin system. Via an exact mapping of Sudoku into a deterministic, continuous-time dynamical system, here we show that the difficulty of Sudoku tr…
▽ More
The mathematical structure of the widely popular Sudoku puzzles is akin to typical hard constraint satisfaction problems that lie at the heart of many applications, including protein folding and the general problem of finding the ground state of a glassy spin system. Via an exact mapping of Sudoku into a deterministic, continuous-time dynamical system, here we show that the difficulty of Sudoku translates into transient chaotic behavior exhibited by the dynamical system. In particular, we show that the escape rate $κ$, an invariant characteristic of transient chaos, provides a single scalar measure of the puzzle's hardness, which correlates well with human difficulty level ratings. Accordingly, $η= -\log_{10}κ$ can be used to define a "Richter"-type scale for puzzle hardness, with easy puzzles falling in the range $0 < η\leq 1$, medium ones within $1 < η\leq 2$, hard in $2 < η\leq 3$ and ultra-hard with $η> 3$. To our best knowledge, there are no known puzzles with $η> 4$.
△ Less
Submitted 1 August, 2012;
originally announced August 2012.
-
Optimization in Networks
Authors:
Adilson E. Motter,
Zoltan Toroczkai
Abstract:
The recent surge in the network modeling of complex systems has set the stage for a new era in the study of fundamental and applied aspects of optimization in collective behavior. This Focus Issue presents an extended view of the state of the art in this field and includes articles from a large variety of domains where optimization manifests itself, including physical, biological, social, and te…
▽ More
The recent surge in the network modeling of complex systems has set the stage for a new era in the study of fundamental and applied aspects of optimization in collective behavior. This Focus Issue presents an extended view of the state of the art in this field and includes articles from a large variety of domains where optimization manifests itself, including physical, biological, social, and technological networked systems.
△ Less
Submitted 7 July, 2007;
originally announced July 2007.
-
Universality in active chaos
Authors:
Tamas Tel,
Takashi Nishikawa,
Adilson E. Motter,
Celso Grebogi,
Zoltan Toroczkai
Abstract:
Many examples of chemical and biological processes take place in large-scale environmental flows. Such flows generate filamental patterns which are often fractal due to the presence of chaos in the underlying advection dynamics. In such processes, hydrodynamical stirring strongly couples into the reactivity of the advected species and might thus make the traditional treatment of the problem thro…
▽ More
Many examples of chemical and biological processes take place in large-scale environmental flows. Such flows generate filamental patterns which are often fractal due to the presence of chaos in the underlying advection dynamics. In such processes, hydrodynamical stirring strongly couples into the reactivity of the advected species and might thus make the traditional treatment of the problem through partial differential equations difficult. Here we present a simple approach for the activity in in-homogeneously stirred flows. We show that the fractal patterns serving as skeletons and catalysts lead to a rate equation with a universal form that is independent of the flow, of the particle properties, and of the details of the active process. One aspect of the universality of our appraoch is that it also applies to reactions among particles of finite size (so-called inertial particles).
△ Less
Submitted 7 June, 2004;
originally announced June 2004.
-
Competing Populations in Flows with Chaotic Mixing
Authors:
I. Scheuring,
G. Karolyi,
Z. Toroczkai,
T. Tel,
A. Pentek
Abstract:
We investigate the effects of spatial heterogeneity on the coexistence of competing species in the case when the heterogeneity is dynamically generated by environmental flows with chaotic mixing properties. We show that one of the effects of chaotic advection on the passively advected species (such as phytoplankton, or self-replicating macromolecules) is the possibility of coexistence of more sp…
▽ More
We investigate the effects of spatial heterogeneity on the coexistence of competing species in the case when the heterogeneity is dynamically generated by environmental flows with chaotic mixing properties. We show that one of the effects of chaotic advection on the passively advected species (such as phytoplankton, or self-replicating macromolecules) is the possibility of coexistence of more species than that limited by the number of niches they occupy. We derive a novel set of dynamical equations for competing populations.
△ Less
Submitted 6 August, 2001;
originally announced August 2001.
-
Autocatalytic Reactions in Systems with Hyperbolic Mixing: Exact Results for the Active Baker Map
Authors:
Z. Toroczkai,
G. Karolyi,
A. Pentek,
T Tel
Abstract:
We investigate the effects of hyperbolic hydrodynamical mixing on the reaction kinetics of autocatalytic systems. Exact results are derived for the two dimensional open baker map as an underlying mixing dynamics for a two-component autocatalytic system, $A+B \to 2B$. We prove that the hyperboliticity exponentially enhances the productivity of the reaction which is due the fact that the reaction…
▽ More
We investigate the effects of hyperbolic hydrodynamical mixing on the reaction kinetics of autocatalytic systems. Exact results are derived for the two dimensional open baker map as an underlying mixing dynamics for a two-component autocatalytic system, $A+B \to 2B$. We prove that the hyperboliticity exponentially enhances the productivity of the reaction which is due the fact that the reaction kinetics is catalyzed by the fractal unstable manifold of the chaotic set of the reaction-free dynamics. The results are compared with phenomenological theories of active advection.
△ Less
Submitted 22 January, 2001;
originally announced January 2001.
-
Chemical or Biological Activity in Open Chaotic Flows
Authors:
Gy. Karolyi,
A. Pentek,
Z. Toroczkai,
T. Tel,
C. Grebogi
Abstract:
We investigate the evolution of particle ensembles in open chaotic hydrodynamical flows. Active processes of the type A+B --> 2B and A+B --> 2C are considered in the limit of weak diffusion. As an illustrative advection dynamics we consider a model of the von Kármán vortex street, a time periodic two-dimensional flow of a viscous fluid around a cylinder. We show that a fractal unstable manifold…
▽ More
We investigate the evolution of particle ensembles in open chaotic hydrodynamical flows. Active processes of the type A+B --> 2B and A+B --> 2C are considered in the limit of weak diffusion. As an illustrative advection dynamics we consider a model of the von Kármán vortex street, a time periodic two-dimensional flow of a viscous fluid around a cylinder. We show that a fractal unstable manifold acts as a catalyst for the process, and the products cover fattened-up copies of this manifold. This may account for the observed filamental intensification of activity in environmental flows. The reaction equations valid in the wake are derived either in the form of dissipative maps or differential equations depending on the regime under consideration. They contain terms that are not present in the traditional reaction equations of the same active process: the decay of the products is slower while the productivity is much faster than in homogeneous flows. Both effects appear as a consequence of underlying fractal structures. In the long time limit, the system locks itself in a dynamic equilibrium state synchronized to the flow for both types of reactions. For particles of finite size an emptying transition might also occur leading to no products left in the wake.
△ Less
Submitted 12 June, 1998;
originally announced June 1998.
-
Stabilizing chaotic vortex trajectories: an example of high-dimensional control
Authors:
A. Pentek,
J. B. Kadtke,
Z. Toroczkai
Abstract:
A chaos control algorithm is developed to actively stabilize unstable periodic orbits of higher-dimensional systems. The method assumes knowledge of the model equations and a small number of experimentally accessible parameters. General conditions for controllability are discussed. The algorithm is applied to the Hamiltonian problem of point vortices inside a circular cylinder with applications…
▽ More
A chaos control algorithm is developed to actively stabilize unstable periodic orbits of higher-dimensional systems. The method assumes knowledge of the model equations and a small number of experimentally accessible parameters. General conditions for controllability are discussed. The algorithm is applied to the Hamiltonian problem of point vortices inside a circular cylinder with applications to an experimental plasma system.
△ Less
Submitted 27 December, 1996;
originally announced January 1997.
