1 Introduction
The study of game theory  the model of strategic interaction between rational agents  has a rich history dating back to the initiation of the field by John von Neumann in 1928
[1]. The relatively recent rapid growth in computing power, the Internet, and game theoretical models in engineering and computer science has led to significant interest in devising fast algorithms for computation of solutions in games. Indeed, this intersection of computer science, game theory, and economic theory has led to the creation of a new field of study called Algorithmic Game Theory [2].Computing a Nash equilibrium (NE) in a player finite normalform game is one of the fundamental problems for Algorithmic Game Theory.^{1}^{1}1Nash equilibrium is an acceptable and a widely used solution concept for games, and we define it later in the paper. Due to the well known theorem by Nash in 1951, we know that every finite game has a solution, possibly in mixed strategies [3]. However, computation of a NE has been shown to be computationally hard. For , [4, 5] proved that computing a NE is Polynomial Parity Argument, Directed Version (PPAD) complete. Indeed, even the seemingly simpler player bimatrix case has been shown to be PPADcomplete [6]. For any bimatrix game, the classic LemkeHowson algorithm [7] is guaranteed to find a NE. However, this algorithm is known to have exponential running time [8]. For surveys on computational issues of NE see [9, 10] and [2, Chapter 2].
In this work we focus on finite, player bimatrix games in which the payoffs to the players can be represented as two matrices, and . With the hardness of computing a NE in the bimatrix case well established, identifying classes of games whose solutions can be computed efficiently is an active area of research. As an example in bimatrix games, one can compute the solution of zerosum games^{2}^{2}2A game is called a zero sum game if the sum of payoffs of the players is identically zero for all actions of the players.
in polynomial time using the minimax theorem and a simple linear program
[11, p. 152]. Another subclass of games that admits a polynomial time solution is the class of strategically zerosum games introduced by Moulin and Vial in 1978 [12]. They identify a class of games that are strategicallyequivalent to some zerosum game and therefore have exactly the same set of NE as the zerosum game. For these games, Moulin and Vial propose a characterization that, in polynomial time, can check for the strategically zerosum property and, if it exists, calculate the resulting zerosum game. More recently, Kontogiannis and Spirakis studied mutually concave bimatrix games and provided a polynomial time characterization based on solving a convex quadratic program. Interestingly, they also conclude that the mutually concave property is equivalent to the strategically zerosum property.In contrast to computing an exact solution in games, other recent work has focused on devising polynomial time algorithms for computing approximate Nash equilibria of special subclasses of bimatrix games. In [13], the authors consider games where both payoff matrices have fixed rank and propose a quasipolynomial time algorithm for computing approximate Nash equilibrium. In [14], the authors define constant rank games where and provide a polynomial time algorithm to compute an approximate Nash equilibrium. For rank1 games, [15] devised an algorithm that can compute the solution in polynomial time. Here we note that rank0 games are clearly zerosum games. With the polynomial tractability of rank games for established, one could hope that there exists polynomial algorithms for other lowrank games. Unfortunately, a recent result has shown that rank games for are PPADhard [16]. The case of rank games is still unresolved.
1.1 Prior Work
Many papers in the literature have explored the concept of equivalent classes of games. One such concept is strategic equivalence, those games that share exactly the same set of NE. Indeed, for a classical example, von Neumann and Morgenstern studied strategically equivalent person zerosum games [11, p. 245] and constantsum games [11, p. 346].
In a recent work by Possieri and Hespanha, the authors consider the problem of designing strategically equivalent games [17]. As such, given a bimatrix game , their problem is to design a family of games that is either weakly strategically equivalent^{3}^{3}3The authors of [17] define weak strategic equivalence as games the have the same NE in pure strategies. or strongly strategically equivalent.^{4}^{4}4The authors of [17] define strong strategic equivalence as games that have the same NE in both mixed and pure strategies. Since this work falls into the category of mechanism design, it is incompatible with the work that we present here. Indeed, we consider the inverse problem given a bimatrix game , does there exist a strategically equivalent zerosum game.
More closely related to our work is the class of strategically zerosum games defined by Moulin and Vial in [12]. They study the class of games in which no completely mixed NE can be improved upon via a correlation strategy and come to the conclusion that these games are the class of strategically zerosum games. For the bimatrix case, they provide a complete characterization of strategically zerosum games [12, Theorem 2]. While the authors do not analyze the algorithmic implications of their characterization, Kontogiannis and Spirakis do analyze the approach in their work on mutually concave games. They find that the characterization in [12, Theorem 2] can determine whether a bimatrix game is strategically zerosum, and, if so, calculate an equivalent zerosum game in time .
Around the same time, Isaacson and Millham studied a class of bimatrix games that they characterized as rowconstant games [18]. They define rowconstant games as those bimatrix games where the sum of the payoff matrices is a matrix with constant rows. In their work, they show that the NE strategies of a rowconstant game can be found via solving the zerosum game . Comparing [18] and [12], one can easily see that rowconstant games form a subclass of strategically zerosum games.
Closely related to strategically zerosum bimatrix games are the class of strictly competitive games [19]. In a strictly competitive game, if both players change their mixed strategies, then either the payoffs remain unchanged, or one of the two payoffs increases while the other payoff decreases. In other words, all possible outcomes are Pareto optimal. It has long been claimed that strictly competitive games share many common and desirable NE features with zerosum games, such as ordered interchangeability, NE payoff equivalence, and convexity of the NE set^{5}^{5}5In [20], Friedman shows that the convexity of the NE set holds for infinite games with quasiconcave payoff functions. At the time of that writing, it seemed to be widely accepted that this was true for bimatrix strictly competitive games. In light of the results of [21], we see that the set of NE is convex for bimatrix strictly competitive games. [20]. Indeed, Aumann claims that strictly competitive games are equivalent to zerosum games [19]. Moulin and Vial proceed to cite Aumann’s claim when arguing that strictly competitive games form a subclass of strategically zerosum games [12, Example 2]. However, many years later Adler et. al. conducted a literature search and found that the claim of equivalence of strictly competitive games and zerosum games was often repeated, but without formal proof [21]. They then proceeded to prove that this claim does indeed hold true. Comparing the results of Adler et. al [21] to the characterization of strategically zerosum games in [12], one can observe that Moulin and Vial were correct in asserting that strictly competitive games form a subclass of strategically zerosum games.
Another class of games that shares some NE properties with zerosum games is the class of (weakly) unilaterally competitive games. As defined by Kats and Thisse in [22], a game is unilaterally competitive if a unilateral change in strategy by one player results in a (weak) increase in that player’s payoff if and only if it results in a (weak) decrease in the payoff of all other players. A game is weakly unilaterally competitive if a unilateral change in strategy by one player results in a strict increase in that player’s payoff, then the payoffs of all other players (weakly) decrease. If the payoff of the player who makes the unilateral move remains unchanged, then the payoffs of all players remain unchanged. For the twoplayer case, strictly competitive games form a subclass of unilaterally competitive games, and unilaterally competitive games form a subclass of weakly unilaterally competitive games. For the bimatrix case, Kats and Thisse show that (weakly) unilaterally competitive games have the ordered interchangeability and NE payoff equivalence properties [22]. However, convexity of the NE set is only proved for infinite games with quasiconcave payoff functions.
Finally, in [23], Kontogiannis and Spirakis formulate a quadratic program where the optimal solutions of the quadratic program constitute a subset of the correlated equilibria of a bimatrix game. Furthermore, they then show that this subset of correlated equilibria are exactly the NE of the game. In order to show polynomial tractability of the quadratic program, they define a class of mutually concave bimatrix games. Surprisingly, they find that their characterization of mutually concave bimatrix games is equivalent to Moulin and Vial’s characterization of strategically zerosum bimatrix games [23, Corollary 2]. While the time complexity of the original quadratic program is extremely high, Kontogiannis and Spirakis propose a parameterized version of the Mangasarian and Stone quadratic program that is guaranteed to be convex for a mutually concave game and has time complexity for [23, Theorem 2]. With the problem of solving a mutually concave game shown to be tractable, the authors then proceed to show that recognizing a mutually concave game can be done in time .
1.2 Our Contribution
Given a nonzerosum bimatrix game, , we develop the SER0 algorithm that, in time linear in the size of the game, determines whether or not the given game is strategically equivalent to some zerosum game . If so, our approach also finds an equivalent zerosum game in time . This equivalent zerosum game can then be solved with one call to a linear program solver. Since the two games are strategically equivalent, the NE strategies of the equivalent zerosum game are exactly the NE strategies of the original nonzerosum bimatrix game .
Most of the prior work on subclasses of bimatrix games focuses on characterizing those games and proving some properties of the NE of the game [12, 18, 19, 21, 22]. However, other than [23], these works do not discuss tractable methods for identifying whether a game is in a particular subclass. Of course, identifying whether a game is rowconstant is rather trivial. However, that isn’t true for many of the other classes discussed in Subsection 1.1. In contrast, we focus here on efficient methods for identifying strategically equivalent rank games. In addition, as we show in Section 5, our algorithm also efficiently identifies strictly competitive games.
In comparison to prior work on strategically zerosum games [12], the SER0 algorithm identifies whether or not a game is strategically zerosum in time versus , which is a significant improvement. Compared to identifying mutually concave games [23], the SER0 algorithm is also significantly faster, providing a speedup of . In addition, the algorithm for mutually concave games in [23] does not find an equivalent zerosum game. Instead, they find a parameter that insures mutual concavity and find a NE of the original game by solving a convex quadratic program. In contrast, the SER0 algorithm returns, in linear time, an equivalent zerosum game that can be solved via linear programming.
1.3 Outline of the Paper
We begin by defining the notation used throughout the paper and recalling some gametheoretic definitions. Then, in Section 3 we formulate the problem and informally present the results. We defer formal statements and proofs of our results to the appendices. We first show that if there exists and (we precisely define later) such that , then the nonzerosum game is strategically equivalent to the zerosum game . Following that, we present an efficient method for computing and present a decomposition of the matrix in Theorem 14 based on the Wedderburn Rank Reduction Formula, which is a classical result in linear algebra. While the Wedderburn Rank Reduction Formula provides the analytical result that we desire, the complexity of directly implementing the algorithm can be high. Therefore, in Appendix C we show an efficient technique for implementing the technique for a matrix .
While the results in in Section 3 apply in general to real bimatrix games with , for the purposes of algorithmic analysis in Section 4 we constrain the problem to rational bimatrix games with . In Section 4, we provide an algorithmic analysis of a shortened version of the SER0 algorithm while presenting an indepth discussion in Appendix D.
We then present some additional discussion on the convexity of the set of NE in a strategically zerosum game and numerical results.
1.4 Notation
We use and
to denote, respectively, the all ones and all zeros vectors of length
. All vectors are annotated by bold font, e.g , and all vectors are treated as column vectors.is the set of probability distributions over
, whereLet , , denote the vector with in the ^{th} position and ’s elsewhere.
Consider a matrix . We use to indicate the rank of the matrix . indicates the subspace spanned by the columns of the matrix , also known as the column space of the matrix . We indicate the nullspace of the matrix , the space containing all solutions to , as . In addition, we use to denote the j^{th} column of and to denote the i^{th} row of .
2 Preliminaries
In this section, we recall some basic definitions in bimatrix games and the definition of strategic equivalence in bimatrix games.
We consider here a two player game, in which player 1 (the row player) has actions and player 2 (the column player) has actions. Player 1’s set of pure strategies is denoted by and player 2’s set of pure strategies is . If the players play pure strategies , then player 1 receives a payoff of and player 2 receives .
We let represent the payoff matrix of player 1 and represent the payoff matrix of player 2. As the twoplayer finite game can be represented by two matrices, this game is commonly referred to as a bimatrix game. The bimatrix game is then defined by the tuple . Define the matrix as the sum of the two payoff matrices, . We define the rank of a game as .^{6}^{6}6Some authors define the rank of the game to be the maximum of the rank of the two matrices and , but this is not the case here.
Players may also play mixed strategies, which correspond to a probability distribution over the available set of pure strategies. Player 1 has mixed strategies and player 2 has mixed strategies , where and . Using the notation introduced above, player 1 has expected payoff and player 2 has expected payoff .
2.1 Strategic Equivalence in Bimatrix Games
A Nash Equilibrium is defined as a tuple of strategies such that each player’s strategy is an optimal response to the other player’s strategy. In other words, neither player can benefit, in expectation, by unilaterally deviating from the Nash Equilibrium. This is made precise in the following definition.
Definition 1 (Nash Equilibrium [3]).
We refer to the pair of strategies as a Nash Equilibrium (NE) if and only if:
It is a well known fact due to Nash [3] that every bimatrix game with a finite set of pure strategies has at least one NE in mixed strategies. However, one can define games in which multiple NE exist in mixed strategies. Let be the Nash equilibrium correspondence^{7}^{7}7A correspondence is a set valued map [24, p. 555].: Given the matrices , denotes the set of all Nash equilibria of the game . Note that due to the result in [3], is nonempty for every .
We say that two games are strategically equivalent if both games have the same set of players, the same set of strategies per player, and the same set of Nash equilibria. The following definition formalizes this concept.
Definition 2.
The 2player finite games and are strategically equivalent iff .
We now have a well known Lemma on strategic equivalence in bimatrix games that is typically stated without proof (e.g [12, 23]). As we were unable to find a proof in the literature, we state the relatively simple proof here.
Lemma 1.
Let be two matrices. Let and where , , , and . Then the game is strategically equivalent to .
Proof.
Since and , we have and . Then, we have:
Now, assume that is an NE of . Then, for player 1,
Similarly, for player 2,
Then Definition 2 is satisfied, and is an NE of if and only if is an NE of . ∎
3 Problem Formulation and Main Results
In this section we show a technique for identifying and solving games that are strategically equivalent to a zerosum game. This technique is closely related to the strategically zerosum games in [12] and the mutually concave games in [23].
We begin by assuming that given a nonzerosum game , there exists a positive affine transformation such that is strategically equivalent to the zerosum game . We later show the necessary and sufficient conditions under which this assumption holds true.
From Lemma 1, we conclude that if there exists , , , and such that:
(1)  
(2) 
then is strategically equivalent to . Throughout the remainder of this work we refer to this notion of strategic equivalence as a positive affine transformation (PAT). If , we call it a uniform positive affine transformation (UPAT).
Defining and , we rewrite (3) as:
(4) 
Clearly, the matrix above has maximum . However, the existence of and , with is not sufficient to ensure strategic equivalence. Indeed, from (4) one can see that we are searching for a matrix , which we define as
Thus, what we have shown above if the following result:
Proposition 2.
If is strategically equivalent to through PAT, then and .
Proof.
The proof follows from the preceding discussions. ∎
In what follows, we show the converse holds, and further, we devise efficient algorithms to compute and determine if lies in the subspace . In fact, the properties of the subspace play a critical role in both the analytical and algorithmic results of our work. However, we collect these properties in Appendix A.2 in order to not detract from the main results.
Assumption 3.
The game satisfies

