## 1. Introduction

The nucleolus is a popular solution concept for cooperative transferable-utility (TU) games because it is a set of game outcomes that are in a sense most acceptable “...as a compromise between the players” (Schmeidler [

1], p. 1163). A cooperative TU game is a pair

$(N,v)=:\Gamma $, henceforth called a game, with a finite set

$N:=\{1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}n\}$ of

$n\phantom{\rule{4pt}{0ex}}(\ge 2)$ players and a coalition function

$v:{2}^{N}\to \mathbb{R}$,

$v(\varnothing )=0$. For every payoff vector

$\mathbf{x}\in {\mathbb{R}}^{n}$ and coalition

$S\subseteq N$, let

$x\left(S\right):={\sum}_{i\in S}{x}_{i}$. If

$S\subset N$,

$S\ne \varnothing $, we denote the excess of coalition

S at

$\mathbf{x}$ by

$e(S,\mathbf{x}):=v\left(S\right)-x\left(S\right)$. This way, we can associate with each

$\mathbf{x}\in {\mathbb{R}}^{n}$ the vector

$\theta \left(\mathbf{x}\right)$ of all

${2}^{n}-2$ excesses

$e(S,\mathbf{x})$, arranged in nonincreasing magnitude. The nucleolus of Γ with respect to a set

X of feasible payoff vectors is the set

$\mathcal{N}(\Gamma ,X):=\left\{\mathbf{x}\in X:\theta \left(\mathbf{x}\right){\le}_{lex}\theta \left(\mathbf{z}\right)\phantom{\rule{4pt}{0ex}}\mathrm{for}\text{}\mathrm{all}\phantom{\rule{4pt}{0ex}}\mathbf{z}\in X\right\}$ of payoff vectors which minimize

$\theta \left(\mathbf{x}\right)$ lexicographically over

X (cf. Schmeidler [

1]), as if they were the outcome of an egalitarian arbitration among player coalitions (cf. Maschler [

2], p. 611). Our choice for

X will be the integer imputation set

$I(\Gamma ):=\left\{\mathbf{x}\in {\mathbb{Z}}^{n}:x\left(N\right)=v\left(N\right),\phantom{\rule{0.166667em}{0ex}}{x}_{i}\ge v\left(\left\{i\right\}\right)\phantom{\rule{4pt}{0ex}}\mathrm{for}\text{}\mathrm{all}\phantom{\rule{4pt}{0ex}}i\in N\right\}$, under the condition that

$v\left(N\right)\in {\mathbb{Z}}_{>0}$. Thus, we assume that the players face an integer resource allocation problem in that

$v\left(N\right)$ comes in discrete units that cannot be broken apart. We call

$\nu (\Gamma ):=\mathcal{N}\left(\Gamma ,I(\Gamma )\right)$ the integer nucleolus of the game Γ.

A problem closely related to the integer nucleolus is that of finding minimum (or minimum-sum) integer representations of weighted majority games (cf. Peleg [

3], Krohn and Sudhölter [

4], Kurz et al. [

5]). In Wolff and Karagök [

6], the integer nucleolus is used to analyze the apportionment of ministries in the Swiss parliament. Fragnelli and Gastaldi [

7] study the bankruptcy problem where the estate and the claims are integer, and compare integer versions of the Talmud solution to this problem with the integer nucleolus of the corresponding pessimistic bankruptcy game when there are two or three agents. It is interesting to note that Fragnelli et al. [

8,

9] suggest integer solutions to a bankruptcy setting that involves an integer estate, while the claims can be of any positive magnitude. An example is the assignment of emergency intervention units, when the claims are calculated in proportion to the size of the population or area to attend to, which, in turn, means that the characteristic function of an associated bankruptcy game may assume noninteger values. A bankruptcy-based model for the management of capacity-constrained integer resources in mobile radio networks is proposed in Lucas-Esta

$\tilde{n}$ et al. [

10]. Further examples of integer resources are college places, housing opportunities, livestock, or organs for transplant. Finally, when a sum of money is to be divided among a set of players, each smallest relevant money unit also is a whole object.

Since

$I(\Gamma )$ lacks convexity,

$\nu (\Gamma )$ may contain multiple elements. The question arises in such a case whether the payoff vectors in

$\nu (\Gamma )$ possess some common attributes, beyond the property that they all minimize

θ lexicographically. A complementary practical question is how to compute

$\nu (\Gamma )$. In general,

$\nu (\Gamma )$ can be obtained by solving a sequence of integer linear programs, analogous to a suggestion by Maschler [

2] (p. 615) that is implemented in most of the studies compiled by Leng and Parlar [

11] (p. 669):

where

${\mathcal{A}}_{0}:=\{\varnothing ,N\}$, while

${\mathcal{A}}_{i}$,

$i\ge 1$, is the set of coalitions with excess

${\u03f5}_{i}<\cdots <{\u03f5}_{1}$ for each optimal solution

$({\u03f5}_{i},\mathbf{x})$ to

${ILP}_{i}$ (cf. Guajardo and Jörnsten [

12] and Nguyen and Thomas [

13]). For some

$k=\kappa $, eventually

${2}^{N}\backslash \{{\mathcal{A}}_{0},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{\mathcal{A}}_{\kappa}\}=\varnothing $, in which case

${ILP}_{\kappa}$ is solved by the set of pairs

$({\u03f5}_{\kappa},\mathbf{x})$ with

$\mathbf{x}\in \nu (\Gamma )$. However, this is only a feasible procedure if

n is small, since integer linear programs are usually much harder to solve than their continuous counterparts. The present article provides a characterization of

$\nu (\Gamma )$ with respect to the class of directed simple games, and suggests an algorithm to compute

$\nu (\Gamma )$ for this game class more efficiently, as long as

$I(\Gamma )$ is not too large. We focus on directed simple games because they have numerous applications—e.g., in economics, in political science, and in threshold logic (cf. Taylor and Zwicker [

14] for literature references).

A simple game

${\Gamma}_{t}$ with

$t\in {\mathbb{Z}}_{>0}$ is a monotonic game Γ, whereby

$v\left(S\right)\le v\left(T\right)$ if

$S\subset T\subseteq N$, that satisfies

$v\left(S\right)\in \{0,t\}$ for each

$S\subseteq N$, while

$v\left(N\right)=t$. We denote by

$\mathcal{W}\left({\Gamma}_{t}\right):=\{S\subseteq N:v\left(S\right)=t\}$ the set of winning coalitions of

${\Gamma}_{t}$. A simple game

${\Gamma}_{t}$ is called an ordered (or complete or linear) simple game, if it exhibits a complete desirability relation

${\succsim}_{D}$ on the players in the set

N. It is called a directed simple game, if in addition

$1{\succsim}_{D}\cdots {\succsim}_{D}n$, without loss of generality. Given a game Γ, if

$i{\succsim}_{D}j$ for two players

$i,j\in N$, then player

i is said to be more desirable than player

j, in which case

Player

i is said to be strictly more desirable than player

j, denoted by

$i{\succ}_{D}j$, if

$i{\succsim}_{D}j$, while not

$j{\succsim}_{D}i$. The players are called symmetric—denoted by

$i{\sim}_{D}j$—if both

$i{\succsim}_{D}j$ and

$j{\succsim}_{D}i$ (cf. Maschler and Peleg [

15], Sect. 9). The desirability relation may be hidden in the set of winning coalitions, and can then be computed with polynomial-time methods (cf. Aziz [

16] and Aziz [

17], Ch. 3). It may also be rooted naturally in the setup of the game. For example, consider a simple game

${\Gamma}_{t}$ that is a weighted majority game with a quota

$q\in {\mathbb{R}}_{>0}$ and the weights

