The Computational Complexity of Untrapped Choice Procedures

Mustapha Balewa Sanni^{1,2}

Show more

1. Introduction

A common way to model a decision maker’s preferences is to consider a binary relation R over a set A of alternatives (teams, projects, candidates, goods, etc. …). In many different contexts (Sports league, Social Choice Theory, Economics, Operational Research, etc …), the binary relation R is used to make a choice between alternatives of A. Very often this relation is assumed to be complete and asymmetric (we say that R is a tournament) or sometimes complete (R is said to be a weak tournament). The general case concerning incomplete binary relations has received less attention (see [1] [2] [3] ). Incomplete preferences have been increasingly recognized as important [4] [5]. The origin of these preferences is twofold: a lack of information about the alternatives or a lack of information of the decision maker about her own tastes on the alternatives [6] [7].

From the binary relation defined on A, many mechanisms (procedures) are defined in order to choose the set of ‘‘best alternatives’’ also called choice sets. Some familiar choice procedures studied in the literature are the Top cycle choice procedure [8], the Copeland choice procedure [9], the Uncovered choice procedure [10], etc. … These choice procedures have been extensively analysed (in terms of mathematical characterizations) for tournaments and weak tournaments [see [11] [12] ]. Sanni [13] has studied axiomatic characterizations of some pseudo tournaments i.e. reflexive and non necessary complete binary relations.

Recent work has addressed the computational complexity of many choice procedures (see for example: [14] [15] ) and the literature is full of choice procedures that are difficult to compute [15] [16]. It is assumed that if computing a choice set is infeasible, the applicability of the corresponding solution concept is seriously undermined [17]. Most of the familiar procedures mentioned above are demonstrated to be tractable [17] i.e. belonging to class P of problems which can be solved by an algorithm whose running time is polynomial in the size of the problems instance. These procedures are then considered useful because if the computation of a choice set is intractable, the associated choice procedure is virtually rendered useless for large problem instances.

In this article, we consider the Untrapped choice procedure (UT) defined by Duggan [18] for (weak) tournaments. The resulting set is composed of alternatives x that are not directly beaten or that beat indirectly some other alternatives (especially alternatives that directely beat x). Duggan [18] proves that this choice procedure coincides with the Top cycle choice procedure in the case of tournaments and is nested between the Getcha and the Gocha choice procedures for weak tournaments. UT strongly depends on the asymmetric part of the binary relation considered.

We particularly focus, in this paper, on pseudo tournaments and we deduce another notion of the Untrapped (Strong Untrapped: SUt) choice procedure directely dependent on the pseudo tournament R studied. We also discuss the computational complexity of identifying the choice set for each of the choice procedures studied.

The rest of this article is structured as follows. Concepts that are used throughout this paper are given in Preliminaries (Section 2). Section 3 introduces the two extensions of the Untrapped choice procedures which are compared with two extensions of the Top cycle choice procedure. Computational complexity of Untrapped choice procedures is then explored in Section 4. Section 5 ends with an overview of the results.

2. Preliminaries

A represents a finite set of alternatives and R a binary relation defined on A (i.e. R is a subset of
$A\times A$ ). If
$\left(x\mathrm{,}y\right)\in R$ we write
$xRy$. If B is a non empty subset of A,
$R/B$ represents the restriction of R on B, i.e.
$R/B=\left\{\left(x\mathrm{,}y\right)\in B\times B\mathrm{/}xRy\right\}$. The binary relation R is said to be reflexive if
$xRx$,
$\forall x\in A$. It is symmetric if
$xRy\Rightarrow yRx$,
$\forall x\mathrm{,}y\in A$. Relation R is asymmetric if
$xRy\Rightarrow not\left(yRx\right)$,
$\forall x\mathrm{,}y\in A$ with
$x\ne y$. It is antisymmetric if
$xRy$ and
$yRx\Rightarrow x=y$,
$\forall x\mathrm{,}y\in A$. It is transitive if (
$xRy$ and
$yRz$ )
$\Rightarrow $
$xRz$,
$\forall x\mathrm{,}y\mathrm{,}z\in A$. It is complete if
$xRy$ or
$yRx$,
$\forall x\mathrm{,}y\in A$. A tournament is a complete and antisymmetric relation^{1}. A weak tournament is a complete relation. A pseudo tournament is any reflexive binary relation (the relation may be complete or not)^{2}.