.

Pick such that . Define as
Then, .

The matrix , defined as , lies in the subspace .
Theorem 4.
If Assumption 3 holds, then there exists a matrix such that the bimatrix game is strategically equivalent to the zerosum game .
Thus, our algorithm indeed ascertains whether or not a given game is strategically equivalent to a zero sum game. Further, as we show in the next section, our algorithm runs in time that is linear in the size of the game to compute . This also leads to some important implications about convexity of the set of Nash equilibria as discussed in Section 5.
In contrast to related works in [12], [23], which attempt to solve an equation (or system of equations) similar to (4) we show that it is possible to decompose the problem into a sequence of steps that allows us to reduce the overall complexity of the problem. In brief, given a game these steps are
Throughout the remainder of this section, we introduce the key results used in the steps above informally and implement these steps on a simple example of rockpaperscissors game. For ease of exposition, we defer full proofs and other technical matter to the appendices.
3.1 Solving for
Our next result shows a computationally tractable method for solving for the parameter .
Informal Statement of Proposition (13).
If is strategically equivalent to through a PAT and , then such that we have that
(5) 
3.2 Determining if a Matrix is in
Another crucial step in our approach is to determine whether the matrices are in . We present here an informal method for determining this, while leaving the full statement of the relevant propositions to Appendix C.
Informal Statement of Theorem (17).
Given , select any and let
(6) 
Then, iff .
We present a short outline of the proof here. Firstoff, we have . Secondly, if , then represents a valid decomposition of as
So, if , is a valid decomposition, and .
3.3 A Decomposition of
We now informally state our first main result on calculating the equivalent zerosum game .
Informal Statement of Theorem (14).
Suppose that is strategically equivalent to a zerosum game through a PAT with . Define by (4) and assume . Select any , let and . Then, and the bimatrix game is strategically equivalent to the zerosum game .
The full statement and formal proof of Theorem 14 is given in Appendix B.1. Then Corollary 17.1 in Appendix C connects Theorem 14 to the computationally efficient decomposition of presented above.
For an informal argument to support the claim above, we have that for any with we can write
Then is strategically equivalent to by Lemma 1 and
3.4 A Simple Example: RockPaperScissors
Consider the game matrix given in Figure (a)a and let us represent this game as . This is the classic RockPaperScissors with well known NE strategies . The game in Figure (b)b is a positive affine transformation of . Let us represent this game as . Clearly, is neither zerosum nor constantsum. However, by applying the process outlined above one can obtain the game in Figure (c)c, which is a zerosum game and strategically equivalent to .
By letting , and applying (5) we have that
Then we apply Theorem 14 with to obtain the strategically zerosum game:
The result of these calculations is the zerosum game which is displayed in Figure (c)c and, as expected, has the NE strategies .
4 Algorithm for Strategically Equivalent Rank Games (SER0)
We have shown that given the game , one can determine if the game is strategically equivalent to the game through a PAT. If so, then it is possible to construct a rank0 game which is strategically equivalent to the original game. One can then efficiently solve the strategically equivalent zerosum game via linear programming. We state the key steps in our algorithm below and show that both the determination of strategic equivalence and the computation of the strategically equivalent zerosum game can be done in time .
The analytical results and discussions throughout this paper apply to real bimatrix games, with . However, for computational reasons, when discussing the algorithmic implementations we focus on rational bimatrix games, with .
We present here a shortened version of the SER0 algorithm that applies when . The cases of are similar, but add complexity to the presentation. As such, the full algorithms and more detailed analysis are deferred to Appendix D.
Informal Statement of Theorem (19).
The SER0 algorithm determines if a game
is strategically equivalent to a rank game and returns the strategically equivalent zerosum game in time .
Here we give the analysis of ShortSER0 presented in Algorithm 1.
Firstoff, testing whether a matrix is in is equivalent to implementing (6) and then comparing two matrices. Both these operations take time . Next, for any matrix calculating takes time for . So, calculating can be done in time if one has candidate vectors . Corollary 17.2 in Appendix C gives an algorithm for determining such that runs in time .
Forming the matrix takes multiplications and additions, and therefore has time . Finally, calculating for the case consists of scalarmatrix multiplication, vector outer product, and matrix subtraction. Therefore, it has time .
This shows that overall the algorithm can both identify whether a game is strategically equivalent to a zerosum game through a PAT and, if so, can determine the equivalent game in time .
5 Further Discussions
Typically, a general bimatrix game may admit a set of multiple Nash equilibria that are disconnected. However, one of the wellknown results in game theory is that the set of NE of a zerosum game is a convex set in . As a result, we immediately have the following result.
Corollary 4.1 ([12, Corollary 1]).
If a bimatrix game satisfies Assumption 3, then the set of Nash equilibria is a compact convex subset of . In addition, the bimatrix game also has the ordered interchangeability property.
For another example, typically fictitious play is not guaranteed to converge in nonzerosum games with . However, it is well known that fictitious play converges in zerosum games [25]. Therefore, we have:
Corollary 4.2 ([12, Corollary 3]).
If a bimatrix game satisfies Assumption 3, then fictitious play converges.
As a third immediate result, consider the class of strictly competitive games, which are a subclass of strategically zerosum games. As characterized in [21], a game is strictly competitive iff for some and , . Then, the following result directly follows from Theorems 15 and 19.
Corollary 4.3.
The SER0 algorithm determines whether a game is strictly competitive in time .
6 Numerical Results
To evaluate the performance of the SER0 algorithm we ran several sets of experiments. For each experiment, we generated square games of size , with
and uniformly distributed payoff values in the game matrices. For each value of
, we ran SER0 on different game instances.All experiments were conducted on a standard desktop computer running Windows 7 with GB of RAM and an Intel Xeon E51603 processor with cores running at GHz.
For our first set of experiments, for each value of we created instances that were strategically equivalent to a zerosum game . In all cases tested, the SER0 algorithm correctly identified the games as strategically zerosum and calculated the equivalent game . As expected, one can observe from Figure 2 that for this set of experiments there is a clear linear relationship between the runtime of SER0 and the size of the game instance. In addition, for very large games of size SER0 found the equivalent game in an average time of seconds.
For the next set of experiments we created games which were guaranteed to have a pure strategy NE. In other words, at least one of or were in . Again, the SER0 algorithm correctly identified all of these cases as having a pure strategy NE. Similar to the first set of experiments, we observe that SER0’s runtime is linear in this case. As expected, this case is much faster than the strategically equivalent case as there is no need to calculate nor test for .
Finally, we conducted experiments on games that were not strategically equivalent to a zerosum game via a PAT. Similar to the other two sets of experiments, the SER0 algorithm correctly identified these games as not strategically equivalent to a zerosum game. As Figure 2 shows, this case also exhibits a linear relationship between runtime and the game size, although with a much higher standard deviation compared to the other two sets of experiments. This higher standard deviation is readily explainable by examining the SER0 algorithm. When testing whether or not a game is strategically equivalent, the test can return a negative result if either or . For cases of , the algorithm terminates and returns a negative result in much less time than it takes to calculate the matrix and test for .
7 Conclusion
In this work we’ve presented an algorithm, the SER0 algorithm, that for a bimatrix game determines in linear time whether the game either has a guaranteed pure strategy Nash equilibrium or is strategically equivalent to some zerosum game. In the latter case, the algorithm also finds the strategically equivalent zerosum game in linear time. This strategically equivalent game can then be solved efficiently via linear programming, and this solution provides a NE strategy of the original game. This represents a significant computational advantage compared to prior work on computing strategically equivalent zerosum games. In comparison to mutually concave games, the SER0 algorithm recognizes an equivalent game in a computationally efficient manner, then can solve the game with a linear program instead of a convex quadratic program. Thus, our algorithm substantially expands the class of nonzerosum games for which a computationally efficient (polynomial time) algorithm for computing Nash equilibrium is known.
One interesting direction for future research would be to explore the relationship, if there is one, between (weakly) unilaterally competitive games and strategically zerosum games. In regards to algorithmic game theory, one main challenge to address is whether or not there exists a polynomial time algorithm that could identify strategically equivalent rank games. Another interesting extension would be to develop an algorithm to compute approximate NE based on “almost” strategically zerosum games.
References
 [1] J. Von Neumann, “On the theory of games of strategy,” Contributions to the Theory of Games, vol. 4, pp. 13–42, 1959.
 [2] N. Nisan, T. Roughgarden, E. Tardos, and V. V. Vazirani, Algorithmic Game Theory. New York, NY: Cambridge University Press, 2007.
 [3] J. Nash, “Noncooperative games,” Annals of Mathematics, pp. 286–295, 1951.
 [4] C. Daskalakis, P. W. Goldberg, and C. H. Papadimitriou, “The complexity of computing a nash equilibrium,” SIAM Journal on Computing, vol. 39, no. 1, pp. 195–259, 2009.
 [5] C. Daskalakis and C. H. Papadimitriou, “Threeplayer games are hard,” in Electronic Colloquium on Computational Complexity, vol. 139, pp. 81–87, 2005.
 [6] X. Chen, X. Deng, and S.H. Teng, “Settling the complexity of computing twoplayer nash equilibria,” Journal of the ACM (JACM), vol. 56, no. 3, p. 14, 2009.
 [7] C. E. Lemke and J. T. Howson, Jr, “Equilibrium points of bimatrix games,” Journal of the Society for Industrial and Applied Mathematics, vol. 12, no. 2, pp. 413–423, 1964.
 [8] R. Savani and B. Von Stengel, “Hardtosolve bimatrix games,” Econometrica, vol. 74, no. 2, pp. 397–429, 2006.
 [9] B. Von Stengel, “Computing equilibria for twoperson games,” Handbook of Game Theory with Economic Applications, vol. 3, pp. 1723–1759, 2002.
 [10] P. J.J. Herings and R. Peeters, “Homotopy methods to compute equilibria in game theory,” Economic Theory, vol. 42, no. 1, pp. 119–156, 2010.
 [11] J. Von Neumann and O. Morgenstern, Theory of Games and Economic Behavior (Commemorative Edition). Princeton University Press, 2007.
 [12] H. Moulin and J.P. Vial, “Strategically zerosum games: the class of games whose completely mixed equilibria cannot be improved upon,” International Journal of Game Theory, vol. 7, no. 34, pp. 201–221, 1978.
 [13] R. J. Lipton, E. Markakis, and A. Mehta, “Playing large games using simple strategies,” in Proceedings of the 4th ACM Conference on Electronic Commerce, pp. 36–41, ACM, 2003.
 [14] R. Kannan and T. Theobald, “Games of fixed rank: A hierarchy of bimatrix games,” in Proceedings of the Eighteenth Annual ACMSIAM Symposium on Discrete Algorithms, pp. 1124–1132, SIAM, 2007.