${w}_{1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{w}_{n}\in {\mathbb{R}}_{\ge 0}$ of the players, where

$q\le {\sum}_{i\in N}{w}_{i}$. Here,

$\mathcal{W}\left({\Gamma}_{t}\right):=\left\{S\subseteq N:{\sum}_{i\in S}{w}_{i}\ge q\right\}$. Hence,

$i{\succsim}_{D}j$ for two players

$i,j\in N$ whenever

${w}_{i}\ge {w}_{j}$. We shall represent such a game by the tuple

$[q;{w}_{1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{w}_{n};t]$, in brief

$[q;\mathbf{w};t]$, where

$\mathbf{w}:=({w}_{1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{w}_{n})$. Note that the desirability relation of an ordered simple game

${\Gamma}_{t}$ is strictly preserved by the counting vector

$\mathbf{c}:=({c}_{1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{c}_{n})$, where

${c}_{i}:=\left|\left\{S\subseteq \mathcal{W}\left({\Gamma}_{t}\right):i\in S\right\}\right|$ (cf. Lapidot [

18,

19]). Note also that the integer nucleolus

$\nu (\Gamma )$ of any game Γ is nonempty and finite whenever

$I(\Gamma )\ne \varnothing $. A characterization of

$\nu \left({\Gamma}_{t}\right)$ will now be derived in

Section 2. The algorithm and a performance analysis follow in

Section 3 and

Section 4.

Section 5 provides an extension to the integer prenucleolus, and

Section 6 concludes.

## 2. A Characterization of $\mathbf{\nu}\left({\mathbf{\Gamma}}_{\mathit{t}}\right)$

We begin with two general properties of the integer nucleolus:

**Lemma** **1.** Let Γ be a game. If $\phantom{\rule{0.166667em}{0ex}}i{\succ}_{D}j\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for two players $i,j\in N$, then ${x}_{i}\ge {x}_{j}\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for each $\mathbf{x}\in \nu (\Gamma )$.

**Proof.** Take any $\mathbf{x}\in \nu (\Gamma )$. Suppose ${x}_{i}\le {x}_{j}-1$, noting that ${x}_{i}\ge v\left(\left\{i\right\}\right)$ by definition of $\nu (\Gamma )$. Assume $i{\succ}_{D}j$, so $v(S\cup \{i\left\}\right)\ge v(S\cup \{j\left\}\right)$ for every $S\subseteq N\backslash \{i,j\}$ by definition. In particular, $v\left(\right\{i\left\}\right)\ge v\left(\right\{j\left\}\right)$, and thus ${x}_{j}-1\ge {x}_{i}\ge v\left(\left\{i\right\}\right)\ge v\left(\left\{j\right\}\right)$.

Observe that $e(S\cup \{i\},\mathbf{x})\ge e(S\cup \{j\},\mathbf{x})+1$ for each $S\subseteq N\backslash \{i,j\}$. Since $\phantom{\rule{0.166667em}{0ex}}i{\succ}_{D}j$ by assumption, there exists a coalition $T\subseteq N\backslash \{i,j\}$ such that $v(T\cup \{i\left\}\right)>v(T\cup \{j\left\}\right)$, implying $e(T\cup \{i\},\mathbf{x})\ge e(T\cup \{j\},\mathbf{x})+2$.

Hence, a reallocation at $\mathbf{x}$ of one unit of payoff from player j to player i will result in an integer imputation that improves θ, a contradiction (note that the excesses of all coalitions which contain neither or both of the players i and j are not affected). Therefore, if $\phantom{\rule{0.166667em}{0ex}}i{\succ}_{D}j$ and $\mathbf{x}\in \nu (\Gamma )$, then ${x}_{i}\ge {x}_{j}$. ☐

**Lemma** **2.** Let Γ be a game. If $\phantom{\rule{0.166667em}{0ex}}i{\sim}_{D}j\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for two players $i,j\in N$, then $|{x}_{i}-{x}_{j}|\in \{0,1\}\phantom{\rule{0.222222em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for each $\mathbf{x}\in \nu (\Gamma )$.

**Proof.** Take any $\mathbf{x}\in \nu (\Gamma )$. Without loss of generality, suppose ${x}_{i}\le {x}_{j}-2$, noting again that ${x}_{i}\ge v\left(\left\{i\right\}\right)$ by definition of $\nu (\Gamma )$. Assume $i{\sim}_{D}j$, so $v(S\cup \{i\left\}\right)=v(S\cup \{j\left\}\right)$ for every $S\subseteq N\backslash \{i,j\}$ by definition. In particular, $v\left(\right\{i\left\}\right)=v\left(\right\{j\left\}\right)$, and thus ${x}_{j}-2\ge {x}_{i}\ge v\left(\left\{i\right\}\right)=v\left(\left\{j\right\}\right)$. At the same time, $e(S\cup \{i\},\mathbf{x})\ge e(S\cup \{j\},\mathbf{x})+2$ for each $S\subseteq N\backslash \{i,j\}$. Consequently, a reallocation at $\mathbf{x}$ of one unit of payoff from player j to player i yields an integer imputation that improves θ, a contradiction. Therefore, if $\phantom{\rule{0.166667em}{0ex}}i{\sim}_{D}j$ and $\mathbf{x}\in \nu (\Gamma )$, then $|{x}_{i}-{x}_{j}|\in \{0,1\}$. ☐

**Remark** **1.** Let Γ be a game, where $i{\sim}_{D}j$ for two players $i,j\in N$. If ${x}_{i}\ne {x}_{j}$ for $\mathbf{x}\in \nu (\Gamma )$, and payoff vector $\mathbf{z}$ differs from $\mathbf{x}$ only in that the payoffs of players i and j are permuted, then $\mathbf{z}\in \nu (\Gamma )$ by the anonymity (impartiality) of $\nu (\Gamma )$.

The following lemma and a subsequent corollary are our main theoretical result:

**Lemma** **3.** The integer nucleolus $\nu \left({\Gamma}_{t}\right)$ of a directed simple game ${\Gamma}_{t}$ with $I\left({\Gamma}_{t}\right)\ne \varnothing $ has a unique element, henceforth denoted by $\mathbf{y}$, that weakly preserves ${\succsim}_{D}$; i.e., ${y}_{1}\ge \cdots \ge {y}_{n}$.

**Proof.** By definition of a directed game, $1{\succsim}_{D}\cdots {\succsim}_{D}n$. Then, because of Lemmas 1 and 2, Remark 1, and the nonemptiness of $\nu \left({\Gamma}_{t}\right)$, a payoff vector like $\mathbf{y}$ exists. To prove its uniqueness, suppose for $\mathbf{x}\in I\left({\Gamma}_{t}\right)$ that $\mathbf{x}\ne \mathbf{y}$ and ${x}_{1}\ge \cdots \ge {x}_{n}$. Denote by i the largest index j for which ${x}_{j}\ne {y}_{j}$. Hence, ${x}_{j}={y}_{j}$ for $j>i$. Without loss of generality, suppose ${x}_{i}>{y}_{i}.$ Note that $\mathbf{x}\in \nu \left({\Gamma}_{t}\right)$ if and only if $\theta \left(\mathbf{x}\right)=\theta \left(\mathbf{y}\right)$:

$Case\mathit{1}:\left\{i\right\}\notin \mathcal{W}\left({\Gamma}_{t}\right)$; i.e., $e(\left\{i\right\},\mathbf{y})=-{y}_{i}$. Assume ${y}_{i}=0$. Then, ${x}_{j}=0$ if and only if $j>i$, in which case also ${y}_{j}=0$. Now consider any coalition $S\subset N$, $S\ne \varnothing $, with $e(S,\mathbf{x})=0$. If $S\in \mathcal{W}\left({\Gamma}_{t}\right)$, then $x\left(S\right)=t$, and thus ${x}_{l}=0$ for every player $l\in N\backslash S$. Since ${y}_{l}=0$ for each such player, $y\left(S\right)=t$ and hence $e(S,\mathbf{y})=0$. If $S\notin \mathcal{W}\left({\Gamma}_{t}\right)$, then ${x}_{k}=0$, and thus ${y}_{k}=0$, for every $k\in S$, whereby also $e(S,\mathbf{y})=0$. However, as $e(\left\{i\right\},\mathbf{x})=-{x}_{i}<0$, we conclude that $\theta \left(\mathbf{x}\right)\ne \theta \left(\mathbf{y}\right)$.

Next, assume ${y}_{i}>0$. Observe for any coalition $S\subset N$, $S\ne \varnothing $, with $e(S,\mathbf{x})=-{y}_{i}$ that $S\subseteq \{i+1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}n\}$. Hence, $e(S,\mathbf{y})=-{y}_{i}$. Consequently, as $e(\left\{i\right\},\mathbf{x})=-{x}_{i}<-{y}_{i}$, again $\theta \left(\mathbf{x}\right)\ne \theta \left(\mathbf{y}\right)$. In all, $\mathbf{x}\notin \nu \left({\Gamma}_{t}\right)$.

$Case\mathit{2}:\left\{i\right\}\in \mathcal{W}\left({\Gamma}_{t}\right)$, whereby ${y}_{i}=t$ since $\mathbf{y}\in I\left({\Gamma}_{t}\right)$. In particular, $i=1$, as ${y}_{1}\ge \cdots \ge {y}_{n}$. Hence, $\mathbf{y}=(t,0,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}0)$, and therefore $\mathbf{x}\notin I\left({\Gamma}_{t}\right)$, a contradiction.

To summarize, it cannot be true that $\mathbf{x}\in \nu \left({\Gamma}_{t}\right)$, $\mathbf{x}\ne \mathbf{y}$, and ${x}_{1}\ge \cdots \ge {x}_{n}$. ☐

**Remark** **2.** The proof of Lemma 3 does not depend on the assumed monotonicity of simple games, and the desirability relation ${\succsim}_{D}$ was not needed to show the uniqueness of $\mathbf{y}$. We conclude from the latter observation—since we are free to renumber the players—that if $\phantom{\rule{0.166667em}{0ex}}\Gamma $ is a simple game, then $\nu (\Gamma )$ contains at most one payoff vector for every order of the payoffs ${x}_{1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{x}_{n}$.1 A permutation π of the player set N of a game Γ such that $v\left(\pi \right(S\left)\right)=v\left(S\right)$ for each $S\subseteq N$ is called a symmetry of Γ. Because of Lemma 3 and Remark 1:

**Corollary** **1.** The integer nucleolus $\nu \left({\Gamma}_{t}\right)$ of a directed simple game ${\Gamma}_{t}$ with $I\left({\Gamma}_{t}\right)\ne \varnothing $ is the set of images of $\mathbf{y}$ under all symmetries of $\phantom{\rule{0.166667em}{0ex}}{\Gamma}_{t}$.

We close this section with three examples and a remark:

**Example** **1.** Let ${\Gamma}_{t}$ be represented by $[33;15,15,10,10,4,4,4,2,1;30]$. Then, $\mathbf{y}=(7,7,4,4,3,2,2,1,0)$. Additionally, $\mathbf{c}=(189,189,163,163,147,147,147,129,129)$; i.e., ${c}_{5}={c}_{6}={c}_{7}$ and ${c}_{8}={c}_{9}$. Since ${y}_{5}>{y}_{6},{y}_{7}$, and ${y}_{8}>{y}_{9}$, we obtain a set $\nu \left({\Gamma}_{t}\right)$ of six payoff vectors. We provide them in anti-lexicographic order:$\nu \left({\Gamma}_{t}\right)=\{$ | $(7,7,4,4,3,2,2,1,0),(7,7,4,4,3,2,2,0,1),(7,7,4,4,2,3,2,1,0),$ |

| $(7,7,4,4,2,3,2,0,1),(7,7,4,4,2,2,3,1,0),(7,7,4,4,2,2,3,0,1)\}$. |

**Example** **2.** Let (the non-proper game) ${\Gamma}_{t}$ be represented by $[6;4,4,2,2,2,1;8]$. Then, $\mathbf{y}=(2,2,1,1,1,1)$, while $\mathbf{c}=(30,30,26,26,26,23)$. Hence, $\nu \left({\Gamma}_{t}\right)=\left\{(2,2,1,1,1,1)\right\}$.

**Example** **3.** Consider the game Γ where $n=3$ and $v\left(\right\{1\left\}\right)=v\left(\right\{2\left\}\right)=1$, $v\left(\right\{3\left\}\right)=0$, $v\left(\right\{1,2\left\}\right)=2$, $v\left(\right\{1,3\left\}\right)=v\left(\right\{2,3\left\}\right)=1$, $v\left(\right\{1,2,3\left\}\right)=7$. Note that $1\sim 2\succ 3$, whereas $\nu (\Gamma )=\left\{(3,3,1),(3,2,2),(2,3,2)\right\}$. Lemma 3 and Corollary 1 thus cannot be generalized to every directed game Γ.

**Remark** **3.** In Example 2, player 6 is a null player, yet ${y}_{6}=1$. In general, let Γ be a game, and write as $L(\Gamma ):=\left\{j\in N:v\left(S\right)=v(S\cup \{j\left\}\right)\phantom{\rule{4pt}{0ex}}for\text{}all\phantom{\rule{4pt}{0ex}}S\subseteq N\backslash \left\{j\right\}\right\}$ the set of null players of Γ. Suppose $\mathbf{x}\in I(\Gamma )$ and ${x}_{i}\ge 2\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for $i\in L(\Gamma )$. Since $v\left(N\right)>0$, there exists a coalition $T\in arg{max}_{\phantom{\rule{0.166667em}{0ex}}\varnothing \ne S\subset N}e(S,\mathbf{x})$, such that $T\cap L(\Gamma )=\varnothing $, whereby $e(Q,\mathbf{x})\le e(T,\mathbf{x})-2\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for all $Q\subset N$, $i\in Q$. So, a reallocation at $\mathbf{x}$ of one unit of payoff from player i to a player $k\in T$ improves θ. Hence, ${x}_{i}\in \{0,1\}$ for each $i\in L(\Gamma )$ and every $\mathbf{x}\in \nu (\Gamma )$.

## 3. An Algorithm to Compute $\nu \left({\Gamma}_{t}\right)$

Given a directed simple game ${\Gamma}_{t}$, denote by ${\theta}_{\mathcal{W}}$ the subvector of θ associated with the coalitions in $\mathcal{W}\left({\Gamma}_{t}\right)\backslash N$, and by $P\left({\Gamma}_{t}\right):=\left\{\mathbf{x}\in I\left({\Gamma}_{t}\right):{x}_{1}\ge \cdots \ge {x}_{n}\wedge |{x}_{i}-{x}_{j}|\in \{0,1\}\phantom{\rule{4pt}{0ex}}\mathrm{for}\text{}\mathrm{all}\phantom{\rule{4pt}{0ex}}i\ne j,\phantom{\rule{0.166667em}{0ex}}i{\sim}_{D}j\right\}$ the subset of integer imputations in anti-lexicographic order that satisfy Lemmas 1 and 2. Let ${\nu}_{\mathcal{W}}\left({\Gamma}_{t}\right):=\left\{\mathbf{x}\in P\left({\Gamma}_{t}\right):{\theta}_{\mathcal{W}}\left(\mathbf{x}\right){\le}_{lex}{\theta}_{\mathcal{W}}\left(\mathbf{z}\right)\phantom{\rule{4pt}{0ex}}\mathrm{for}\text{}\mathrm{all}\phantom{\rule{4pt}{0ex}}\mathbf{z}\in P\left({\Gamma}_{t}\right)\right\}$. Write as $V\left({\Gamma}_{t}\right):=\left\{i\in N:S\in \mathcal{W}\left({\Gamma}_{t}\right)\Rightarrow i\in S\right\}$ the set of veto players of ${\Gamma}_{t}$, and let $r:=\left|V\right({\Gamma}_{t}\left)\right|$. If $r>0$, then $V\left({\Gamma}_{t}\right)=\{1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}r\}$, because ${\Gamma}_{t}$ is directed.

**Lemma** **4.** Let ${\Gamma}_{t}$ be a directed simple game with $I\left({\Gamma}_{t}\right)\ne \varnothing $. If $\phantom{\rule{0.166667em}{0ex}}\mathcal{W}\left({\Gamma}_{t}\right)\backslash N\ne \varnothing $, then ${\nu}_{{}_{\mathcal{W}}}\left({\Gamma}_{t}\right)=\left\{\mathbf{y}\right\}$.

**Proof.** Assume

$\mathcal{W}\left({\Gamma}_{t}\right)\backslash N\ne \varnothing $, and note that

$P\left({\Gamma}_{t}\right)\ne \varnothing $ due to

$I\left({\Gamma}_{t}\right)\ne \varnothing $. Hence,

${\nu}_{\mathcal{W}}\left({\Gamma}_{t}\right)\ne \varnothing $. In particular,

$\mathbf{y}\in {\nu}_{\mathcal{W}}\left({\Gamma}_{t}\right)$. Now suppose

$r>0$, whereby

$x\left(V\left({\Gamma}_{t}\right)\right)=t$ for each

$\mathbf{x}\in {\nu}_{\mathcal{W}}\left({\Gamma}_{t}\right)$. Since

$i{\sim}_{D}j$ for any two players

$i,j\in V\left({\Gamma}_{t}\right)$, only one element of the set

$P\left({\Gamma}_{t}\right)$ assigns the payoff

t to coalition

$V\left({\Gamma}_{t}\right)$, this element being

where

$y:=\lfloor \frac{t}{r}\rfloor $ denotes the largest integer that does not exceed

$\frac{t}{r}$, and

$s:=t-ry$. Thus,

${\nu}_{\mathcal{W}}\left({\Gamma}_{t}\right)=\left\{\mathbf{y}\right\}$.

Next, suppose

$r=0$; i.e.,

$V\left({\Gamma}_{t}\right)=\varnothing $. Take any

$\mathbf{x}\in P\left({\Gamma}_{t}\right)$,

$\mathbf{x}\ne \mathbf{y}$, and denote by

i the largest index

j such that

${x}_{j}\ne {y}_{j}$. Accordingly,

${x}_{j}={y}_{j}$ for all

$j>i$. Without loss of generality, assume

${x}_{i}>{y}_{i}$. As

$i\notin V\left({\Gamma}_{t}\right)$, there exists a coalition

$S\in \mathcal{W}\left({\Gamma}_{t}\right)\backslash N$,

$i\notin S$, and hence

$N\backslash \left\{i\right\}\in \mathcal{W}\left({\Gamma}_{t}\right)$ by the monotonicity of

${\Gamma}_{t}$. Consequently,

$e(N\backslash \left\{i\right\},\mathbf{y})={y}_{i}$. This excess may be obtained at

$\mathbf{x}$ only by winning coalitions

$N\backslash T$ with

$T\subseteq \{i+1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}n\}$, but then also at

$\mathbf{y}$. Since

$e(N\backslash \left\{i\right\},\mathbf{x})={x}_{i}>{y}_{i}$, we obtain

${\theta}_{\mathcal{W}}\left(\mathbf{x}\right)\ne {\theta}_{\mathcal{W}}\left(\mathbf{y}\right)$, and so

$\mathbf{x}\notin {\nu}_{\mathcal{W}}\left({\Gamma}_{t}\right)$.

2 ☐

The borderline case of a directed simple game

${\Gamma}_{t}$ with

$\mathcal{W}\left({\Gamma}_{t}\right)\backslash N=\varnothing $ implies that

$\mathcal{W}\left({\Gamma}_{t}\right)=\left\{N\right\}=V\left({\Gamma}_{t}\right)$, and thereby

$I\left({\Gamma}_{t}\right)\ne \varnothing $, as well as

$\nu \left({\Gamma}_{t}\right)=P\left({\Gamma}_{t}\right)=\left\{\mathbf{y}\right\}$ because of the symmetry of all players. The associated payoff vector

$\mathbf{y}$ is determined by (

3) for

$r=n$.

Thus, if

${\Gamma}_{t}$ is a directed simple game and

$I\left({\Gamma}_{t}\right)\ne \varnothing $, we may search

$P\left({\Gamma}_{t}\right)$ for

$\mathbf{y}$ without reference to the coalitions not contained in

$\mathcal{W}\left({\Gamma}_{t}\right)$. In view of this observation, we now suggest an algorithm to compute the integer nucleolus of any such game. Since the elements of

$P\left({\Gamma}_{t}\right)$ have independent excess vectors

${\theta}_{\mathcal{W}}$, our algorithm can make the most of computing machinery that supports the parallel execution of multiple threads in an application program. Note for each

$\mathbf{x}\in P\left({\Gamma}_{t}\right)$ with

${x}_{k}>0$,

${x}_{k+1}=0$, that

${x}_{1}+\cdots +{x}_{k}$ is a partition of

t into

k (

$\le min\{t,n\}$) parts in standard form. A fast generator of integer partitions in standard form and in anti-lexicographic order is procedure ZS1 by Zoghbi and Stojmenović [

20] (pp. 325–326).

To proceed, define the incidence vector

${\mathbf{1}}_{S}\in {\{0,1\}}^{n}$ of any coalition

$S\in \mathcal{W}\left({\Gamma}_{t}\right)\backslash N$ in that

${1}_{Si}=1$ if and only if

$i\in S$, and consider the auxiliary vector

${\mathbf{a}}_{S}:=({a}_{S1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{a}_{Sn})$, where

Hence, if

$\mathbf{x}\in P\left({\Gamma}_{t}\right)$ and

${x}_{k}>0$,

${x}_{k+1}=0$, then

${a}_{Sk}$ players in coalition

S receive a positive payoff. These players can be read off the auxiliary vector

${\mathbf{b}}_{S}:=({b}_{S1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{b}_{S\left|S\right|})$, where

The total payoff of coalition

S at

$\mathbf{x}$ thus amounts to

${\sum}_{i\le {a}_{Sk}}{x}_{{b}_{Si}}$. For example, if

$n=7$ and

$S=\{2,3,6\}$, we obtain

${\mathbf{1}}_{S}=(0,1,1,0,0,1,0)$,

${\mathbf{a}}_{S}=(0,1,2,2,2,3,3)$, and

${\mathbf{b}}_{S}=(2,3,6)$. Thereby, if

$t=6$ and

$\mathbf{x}=(2,2,1,1,0,0,0)$—noting that

$\mathbf{x}$ results from a partition of

t into four parts—

$x\left(\{2,3,6\}\right)={\sum}_{i\le {a}_{S4}}{x}_{{b}_{Si}}={x}_{2}+{x}_{3}$.

For each

$\mathbf{x}\in P\left({\Gamma}_{t}\right)$, let

$\mathcal{D}({\Gamma}_{t},\mathbf{x},h):=\left\{S\in \mathcal{W}\left({\Gamma}_{t}\right)\backslash N:e(S,\mathbf{x})=h\right\}$ with

$h\in \{0,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}t\}$, and attach to

$\mathbf{x}$ the auxiliary vector

$\Theta \left(\mathbf{x}\right):=({\Theta}_{1}\left(\mathbf{x}\right),\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{\Theta}_{t+1}\left(\mathbf{x}\right))$, where

This way,

$\Theta \left(\mathbf{x}\right)$ holds the number of occurrences of excesses of a size at

$\mathbf{x}$, top-down from the largest excess

t to the smallest excess 0 of the coalitions in the set

$\mathcal{W}\left({\Gamma}_{t}\right)\backslash N$. Thereby, given any two payoff vectors

$\tilde{\mathbf{x}},\widehat{\mathbf{x}}\in P\left({\Gamma}_{t}\right)$,

$\tilde{\mathbf{x}}$ is preferred to

$\widehat{\mathbf{x}}$ if and only if

$\Theta \left(\tilde{\mathbf{x}}\right){<}_{lex}\Theta \left(\widehat{\mathbf{x}}\right)$. While calculating and counting excesses hand in hand, we may be able to tell quite early how

$\mathbf{x}\in P\left({\Gamma}_{t}\right)$ compares to a current best status quo, say

${\mathbf{x}}^{*}$. Let

${\Theta}^{*}:=\Theta \left({\mathbf{x}}^{*}\right)$, and suppose

l is the first index

i for which

${\Theta}_{i}^{*}>0$. Then, payoff vector

$\mathbf{x}$ can already be discarded if any of the first

$l-1$ entries of

$\Theta \left(\mathbf{x}\right)$ has been detected to take a positive value or once

${\Theta}_{l}\left(\mathbf{x}\right)$ is known to exceed

${\Theta}_{l}^{*}$.

This observation has been built into the computer pseudocode in

Table 1. The code distributes most of the workload across a user-defined number

$p\phantom{\rule{4pt}{0ex}}(\ge 1)$ of threads, in support of machines that can execute multiple threads in parallel (desktop applications will most often benefit from creating as many parallel threads as possible, unless

$\left|P\right({\Gamma}_{t}\left)\right|$ is small). On input,

${\Gamma}_{t}$ and

p are passed to the main program LEXMIN that at first generates both

n and

t as well as the counting vector

$\mathbf{c}$, the set

$P\left({\Gamma}_{t}\right)$, and the pairs

$({\mathbf{a}}_{S},{\mathbf{b}}_{S})$,

$S\in \mathcal{W}\left({\Gamma}_{t}\right)\backslash N$. Then, it allocates memory for an array

${\mathbf{x}}^{*}(1\phantom{\rule{-0.166667em}{0ex}}:\phantom{\rule{-0.166667em}{0ex}}p)$ of

p best status-quo payoff vectors, before invoking the thread functions

$\mathrm{LEXMIN}1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}\mathrm{LEXMIN}p$. Each of them refers to a separate piece of code, such as the code for thread function

$\mathrm{LEXMIN}\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{0.222222em}{0ex}}i$. This function initializes

${\mathbf{x}}^{*}\left(i\right)$,

${\Theta}^{*}$, and

l, in terms of a most equal allocation of

t across the players, and then enters into two nested loops. In an attempt to spread the computational burden evenly across the threads, the outer loop has been designed to pass over every

pth element of the (ordered) set

$P\left({\Gamma}_{t}\right)$, starting from element number

i. For each resulting payoff vector

$\mathbf{x}\in $$P\left({\Gamma}_{t}\right)$ and underlying number

k of parts of

t, the inner loop computes the excesses associated with

$\mathbf{x}$ and populates

$\Theta \left(\mathbf{x}\right)$. If in the course of these operations index

$t-h+1$ comes out less than

l, or

${\Theta}_{l}^{*}$ is exceeded, then

$\mathbf{x}$ will be discarded by a subsequent exit instruction. In the remaining cases, whenever

$\Theta \left(\mathbf{x}\right)$ is lexicographically smaller than

${\Theta}^{*}$, the elements of the set

$\{{\mathbf{x}}^{*}\left(i\right),{\Theta}^{*},l\}$ are updated. Once all threads are completed, LEXMIN minimizes Θ lexicographically over the set of retained payoff vectors

$\{{\mathbf{x}}^{*}\left(1\right),\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{\mathbf{x}}^{*}\left(p\right)\}$ in order to obtain the unique argument

$\mathbf{y}$, and then the pair

$(\mathbf{c},\mathbf{y})$ is returned. Note that all relevant variables are considered as local to LEXMIN and its thread functions unless stated otherwise.

**Remark** **4.** A payoff vector $\mathbf{x}\in P\left({\Gamma}_{t}\right)$ can already be discarded if ${\Theta}_{l}$ is seen to be no smaller than ${\Theta}_{l}^{*}$, while ${\Theta}_{l+1}$ is known to be greater than ${\Theta}_{l+1}^{*}$, etc. This may serve to reject $\mathbf{x}$ more quickly, while the extra comparisons can have the opposite effect.

**Remark** **5.** If a reallocation of a unit of payoff between players i and j is unfavorable, another such reallocation can be rejected, everything else being equal. We then do not have to trace Θ over the full set $P\left({\Gamma}_{t}\right)$, at the cost of an extended bookkeeping.

**Remark** **6.** One may want to exploit the occurrence of special categories of players (e.g., null players or vetoers), which imposes a search cost (cf. Aziz [16] and Aziz [17], Ch. 3, for the complexity of detecting player types). **Remark** **7.** The coalitions $S\in \mathcal{W}\left({\Gamma}_{t}\right)\backslash N$ have independent pairs $({\mathbf{a}}_{S},{\mathbf{b}}_{S})$, which suggests a distributed execution of the second loop in LEXMIN.

Once $\mathbf{y}$ is known, we conduct a scan of the counting vector $\mathbf{c}$ for all subvectors $({c}_{i},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{c}_{j})$, where ${c}_{i}=\cdots ={c}_{j}$ and ${y}_{i}>{y}_{j}$, the range $j-i$ being as large as possible. If no such subvector exists, then $\nu \left({\Gamma}_{t}\right)=\left\{\mathbf{y}\right\}$, and we are done. Otherwise, given whichever pair $(i,j)$ of matching indices, we retain all elements of $\nu \left({\Gamma}_{t}\right)$ obtained earlier, as well as every payoff vector that can be derived from these elements by permuting the payoffs of the players $i,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}j$.

The pseudocode program COMPL in

Table 2 generates a corresponding sequence of approximations

${\{\mathbf{y}}^{1},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{\mathbf{y}}^{m}\}$ to

$\nu \left({\Gamma}_{t}\right)$. On input,

${\Gamma}_{t}$ and the pair

$(\mathbf{c},\mathbf{y})$ are passed. To begin with, the program determines

n and initializes

$\nu \left({\Gamma}_{t}\right)$. Then, starting from

$i=j=n$, the program looks for the smallest

$i\phantom{\rule{4pt}{0ex}}(<j)$ for which both

${c}_{i}={c}_{j}$ and

${y}_{i}>{y}_{j}$.

3 Whenever a matching

i is found, the program retrieves all permutations of the payoffs in

$({y}_{i},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{y}_{j})$ from the respective permutation set, named

$B(i,j)$, and updates

$\nu \left({\Gamma}_{t}\right)$. In the following iteration,

j is set to

$i-1$, and so on. The search ends if

$i\le 2$, and then

$\nu \left({\Gamma}_{t}\right)$ is returned. Note that for each matching pair

$(i,j)$ the respective subvector

$({y}_{i},\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}{y}_{j})$ of