Three other binary relations (I: indifference relation, P: strict preference relation and J: incomparability relation) are defined from R as follow: $\forall x\mathrm{,}y\in A$, $xIy$ $\iff $ ( $xIy$ and $yRx$ ), $xPy$ $\iff $ ( $xRy$ and $not\left(yRx\right)$ ) and $xJy\iff not\left(xRy\right)$ and $not\left(yRx\right)$. It can be noticed that I is reflexive and symmetric, P is asymmetric (P is also called the asymmetric part of R) and J is symmetric. $xPy$ (resp. $xIy$ ) can be interpreted as x beats or is better than (resp. x is indifferent to) y.

A circuit is any subset $\left\{{x}_{1}\mathrm{,}{x}_{2}\mathrm{,}\cdots \mathrm{,}{x}_{k}\right\}$ of A (with $k\ge 2$ ) such that ${x}_{1}R{x}_{2}R\cdots R{x}_{k}$ and ${x}_{k}R{x}_{1}$. The subset $\left\{{x}_{1}\mathrm{,}{x}_{2}\mathrm{,}\cdots \mathrm{,}{x}_{k}\right\}$ is a P-circuit if ${x}_{1}P{x}_{2}P\cdots P{x}_{k}$ and ${x}_{k}P{x}_{1}$. A is acyclic (resp. P-acyclic) if it contains no circuit (resp. no P-circuit).

The transitive closure ${R}^{\mathrm{*}}$ of R is defined as follows: $\forall x\mathrm{,}y\in A\mathrm{,}x{R}^{\mathrm{*}}y$ if and only if $\exists k\in \mathbb{N}$ with $k\ge 1$, $\exists {x}_{1}\mathrm{,}{x}_{2},\cdots \mathrm{,}{x}_{k}\in A$, such that $\forall i\in \left\{\mathrm{1,2,}\cdots \mathrm{,}k-1\right\}$, ${x}_{i}R{x}_{i+1}$, ${x}_{1}=x$ et ${x}_{k}=y$. In other words $x{R}^{\mathrm{*}}y$ if and only if there exists at least a path of length k from x to y (we also say that y is reachable from x). The transitive closure ${P}^{\mathrm{*}}$ of P can also be defined in the same way (we then say that y is P-reachable from x).

The predecessor with respect to R (resp. with respect to P) of an alternative $x\in A$ is the set $Pred\left(x\right)=\left\{y\in A\mathrm{/}yRx\right\}$ (resp. $Pre{d}_{P}\left(x\right)=\left\{y\in A\mathrm{/}yPx\right\}$ ). We also define the set $Cl\left(x\right)$ (resp. $C{l}_{P}\left(x\right)$ ) as $Cl\left(x\right)=\left\{y\in A\mathrm{/}y{R}^{\mathrm{*}}x\right\}$ (resp. $C{l}_{P}\left(x\right)=\left\{y\in A\mathrm{/}y{P}^{\mathrm{*}}x\right\}$ ). So $y\in C{l}_{P}\left(x\right)$ ) if y is P-reachable from x.

A choice procedure is a function C that maps each pseudo tournament R to a nonempty subset $C\left(R\right)$ of A called the choice set.

If R is a tournament (resp. a weak tournament) the choice procedure is called a tournament solution (resp. a generalized or weak tournament solution) (see [15] ).

We say that a choice procedure C is contained in a choice procedure ${C}^{\prime}$ if $C\left(R\right)\subseteq {C}^{\prime}\left(R\right)$ for every pseudo tournament R defined on A (we write $C\subseteq {C}^{\prime}$ ).

^{1}Tournaments are always supposed to be asymmetric. We suppose without lost of generality that tournament may be reflexive.

^{2}Pseudo tournaments should not be confound with partial tournaments for which binary relations are asymmetric and not necessarily reflexive.

Many tournament or generalized tournament solutions have been studied in the litterature. A well known one is the Top Cycle choice procedure [8] [10] ) defined by the concept of dominant set.

Definition 1. A non empty subset D of A is said to be a dominant set for a tournament R in A if $xRy$, $\forall x\in D$, $\forall y\in A\backslash D$.

D is a minimal dominant set if D is dominant and if no subset of D is dominant.

