English
Related papers

Related papers: SOS

200 papers

The Sum-of-Squares (SOS) approximation method is a technique used in optimization problems to derive lower bounds on the optimal value of an objective function. By representing the objective function as a sum of squares in a feature space,…

Optimization and Control · Mathematics 2024-03-12 Francis Bach , Elisabetta Cornacchia , Luca Pesce , Giovanni Piccioli

We present three versions of the classic two-pile game \textsc{one-or-one-or-one-of-both} generalized to the multi-pile context. In each case, we explore the resulting $\mathcal{P}$-positions. In the first version, there is a simple…

Combinatorics · Mathematics 2026-05-25 Alon Danai , Paul Ellis , Thotsaporn Aek Thanatipanonda

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…

Combinatorics · Mathematics 2015-07-03 Paul Dorbec , Eric Duchêne , André Fabbri , Julien Moncel , Aline Parreau , Eric Sopena

Positional games are a branch of combinatorics, researching a variety of two-player games, ranging from popular recreational games such as Tic-Tac-Toe and Hex, to purely abstract games played on graphs and hypergraphs. It is closely…

Combinatorics · Mathematics 2014-04-11 Michael Krivelevich

It is natural that we can extend Structural Operational Semantics (SOS) to SOS for true concurrency. From SOS to SOS for true concurrency, it is in nature to give the related concepts in SOS a truly concurrent semantics foundation, i.e., a…

Logic in Computer Science · Computer Science 2026-01-27 Yong Wang

The number of Sensor Observation Service (SOS) instances available online has been increasing in the last few years. The SOS specification standardises interfaces and data formats for exchanging sensor-related in-formation between…

Networking and Internet Architecture · Computer Science 2011-09-22 Alain Tamayo , Pablo Viciano , Carlos Granell , Joaquín Huerta

By resorting to the vector space structure of finite games, skew-symmetric games (SSGs) are proposed and investigated as a natural subspace of finite games. First of all, for two player games, it is shown that the skew-symmetric games form…

Computer Science and Game Theory · Computer Science 2017-12-11 Yaqi Hao , Daizhan Cheng

A growing number of learning methods are actually differentiable games whose players optimise multiple, interdependent objectives in parallel -- from GANs and intrinsic curiosity to multi-agent RL. Opponent shaping is a powerful approach to…

Multiagent Systems · Computer Science 2021-01-19 Alistair Letcher , Jakob Foerster , David Balduzzi , Tim Rocktäschel , Shimon Whiteson

The game of tic-tac-toe is well known. In particular, in its classic version it is famous for being unwinnable by either player. While classically it is played on a grid, it is natural to consider the effect of playing the game on richer…

Combinatorics · Mathematics 2022-01-21 Peter Danziger , Melissa A. Huggan , Rehan Malik , Trent G. Marbach

Self-adaptive systems (SAS) can reconfigure at run time in response to changing situations to express acceptable behaviors in the face of uncertainty. With respect to game design, such situations may include user input, emergent behaviors,…

Software Engineering · Computer Science 2022-05-12 Erik M. Fredericks , Byron DeVries , Jared M. Moore

We propose a variant of Nim, named StrNim. Whereas a position in Nim is a tuple of non-negative integers, that in StrNim is a string, a sequence of characters. In every turn, each player shrinks the string, by removing a substring repeating…

Computer Science and Game Theory · Computer Science 2025-03-25 Shota Mizuno , Ryo Yoshinaka , Ayumi Shinohara

The current state of the art in playing many important perfect information games, including Chess and Go, combines planning and deep reinforcement learning with self-play. We extend this approach to imperfect information games and present…

Artificial Intelligence · Computer Science 2018-10-26 Andy Kitchen , Michela Benedetti

This document presents the rules of a tactical two-player board game which is inspired by spin glasses. The aim is, while placing bonds and spins, to achieve a majority of the spins facing the chosen direction of each player. The game has…

Disordered Systems and Neural Networks · Physics 2025-12-16 Alexander K. Hartmann

We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate…

Combinatorics · Mathematics 2011-07-27 Will Johnson

In order to obtain the best-known guarantees, algorithms are traditionally tailored to the particular problem we want to solve. Two recent developments, the Unique Games Conjecture (UGC) and the Sum-of-Squares (SOS) method, surprisingly…

Data Structures and Algorithms · Computer Science 2014-05-28 Boaz Barak , David Steurer

A positional game is a game where two players sequentially label vertices of a hypergraph, consisting of a board and a collection of winning sets, with colors assigned to each player until all vertices of the board are claimed. The first…

Combinatorics · Mathematics 2021-09-02 Pranav Avadhanam , Siddhartha G. Jena

A Search and Rescue game (SR game) is a new type of game on a graph that has quickly found applications in scheduling, object detection, and adaptive search. In this paper, we broaden the definition of SR games by putting them into the…

Computer Science and Game Theory · Computer Science 2024-03-14 Jan-Tino Brethouwer , Robbert Fokkink

In this paper, we present a board game: Square War. The game definition of Square War is similar to the classic Chinese board game Go. Then we propose a mathematical problem of the game Square War. Finally, we show that the problem can be…

Artificial Intelligence · Computer Science 2015-12-01 Chu Luo

Simple stochastic games are turn-based 2.5-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a…

Computer Science and Game Theory · Computer Science 2021-02-02 Pranav Ashok , Krishnendu Chatterjee , Jan Kretinsky , Maximilian Weininger , Tobias Winkler

We define the Sign Game as a two-player game played on a simple undirected mathematical graph $G$. The players alternate turns, assigning vertices of $G$ either $1$ or $-1$, and edges take on the value of the product of their endvertices.…

Combinatorics · Mathematics 2025-11-12 Liz Blum , Lily Brustkern , Rosetta Hawkins , Neil R. Nicholson , Ranjan Rohatgi