[15]
B. Adsul, J. Garg, R. Mehta, and M. Sohoni, “Rank1 bimatrix games: a
homeomorphism and a polynomial time algorithm,” in
Proceedings of the FortyThird Annual ACM Symposium on Theory of Computing
, pp. 195–204, ACM, 2011.  [16] R. Mehta, “Constant rank bimatrix games are PPADhard,” in Proceedings of the FortySixth Annual ACM Symposium on Theory of Computing, pp. 545–554, ACM, 2014.
 [17] C. Possieri and J. P. Hespanha, “An algebraic geometry approach to compute strategically equivalent bimatrix games,” IFACPapersOnLine, vol. 50, no. 1, pp. 6116–6121, 2017.
 [18] K. Isaacson and C. Millham, “On a class of nashsolvable bimatrix games and some related nash subsets,” Naval Research Logistics Quarterly, vol. 27, no. 3, pp. 407–412, 1980.
 [19] R. J. Aumann, “Almost strictly competitive games,” Journal of the Society for Industrial and Applied Mathematics, vol. 9, no. 4, pp. 544–550, 1961.
 [20] J. W. Friedman, “On characterizing equilibrium points in two person strictly competitive games,” International Journal of Game Theory, vol. 12, no. 4, pp. 245–247, 1983.
 [21] I. Adler, C. Daskalakis, and C. H. Papadimitriou, “A note on strictly competitive games,” in International Workshop on Internet and Network Economics, pp. 471–474, Springer, 2009.
 [22] A. Kats and J.F. Thisse, “Unilaterally competitive games,” International Journal of Game Theory, vol. 21, no. 3, pp. 291–299, 1992.
 [23] S. Kontogiannis and P. Spirakis, “On mutual concavity and strategicallyzerosum bimatrix games,” Theoretical Computer Science, vol. 432, pp. 64–76, 2012.
 [24] C. D. Aliprantis and K. C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer Science & Business Media, 2006.
 [25] J. Robinson, “An iterative method of solving a game,” Annals of Mathematics, pp. 296–301, 1951.
 [26] J. H. M. Wedderburn, Lectures on Matrices, vol. 17. American Mathematical Soc., 1934.
 [27] M. T. Chu, R. E. Funderlic, and G. H. Golub, “A rank–one reduction formula and its applications to matrix factorizations,” SIAM Review, vol. 37, no. 4, pp. 512–530, 1995.
