English
Related papers

Related papers: A Phase Transition in Minesweeper

200 papers

In recent years, reinforcement learning has seen interest because of deep Q-Learning, where the model is a convolutional neural network. Deep Q-Learning has shown promising results in games such as Atari and AlphaGo. Instead of learning the…

Machine Learning · Computer Science 2021-10-08 Anav Mehta

We introduce a formal notion of masking fault-tolerance between probabilistic transition systems using stochastic games. These games are inspired in bisimulation games, but they also take into account the possible faulty behavior of…

Logic in Computer Science · Computer Science 2023-09-15 Pablo F. Castro , Pedro R. D'Argenio , Ramiro Demasi , Luciano Putruele

This paper studies two-player zero-sum repeated Bayesian games in which every player has a private type that is unknown to the other player, and the initial probability of the type of every player is publicly known. The types of players are…

Computer Science and Game Theory · Computer Science 2017-11-08 Lichun Li , Cedric Langbort , Jeff Shamma

We study hardcore bosons on a triangular ladder at half filling in the presence of a frustrating hopping term and a competing nearest neighbor repulsion $V$ which promotes crystallization. Using the finite-size density-matrix…

Strongly Correlated Electrons · Physics 2013-09-12 Tapan Mishra , Ramesh V. Pai , Subroto Mukerjee , Arun Paramekanti

The Quadratic Assignment Problem (QAP) is one of the major domains in the field of evolutionary computation, and more widely in combinatorial optimization. This paper studies the phase transition of the QAP, which can be described as a…

Artificial Intelligence · Computer Science 2024-03-06 Sébastien Verel , Sarah Thomson , Omar Rifki

We present a new game, Dots & Polygons, played on a planar point set. Players take turns connecting two points, and when a player closes a (simple) polygon, the player scores its area. We show that deciding whether the game can be won from…

Computational Geometry · Computer Science 2020-05-27 Kevin Buchin , Mart Hagedoorn , Irina Kostitsyna , Max van Mulken , Jolan Rensen , Leo van Schooten

To study the structure of solutions for random k-SAT and random CSPs, this paper introduces the concept of average similarity degree to characterize how solutions are similar to each other. It is proved that under certain conditions, as r…

Artificial Intelligence · Computer Science 2007-05-23 Ke Xu , Wei Li

Evolutionary prisoner's dilemma games are studied with players located on square lattice and random regular graphs defining four neighbors for each one. The players follow one of the three strategies: tit-for-tat, unconditional cooperation,…

Physics and Society · Physics 2009-11-13 Attila Szolnoki , Matjaz Perc , Gyorgy Szabo

We build a general theory for characterizing the computational complexity of motion planning of robot(s) through a graph of "gadgets", where each gadget has its own state defining a set of allowed traversals which in turn modify the…

Computational Complexity · Computer Science 2020-01-15 Erik D. Demaine , Dylan H. Hendrickson , Jayson Lynch

We study non-equilibrium analogues of surface phase transitions in a minimal model of active particles in contact with a purely repulsive potential barrier that mimics a thin porous membrane. Under conditions of bulk motility-induced phase…

Statistical Mechanics · Physics 2021-12-15 Francesco Turci , Nigel B. Wilding

Quantum phase transitions between the magnetically ordered and disordered states are studied for the two-dimensional antiferromagnetic quantum spin systems with ladder, plaquette, and mixed-spin structures. Starting with properly chosen…

Strongly Correlated Electrons · Physics 2009-10-31 A. Koga , S. Kumada , N. Kawakami

In this work, we analyze a sequential game played in a graph called the Multilevel Critical Node problem (MCN). A defender and an attacker are the players of this game. The defender starts by preventively interdicting vertices (vaccination)…

Computational Complexity · Computer Science 2020-10-05 Adel Nabli , Margarida Carvalho , Pierre Hosteins

We quantify the emergent complexity of quantum states near quantum critical points on regular 1D lattices, via complex network measures based on quantum mutual information as the adjacency matrix, in direct analogy to quantifying the…

Statistical Mechanics · Physics 2017-12-06 Marc Andrew Valdez , Daniel Jaschke , David L. Vargas , Lincoln D. Carr

We describe an extensive study of search in GSAT, an approximation procedure for propositional satisfiability. GSAT performs greedy hill-climbing on the number of satisfied clauses in a truth assignment. Our experiments provide a more…

Artificial Intelligence · Computer Science 2008-02-03 I. P. Gent , T. Walsh

We review connections between phase transitions in high-dimensional combinatorial geometry and phase transitions occurring in modern high-dimensional data analysis and signal processing. In data analysis, such transitions arise as abrupt…

Statistics Theory · Mathematics 2015-05-13 David L. Donoho , Jared Tanner

We use a semi-supervised, neural-network based machine learning technique, the confusion method, to investigate structural transitions in magnetic polymers, which we model as chains of magnetic colloidal nanoparticles characterized by…

Soft Condensed Matter · Physics 2025-06-27 Dilina Perera , Samuel McAllister , Joan Josep Cerdà , Thomas Vogel

We solve an adaptive search model where a random walker or L\'evy flight stochastically resets to previously visited sites on a $d$-dimensional lattice containing one trapping site. Due to reinforcement, a phase transition occurs when the…

Statistical Mechanics · Physics 2017-10-11 Andrea Falcón-Cortés , Denis Boyer , Luca Giuggioli , Satya N. Majumdar

In multistage perfect matching problems we are given a sequence of graphs on the same vertex set and asked to find a sequence of perfect matchings, corresponding to the sequence of graphs, such that consecutive matchings are as similar as…

Data Structures and Algorithms · Computer Science 2021-05-11 Markus Chimani , Niklas Troost , Tilo Wiedera

Temporal graphs extend ordinary graphs with discrete time that affects the availability of edges. We consider solving games played on temporal graphs where one player aims to explore the graph, i.e., visit all vertices. The complexity…

Computer Science and Game Theory · Computer Science 2025-06-16 Pete Austin , Nicolas Mazzocchi , Sougata Bose , Patrick Totzke

The designs of many large-scale systems today, from traffic routing environments to smart grids, rely on game-theoretic equilibrium concepts. However, as the size of an $N$-player game typically grows exponentially with $N$, standard game…

Computer Science and Game Theory · Computer Science 2022-08-23 Paul Muller , Romuald Elie , Mark Rowland , Mathieu Lauriere , Julien Perolat , Sarah Perrin , Matthieu Geist , Georgios Piliouras , Olivier Pietquin , Karl Tuyls