$\mathbf{y}$ takes the form

$(a,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}a,b,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}b)$, where

$b=a-1$. The set

$B(i,j)$ can thus be calculated with ACM Algorithm 152 (Nexcom) by Hopley [

21], under the normalization

$a=1$.

We end this section with a working example of our algorithm and a generalization. The example is primarily meant to illustrate the functioning of a thread in

Table 1. Thus, we assume, for simplicity, that

$p=1$:

**Example** **4.** Let ${\Gamma}_{t}$ be represented by $[9;5,4,3,2,1;6]$. In this game,$\mathcal{W}\left({\Gamma}_{t}\right)\backslash N=\{$ | $\{1,2\},\{1,2,3\},\{1,2,4\},\{1,2,5\},\{1,3,4\},\{1,3,5\},\{2,3,4\},\{1,2,3,4\},$ |

| $\{1,2,3,5\},\{1,2,4,5\},\{1,3,4,5\},\{2,3,4,5\}\}$. |

Thereby, $\mathbf{c}=(11,10,9,8,7)$; i.e., the game exhibits the desirability relation $1{\succ}_{D}2{\succ}_{D}3{\succ}_{D}4{\succ}_{D}5$. Hence,$P\left({\Gamma}_{t}\right)=\{$ | $(6,0,0,0,0),(5,1,0,0,0),(4,2,0,0,0),(4,1,1,0,0),(3,3,0,0,0),(3,2,1,0,0),$ |

| $(3,1,1,1,0),(2,2,2,0,0),(2,2,1,1,0),(2,1,1,1,1)\}$. |