The Top Cycle choice procedure of a tournament R on A is defined as $TC\left(R\right)=D$, where D is the unique minimal dominant set for the tournament R. It is easy to show that $TC\left(R\right)=\left\{x\in A\mathrm{/}x{R}^{\ast}y\mathrm{,}\forall y\in A\right\}$. It is also obvious that the asymmetric part of the transitive closure ${R}^{\mathrm{*}}$ is without circuit and because ${R}^{\mathrm{*}}$ is complete we have $TC\left(R\right)=M\left({R}^{\mathrm{*}}\right)$. An attractive property of TC is that any alternative that beats another alternative in the Top Cycle is indirectly beaten by the latter.

The notion of (minimal) dominant set has been extended to the case of weak tournaments in two directions.

Definition 2. Let R be a weak tournament on A. A non empty subset D of A is a dominant (resp. undominated) set for R in A if $not\left(yRx\right)$ (resp. $not\left(yPx\right)$ ), $\forall x\in D$, $\forall y\in A\backslash D$.

D is a minimal dominant (resp. minimal undominated) set if D is dominant (resp. undominated) and if no subset of D is dominant (resp. undominated).

Contrary to the minimal undominated set, the minimal dominant set is unique. Schwartz [8] [19] then defined two choice procedures [Getcha and Gocha^{3} choice procedures] as follow:

Definition 3. Let R be a weak tournament defined on A.

The Getcha choice procedure of R is defined as $Getcha\left(R\right)=D$, where D is the (unique) minimal dominant set for R in A.

The Gocha choice procedure is defined by: $Gocha\left(R\right)={\displaystyle \cup {D}_{i}}$, where ${D}_{i}$ is a minimal undominated set.

Both Gocha and Getcha choice procedures coincide with the Top Cycle (TC) when the binary relation R is a tournament. It is easy to show that $Gocha\left(R\right)\subseteq Getcha\left(R\right)$. Moreover we have [20], $Gocha\left(R\right)=M\left({P}^{\mathrm{*}}\right)$ and $Getcha\left(R\right)=M\left({R}^{\mathrm{*}}\right)$.

For pseudo tournaments, we adopt the same definition for dominant and undominated sets. It is then easy to see that the dominant set is no more unique, so we have the following definition.

Definition 4. Let R be a pseudo-tournament on A^{4}.

The Gocha choice procedure is defined as the union of all minimal undominated sets for R in A.

The Getcha choice procedure is defined as the union of all minimal dominant sets for R in A.

Lemma 1. Let D be a minimal dominant (resp. minimal undominated) set for R in A. For all $x\mathrm{,}y\in D$, we have $x{R}^{\mathrm{*}}y$ (resp. $x{P}^{\mathrm{*}}y$ ).

^{3}Getcha set (resp. Gocha set) is also called Smith set (resp. Schwartz set) in the litterature.

^{4}Sanni (2010) has defined two extensions of the Gocha procedure and two extensions of the Getcha procedure.

Proof. We give the proof for the case of the minimal dominant set. The proof for minimal undominated set is similar.

Consider D a minimal dominant set for R in A. Suppose there exists $x\mathrm{,}y\in D$, such that $not\left(x{R}^{\mathrm{*}}y\right)$. Since $y\in D$, there exists ${y}_{1}\in D$ such that ${y}_{1}Ry$. We also have $not\left(xR{y}_{1}\right)$ [otherwise $x{R}^{\mathrm{*}}y$, a contradiction to $not\left(x{R}^{\mathrm{*}}y\right)$ ]. So there exists ${y}_{2}\in D$ such that ${y}_{2}R{y}_{1}$. We have $not\left(xR{y}_{2}\right)$. Similarly, there exist ${y}_{3}\mathrm{,}{y}_{4}\mathrm{,}\cdots \mathrm{,}{y}_{n}\in D$ such that ${y}_{i+1}R{y}_{i}$ and $not\left(xR{y}_{i+1}\right)$ for all $i\in \left\{\mathrm{1,2,}\cdots \mathrm{,}n-1\right\}$. Now consider the set $U=\left\{z\in D\mathrm{,}z{R}^{\mathrm{*}}y\right\}$. For all $z\in U$ and ${z}_{0}\notin U$, we have $not\left({z}_{0}Rz\right)$. So U is a dominant set for R in A. This contradicts the minimality of D because $x\in D$ but $x\notin U$.

The result of Deb [20] for pseudo tournaments is then generalized as follow.

Proposition 1. For a pseudo tournament R defined on A, we have:

1) $Getcha\left(R\right)=M(R*)$

