English
Related papers

Related papers: A Phase Transition in Minesweeper

200 papers

Compared to pure fluids, binary mixtures display a very diverse phase behavior, which depends sensitively on the parameters of the microscopic potential. Here we investigate the phase diagrams of simple model mixtures by use of a…

Soft Condensed Matter · Physics 2009-11-07 A. Parola , D. Pini , L. Reatto , M. Tau

Given a c-colored graph G, a vertex of G is happy if it has the same color as all its neighbors. The notion of happy vertices was introduced by Zhang and Li to compute the homophily of a graph. Eto, et al. introduced the Maker-Maker version…

Discrete Mathematics · Computer Science 2026-01-13 Mathieu Hilaire , Perig Montfort , Nacim Oijid

We study theoretical limits of \emph{descending} phase retrieval algorithms. Utilizing \emph{Random duality theory} (RDT) we develop a generic program that allows statistical characterization of various algorithmic performance metrics.…

Machine Learning · Statistics 2025-06-24 Mihailo Stojnic

In this paper, we study the phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a group of non-mobile agents form either a fixed connected…

Optimization and Control · Mathematics 2008-10-21 Jialing Liu , Vikas Yadav , Hullas Sehgal , Joshua M. Olson , Haifeng Liu , Nicola Elia

Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview of the area to encourage further research. In particular, we…

Computational Complexity · Computer Science 2009-09-25 Erik D. Demaine , Robert A. Hearn

Transitions between metastable equilibria in the low-temperature phase of dynamical Ising game with activity spillover are studied in the infinite time limit. It is shown that exponential enhancement due to activity spillover, which takes…

Statistical Mechanics · Physics 2023-08-23 A. Antonov , A. Leonidov , A. Semenov

We generalize the original majority-vote model by incorporating an inertia into the microscopic dynamics of the spin flipping, where the spin-flip probability of any individual depends not only on the states of its neighbors, but also on…

Physics and Society · Physics 2018-06-13 Hanshuang Chen , Chuansheng Shen , Haifeng Zhang , Guofeng Li , Zhonghuai Hou , Jürgen Kurths

In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure that the running sum of weights is always…

Computer Science and Game Theory · Computer Science 2012-09-17 Yaron Velner , Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger , Alexander Rabinovich , Jean-Francois Raskin

We study the complexity of the popular one player combinatorial game known as Flood-It. In this game the player is given an n by n board of tiles where each tile is allocated one of c colours. The goal is to make the colours of all tiles…

Data Structures and Algorithms · Computer Science 2011-06-10 Raphael Clifford , Markus Jalsenius , Ashley Montanaro , Benjamin Sach

We examine two-player games over finite weighted graphs with quantitative (mean-payoff or energy) objective, where one of the players additionally needs to satisfy a fairness objective. The specific fairness we consider is called 'strong…

Computer Science and Game Theory · Computer Science 2025-01-30 Ashwani Anand , Satya Prakash Nayak , Ritam Raha , Irmak Sağlam , Anne-Kathrin Schmuck

We introduce a formal notion of masking fault-tolerance between probabilistic transition systems based on a variant of probabilistic bisimulation (named masking simulation). We also provide the corresponding probabilistic game…

Logic in Computer Science · Computer Science 2022-07-06 Pablo F. Castro , Pedro D'Argenio , Luciano Putruele , Ramiro Demasi

We prove computational intractability of variants of checkers: (1) deciding whether there is a move that forces the other player to win in one move is NP-complete; (2) checkers where players must always be able to jump on their turn is…

Computational Complexity · Computer Science 2018-06-15 Jeffrey Bosboom , Spencer Congero , Erik D. Demaine , Martin L. Demaine , Jayson Lynch

Asymmetry in the synaptic interactions between neurons plays a crucial role in determining the memory storage and retrieval properties of recurrent neural networks. In this work, we analyze the problem of storing random memories in a…

Disordered Systems and Neural Networks · Physics 2022-10-11 Fabián Aguirre-López , Mauro Pastore , Silvio Franz

A heuristic model procedure for determining satisfiability of CNF-formulae is set up and described by nonlinear recursion relations for m (number of clauses), n (number of variables) and clause filling k. The system mimicked by the…

Computational Complexity · Computer Science 2014-11-12 Bernd R. Schuh

For a cylindrical superconductor surrounded by a normal material, we discuss transition to the normal phase of stable, locally stable and critical configurations. Associated with those phase transitions, we define critical magnetic fields…

Analysis of PDEs · Mathematics 2008-12-19 S. Fournais , A. Kachmar

Various phase transitions in models for coupled charge-density waves are investigated by means of the $\epsilon$-expansion, mean-field theory, and Monte Carlo simulations. At zero temperature the effective action for the system with…

Strongly Correlated Electrons · Physics 2009-11-10 Minchul Lee , Eun-Ah Kim , Jong Soo Lim , M. Y. Choi

We consider the computational complexity of reconfiguration problems, in which one is given two combinatorial configurations satisfying some constraints, and is asked to transform one into the other using elementary transformations, while…

Computational Complexity · Computer Science 2020-01-17 Jean Cardinal , Erik D. Demaine , David Eppstein , Robert A. Hearn , Andrew Winslow

In general, Nash equilibria in normal-form games may require players to play (probabilistically) mixed strategies. We define a measure of the complexity of finite probability distributions and study the complexity required to play Nash…

Computer Science and Game Theory · Computer Science 2024-05-14 Edan Orzech , Martin Rinard

Our model is a generalized linear programming relaxation of a much studied random K-SAT problem. Specifically, a set of linear constraints C on K variables is fixed. From a pool of n variables, K variables are chosen uniformly at random and…

Probability · Mathematics 2007-05-23 David Gamarnik

The phase diagram of a half-filled hard core boson two-leg ladder in a flux is investigated by means of numerical simulations based on the Density Matrix Renormalization Group (DMRG) algorithm and bosonization. We calculate experimentally…

Quantum Gases · Physics 2016-03-10 Mario Di Dio , Stefania De Palo , Edmond Orignac , Roberta Citro , Maria Luisa Chiofalo