The sole thread $LEXMIN1$ then proceeds as follows if the elements of $\mathcal{W}\left({\Gamma}_{t}\right)\backslash N$ arrive at the thread’s inner loop in the above order from coalition $\{1,2\}$ to coalition $\{2,3,4,5\}$:$\mathbf{x}$ | $\genfrac{}{}{0pt}{}{\mathit{last}\text{}\Theta \mathit{in}}{\mathit{inner}\text{}\mathit{loop}}$ | ${\mathbf{x}}^{*}\left(1\right)$ | ${\Theta}^{*}$ | l | $\genfrac{}{}{0pt}{}{\mathit{last}\text{}S\mathit{in}}{\mathit{inner}\text{}\mathit{loop}}$ |

— | — | $(2,1,1,1,1)$ | $(0,0,0,2,6,4,0)$ | 4 | — |

$(6,0,0,0,0)$ | $(1,0,0,0,0,0,6)$ | $(2,1,1,1,1)$ | $(0,0,0,2,6,4,0)$ | 4 | $\{2,3,4\}$ |

$(5,1,0,0,0)$ | $(0,1,0,0,0,2,4)$ | $(2,1,1,1,1)$ | $(0,0,0,2,6,4,0)$ | 4 | $\{2,3,4\}$ |

$(4,2,0,0,0)$ | $(0,0,1,0,2,0,4)$ | $(2,1,1,1,1)$ | $(0,0,0,2,6,4,0)$ | 4 | $\{2,3,4\}$ |