2) $Gocha\left(R\right)=M\left({P}^{\mathrm{*}}\right)$.

Proof. Consider $x\in M\left({R}^{\mathrm{*}}\right)$ and suppose $x\notin Getcha\left(R\right)$. There exists ${y}_{1}\in A$ such that ${y}_{1}Rx$. If ${y}_{1}\in Getcha\left(R\right)$, then ${y}_{1}Rx\Rightarrow {y}_{1}{R}^{\mathrm{*}}x$ and since $x\in M\left({R}^{\mathrm{*}}\right)$, we have $x{R}^{\mathrm{*}}y$ (which is not possible). So ${y}_{1}\notin Getcha\left(R\right)$. There exists ${y}_{2}\in A$ such that ${y}_{2}R{y}_{1}$.

For the same reasons ${y}_{2}\notin WGe\left(R\right)$. Consider the set $U=\left\{z\in A\mathrm{,}z{R}^{\mathrm{*}}{y}_{1}\right\}$, we have $U\cap WGe\left(R\right)=\varphi $. Moreover for all $z\in U$ and for all ${z}^{\prime}\in A\backslash U$, we have $not\left({z}^{\prime}Rz\right)$. So the set U contains a dominant set for R in A which contains a minimal weak dominant set (which is not possible).

Now let $x\in Getcha\left(R\right)$ and suppose there exists $y\in A$ such that $y{R}^{\mathrm{*}}x$. $x\in Getcha\left(R\right)$ implies that there exists a minima dominant set D such that $x\in D$. Then we have $y\in D$ [otherwise $\exists {x}_{1}\mathrm{,}{x}_{2},\cdots \mathrm{,}{x}_{n}\in A$ such that $y={x}_{1}R{x}_{2}R\cdots R{x}_{n}=x$ (which is not possible)]. so $x\mathrm{,}y\in D$ and according to the previous lemma, we also have $x{R}^{\mathrm{*}}y$.

Example. Let R be the pseudo tournament defined on $A=\left\{a,b,c,d,e,f,g\right\}$ by $aPb$, $aIc$, $bPc$, $cPd$, $cPe$, $dPe$, $eIf$, $ePg$ and $gPd$. We also have $xRx$, $\forall x\in A$. The graph of R is represented by:

We have $Gocha\left(R\right)=\left\{a\mathrm{,}f\right\}$, $Getcha\left(R\right)=\left\{a\mathrm{,}b\mathrm{,}c\right\}$, $SUt\left(R\right)=\left\{a\mathrm{,}b\mathrm{,}c\mathrm{,}f\mathrm{,}g\right\}$ and $WUt\left(R\right)=\left\{a,f,g\right\}$.

3. Untrapped Choice Procedures

We study in this section two choice procedures (strong and weak Untrapped choice procedures) for pseudo tournaments. These choice procedures generalize the concept of Untrapped choice procedure defined by Duggan [19] for weak tournaments.

Definition 5. Let R be a pseudo tournament on A. We say that x weakly (resp. strongly) traps y with respsect to R and we write $xTy$ (resp $x\stackrel{\u02dc}{T}y$ ) if $xPy$ and if $not\left(y{P}^{\mathrm{*}}x\right)$ (resp. if $xRy$ and if $not\left(y{R}^{\mathrm{*}}x\right)$ ).

Relation T (resp $\stackrel{\u02dc}{T}$ ) is not necessary transitive but is P-acyclic (resp. acyclic) [because if ${x}_{1}T{x}_{2}\cdots T{x}_{n}$ and ${x}_{n}T{x}_{1}$, we get ${x}_{1}P{x}_{2}P\cdots P{x}_{n}$ and ${x}_{n}P{x}_{1}$, which implies ${x}_{2}{P}^{\mathrm{*}}{x}_{1}$ : this is not possible since ${x}_{1}T{x}_{2}$ ]. So, we can define the set of its maximal elements. This leads to two choice procedures called weak Untrapped (resp. strong Untrapped) choice procedure, denoted by $WUt$ (resp. $SUt$ ) and defined as follow: $WUt\left(R\right)=\left\{x\in A\mathrm{/}not\left(yTx\right)\mathrm{,}\forall y\in A\right\}$ (resp. $SUt\left(R\right)=\left\{x\in A\mathrm{/}not\left(y\stackrel{\u02dc}{T}x\right),\forall y\in A\right\}$ ).

