-
A Game Theoretic Analysis of the Three-Gambler Ruin Game
Authors:
Ath. Kehagias,
G. Gkyzis,
A. Karakoulakis,
A. Kyprianidis
Abstract:
We study the following game. Three players start with initial capitals of $s_{1},s_{2},s_{3}$ dollars; in each round player $P_{m}$ is selected with probability $\frac{1}{3}$; then \emph{he} selects player $P_{n}$ and they play a game in which $P_{m}$ wins from (resp. loses to) $P_{n}$ one dollar with probability $p_{mn}$ (resp. $p_{nm}=1-p_{mn}$). When a player loses all his capital he drops out;…
▽ More
We study the following game. Three players start with initial capitals of $s_{1},s_{2},s_{3}$ dollars; in each round player $P_{m}$ is selected with probability $\frac{1}{3}$; then \emph{he} selects player $P_{n}$ and they play a game in which $P_{m}$ wins from (resp. loses to) $P_{n}$ one dollar with probability $p_{mn}$ (resp. $p_{nm}=1-p_{mn}$). When a player loses all his capital he drops out; the game continues until a single player wins by collecting everybody's money.
This is a "strategic" version of the classical Gambler's Ruin game. It seems reasonable that a player may improve his winning probability by judicious selection of which opponent to engage in each round. We formulate the situation as a \emph{stochastic game} and prove that it has at least one Nash equilibrium in deterministic stationary strategies.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
On the Nash Equilibria of a Simple Discounted Duel
Authors:
Athanasios Kehagias
Abstract:
We formulate and study a two-player static duel game as a nonzero-sum discounted stochastic game. Players $P_{1},P_{2}$ are standing in place and, in each turn, one or both may shoot at the other player. If $P_{n}$ shoots at $P_{m}$ ($m\neq n$), either he hits and kills him (with probability $p_{n}$) or he misses him and $P_{m}$ is unaffected (with probability $1-p_{n}$). The process continues unt…
▽ More
We formulate and study a two-player static duel game as a nonzero-sum discounted stochastic game. Players $P_{1},P_{2}$ are standing in place and, in each turn, one or both may shoot at the other player. If $P_{n}$ shoots at $P_{m}$ ($m\neq n$), either he hits and kills him (with probability $p_{n}$) or he misses him and $P_{m}$ is unaffected (with probability $1-p_{n}$). The process continues until at least one player dies; if nobody ever dies, the game lasts an infinite number of turns. Each player receives unit payoff for each turn in which he remains alive; no payoff is assigned to killing the opponent. We show that the the always-shooting strategy is a NE but, in addition, the game also possesses cooperative (i.e., non-shooting) Nash equilibria in both stationary and nonstationary strategies. A certain similarity to the repeated Prisoner's Dilemma is also noted and discussed.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
An Algorithm for Limited Visibility Graph Searching
Authors:
Ath. Kehagias,
A. C. Papazoglou
Abstract:
We study a graph search problem in which a team of searchers attempts to find a mobile target located in a graph. Assuming that (a) the visibility field of the searchers is limited, (b) the searchers have unit speed and (c) the target has infinite speed, we formulate the Limited Visibility Graph Search (LVGS) problem and present the LVGS algorithm, which produces a search schedule guaranteed to fi…
▽ More
We study a graph search problem in which a team of searchers attempts to find a mobile target located in a graph. Assuming that (a) the visibility field of the searchers is limited, (b) the searchers have unit speed and (c) the target has infinite speed, we formulate the Limited Visibility Graph Search (LVGS) problem and present the LVGS algorithm, which produces a search schedule guaranteed to find the target in the minimum possible number of steps. Our LVGS algorithm is a conversion of Guibas and Lavalle's polygonal region search algorithm.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Some Game Theoretic Remarks on Two-Player Generalized Cops and Robbers Games
Authors:
Athanasios Kehagias,
Georgios Konstantinidis
Abstract:
In this paper we study the two-player generalized Cops and Robber (GCR) games introduced by Bonato and MacGillivray. Our main goal is to present a full, self-contained game theoretic analysis of such games.
In this paper we study the two-player generalized Cops and Robber (GCR) games introduced by Bonato and MacGillivray. Our main goal is to present a full, self-contained game theoretic analysis of such games.
△ Less
Submitted 19 November, 2020; v1 submitted 29 July, 2020;
originally announced July 2020.
-
On positionality of trigger strategies Nash Equilibria in SCAR
Authors:
George Konstantinidis,
Athanasios Kehagias
Abstract:
We study the positionality of \emph{trigger strategies} Nash equilibria $\overlineσ$ for the $N$-player SCAR games $Γ_{N}(G|s_{0},γ,\varepsilon)$ (with $N\geq3$). Our study is exhaustive with respect to types of graphs $G$, initial states $s_{0}$ and values of $N,γ,\varepsilon$. We conclude that in the majority of cases, profiles $\overlineσ$ are nonpositional. Whenever $\overlineσ$ are positional…
▽ More
We study the positionality of \emph{trigger strategies} Nash equilibria $\overlineσ$ for the $N$-player SCAR games $Γ_{N}(G|s_{0},γ,\varepsilon)$ (with $N\geq3$). Our study is exhaustive with respect to types of graphs $G$, initial states $s_{0}$ and values of $N,γ,\varepsilon$. We conclude that in the majority of cases, profiles $\overlineσ$ are nonpositional. Whenever $\overlineσ$ are positional a key role is played by paths and the $\varepsilon$, $γ$ values (especially whether $\varepsilon>0$ or not). A crucial concept in our analysis is the \emph{state cop number}, which is first introduced in the current paper.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
A Note on the Nash Equilibria of Some Multi-Player Reachability / Safety Games
Authors:
Athanasios Kehagias
Abstract:
In this short note we study a class of multi-player, turn-based games with deterministic state transitions and reachability / safety objectives (this class contains as special cases "classic" two-player reachability and safety games as well as multi-player "stay--in-a-set" and "reach-a-set" games). Quantitative and qualitative versions of the objectives are presented and for both cases we prove th…
▽ More
In this short note we study a class of multi-player, turn-based games with deterministic state transitions and reachability / safety objectives (this class contains as special cases "classic" two-player reachability and safety games as well as multi-player "stay--in-a-set" and "reach-a-set" games). Quantitative and qualitative versions of the objectives are presented and for both cases we prove the existence of a deterministic and memoryless Nash equilibrium; the proof is short and simple, using only Fink's classic result about the existence of Nash equilibria for multi-player discounted stochastic games.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Generalized Cops and Robbers: A Multi-Player Pursuit Game on Graphs
Authors:
Athanasios Kehagias
Abstract:
We introduce and study the Generalized Cops and Robbers game (GCR), an N-player pursuit game in graphs. The two-player version is essentially equivalent to the classic Cops and Robbers (CR) game. The three-player version can be understood as two CR games played simultaneously on the same graph; a player can be at the same time both pursuer and evader. The same is true for four or more players. We…
▽ More
We introduce and study the Generalized Cops and Robbers game (GCR), an N-player pursuit game in graphs. The two-player version is essentially equivalent to the classic Cops and Robbers (CR) game. The three-player version can be understood as two CR games played simultaneously on the same graph; a player can be at the same time both pursuer and evader. The same is true for four or more players. We formulate GCR as a discounted stochastic game of perfect information and prove that, for three or more players, it has at least two Nash Equilibria: one in positional deterministic strategies and another in non-positional ones. We also study the capturing properties of GCR Nash Equilibria in connection to the cop-number of a graph. Finally, we briefly discuss GCR as a member of a wider family of multi-player graph pursuit games with rather interesting properties.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
Selfish Cops and Active Robber: Multi-Player Pursuit Evasion on Graphs
Authors:
G. Konstantinidis,
Ath. Kehagias
Abstract:
We introduce and study the game of "Selfish Cops and Active Robber" (SCAR) which can be seen as an multiplayer variant of the "classic" two-player Cops and Robbers (CR) game. In classic CR all cops are controlled by a single player, who has no preference over which cop captures the robber. In SCAR, on the other hand, each of N-1 cops is controlled by a separate player, and a single robber is contr…
▽ More
We introduce and study the game of "Selfish Cops and Active Robber" (SCAR) which can be seen as an multiplayer variant of the "classic" two-player Cops and Robbers (CR) game. In classic CR all cops are controlled by a single player, who has no preference over which cop captures the robber. In SCAR, on the other hand, each of N-1 cops is controlled by a separate player, and a single robber is controlled by the N-th player; and the capturing cop player receives a higher reward than the non-capturing ones. Consequently, SCAR is an N-player pursuit game on graphs, in which each cop player has an increased motive to be the one who captures the robber. The focus of our study is the existence and properties of SCAR Nash Equilibria (NE). In particular, we prove that SCAR always has one NE in deterministic positional strategies and (for N greater than two) another in deterministic nonpositional strategies. Furthermore, we study conditions which, at equilibrium, guarantee either capture or escape of the robber and show that (because of the antagonism between the "selfish" cop players) the robber may, in certain SCAR configurations, be captured later than he would be in classic CR, or even not captured at all. Finally we define the selfish cop number of a graph and study its connection to the classic cop number.
△ Less
Submitted 12 September, 2018; v1 submitted 22 March, 2017;
originally announced March 2017.
-
Selfish Cops and Passive Robber: Qualitative Games
Authors:
Athanasios Kehagias,
Georgios Konstantinidis
Abstract:
Several variants of the cops and robbers (CR) game have been studied in the past. In this paper we examine a novel variant, which is played between two cops, each one independently trying to catch a "passive robber". We will call this the Selfish Cops and Passive Robber {SCPR} game. In short, SCPR is a stochastic two-player, zero-sum game where the opponents are the two cop players. We study seque…
▽ More
Several variants of the cops and robbers (CR) game have been studied in the past. In this paper we examine a novel variant, which is played between two cops, each one independently trying to catch a "passive robber". We will call this the Selfish Cops and Passive Robber {SCPR} game. In short, SCPR is a stochastic two-player, zero-sum game where the opponents are the two cop players. We study sequential and concurrent versions of the SCPR game. For both cases we prove the existence of value and optimal strategies and present algorithms for the computation of these.
△ Less
Submitted 19 November, 2016; v1 submitted 19 July, 2016;
originally announced July 2016.
-
Simultaneously Moving Cops and Robbers
Authors:
Georgios Konstantinidis,
Athanasios Kehagias
Abstract:
In this paper we study the concurrent cops and robber (CCCR) game. CCCR follows the same rules as the classical, turn-based game, except for the fact that the players move simultaneously. The cops' goal is to capture the robber and the concurrent cop number of a graph is defined the minimum number of cops which guarantees capture. For the variant in which it it required to capture the robber in th…
▽ More
In this paper we study the concurrent cops and robber (CCCR) game. CCCR follows the same rules as the classical, turn-based game, except for the fact that the players move simultaneously. The cops' goal is to capture the robber and the concurrent cop number of a graph is defined the minimum number of cops which guarantees capture. For the variant in which it it required to capture the robber in the shortest possible time, we let time to capture be the payoff function of CCCR; the (game theoretic) value of CCCR is the optimal capture time and (cop and robber) time optimal strategies are the ones which achieve the value. In this paper we prove the following.
(1) For every graph G, the concurrent cop number is equal to the "classical" cop number.
(2) For every graph G, CCCR has a value, the cops have an optimal strategy and, for every epsilon>0, the robber has an epsilon-optimal strategy.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
Cops and Robbers, Game Theory and Zermelo's Early Results
Authors:
Athanasios Kehagias,
Georgios Konstantinidis
Abstract:
We provide a game theoretic framework for the game of cops and robbers (CR). Within this framework we study certain assumptions which underlie the concepts of optimal strategies and capture time. We also point out a connection of these concepts to early work by Zermelo and D. Konig. Finally, we discuss the relationship between CR and related pursuit games to reachability games.
We provide a game theoretic framework for the game of cops and robbers (CR). Within this framework we study certain assumptions which underlie the concepts of optimal strategies and capture time. We also point out a connection of these concepts to early work by Zermelo and D. Konig. Finally, we discuss the relationship between CR and related pursuit games to reachability games.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
The Role of Visibility in Pursuit / Evasion Games
Authors:
Athanasios Kehagias,
Dieter Mitsche,
Pawel Pralat
Abstract:
The cops-and-robber (CR) game has been used in mobile robotics as a discretized model (played on a graph G) of pursuit/evasion problems. The "classic" CR version is a perfect information game: the cops' (pursuer's) location is always known to the robber (evader) and vice versa. Many variants of the classic game can be defined: the robber can be invisible and also the robber can be either adversari…
▽ More
The cops-and-robber (CR) game has been used in mobile robotics as a discretized model (played on a graph G) of pursuit/evasion problems. The "classic" CR version is a perfect information game: the cops' (pursuer's) location is always known to the robber (evader) and vice versa. Many variants of the classic game can be defined: the robber can be invisible and also the robber can be either adversarial (tries to avoid capture) or drunk (performs a random walk). Furthermore, the cops and robber can reside in either nodes or edges of G. Several of these variants are relevant as models or robotic pursuit / evasion. In this paper, we first define carefully several of the variants mentioned above and related quantities such as the cop number and the capture time. Then we introduce and study the cost of visibility (COV), a quantitative measure of the increase in difficulty (from the cops' point of view) when the robber is invisible. In addition to our theoretical results, we present algorithms which can be used to compute capture times and COV of graphs which are analytically intractable. Finally, we present the results of applying these algorithms to the numerical computation of COV.
△ Less
Submitted 25 February, 2014;
originally announced February 2014.
-
Bad Communities with High Modularity
Authors:
Athanasios Kehagias,
Leonidas Pitsoulis
Abstract:
In this paper we discuss some problematic aspects of Newman's modularity function QN. Given a graph G, the modularity of G can be written as QN = Qf -Q0, where Qf is the intracluster edge fraction of G and Q0 is the expected intracluster edge fraction of the null model, i.e., a randomly connected graph with same expected degree distribution as G. It follows that the maximization of QN must accomod…
▽ More
In this paper we discuss some problematic aspects of Newman's modularity function QN. Given a graph G, the modularity of G can be written as QN = Qf -Q0, where Qf is the intracluster edge fraction of G and Q0 is the expected intracluster edge fraction of the null model, i.e., a randomly connected graph with same expected degree distribution as G. It follows that the maximization of QN must accomodate two factors pulling in opposite directions: Qf favors a small number of clusters and Q0 favors many balanced (i.e., with approximately equal degrees) clusters. In certain cases the Q0 term can cause overestimation of the true cluster number; this is the opposite of the well-known under estimation effect caused by the "resolution limit" of modularity. We illustrate the overestimation effect by constructing families of graphs with a "natural" community structure which, however, does not maximize modularity. In fact, we prove that we can always find a graph G with a "natural clustering" V of G and another, balanced clustering U of G such that (i) the pair (G; U) has higher modularity than (G; V) and (ii) V and U are arbitrarily different.
△ Less
Submitted 27 February, 2013; v1 submitted 12 September, 2012;
originally announced September 2012.
-
Cops and Invisible Robbers: the Cost of Drunkenness
Authors:
Athanasios Kehagias,
Dieter Mitsche,
Pawel Pralat
Abstract:
We examine a version of the Cops and Robber (CR) game in which the robber is invisible, i.e., the cops do not know his location until they capture him. Apparently this game (CiR) has received little attention in the CR literature. We examine two variants: in the first the robber is adversarial (he actively tries to avoid capture); in the second he is drunk (he performs a random walk). Our goal in…
▽ More
We examine a version of the Cops and Robber (CR) game in which the robber is invisible, i.e., the cops do not know his location until they capture him. Apparently this game (CiR) has received little attention in the CR literature. We examine two variants: in the first the robber is adversarial (he actively tries to avoid capture); in the second he is drunk (he performs a random walk). Our goal in this paper is to study the invisible Cost of Drunkenness (iCOD), which is defined as the ratio ct_i(G)/dct_i(G), with ct_i(G) and dct_i(G) being the expected capture times in the adversarial and drunk CiR variants, respectively. We show that these capture times are well defined, using game theory for the adversarial case and partially observable Markov decision processes (POMDP) for the drunk case. We give exact asymptotic values of iCOD for several special graph families such as $d$-regular trees, give some bounds for grids, and provide general upper and lower bounds for general classes of graphs. We also give an infinite family of graphs showing that iCOD can be arbitrarily close to any value in [2,infinty). Finally, we briefly examine one more CiR variant, in which the robber is invisible and "infinitely fast"; we argue that this variant is significantly different from the Graph Search game, despite several similarities between the two games.
△ Less
Submitted 4 January, 2012;
originally announced January 2012.
-
Some remarks on cops and drunk robbers
Authors:
Athanasios Kehagias,
Pawel Pralat
Abstract:
The cops and robbers game has been extensively studied under the assumption of optimal play by both the cops and the robbers. In this paper we study the problem in which cops are chasing a drunk robber (that is, a robber who performs a random walk) on a graph. Our main goal is to characterize the "cost of drunkenness." Specifically, we study the ratio of expected capture times for the optimal vers…
▽ More
The cops and robbers game has been extensively studied under the assumption of optimal play by both the cops and the robbers. In this paper we study the problem in which cops are chasing a drunk robber (that is, a robber who performs a random walk) on a graph. Our main goal is to characterize the "cost of drunkenness." Specifically, we study the ratio of expected capture times for the optimal version and the drunk robber one. We also examine the algorithmic side of the problem; that is, how to compute near-optimal search schedules for the cops. Finally, we present a preliminary investigation of the invisible robber game and point out differences between this game and graph search.
△ Less
Submitted 13 June, 2011;
originally announced June 2011.
-
Searching the Nodes of a Graph: Theory and Algorithms
Authors:
Ath. Kehagias,
G. Hollinger,
A. Gelastopoulos
Abstract:
One or more searchers must capture an invisible evader hiding in the nodes of a graph. We study this graph search problem; we emphasize that we study the capture of a node-located evader, which has received less attention than edge search. We show that in general graphs the problem of node search is easier than that of edge search (however node search is NP-complete, just like edge search). We c…
▽ More
One or more searchers must capture an invisible evader hiding in the nodes of a graph. We study this graph search problem; we emphasize that we study the capture of a node-located evader, which has received less attention than edge search. We show that in general graphs the problem of node search is easier than that of edge search (however node search is NP-complete, just like edge search). We concentrate on the internal monotone connected (IMC) node search of trees and show that it is essentially equivalent to IMC edge search. For IMC node search on general graphs we present a new algorithm: GSST (Guaranteed Search by Spanning Tree) which clears the graph G by performing all its clearing moves along a spanning tree T of G. We prove the existence of probabilistically complete variants of GSST. Our experiments also indicate that GSST can efficiently node-clear large graphs given only a small running time. An implementation of GSST is also provided and made publicly available.
△ Less
Submitted 20 May, 2009;
originally announced May 2009.
-
The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences
Authors:
K. Vezerides,
Ath. Kehagias
Abstract:
We study self-referential sentences of the type related to the Liar paradox. In particular, we consider the problem of assigning consistent fuzzy truth values to collections of self-referential sentences. We show that the problem can be reduced to the solution of a system of nonlinear equations. Furthermore, we prove that, under mild conditions, such a system always has a solution (i.e. a consis…
▽ More
We study self-referential sentences of the type related to the Liar paradox. In particular, we consider the problem of assigning consistent fuzzy truth values to collections of self-referential sentences. We show that the problem can be reduced to the solution of a system of nonlinear equations. Furthermore, we prove that, under mild conditions, such a system always has a solution (i.e. a consistent truth value assignment) and that, for a particular implementation of logical ``and'', ``or'' and ``negation'', the ``mid-point'' solution is always consistent. Next we turn to computational issues and present several truth-value assignment algorithms; we argue that these algorithms can be understood as generalized sequential reasoning. In an Appendix we present a large number of examples of self-referential collections (including the Liar and the Strengthened Liar), we formulate the corresponding truth value equations and solve them analytically and/ or numerically.
△ Less
Submitted 24 September, 2003;
originally announced September 2003.
-
Multi-valued Connectives for Fuzzy Sets
Authors:
Ath. Kehagias,
K. Serafimidis
Abstract:
We present a procedure for the construction of multi-valued t-norms and t-conorms. Our procedure makes use of a pair of single-valued t-norms and the respective dual t-conorms and produces interval-valued t-norms and t-conorms. In this manner we combine desirable characteristics of different t-norms and t-conorms; if we use the t-norm min and t-conorm max, then the resulting structure is a super…
▽ More
We present a procedure for the construction of multi-valued t-norms and t-conorms. Our procedure makes use of a pair of single-valued t-norms and the respective dual t-conorms and produces interval-valued t-norms and t-conorms. In this manner we combine desirable characteristics of different t-norms and t-conorms; if we use the t-norm min and t-conorm max, then the resulting structure is a superlattice, i.e. the multivalued analog of a lattice.
△ Less
Submitted 6 June, 2003;
originally announced June 2003.
-
Hidden Markov model segmentation of hydrological and enviromental time series
Authors:
Ath. Kehagias
Abstract:
Motivated by Hubert's segmentation procedure we discuss the application of hidden Markov models (HMM) to the segmentation of hydrological and enviromental time series. We use a HMM algorithm which segments time series of several hundred terms in a few seconds and is computationally feasible for even longer time series. The segmentation algorithm computes the Maximum Likelihood segmentation by us…
▽ More
Motivated by Hubert's segmentation procedure we discuss the application of hidden Markov models (HMM) to the segmentation of hydrological and enviromental time series. We use a HMM algorithm which segments time series of several hundred terms in a few seconds and is computationally feasible for even longer time series. The segmentation algorithm computes the Maximum Likelihood segmentation by use of an expectation / maximization iteration. We rigorously prove algorithm convergence and use numerical experiments, involving temperature and river discharge time series, to show that the algorithm usually converges to the globally optimal segmentation. The relation of the proposed algorithm to Hubert's segmentation procedure is also discussed.
△ Less
Submitted 25 June, 2002;
originally announced June 2002.
-
The Lattice of Fuzzy Intervals and Sufficient Conditions for its Distributivity
Authors:
Ath. Kehagias
Abstract:
Given a reference lattice, we define fuzzy intervals to be the fuzzy sets such that their p-cuts are crisp closed intervals. We show that: given a complete reference lattice, the collection of its fuzzy intervals is a complete lattice. Furthermore we show that: if the reference lattice is completely distributive then the lattice of its fuzzy intervals is distributive.
Given a reference lattice, we define fuzzy intervals to be the fuzzy sets such that their p-cuts are crisp closed intervals. We show that: given a complete reference lattice, the collection of its fuzzy intervals is a complete lattice. Furthermore we show that: if the reference lattice is completely distributive then the lattice of its fuzzy intervals is distributive.
△ Less
Submitted 17 June, 2002;
originally announced June 2002.
-
L-Fuzzy Valued Inclusion Measure, L-Fuzzy Similarity and L-Fuzzy Distance
Authors:
Ath. Kehagias,
M. Konstantinidou
Abstract:
The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an L-fuzzy valued relation between fuzzy sets. This relation is re exive, antisymmetric and transitive,…
▽ More
The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an L-fuzzy valued relation between fuzzy sets. This relation is re exive, antisymmetric and transitive, i.e. it is a fuzzy order relation; in addition it possesess a number of properties which various authors have postulated as axiomatically appropriate for an inclusion measure. We also define an L-fuzzy valued measure of similarity between fuzzy sets and and an L-fuzzy valued distance function between fuzzy sets; these possess properties analogous to the ones of real-valued similarity and distance functions.
Keywords: Fuzzy Relations, inclusion measure, subsethood, L-fuzzy sets, similarity, distance, transitivity.
△ Less
Submitted 31 October, 2001;
originally announced November 2001.