$(4,1,1,0,0)$ | $(0,0,1,0,0,5,1)$ | $(2,1,1,1,1)$ | $(0,0,0,2,6,4,0)$ | 4 | $\{2,3,4\}$ |

$(3,3,0,0,0)$ | $(0,0,0,3,0,0,4)$ | $(2,1,1,1,1)$ | $(0,0,0,2,6,4,0)$ | 4 | $\{2,3,4\}$ |

$(3,2,1,0,0)$ | $(0,0,0,2,3,4,3)$ | $(3,2,1,0,0)$ | $(0,0,0,2,3,4,3)$ | 4 | $\{2,3,4,5\}$ |

$(3,1,1,1,0)$ | $(0,0,0,2,3,6,1)$ | $(3,2,1,0,0)$ | $(0,0,0,2,3,4,3)$ | 4 | $\{2,3,4,5\}$ |

$(2,2,2,0,0)$ | $(0,0,0,0,9,0,3)$ | $(2,2,2,0,0)$ | $(0,0,0,0,9,0,3)$ | 5 | $\{2,3,4,5\}$ |

$(2,2,1,1,0)$ | $(0,0,0,1,3,2,0)$ | $(2,2,2,0,0)$ | $(0,0,0,0,9,0,3)$ | 5 | $\{1,3,5\}$ |