Appendix A Results From Linear Algebra
In this section, we collect some preliminary results from linear algebra that are used throughout the rest of the paper to prove the main result. The first subsection describes the Wedderburn rank reduction formula, which presents a method to reduce the rank of a matrix through a simple decomposition technique. The second subsection discusses certain properties of the vector space that are used later in the proofs.
a.1 Wedderburn Rank Reduction Formula
Theorem 5 ([26, p. 69] [27]).
Let be an arbitrary matrix, not identically zero. Then, there exists vectors and such that . Then, setting for convenience, the matrix
(7) 
has rank exactly one less than the rank of .
Proof.
We first show that the null space of contains the null space of . Pick such that . Then,
Thus, is in the null space of , which implies that the null space of contains the null space of .
Next, we show that is in the null space of , thereby showing that the dimension of the null space of is one more than the dimension of the null space of (since ). Consider
Thus, the rank of is one less than the rank of .
∎
We now have the following theorem that applies Wedderburn rank reduction formula to compute a decomposition of the matrix.
Theorem 6 (RankReducing Process [26, p. 69] [27]).
Let . If , then there exists , , such that and the following holds:
(8) 
where , , and . In addition, let , where . Then, we have
(9) 
Proof.
Apply Theorem 5 to for iterations. ∎
a.2 The Subspace
In this subsection, we recall an essential fact from linear algebra, state an interesting corollary of Theorem 6, and introduce the the subspace , which we define as
The properties of this subspace are essential to formulating the algorithmic solution to our problem as the matrix that we are searching for must lie in this subspace.
Let us begin by stating an essential fact on the rank1 decomposition of a matrix.
Fact 1.
For any matrix with , one can write as a summation of rank1 matrices, . Furthermore, is a basis for and is a basis for .
Corollary 6.1.
Proof.
By recursively applying (8) from Theorem 6, we can write as
Then, combined with (9) we have
(10)  
(11) 
From (10) and Fact 1, it is apparent that the basis for is formed by removing from the basis of . Then, since by definition the basis vectors are linearly independent, there is no linear combination of , such that the linear combination equals for . Therefore, and for all . The same argument holds for for all .
∎
We now proceed to prove that is indeed a subspace of the vector space of all real matrices. Following that, we state some essential properties of the subspace that will be used throughout the presentation in Appendix B.
Lemma 7.
Let be the vector space of real matrices and be the space of real matrices such that for all , . Then is a subspace of .
Proof.
We show that meets the three properties of a subspace of a vector space. First, consider ,. Then, and the zero vector is in . Secondly, for all ,
Therefore, . Finally, for all and , . ∎
Lemma 8.
For any matrix with there is at least one nonzero column and one nonzero row. Let and denote such a column and row. Then, with and we have that , , , and .
Proof.
The proof is straightforward and therefore omitted. ∎
Lemma 9.
For any matrix :

If , then and . In addition, for all such that ,,,.

If , then either , or or both and .
Comments
There are no comments yet.