It is easy to see that an element x of A is in
$WUt\left(R\right)$ ^{5} if and only if
$not\left(yPx\right)$ or
$x{P}^{\mathrm{*}}y$,
$\forall y\in A$.

So any alternative x which is not directly beaten or which beats indirectly some other alternatives (specially alternatives that beat directly x) is in the weak Untrapped set.

It is also easy to see that an element x of A is in $SUt$ if and only if $not\left(yRx\right)$ or $x{R}^{\mathrm{*}}y$, $\forall y\in A$.

We can say that an alternative x strongly traps another alternative y ( $x\stackrel{\u02dc}{T}y$ ) if $xPy$ and if $not\left(y{R}^{\mathrm{*}}x\right)$ ). So $x\in SUt\left(R\right)$ if and only if $not\left(yPx\right)$ or $x{R}^{\mathrm{*}}y$, $\forall y\in A$.

When relation R is a tournament (resp. weak tournament) Duggan [19], shows that $WUt\left(R\right)=SUt\left(R\right)=TC\left(R\right)$ (resp $Gocha\left(R\right)\subseteq WUt\left(R\right)\subseteq Getcha\left(R\right)$ ). It is obvious that for weak tournaments, we have $SUt\left(R\right)=Getcha\left(R\right)$.

The following proposition gives inclusion relations between the different choice procedures mentionned above.

Proposition 2. For a pseudo tournament R defined on A, we have the following relations (Table 1).

Legend: The symbol $\supseteq $ (resp.=, $\varnothing $ ) indicates that the choice set in column is always contained in (resp. is equaled to, intersects) the choice set in row.

Proof. See Appendix.

The previous proposition can be summarized by the following Hasse diagram.

We can then notice that $WUt$ is nested between Gocha and Getcha ( $Gocha\subseteq WUt\subseteq Getcha$ ) and that $Getcha\subseteq SUt$. Missing arrows between two choice sets indicates that the two always intersect and none is included in the other.

^{5}Duggan [19] also shows that
$WUt\left(R\right)$ is the union of all maximal sets of all maximal acyclic subrelations (w.r.t. set inclusion) of R.

Lemma 2.

1) $x\in SUt\iff Pred\left(x\right)\subseteq Cl(x)$

2) $x\in WUt\iff Pre{d}_{P}\left(x\right)\subseteq C{l}_{P}(x)$

Table 1. Comparison of choice procedures.

Proof.

1) ( $\Rightarrow $ ): Let $x\in SUt\left(R\right)$.

· If $Pred\left(x\right)=\varnothing $ then $Pred\left(x\right)\subseteq Cl\left(x\right)$.

· If $Pred\left(x\right)\ne \varnothing $ then for $y\in Pred\left(x\right)$, $yRx$. And since $x\in SUt\left(R\right)$, we then have $x{R}^{\mathrm{*}}y$ ; which implies that $y\in Cl\left(x\right)$.

( $\Leftarrow $ ): Let $x\in A$ such that $Pred\left(x\right)\subseteq Cl\left(x\right)$ and suppose that $x\notin SUt\left(R\right)$ ; then $\exists y\in A$ such that $y\stackrel{\u02dc}{T}x$. i.e. $\exists y\in A$ such that $yRx$ and $not\left(x{R}^{\mathrm{*}}y\right)$. But $yRx\Rightarrow y\in Pred\left(x\right)$ ( $\subseteq Cl\left(x\right)$ ); which means $y\in Cl\left(x\right)$, i.e. $x{R}^{\mathrm{*}}y$ : a contradiction.

2) Similar to the previous one.

4. Computational Complexity

In this section we analyze the computational complexity of the weak (resp. strong) Untrapped set. The following algorithm (based on the previous lemma) describes how to get $WUt\left(R\right)$ for a given pseudo tournament R defined on a finite set A. This algorithm can be considered for $SUt\left(R\right)$ if $Pre{d}_{P}\left(x\right)$ (resp. $C{l}_{P}\left(x\right)$ )) is replaced by $Pred\left(x\right)$ (resp. $Cl\left(x\right)$ )).

Let us mention that deciding whether an alternative is contained in a choice set is computationally equivalent to finding the set [18].

It has been shown that the transitive closure of each $x\in A$ is computable in polynomial time. The same holds for the computation of predecessors of x (see [21] page 137), we can then conclude that deciding whether an alternative is contained in the weak (resp. strong) Untrapped set is in P (class of problems that can be solved in polynomial time).