Upon initialization, ${\mathbf{x}}^{*}\left(1\right)=(2,1,1,1,1)$, whereby ${\theta}_{{}_{\mathcal{W}}}=(3,3,2,2,2,2,2,2,1,1,1,1)$, such that ${\Theta}^{*}=(0,0,0,2,6,4,0)$ and $l=4$. The first payoff vector $\mathbf{x}=(6,0,0,0,0)$ in the (ordered) set $P\left({\Gamma}_{t}\right)$ will be discarded as soon as $LEXMIN1$ has calculated the excess of coalition $\{2,3,4\}$, since $h=e\left(\right\{2,3,4\},\mathbf{x})=6$, and thus $t-h+1=1<4$, etc. Eventually, ${\Theta}^{*}$ can be improved at $\mathbf{x}=(3,2,1,0,0)$, where ${\Theta}^{*}=(0,0,0,2,3,4,3)$, and again at $\mathbf{x}=(2,2,2,0,0)$, where ${\Theta}^{*}=(0,0,0,0,9,0,3)$. The latter payoff vector is finally identified as $\mathbf{y}$ by the main program LEXMIN, and the pair $(\mathbf{c},\mathbf{y})$ is returned. At last, routine COMPL finds in view of $\mathbf{c}=(11,10,9,8,7)$ that there is no matching pair $(i,j)$. Therefore, on output, $\nu \left({\Gamma}_{t}\right)=\left\{(2,2,2,0,0)\right\}$.

For a generalized simple game

${\Gamma}_{t}$, the monotonicity property is dropped, and it is not maintained that

$v(\varnothing )=0$ and

$v\left(N\right)=t$ (cf. Carreras and Freixas [

22], p. 153, and Taylor and Zwicker [

14], p. 4). The desirability relation of a directed generalized simple game is also strictly preserved by the counting vector

$\mathbf{c}$. However,

$I\left({\Gamma}_{t}\right)$ may have to be redefined as denoting the set

$\left\{\mathbf{x}\in {\mathbb{Z}}^{n}:x\left(N\right)=t,\phantom{\rule{0.166667em}{0ex}}{x}_{i}\ge v\left(\left\{i\right\}\right)\phantom{\rule{4pt}{0ex}}\mathrm{for}\text{}\mathrm{all}\phantom{\rule{4pt}{0ex}}i\in N\right\}$. The proof of Lemma 3 then remains valid, and hence statements analogous to Lemma 3 and Corollary 1 apply. The following result replaces Lemma 4:

**Lemma** **5.** Let ${\Gamma}_{t}$ be a directed generalized simple game with $I\left({\Gamma}_{t}\right)\ne \varnothing $. Suppose $\mathbf{x},\tilde{\mathbf{x}}\in P\left({\Gamma}_{t}\right)$, $\mathbf{x}\ne \tilde{\mathbf{x}}$. Denote by i the largest index j for which ${x}_{j}\ne {\tilde{x}}_{j}$, where ${x}_{i}>{\tilde{x}}_{i}$ without loss of generality. Then $\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{0.222222em}{0ex}}{\theta}_{{}_{\mathcal{W}}}\left(\mathbf{x}\right)={\theta}_{{}_{\mathcal{W}}}\left(\tilde{\mathbf{x}}\right)\Rightarrow \theta \left(\mathbf{x}\right){<}_{lex}\theta \left(\tilde{\mathbf{x}}\right)$.

