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    ). Incomplete preferences have been increasingly recognized as important  . 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  .
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 , the Copeland choice procedure , the Uncovered choice procedure , etc. … These choice procedures have been extensively analysed (in terms of mathematical characterizations) for tournaments and weak tournaments [see   ]. Sanni  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:   ) and the literature is full of choice procedures that are difficult to compute  . It is assumed that if computing a choice set is infeasible, the applicability of the corresponding solution concept is seriously undermined . Most of the familiar procedures mentioned above are demonstrated to be tractable  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  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  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.
A represents a finite set of alternatives and R a binary relation defined on A (i.e. R is a subset of ). If we write . If B is a non empty subset of A, represents the restriction of R on B, i.e. . The binary relation R is said to be reflexive if , . It is symmetric if , . Relation R is asymmetric if , with . It is antisymmetric if and , . It is transitive if ( and ) , . It is complete if or , . A tournament is a complete and antisymmetric relation1. 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: , ( and ), ( and ) and and . 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. (resp. ) can be interpreted as x beats or is better than (resp. x is indifferent to) y.
A circuit is any subset of A (with ) such that and . The subset is a P-circuit if and . A is acyclic (resp. P-acyclic) if it contains no circuit (resp. no P-circuit).
The transitive closure of R is defined as follows: if and only if with , , such that , , et . In other words 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 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 is the set (resp. ). We also define the set (resp. ) as (resp. ). So ) if y is P-reachable from x.
A choice procedure is a function C that maps each pseudo tournament R to a nonempty subset 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  ).
We say that a choice procedure C is contained in a choice procedure if for every pseudo tournament R defined on A (we write ).
1Tournaments are always supposed to be asymmetric. We suppose without lost of generality that tournament may be reflexive.
2Pseudo 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   ) 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 , , .
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 , where D is the unique minimal dominant set for the tournament R. It is easy to show that . It is also obvious that the asymmetric part of the transitive closure is without circuit and because is complete we have . 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 (resp. ), , .
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   then defined two choice procedures [Getcha and Gocha3 choice procedures] as follow:
Definition 3. Let R be a weak tournament defined on A.
The Getcha choice procedure of R is defined as , where D is the (unique) minimal dominant set for R in A.
The Gocha choice procedure is defined by: , where 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 . Moreover we have , and .
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 A4.
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 , we have (resp. ).
3Getcha set (resp. Gocha set) is also called Smith set (resp. Schwartz set) in the litterature.
4Sanni (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 , such that . Since , there exists such that . We also have [otherwise , a contradiction to ]. So there exists such that . We have . Similarly, there exist such that and for all . Now consider the set . For all and , we have . So U is a dominant set for R in A. This contradicts the minimality of D because but .
The result of Deb  for pseudo tournaments is then generalized as follow.
Proposition 1. For a pseudo tournament R defined on A, we have:
Proof. Consider and suppose . There exists such that . If , then and since , we have (which is not possible). So . There exists such that .
For the same reasons . Consider the set , we have . Moreover for all and for all , we have . 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 and suppose there exists such that . implies that there exists a minima dominant set D such that . Then we have [otherwise such that (which is not possible)]. so and according to the previous lemma, we also have .
Example. Let R be the pseudo tournament defined on by , , , , , , , and . We also have , . The graph of R is represented by:
We have , , and .
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  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 (resp ) if and if (resp. if and if ).
Relation T (resp ) is not necessary transitive but is P-acyclic (resp. acyclic) [because if and , we get and , which implies : this is not possible since ]. 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 (resp. ) and defined as follow: (resp. ).
It is easy to see that an element x of A is in 5 if and only if or , .
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 if and only if or , .
We can say that an alternative x strongly traps another alternative y ( ) if and if ). So if and only if or , .
When relation R is a tournament (resp. weak tournament) Duggan , shows that (resp ). It is obvious that for weak tournaments, we have .
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 (resp.=, ) 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 is nested between Gocha and Getcha ( ) and that . Missing arrows between two choice sets indicates that the two always intersect and none is included in the other.
5Duggan  also shows that is the union of all maximal sets of all maximal acyclic subrelations (w.r.t. set inclusion) of R.
Table 1. Comparison of choice procedures.
1) ( ): Let .
· If then .
· If then for , . And since , we then have ; which implies that .
( ): Let such that and suppose that ; then such that . i.e. such that and . But ( ); which means , i.e. : 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 for a given pseudo tournament R defined on a finite set A. This algorithm can be considered for if (resp. )) is replaced by (resp. )).
Let us mention that deciding whether an alternative is contained in a choice set is computationally equivalent to finding the set .
It has been shown that the transitive closure of each is computable in polynomial time. The same holds for the computation of predecessors of x (see  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).
Duggan  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 . We know (see  ) that for a weak tournament R, we have . 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).
Proof of Proposition 2
Let R be a pseudo tournament defined on A. , or , or .
According to proof 4. and 1., we have respectively and .
Let R be a pseudo tournament defined on A and let .
Suppose . Then such that i.e. and . A contradiction since and .
Let R be a pseudo tournament defined on A and let .
Suppose . Then such that . i.e. and : which is not possible since and .
Let’s show that any minimal weak dominant set intersects the weaak Untrapped set.
Consider a minimal weak dominant set and suppose that . Then for we have . So such that . Which is not possible because and .
The above example shows that none of Getcha and WUt choice procedure is included in the other.
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 .
The above example shows that none of Getcha and Gocha choice procedure is included in the other.
 Eliaz, K. and Ok, E.A. (2006) Indifference or Indecisiveness? Choice-Theoretic Foundations of Incomplete Preferences. Games and Economic Behavior, 56, 61-86.
 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.
 Albers, S., Bichler, M., Brandt, F., Gritzmann, P. and Kolisch, R. (2017) Algorithmic Economics und Operations Research. Informatik-Spektrum, 40, 165-171.
 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.
 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.
 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.