中文
相关论文

相关论文: Solitaire Clobber

200 篇论文

We present and analyze PackIt!, a turn-based game consisting of packing rectangles on an $n \times n$ grid. PackIt! can be easily played on paper, either as a competitive two-player game or in \emph{solitaire} fashion. On the $t$-th turn, a…

组合数学 · 数学 2024-05-17 Thomas Garrison , Marijn J. H. Heule , Bernardo Subercaseaux

We prove that the 2017 puzzle game ZHED is NP-complete, even with just 1 tiles. Such a puzzle is defined by a set of unit-square 1 tiles in a square grid, and a target square of the grid. A move consists of selecting an unselected 1 tile…

计算复杂性 · 计算机科学 2021-12-16 Sagnik Saha , Erik D. Demaine

This paper develops and analyses a novel quantum combinatorial game: quantum checkers (codenamed Cheqqers). The concepts of superposition, entanglement, measurements and interference from quantum mechanics are integrated into the game of…

Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Frederik Meyer Bønneland , Peter Gjøl Jensen , Kim Guldstrand Larsen , Marco Muñiz , Jiří Srba

In a polyomino set (1,2)-achievement game the maker and the breaker alternately mark one and two previously unmarked cells respectively. The maker's goal is to mark a set of cells congruent to one of a given set of polyominoes. The breaker…

组合数学 · 数学 2015-03-17 Edgar Fisher , Nandor Sieben

This paper considers a game version of the general position problem in which a general position set is built through adversarial play. Two players in a graph, Builder and Blocker, take it in turns to add a vertex to a set, such that the…

组合数学 · 数学 2024-07-03 Sandi Klavžar , Jing Tian , James Tuite

The number of quantifiers needed to express first-order properties is captured by two-player combinatorial games called multi-structural (MS) games. We play these games on linear orders and strings, and introduce a technique we call…

计算机科学中的逻辑 · 计算机科学 2024-04-08 Marco Carmosino , Ronald Fagin , Neil Immerman , Phokion Kolaitis , Jonathan Lenchner , Rik Sengupta , Ryan Williams

The move-minimizing puzzles presented here are certain types of one-player combinatorial games that are shown to have explicit solutions whenever they can be encoded in a certain way as diamond-colored modular or distributive lattices. Our…

We consider the Bilevel Knapsack with Interdiction Constraints, an extension of the classic 0-1 knapsack problem formulated as a Stackelberg game with two agents, a leader and a follower, that choose items from a common set and hold their…

计算机科学与博弈论 · 计算机科学 2018-11-13 Federico Della Croce , Rosario Scatamacchia

The solitaire army is a one-person peg jumping game where a player attempts to advance an "army" of pegs as far as possible into empty territory. The game was introduced by John Conway and is also known as "Conway's Soldiers". We consider…

组合数学 · 数学 2007-08-11 George I. Bell , Daniel S. Hirschberg , Pablo Guerrero-Garcia

We indulge in what mathematicians call frivolous activities. In Arithmetic Billiards, a ball is bouncing around in a rectangle. In Parity Checkers we place checkers on a checkerboard under certain parity constraints. Both activities turn…

数论 · 数学 2024-01-31 Johan Wästlund

Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete. Indeed, this class of complexity contains hundreds of puzzles, since people particularly appreciate completing an intractable puzzle, such as…

人工智能 · 计算机科学 2019-07-02 Cédric Piette , Éric Piette , Matthew Stephenson , Dennis J. N. J. Soemers , Cameron Browne

The Colonel Blotto game, formulated by Emile Borel, involves players allocating limited resources to multiple battlefields simultaneously, with the winner being the one who allocates more resources to each battlefield. Computation of the…

计算机科学与博弈论 · 计算机科学 2025-07-31 Debtoru Chatterjee , Girish Tiwari , Niladri Chatterjee

We define a class of zero-sum games with combinatorial structure, where the best response problem of one player is to maximize a submodular function. For example, this class includes security games played on networks, as well as the problem…

计算机科学与博弈论 · 计算机科学 2017-12-04 Bryan Wilder

Gimbert and Horn gave an algorithm for solving simple stochastic games with running time O(r! n) where n is the number of positions of the simple stochastic game and r is the number of its coin toss positions. Chatterjee et al. pointed out…

计算机科学与博弈论 · 计算机科学 2012-03-21 Rasmus Ibsen-Jensen , Peter Bro Miltersen

This paper deals with sliding games, which are a variant of the better known pushpush game. On a given structure (grid, torus...), a robot can move in a specific set of directions, and stops when it hits a block or boundary of the…

组合数学 · 数学 2015-07-03 Paul Dorbec , Eric Duchêne , André Fabbri , Julien Moncel , Aline Parreau , Eric Sopena

In this paper we introduce novel algorithmic strategies for effciently playing two-player games in which the players have different or identical player roles. In the case of identical roles, the players compete for the same objective (that…

计算机科学与博弈论 · 计算机科学 2013-03-26 Mugurel Ionut Andreica , Nicolae Tapus

2048 is a stochastic single-player game involving 16 cells on a 4 by 4 grid, where a player chooses a direction among up, down, left, and right to obtain a score by merging two tiles with the same number located in neighboring cells along…

人工智能 · 计算机科学 2026-05-26 Tomoyuki Kaneko , Shuhei Yamashita

The Game of Cycles, introduced by Su (2020), is played on a simple connected planar graph together with its bounded cells, and players take turns marking edges with arrows according to a sink-source rule that gives the game a topological…

Competition among cooperators, defectors, and loners is studied in an evolutionary prisoner's dilemma game with optional participation. Loners are risk averse i.e. unwilling to participate and rather rely on small but fixed earnings. This…

无序系统与神经网络 · 物理学 2009-11-07 Gyorgy Szabo , Christoph Hauert