**Proof.** Assume $\left\{i\right\}\in \mathcal{W}\left({\Gamma}_{t}\right)$, whereby $i=1$, since ${\Gamma}_{t}$ is directed and $I\left({\Gamma}_{t}\right)\ne \varnothing $. Hence, ${x}_{j}={\tilde{x}}_{j}$ for each player $j\ge 2$. Since ${x}_{1}>{\tilde{x}}_{1}$, it cannot be true that both $\mathbf{x}$ and $\tilde{\mathbf{x}}$ are contained in $P\left({\Gamma}_{t}\right)$. So, assume $\left\{i\right\}\notin \mathcal{W}\left({\Gamma}_{t}\right)$. Consider any nonempty coalition $S\subset N$, $S\notin \mathcal{W}\left({\Gamma}_{t}\right)$. Observe that ${x}_{j}={\tilde{x}}_{j}$ whenever $j>i$. Consequently, if $e(S,\mathbf{x})>-{\tilde{x}}_{i}$ or $e(S,\tilde{\mathbf{x}})>-{\tilde{x}}_{i}$, and thus $S\subseteq \{i+1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}n\}$, then $e(S,\mathbf{x})=e(S,\tilde{\mathbf{x}})$. Furthermore, if $e(S,\mathbf{x})=-{\tilde{x}}_{i}$, and hence again $S\subseteq \{i+1,\phantom{\rule{0.166667em}{0ex}}\dots ,\phantom{\rule{0.166667em}{0ex}}n\}$, then also $e(S,\tilde{\mathbf{x}})=-{\tilde{x}}_{i}$. Therefore, and since $e(\left\{i\right\},\mathbf{x})=-{x}_{i}<-{\tilde{x}}_{i}=e(\left\{i\right\},\tilde{\mathbf{x}})$, if ${\theta}_{\mathcal{W}}\left(\mathbf{x}\right)={\theta}_{\mathcal{W}}\left(\tilde{\mathbf{x}}\right)$, then $\theta \left(\mathbf{x}\right){<}_{lex}\theta \left(\tilde{\mathbf{x}}\right)$. ☐

Hence, if

${\theta}_{\mathcal{W}}\left(\mathbf{x}\right)={\theta}_{\mathcal{W}}\left(\tilde{\mathbf{x}}\right)$ for two payoff vectors

$\mathbf{x},\tilde{\mathbf{x}}\in P\left({\Gamma}_{t}\right)$, we can always discriminate between them by inspecting the smallest payoff components by which they differ. The required adjustment of the code in

Table 1 is straightforward.

## 5. Extension to the Integer Prenucleolus

If a simple game ${\Gamma}_{t}$ admits two or more winning single-player coalitions, then $v\left({\Gamma}_{t}\right)=I\left({\Gamma}_{t}\right)=\varnothing $. In such a case—or when the individual rationality of the game solution is not an issue—we may refer to the integer prenucleolus ${\nu}^{*}\left({\Gamma}_{t}\right):=\mathcal{N}\left({\Gamma}_{t},{I}^{*}\left({\Gamma}_{t}\right)\right)$, where ${I}^{*}\left({\Gamma}_{t}\right):=\left\{\mathbf{x}\in {\mathbb{Z}}^{n}:x\left(N\right)=v\left(N\right)\right\}$ is the game’s integer preimputation set with $v\left(N\right)=t\in {\mathbb{Z}}_{>0}$. Note that ${\nu}^{*}\left({\Gamma}_{t}\right)$ is nonempty and finite.

**Lemma** **6.** Let ${\Gamma}_{t}$ be a simple game. If $\phantom{\rule{0.166667em}{0ex}}\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$, then $-1\le {x}_{i}\le t$ for all $i\in N$.

**Proof.** Take any $\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$ and let ${N}_{-}:=\left\{j\in N:{x}_{j}\le -1\right\}$. Observe that $\mathbf{x}\in {I}^{*}\left({\Gamma}_{t}\right)$, whereby $N\backslash {N}_{-}\ne \varnothing $. Then, consider an arbitrary player $i\in N$:

$\left(a\right)\phantom{\rule{4pt}{0ex}}$Assume ${x}_{i}\le -2$. Hence, $i\in {N}_{-}$. Let $\mathcal{Q}:=arg{max}_{\phantom{\rule{0.166667em}{0ex}}\varnothing \ne S\subset N}e(S,\mathbf{x})$ and consider any coalition $Q\in \mathcal{Q}$, whereby $\left|Q\right|<n$. Since ${\Gamma}_{t}$ is monotonic, ${N}_{-}\subseteq Q$, and hence there must be a player $k\in N\backslash {N}_{-}$, $k\notin Q$. Now take any coalition $T\in arg{max}_{\phantom{\rule{0.166667em}{0ex}}k\in S\subseteq N\backslash \left\{i\right\}}e(S,\mathbf{x})$. Suppose $T=N\backslash \left\{i\right\}$, such that $e(T,\mathbf{x})=v(N\backslash \left\{i\right\})-x(N\backslash \left\{i\right\})\le t-(x\left(N\right)-{x}_{i})={x}_{i}\le -2$. Since $e\left(\right\{i\},\mathbf{x})\ge 2$, a reallocation at $\mathbf{x}$ of one unit of payoff from player k to player i improves θ, and therefore $\mathbf{x}\notin {\nu}^{*}\left({\Gamma}_{t}\right)$. Next, suppose $T\subset N\backslash \left\{i\right\}$. Observe that $e(T,\mathbf{x})\le e(T\cup \left\{i\right\},\mathbf{x})+{x}_{i}$ by the monotonicity of ${\Gamma}_{t}$, and that $e(T\cup \{i\},\mathbf{x})\le e(Q,\mathbf{x})$ by definition of the set $\mathcal{Q}$. Consequently, $e(T,\mathbf{x})\le e(Q,\mathbf{x})+{x}_{i}\le e(Q,\mathbf{x})-2$. As $i\in Q$, we conclude that θ can still be improved at $\mathbf{x}$ by a reallocation of one unit of payoff from player k to player i. Thus again $\mathbf{x}\notin {\nu}^{*}\left({\Gamma}_{t}\right)$, a contradiction.

$\left(b\right)\phantom{\rule{4pt}{0ex}}$Assume ${x}_{i}\ge t+1$. Hence, ${N}_{-}\ne \varnothing $ due to $\mathbf{x}\in {I}^{*}\left({\Gamma}_{t}\right)$. Take any player $k\in {N}_{-}$, and let $\u03f5:={max}_{\phantom{\rule{0.166667em}{0ex}}k\in S\subseteq N\backslash \left\{i\right\}}e(S,\mathbf{x})$. Thereby, $\u03f5\ge e({N}_{-},\mathbf{x})\ge -x\left({N}_{-}\right)$. Moreover, let $\gamma :={max}_{\phantom{\rule{0.166667em}{0ex}}i\in T\subseteq N\backslash \left\{k\right\}}e(T,\mathbf{x})$. Since none of the T-type coalitions can receive an aggregate payoff smaller than $x({N}_{-}\backslash \left\{k\right\})+{x}_{i}$, we have $\gamma \le t-(x\left({N}_{-}\right)-{x}_{k})-{x}_{i}$. So, $\u03f5-\gamma \ge {x}_{i}-t-{x}_{k}\ge 1-{x}_{k}\ge 2$. Therefore, a reallocation at $\mathbf{x}$ of one unit of payoff from player i to player k improves θ, which means that $\mathbf{x}\notin {\nu}^{*}\left({\Gamma}_{t}\right)$, also a contradiction.