5. Conclusions

Duggan [18] has defined the concept of Untrapped choice procedure for weak tournaments (complete binary relations). This notion depends on the asymmetric part of the given binary relation. In this paper, we have introduced two versions of the Untrapped choice procedures which have been extended to pseudo tournaments (reflexive and non necessarily complete binary relations). The weak Untrapped (WUt) choice procedure also depends on the asymmetric part of the pseudo tournament while the strong Untrapped choice procedure (SUt) is directly defined by the given pseudo tournament.

We have shown that each of the new choice procedures coincides with the familiar Top cycle choice procedure for tournaments. In case of weak tournaments, the strong Untrapped set is equivalent to Getcha choice procedure and the Weak Untrapped set is exactly the Untrapped set studied by Duggan [18]. We know (see [18] ) that for a weak tournament R, we have $Gocha\left(R\right)\subseteq WUt\left(R\right)\subseteq Getcha\left(R\right)\left(=SUt\left(R\right)\right)$. When R is a pseudo tournament, we’ve seen (from proposition 2) that the three choice procedures (WUt, Getcha and Gocha) are all contained in SUt.

In terms of computational complexity, we present an algorithm to compute both the strong and the weak Untrapped choice procedure. This algorithm allows us to show that deciding whether an alternative is contained in the strong (or in the weak) Untrapped set is in P (class of problems that can be solved in polynomial time).

Appendix

Proof of Proposition 2

1) $WUt\left(R\right)\subseteq SUt\left(R\right)$.

Let R be a pseudo tournament defined on A. $x\in WUt\left(R\right)\Rightarrow \forall y\in A$, $not\left(yPx\right)$ or $x{P}^{\mathrm{*}}y\Rightarrow \forall y\in A$, $not\left(yPx\right)$ or $x{R}^{\mathrm{*}}y\Rightarrow x\in SUt\left(R\right)$.

2) $Gocha\left(R\right)\subseteq SUt\left(R\right)$.

According to proof 4. and 1., we have respectively $Gocha\left(R\right)\subseteq WUt\left(R\right)$ and $WUt\left(R\right)\subseteq SUt\left(R\right)$.

3) $Getcha\left(R\right)\subseteq SUt\left(R\right)$.

Let R be a pseudo tournament defined on A and let $x\in Getcha\left(R\right)$.

Suppose $x\notin SUt\left(R\right)$. Then $\exists y\in A$ such that $y\stackrel{\u02dc}{T}x$ i.e. $yPx$ and $not\left(x{R}^{\mathrm{*}}y\right)$. A contradiction since $x\in Getcha\left(R\right)$ and $Getcha\left(R\right)=M\left({R}^{\mathrm{*}}\right)$.

4) $Gocha\left(R\right)\subseteq WUt\left(R\right)$.

Let R be a pseudo tournament defined on A and let $x\in Gocha\left(R\right)$.

Suppose $x\notin WUt\left(R\right)$. Then $\exists y\in A$ such that $yTx$. i.e. $yPx$ and $not\left(x{P}^{\mathrm{*}}y\right)$ : which is not possible since $x\in Gocha\left(R\right)$ and $Gocha\left(R\right)=M\left({P}^{\mathrm{*}}\right)$.

5) $WUt\left(R\right)\varnothing Getcha\left(R\right)$.

Let’s show that any minimal weak dominant set intersects the weaak Untrapped set.

Consider a minimal weak dominant set ${D}^{\prime}$ and suppose that $WUt\left(R\right)\cap {D}^{\prime}=\varnothing $. Then for $x\in {D}^{\prime}$ we have $x\notin WUt\left(R\right)$. So $\exists y\in WUt\left(R\right)$ such that $yPx$. Which is not possible because $y\notin {D}^{\prime}$ and $x\in {D}^{\prime}$.

The above example shows that none of Getcha and WUt choice procedure is included in the other.

6) $Gocha\left(R\right)\varnothing Getcha\left(R\right)$.

Note that every weak dominant set is a weak undominated set. So every minimal weak dominant set contains at least one minimal weak undominated set. We then have $Gocha\left(R\right)\cap Getcha\left(R\right)\ne \varnothing $.

The above example shows that none of Getcha and Gocha choice procedure is included in the other.

References

[1] Eliaz, K. and Ok, E.A. (2006) Indifference or Indecisiveness? Choice-Theoretic Foundations of Incomplete Preferences. Games and Economic Behavior, 56, 61-86.

https://doi.org/10.1016/j.geb.2005.06.007

[2] Tapk, I.G. (2007) Revealed Incomplete Preferences under Status-Quo Bias. Mathematical Social Sciences, 53, 274-283.

https://doi.org/10.1016/j.mathsocsci.2006.12.003

[3] Gorno, L. (2018) The Structure of Incomplete Preferences. Economic Theory, 66, 159-185.

https://doi.org/10.1007/s00199-017-1057-9

[4] Urena, R., Chiclana, F., Morente-Molinera, J.A. and Herrera-Viedma, E. (2015) Managing Incomplete Preference Relations in Decision Making: A Review and Future Trends. Information Sciences, 302, 14-32.

https://doi.org/10.1016/j.ins.2014.12.061

[5] Zhi, H. and Chao, H. (2018) Three-Way Concept Analysis for Incomplete Formal Contexts. Mathematical Problems in Engineering, 2018, Article ID: 9546846.

https://doi.org/10.1155/2018/9546846

[6] Hill, B. (2016) Incomplete Preferences and Confidence. Journal of Mathematical Economics, 65, 83-103.

https://doi.org/10.1016/j.jmateco.2016.05.007

[7] Albers, S., Bichler, M., Brandt, F., Gritzmann, P. and Kolisch, R. (2017) Algorithmic Economics und Operations Research. Informatik-Spektrum, 40, 165-171.

https://doi.org/10.1007/s00287-017-1023-8

[8] Schwartz, T. (1972) Rationality and the Myth of the Maximum. Nous, 7, 97-117.

https://doi.org/10.2307/2216143

[9] Copeland, A. (1951) A Reasonable Social Welfare Function. Seminar on Applications of Mathematics to Social Sciences, University of Michigan, Ann Arbor (Mimeographed Notes).

[10] Miller, N.R. (1980) A New Solution Set for Tournaments and Majority Voting: Further Graph-Theoretical Approaches to the Theory of Voting. American Journal of Political Science, 24, 68-96.

https://doi.org/10.2307/2110925

[11] Laslier, J.-F. (1997) Tournament Solutions and Majority Voting. No. 7, Springer Verlag, Berlin.

https://doi.org/10.1007/978-3-642-60805-6

[12] Peris, J.E. and Subiza, B. (1999) Condorcet Choice Correspondences for Weak Tournaments. Social Choice and Welfare, 16, 217-231.

https://doi.org/10.1007/s003550050141

[13] Sanni, M. (2010) Etude des procedures de choix fondees sur des relations binaires. PhD Thesis, Universite de Paris Dauphine, Paris.

[14] Aziz, H., Brandt, F., Elkind, E. and Skowron, P. Computational Social Choice: The First Ten Years and Beyond. In: Steffen, B. and Woeginger, G., Eds., Computing and Software Science, Vol. 10000 of Lecture Notes in Computer Science (LNCS), Springer, Berlin, forthcoming.

[15] Brandt, F., Brill, M. and Harrenstein, B. (2016) Tournament Solutions.

[16] Aziz, H., Brill, M., Fischer, F., Harrenstein, P., Lang, J. and Seedig, H.G. (2015) Possible and Necessary Winners of Partial Tournaments. Journal of Artificial Intelligence Research, 54, 493-534.

https://doi.org/10.1613/jair.4856

[17] Brandt, F., Brill, M. and Harrenstein, P. (2018) Extending Tournament Solutions. Social Choice and Welfare, 51, 193-222.

https://doi.org/10.1007/s00355-018-1112-x

[18] Duggan, J. (2007) A Systematic Approach to the Construction of Non-Empty Choice Sets. Social Choice and Welfare, 28, 491-506.

https://doi.org/10.1007/s00355-006-0176-1

[19] Brandt, F., Brill, M. and Harrenstein, P. (2014) Extending Tournament Solutions. 28th AAAI Conference on Artificial Intelligence, Québec City, 27-31 July 2014.

[20] Deb, R. (1977) On Schwartz’s Rule. Journal of Economic Theory, 16, 103-110.

https://doi.org/10.1016/0022-0531(77)90125-9

[21] Lacomme, P., Prins, C. and Sevaux, M. (2003) Algorithmes de graphes. Vol. 28, Eyrolles, Paris.