In all, it cannot be true that $\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$ and ${x}_{i}<-1$ or ${x}_{i}>t$ for some $i\in N$. ☐

**Lemma** **7.** Let ${\Gamma}_{t}$ be a generalized simple game. If $\phantom{\rule{0.222222em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$, then $-t\le {x}_{i}\le t\phantom{\rule{0.222222em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for all $i\in N$.

**Proof.** Take any $\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$. Note that part (b) of the proof of Lemma 6 does not depend on the monotonicity of ${\Gamma}_{t}$ or on the convention that $v(\varnothing )=0$. With ${I}^{*}\left({\Gamma}_{t}\right)$ being redefined as denoting the set $\left\{\mathbf{x}\in {\mathbb{Z}}^{n}:x\left(N\right)=t\right\}$, the assumption that $v\left(N\right)=t$ is also not needed. Hence, ${x}_{i}\le t$. Now assume ${x}_{i}\le -(t+1)$. It then follows from $\mathbf{x}\in {I}^{*}\left({\Gamma}_{t}\right)$ that there must be a player $k\in N$ with ${x}_{k}\ge 1$. Letting $\mu :={max}_{\phantom{\rule{0.166667em}{0ex}}i\in S\subseteq N\backslash \left\{k\right\}}e(S,\mathbf{x})$ and $\tau :={max}_{\phantom{\rule{0.166667em}{0ex}}k\in T\subseteq N\backslash \left\{i\right\}}e(T,\mathbf{x})$, we conclude—analogous to part (b) of the proof of Lemma 6—that $\mu -\tau \ge {x}_{k}-t-{x}_{i}\ge 1+{x}_{k}\ge 2$. Consequently, a reallocation at $\mathbf{x}$ of one unit of payoff from player k to player i improves θ, which contradicts the assumption that $\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$. Therefore, if $\mathbf{x}\in {\nu}^{*}\left({\Gamma}_{t}\right)$, then ${x}_{i}\ge -t$. ☐

The following statement can be proved with methods similar to those used in

Section 2 (cf. the proofs of Lemmas 1 and 2). The proof is thus omitted:

**Lemma** **8.** Let Γ be a game, and suppose $\mathbf{x}\in {\nu}^{*}(\Gamma )$. If $\phantom{\rule{0.222222em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}i{\succ}_{D}j\phantom{\rule{0.222222em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}$ for two players $i,j\in N$, then ${x}_{i}\ge {x}_{j}$. If $\phantom{\rule{0.222222em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}i{\sim}_{D}j$, then $|{x}_{i}-{x}_{j}|\in \{0,1\}$.

**Remark** **8.** Let Γ be a game. If $\mathbf{z}$ is a payoff vector that differs from $\mathbf{x}\in {\nu}^{*}(\Gamma )$ only in that the payoffs of two symmetric players are permuted, then $\mathbf{z}\in {\nu}^{*}(\Gamma )$, analogous to Remark 1.

We end our discussion of the integer prenucleolus with a few examples and clarifying remarks:

**Example** **5.** Let ${\Gamma}_{t}$ be represented by $[4;2,2,2,1;4]$. In this game, $\mathbf{c}=(6,6,6,4)$. Its integer prenucleolus is composed of all integer preimputations—except for $(1,1,1,1)$—that satisfy Lemmas 6 and 8: ${\nu}^{*}\left({\Gamma}_{t}\right)=\left\{(2,1,1,0),(1,2,1,0),(1,1,2,0),(2,2,1,-1),(2,1,2,-1),(1,2,2,-1)\right\}$. Note that player 4 is a null player.

**Example** **6.** Let ${\Gamma}_{t}$ be represented by $[7;3,2,2,2,1;7]$. This is a game without null players, and $\mathbf{c}=(8,7,7,7,5)$. We get ${\nu}^{*}\left({\Gamma}_{t}\right)=\left\{(2,2,2,2,-1)\right\}$.

**Example** **7.** Let ${\Gamma}_{t}$ be the directed generalized simple game where $(n,t)=(5,2)$ and $\mathcal{W}\left({\Gamma}_{t}\right)=\left\{\left\{1\right\},\left\{2\right\},\left\{3\right\},\left\{4\right\},\{1,2\},\{1,3\},\{1,4\},\{2,3\},\{2,4\},\{3,4\},\{1,2,3\},\{1,2,4\},\{1,2,5\}\right\}$. In this game, $1{\sim}_{D}2{\succ}_{D}3{\sim}_{D}4{\succ}_{D}5$. At the same time, e.g., $v\left(\right\{1\left\}\right)>v\left(\right\{1,5\left\}\right)$, and hence the game is not monotonic. We find that $\mathbf{c}=(7,7,5,5,1)$ and ${\nu}^{*}\left({\Gamma}_{t}\right)=\left\{(1,1,1,1,-2)\right\}$.

**Remark** **9.** Observe for the game in Example 5 that ${\nu}^{*}\left({\Gamma}_{t}\right)$ has two elements that weakly preserve ${\succsim}_{D}$. Hence, Lemma 3 and Corollary 1 do not carry over to the integer prenucleolus.

**Remark** **10.** Note for the game in Example 6 that $\nu \left({\Gamma}_{t}\right)=\left\{(2,2,2,1,0),(2,2,1,2,0),(2,1,2,2,0)\right\}$. Thus, in contrast to the continuous case, ${\nu}^{*}\left({\Gamma}_{t}\right)\ne \nu \left({\Gamma}_{t}\right)$ although $\left\{i\right\}\notin \mathcal{W}\left({\Gamma}_{t}\right)$ for all $i\in N$.

If negative payoffs are infeasible for a simple game

${\Gamma}_{t}$ with

$I\left({\Gamma}_{t}\right)=\varnothing $, we may resort to the integer pseudo-nucleolus

${\nu}^{\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{0.277778em}{0ex}}\prime}\left({\Gamma}_{t}\right):=\mathcal{N}\left({\Gamma}_{t},{I}^{\prime}\left({\Gamma}_{t}\right)\right)$ as an auxiliary solution concept, where

${I}^{\prime}\left({\Gamma}_{t}\right):=\left\{\mathbf{x}\in {\mathbb{Z}}_{\ge 0}^{n}:x\left(N\right)=v\left(N\right)\right\}$ and

$v\left(N\right)=t\in {\mathbb{Z}}_{>0}$. The set

${\nu}^{\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{0.277778em}{0ex}}\prime}\left({\Gamma}_{t}\right)$ is nonempty and finite. We leave it to the reader to reconsider Case 2 in the proof of Lemma 3 in order to show that the results of

Section 2 carry over to

${\nu}^{\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{0.277778em}{0ex}}\prime}\left({\Gamma}_{t}\right)$, noting that the players in the set

$F\left({\Gamma}_{t}\right):=\left\{i\in N:\left\{i\right\}\in \mathcal{W}\left({\Gamma}_{t}\right)\right\}$ are symmetric and that

$i{\succ}_{D}j$ for all

$i\in F\left({\Gamma}_{t}\right)$,

$j\in N\backslash F\left({\Gamma}_{t}\right)$, due to the monotonicity of

${\Gamma}_{t}$. We also leave it to the reader to extend the algorithm in

Section 3 to the computation of

${\nu}^{*}\left({\Gamma}_{t}\right)$ for directed simple games

${\Gamma}_{t}$. An extended algorithm will admit negative payoffs of some of the players and allow for multiple optimal payoff vectors that weakly preserve

${\succsim}_{D}$.