Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: according to roger myerson @xcite , the 1950 publication of nash s paper on equilibria was a watershed event not just for game theory , but for economics in general . the new general equilibrium concept , and its established universality , was an impetus for understanding rationality in much more general economic contexts , and inspired the important price equilibrium results by arrow and debreu . myerson argues convincingly in @xcite that the concept of nash equilibrium lies at the foundations of modern economic thought . seen from an algorithmic perspective , however , the nash equilibrium suffers from two important problems : first , it is not clear how to find it efficiently ( the same is true for the arrow - debreu variety for markets and prices ) . this shortcoming had already been identified by economists since the 1950s , and much effort has been devoted to algorithms for finding nash equilibria , see @xcite for examples from a very extensive literature . none of these algorithms came with polynomial - time guarantees , however , and the recent result @xcite establishing that the problem is ppad - complete explains why . of the many algorithmic approaches proposed by economists over the past 50 years for finding nash equilibria , most have been shown by now to require exponential time in the worst case @xcite . one exception is an important algorithmic genre known as _ homotopy methods _ @xcite ; see @xcite for a recent survey . in topology , homotopy _ is a continuous transformation from one function to another ( as , for example , between two paths joining two points on a map ) . the homotopy method starts with a fixpoint problem that is easy to solve ( say , a rotation of a disc around its center ) , and continuously transforms it into the problem in hand , by `` pivoting '' to new fixpoints along the way . a theorem by browder @xcite establishes the validity of this method in the limit , by showing the existence of a continuous path of fixpoints that joins two fixpoints of the initial and the final problems . the second algorithmic obstacle for the nash equilibrium concept is _ multiplicity . _ games have multiple equilibria , and markets many price equilibria , and thus the corresponding equilibrium concepts are only _ nondeterministic predictions _ ( oxymoron intended ) . in price equilibria , this multiplicity has been blamed for _ economic crises : _ the path guaranteed by browder s theorem is non - monotonic , going back and forth in time . as a result , equilibria vanish at its folds , leaving the market in turmoil  @xcite . in games , a proposed remedy for multiplicity is the so - called focal point theory see , e.g. , @xcite p.  414 , postulating that players implicitly coordinate their equilibrium choice by focusing on the most obvious , or mutually advantageous , equilibrium ; repeated play and learning ( see , e.g. , @xcite ) can also be considered a remedy for multiplicity . in 1975 , harsanyi proposed the _ tracing procedure _ @xcite for battling equilibrium multiplicity , a theory further explicated in his joint 1988 book `` a general theory of equilibrium selection in games '' with selten @xcite ( harsanyi and selten shared in 1994 the nobel prize with nash ) . the tracing procedure asserts that players engaged in a game @xmath0 play at first a simple game @xmath1 , in which their prior beliefs about the other players behavior result in a dominant strategy . as time @xmath2 progresses , and their priors are falsified by life , they play a more and more realistic game @xmath3 , until , at time @xmath4 , they end up playing the intended game @xmath0 . they show that , for almost all games , tracing the equilibrium path of this process results in a unique equilibrium . notice the parallel with the homotopy method ; apparently the two were discovered independently . [ [ our - results ] ] our results + + + + + + + + + + +    _ this paper is a complexity - theoretic critique of the tracing procedure and the homotopy method : _ we show that finding the solutions they prescribe requires the power of . in particular , finding the brouwer fixpoint that would have been discovered by the homotopy method , for a simple starting function and an adversarial final one , is -complete . the same is true , via standard reductions , for price equilibria . we also construct examples where the homotopy method not only will undergo an exponential number of pivots ( this was expected since  @xcite ) , but will suffer an exponential number of _ direction reversals . _ as for the tracing procedure , we show that it is -complete to find the nash equilibrium selected by it , even in two - player games , and even if the initial game has dominant strategies obtained from priors , exactly as prescribed by harsanyi and selten . we extend this result to homotopy - based algorithms where the starting game depends on the final game and show that it is -complete to implement the herings - van den elzen , herings - peeters , and van den elzen - talman algorithms for finding equilibria in games . finally , it is particularly noteworthy that -completeness prevails even for finding the solutions that would be returned by the classical lemke - howson algorithm , a simplex - like method that had long been considered an oasis of conceptual simplicity and ( until @xcite ) of algorithmic hope in this field . this reinforces the `` exponentially long paths '' result of  @xcite with a new result which says that , subject only to the hardness of , no short cuts to lemke - howson solutions are possible ( for any of the different initial choices of the algorithm ) . since it is known that the lemke - howson algorithm can be expressed as a homotopy  @xcite , this result can also be seen as a powerful specialization of our first result . the algorithms we consider solve problems in the complexity class ppad , which is contained in tfnp , the class of all total function problems in np . another prominent complexity class contained in tfnp is pls ( for polynomial local search ) . many common problems in pls ( e.g. , local max cut and finding pure equilibria of congestion games ) are complete under a so - called _ tight _ pls - reduction , implying that the corresponding standard local search algorithm is exponential ( for certain starting configurations and _ any _ choices of the local search algorithm ) . furthermore , one can conclude that the computational problem of finding a local optimum reachable from a given starting configuration by local search is -complete . no such concept of tight reductions is known for ppad , and our results can be seen as addressing this deficiency . specifically , we show the -completeness ( and exponential worst - case behaviour ) of a number of homotopy - based algorithms for finding equilibria . our reductions start with the problem other end of this line ( oeotl ) , which is related to the problem end of the line used in the definition is ppad , seeking not just any end of a path , but the other end of the particular path starting at the origin . oeotl was known to be -complete since  @xcite , but this fact has so far remained unexploited for proving lower bounds for other problems . [ [ outline - of - the - paper ] ] outline of the paper + + + + + + + + + + + + + + + + + + + +    in section  [ sec : prelim_hom ] , we give an overview of the linear homotopy method as applied to brouwer functions and games . in section  [ sec : com ] , we recall the -complete problem oeotl ( other end of this line ) , which serves as the starting point for all our main reductions . in section  [ sec : hom ] , we show that the linear homotopy method to compute a brouwer fixpoint is -complete , which is proved in section  [ sec : hom : red ] . in section  [ sec : lt ] , we establish the -completeness of the linear tracing procedure for two - player strategic form games for a special starting game that is independent of the final game . these results are extended to starting games that depend on the final game in section  [ sec : extvdet - hp ] , where we show that it is -complete to implement the herings - van den elzen , herings - peeters , and van den elzen - talman algorithms for computing equilibria of games . the techniques of  @xcite are central to both section  [ sec : hom ] and section  [ sec : lt ] and are recalled and extended along the way . finally , in section  [ sec : extlh ] , we show that it is -complete to find any solution of a two - player game by the lemke - howson algorithm . a _ brouwer function _ @xmath5 is a continuous function from a convex and compact domain @xmath6 to itself ; by brouwer s fixpoint theorem there exists @xmath7 such that @xmath8 . a _ homotopy _ between two functions @xmath9 and @xmath10 ( where @xmath11 and @xmath12 are topological spaces ) is a continuous function @xmath13\times x\longrightarrow y$ ] such that for all @xmath14 , @xmath15 and @xmath16 . in this paper , we are interested in the special case where @xmath17 , for @xmath6 a closed compact subset of euclidean space , such as a cube . thus , @xmath18 and @xmath19 are brouwer functions on @xmath6 . given two continuous functions @xmath20 , the _ linear homotopy _ is given by the expression @xmath21 , and ( if @xmath6 is convex ) results in a continuum of brouwer functions @xmath22 given by @xmath23 for @xmath24 $ ] . browder s fixpoint theorem @xcite ( not to be confused with brouwer s fixpoint theorem ) asserts that given a homotopy connecting @xmath18 and @xmath19 , there is a path in @xmath25\times d$ ] from some fixpoint of @xmath18 to some fixpoint of @xmath19 , such that for every point @xmath26 on that path , @xmath27 is a fixpoint of @xmath28 . the homotopy method @xcite for finding a fixpoint of @xmath19 selects @xmath18 to have a unique and easy to find fixpoint , and essentially follows such a path . as noted in  @xcite , we do not expect the path to be monotonic in @xmath2  indeed , we show in the full paper section  [ sec : exp - changes ] that an exponential number of direction reversals is possible . we are often interested in _ approximate _ fixpoints . if @xmath5 is a brouwer function , an @xmath29-approximate fixpoint is a point @xmath27 such that @xmath30 ( we shall use the @xmath31 metric throughout ) . it follows from browder s theorem that , for any @xmath32 , there is a finite sequence @xmath33 of @xmath29-approximate fixpoints of @xmath34 , for some @xmath35 and @xmath36 , such that any two consecutive fixpoints in the sequence are at most @xmath29 apart .    we shall be interested in the following problem , which we call browder fixpoint : given two arithmetic circuits computing two functions @xmath18 and @xmath19 from @xmath25^d$ ] to itself with lipschitz constant @xmath37 , an @xmath38 , where @xmath18 has a unique fixpoint @xmath39 , find an @xmath29-approximate fixpoint @xmath40 of @xmath19 that is connected via a sequence of @xmath29-approximate fixpoints to @xmath39 . ( to make this definition precise , we of course have to identify classes of functions from which @xmath18 and @xmath19 may be drawn . ) notice that the homotopy method for computing brouwer fixpoints provides a solution to this problem . homotopies can be defined very similarly also for games . given two games @xmath41 of the same type ( number of players and strategies ) , we consider @xmath42 , where it is the players utilities that are interpolated . it is routine to extend this definition to more general classes of games , such as graphical games  @xcite ( in which case , in addition to the players and strategies , the two graphs must be the same ) . browder s theorem , via nash s reduction , establishes that there is a path of approximate nash equilibria here as well . the problem linear tracing is the following : given two games @xmath1 and @xmath43 , an @xmath38 , and a nash equilibrium @xmath39 of @xmath1 , find an @xmath29-approximate nash equilibrium @xmath40 of @xmath43 that is connected via a sequence of @xmath29-approximate nash equilibria to @xmath39 . it is easy to see that linear tracing is in , and it can be checked that the algorithm of herings and van den elzen  @xcite achieves this(see section  [ sec : lt : membership ] ) . browder fixpoint is also in . we consider directed graphs on @xmath44 vertices represented as @xmath45-bit vectors . the arcs are represented by two polynomial - size circuits @xmath46 and @xmath47 , each having @xmath45 inputs and outputs , as follows . there is an arc from vertex @xmath48 to @xmath49 provided that @xmath50 and @xmath51 . notice that all vertices of the graph have both indegree and outdegree @xmath52 or @xmath53 , that is , the graph consists of paths , cycles , and isolated vertices . an @xmath54-graph with parameter @xmath45 is a graph on @xmath55 specified by circuits @xmath46 and @xmath47 , as described above , subject to the constraint that vertex @xmath56 has no incoming arc but does have an outgoing arc . the problem end of the line is the problem of finding a vertex of a given @xmath54-graph other than @xmath56 which has at most one incident arc . note that this problem is in the class tfnp of total search problems in np : there exists a solution that could be obtained by following the directed path that starts at @xmath56 , and any given solution may be efficiently checked for correctness . the class ppad  @xcite is defined as all search problems polynomial - time reducible to end of the line . the problem other end of this line ( which we will subsequently abbreviate to oeotl ) is the problem of finding the end of _ the particular path _ that starts at @xmath56 . in contrast with end of the line , a given solution to an instance of oeotl has no obvious concise certificate that it is the correct endpoint , so while oeotl is a total search problem , it is apparently not an np total search problem . in fact , we have the following ( theorem 2 of  @xcite ) , which is the starting - point of our reductions . [ thm : oeotl ]  @xcite oeotl is -complete . we build on the ideas of  @xcite ( showing that unrestricted nash equilibria can efficiently encode end of the line solutions ) to show how equilibria defined by homotopies can efficiently encode oeotl solutions .      in  @xcite , each instance @xmath57 of end of the line is reduced to a game @xmath58 in such a way that any nash equilibrium of @xmath58 efficiently encodes a solution to @xmath57 . here we reduce @xmath57 to a homotopy problem defined by two games , @xmath59 , where @xmath1 depends only on @xmath45 , while @xmath60 encodes the circuits in @xmath57 , and is an extension of @xmath58 of  @xcite . we establish that the associated linear homotopy corresponds to the naive `` follow the line '' approach to solving oeotl ; technically , a suffix of the homotopy path corresponds to following the line , and the existence of the relevant suffix is established in a non - constructive way , using the intermediate value theorem . in extending the result to the lemke - howson algorithm , the main technical obstacle is the initial choice of which `` label to drop '' , leading to multiple disjoint paths in the mixed - strategy profile space . we have to ensure that all of the @xmath61 solutions ( one for each pure strategy ) efficiently encode the solution to @xmath57 , where @xmath57 is treated as an instance of oeotl . this is done by embedding two copies of the game @xmath60 inside a larger one in such a way that at least one copy does not contain the initially - dropped label , and arguing that any lemke - howson equilibrium restricted to this copy ends up encoding the unique solution to  @xmath57 . in this section we give detailed definitions of classes of fixpoint and approximate fixpoint computation problems . in section  [ sec : hom : def ] , we review the definition of s  and related concepts from chen et al . @xcite , here applied to a three dimensional domain . in section  [ sec : hom : impl ] , we review the techniques of  @xcite for implementing s as arithmetic circuits . in section  [ sec : hom : red ] , we prove theorem  [ thm : pspace - brouwer ] , the main result of section  [ sec : hom ] , in which we establish the -completeness of a linear homotopy for finding a fixpoint of a brouwer function . @xmath62 will denote a complexity parameter of problem instances . we define a sequence @xmath63 of `` basic brouwer functions '' having unique known fixpoints . for each @xmath45 we define a class of brouwer functions whose members encode @xmath54-graphs on @xmath55 . the homotopy of equation  ( [ eq : homotopy ] ) defines a class of functions @xmath28 , @xmath24 $ ] , that interpolate between @xmath18 and @xmath19 and specifies a particular fixpoint of @xmath19 . we will show that from that fixpoint , we can efficiently recover a solution to oeotl for the graph encoded by  @xmath19 . let @xmath64 be the unit 3-d cube @xmath25 ^ 3 $ ] . for @xmath62 let @xmath65 denote a partition of @xmath64 into @xmath66 `` cubelets '' , @xmath67 ; @xmath68 is an axis - aligned cube of length @xmath69 whose vertex closest to the origin has coordinates @xmath70 . we define a _ brouwer - mapping circuit _ in a similar way to the definition in  @xcite , here specialized to the case of 3 dimensions . we also introduce some variations of the definition , as follows :    [ def : bmf ] ( brouwer - mapping circuit / function ; basic ; dgp - style ; partial )    a _ brouwer - mapping circuit ( bmc ) _ is a directed boolean circuit with @xmath71 input nodes and @xmath72 output nodes . note that any bmc @xmath73 has an associated _  ( ) _ @xmath74 that maps any cubelet @xmath68 to one of the four colors @xmath75 . we require the colors of all exterior cubelets to be predetermined as follows . for @xmath76 , @xmath77 . for @xmath78 , @xmath79 , @xmath80 . for @xmath81 , @xmath82 , @xmath83 . all other exterior cubelets are mapped to @xmath52 .    the _ basic _ @xmath84 has the additional property that all internal cubelets get mapped to 0 . notice that @xmath85 is computable by a bmc of size polynomial in @xmath45 . a _ dgp - style _ is one that is derived from an @xmath54-graph in the manner of  @xcite , and so is computable with a bmc of size polynomial in the size of circuits @xmath46 and @xmath47 . ( proposition  [ prop : graph ] notes the relevant property of dgp - style s . ) a _ partial _ @xmath86 is defined with respect to a set @xmath87 ; @xmath86 assigns a color to elements of @xmath88 but @xmath86 may be undefined on non - elements of @xmath88 .    [ prop : graph ] the following problem is -complete . given a brouwer - mapping circuit @xmath73 , find a point in @xmath64 that is a vertex of 4 cubelets mapped to all 4 colors by the associated @xmath89 , and which is connected to the origin via cubelets having colors other than 0 . this is a total search problem : the topological intuition is that there is a line that is adjacent to the colors @xmath90 and has one end at @xmath91 . the other end must be inside @xmath64 and adjacent to color 0 , since no other exterior point is adjacent to the colors @xmath90 . we note in passing that if we did not make the `` connected to the origin '' requirement , the problem would be ppad - complete . the proof of proposition  [ prop : graph ] in the full paper , applies the reduction of  @xcite from end of the line to the version of the problem where a _ panchromatic vertex _ is sought that is adjacent to all colors . the resulting @xmath90-colored line has a structure that faithfully simulates the arcs of the @xmath54-graph from which is was derived . panchromatic vertices correspond to end of the line solutions , and are linked - up with the @xmath90-colored line , whose structure corresponds to the end of the line graph , and whose orientation arises from the clockwise order of @xmath90 around it . we reduce from oeotl ( theorem  [ thm : oeotl ] ) : let @xmath92 be an @xmath54-graph . let @xmath89 be a dgp - style  derived from @xmath92 , whose circuit @xmath73 efficiently encodes @xmath92 .    given a  @xmath89 , define a _ @xmath90-chromatic vertex _ to be one that is shared by 3 cubelets with colors 1 , 2 and 3 . by construction , the only exterior @xmath90-chromatic vertex for any  is @xmath91 . form a digraph @xmath93 on @xmath90-chromatic vertices by adding an arc between any pair that share a cubelet , directed such that if it pointing away from a viewer , its adjacent colors @xmath53 , @xmath72 , @xmath94 will appear in clockwise order around it . the reduction of  @xcite ensures @xmath93 has indegree / outdegree at most 1 . panchromatic vertex _ to be one that belongs to 4 cubelets of all 4 different colors . by construction , for all s there is a path of @xmath90-chromatic vertices starting at @xmath91 and ending at a unique panchromatic vertex @xmath95 . @xmath95 is a solution ; it can be found in polynomial space by following this path . let @xmath93 be the graph on @xmath89 s @xmath90-chromatic vertices as described above . the reduction of  @xcite has the following properties , from which the result follows .    1 . each vertex @xmath48 of @xmath92 has an associated @xmath90-chromatic vertex @xmath96 of @xmath93 ; @xmath48 and @xmath96 may be computed in polynomial time from each other . for @xmath97 , @xmath98 . @xmath48 is a solution to end of the line if and only if @xmath96 is panchromatic . each arc @xmath99 of @xmath92 corresponds to a sequence of edges of @xmath93 that connect @xmath96 to @xmath100 . each connected component of cubelets colored with @xmath90 , corresponds to a connected component of @xmath92 . we review a class of functions used to establish ppad - completeness of graphical and strategic - form games . recall that @xmath64 denotes the 3-dimensional unit cube ; we consider continuous functions @xmath101 having the following structure . each function is an arithmetic circuit composed of nodes , with each node taking inputs from up to 2 other nodes , and producing an output , for example , the sum of its inputs . all values are constrained to @xmath25 $ ] , so a node that adds its inputs would output 1 if their sum is greater than 1 . identify 3 nodes as `` input nodes '' and another 3 as `` output nodes '' , so if  @xmath5 is a continuous function from @xmath64 to @xmath64 , it has a brouwer fixpoint . [ def : circuit ] a _ linear arithmetic circuit _ is an arithmetic circuit that computes a function from @xmath64 to @xmath64 , represented by a directed graph whose nodes are `` gates '' that perform certain basic arithmetic operations on their inputs as follows . each gate takes as input 0 , 1 or 2 real values in @xmath25 $ ] and outputs a single real value in @xmath25 $ ] , where the output of a gate may be the sum / difference / max / min of two inputs , or a constant multiple of a single input , or no input and constant output . ( an output value is set to 1 if for example two inputs that sum to more than 1 are input to a `` sum '' gate . ) we also allow `` comparator gates '' in which the output of such a gate evaluates to 1 ( respectively , 0 ) if its first input is greater ( respectively , less ) than the second input , and may take any value if they are equal . let @xmath102 . let @xmath103 , @xmath104 , @xmath105 , @xmath106 . [ def : impl ] we shall say that a  @xmath86 is _ implemented by an arithmetic circuit @xmath107 _ if whenever @xmath108 , then @xmath109 when @xmath27 is at the center of @xmath68 . for @xmath27 not at a center , @xmath110 should be a convex combination of values of @xmath111 for cubelet centers @xmath112 within @xmath113 distance @xmath69 of @xmath27 . given @xmath114 computed by such a @xmath107 , we shall similarly say that @xmath5 _ implements _ @xmath86 . [ obs : impl ] if @xmath5 implements @xmath86 , then any fixpoints of @xmath5 must lie within distance @xmath69 of panchromatic vertices of @xmath86 , and vice versa . [ thm : bmf2circ ] a brouwer - mapping function having complexity parameter @xmath45 can be implemented using a linear arithmetic circuit having @xmath115 gates , that computes a continuous function . the proof gives a new technique to implement any brouwer - mapping function @xmath86 as a _ continuous _ function @xmath5 that uses a linear arithmetic circuit . this is in contrast with the corresponding techniques of  @xcite that used a sampling - based approach in order to smooth the transition between distinct cubelets . the sampling - based approach results in discontinuous functions , where browder s theorem would not be applicable ( although it could still be applied to a continuous approximation ) . the technique only works in constant dimension ; if can be extended to higher dimension using the `` snake - embeddings '' of  @xcite . ( see section  [ sec : polyerror ] . ) the general idea of the technique is to take a simplicial decomposition of the domain @xmath64 , give rules for obtaining the values of @xmath5 at the vertices of the decomposition , and linearly interpolate within each simplex . let @xmath116 be a brouwer - mapping function . we construct a continuous brouwer function @xmath114 computed by a linear arithmetic circuit @xmath107 as follows .    for @xmath27 at the center of cubelet @xmath68 , set @xmath117 where @xmath118 . for @xmath27 a vertex of cubelets @xmath119 , set @xmath120 to be the average of @xmath121 for all points @xmath112 at the centers of members of @xmath122 . the relevant points @xmath112 can be obtained using a polynomial - sized piece of circuitry . let @xmath88 be a simplicial decomposition of the unit cube consisting of 12 simplices that share a vertex at the center of the cube , and all other vertices are vertices of the cube . let @xmath123 be the simplicial decomposition of cubelet @xmath68 obtained by scaling @xmath88 down to @xmath68 . applied to all cubelets in @xmath65 this results in a highly regular decomposition @xmath124 of @xmath64 into @xmath125 simplices .    for any @xmath126 , @xmath127 is obtained by linearly interpolating between the vertices of the simplex in @xmath124 that contains @xmath27 . clearly @xmath5 is continuous . the result follows from the following claim :    @xmath5 as defined above , may be computed by a linear arithmetic circuit of size polynomial in @xmath45 . if @xmath27 is not a vertex of @xmath124 , the circuit can determine the vertices of a simplex @xmath128 that contains @xmath27 . there may be more than one such simplex , in which case _ it does not matter which is chosen_.    the circuit has 12 cases to consider , depending on the orientation of @xmath129 . each case can be handled in the same general manner , by subtracting some vertex @xmath48 of @xmath129 from @xmath27 , and multiplying @xmath130 by some constants ( the coefficients of the linear function that interpolated between the vertices of @xmath129 ) . note that we never need to multiply two computed quantities together , multiplication only ever takes place between a computed quantity and a constant , as required for a linear arithmetic circuit .      in this subsection , we establish the -completeness of the problem browder fixpoint , mentioned in the introduction , which can now be made precise as follows . we use two s @xmath131 and @xmath132 , where @xmath131 is the _ basic _ of definition  [ def : bmf ] , and @xmath132 shall be a dgp - style that encodes an instance of end of the line as constructed in  @xcite . let @xmath18 and @xmath19 be implementations of @xmath131 and @xmath132 using linear arithmetic circuits as described in the proof of theorem  [ thm : bmf2circ ] . for @xmath114 let @xmath133 denote the @xmath134-th component of @xmath5 . for @xmath135 let @xmath136 where in  ( [ eq : homotopy ] ) , the outputs of operators @xmath137 and @xmath138 are restricted to lie in @xmath25 $ ] ( so , rounding to 0 or 1 if needed ) . @xmath28 interpolates continuously between @xmath18 and @xmath19 and is constructed from them using elements of the linear arithmetic circuits of definition  [ def : circuit ] ( which is useful later ; the natural alternative @xmath139 does not have this property . ) [ obs : cts ] for all @xmath24 $ ] , @xmath140 is lipschitz continuous , with lipschitz value @xmath141 . @xmath18 has a unique fixpoint close to @xmath142 . @xmath18 is a `` basic brouwer function '' which forms the starting - point of homotopies we consider . hence observation  [ obs : cts ] and browder s fixpoint theorem implicitly define a corresponding fixpoint of @xmath19 . define an _ approximate fixpoint _ of @xmath114 to be a point @xmath126 with @xmath143 ( recall @xmath102 ) . [ thm : pspace - brouwer ] it is -complete to find , within accuracy @xmath69 , the coordinates of the fixpoint of @xmath19 that corresponds to the homotopy of  ( [ eq : homotopy ] ) . it is also -complete to find the coordinates of an approximate fixpoint of @xmath19 that would be obtained by following a sequence of approximate fixpoints of @xmath28 in which consecutive points are within distance @xmath144 of each other . we reduce from the problem defined in proposition  [ prop : graph ] as follows . let @xmath73 be a brouwer - mapping circuit derived from oeotl - instance @xmath54 using proposition  [ prop : graph ] and let @xmath74 be the function computed by @xmath73 . let @xmath145 be the function computed by a linear arithmetic circuit that implements @xmath89 , and @xmath18 be computed by a circuit that implements the basic  @xmath131 ( where both implementations apply theorem  [ thm : bmf2circ ] ) . @xmath28 is given by  ( [ eq : homotopy ] ) . let @xmath47 be a connected subset of @xmath146 $ ] such that for any @xmath147 , @xmath27 is a fixpoint of @xmath28 , and @xmath47 contains @xmath148 and @xmath149 . browder s fixpoint theorem ( with observation  [ obs : cts ] ) assures us that such a @xmath47 exists . we claim that @xmath40 is within distance @xmath69 of the unique solution to @xmath73 of the problem specified in proposition  [ prop : graph ] ( and hence , given @xmath40 we can easily construct this solution ) . suppose otherwise . for @xmath40 to be a fixpoint ( even an approximate one ) of @xmath19 , by observation  [ obs : impl ] it must be within distance @xmath69 of a panchromatic vertex @xmath48 of @xmath89 . but now , @xmath48 is not connected to the origin via non - zero cubelets of @xmath89 . by connectivity of @xmath47 , there must exist @xmath147 such that @xmath27 lies within a cubelet @xmath150 where @xmath151 . we may assume further that @xmath27 is at least @xmath69 distant from any non - zero cubelet of @xmath89 . this follows provided we assume that connected components of non - zero cubelets of @xmath89 are separated from each other by a layer of 0-colored cubelets of thickness at least 3 . this may be safely assumed by increasing @xmath45 by a factor of 3 and subdividing the cubelets . we note that    1 . each entry of vector @xmath152 is @xmath153 , and 2 . each entry of @xmath154 is @xmath153 . it follows that for @xmath24 $ ] , each entry of @xmath155 is less than @xmath156 , since coordinatewise , @xmath157 . that means that @xmath27 can not be an approximate fixpoint of any @xmath158 , contradicting the assumption as required .    since @xmath27 is at least @xmath69 distant from any non - zero cubelet of @xmath89 , it is also at least @xmath69 distant from any non - zero cubelet of @xmath131 , since for any cubelet @xmath159 , @xmath160 . the implementation of any  @xmath86 as a function @xmath5 computed by a linear arithmetic circuit , as referred to in theorem  [ thm : bmf2circ ] , ensures that @xmath120 is a convex combination of vectors @xmath121 for cubelet centers @xmath112 in the vicinity of @xmath27 , and since all those cubelet centers are colored 0 , we have that the entries of @xmath161 are all less than @xmath156 , as required . we now turn to games and nash equilibrium . let @xmath0 denote an @xmath162 game that we wish to solve , assumed to be chosen by an adversary . @xmath1 is a game with a unique `` obvious '' solution . in @xmath1 each player receives payoff 1 for his first action , and payoff 0 for all others , regardless of what the other player does . @xmath163    in the problem linear tracing the solution consists of the nash equilibrium of @xmath0 that is connected to the unique equilibrium @xmath164 of @xmath1 via equilibria of convex combinations @xmath165 . we can also define an approximate version of this problem , where instances include an additional parameter  @xmath29 , and we seek an @xmath29-nash equilibrium that is connected to the solution of @xmath166 via a sequence of @xmath29-approximate solutions of @xmath167 . for the two - player case we assume @xmath168 . for more than 2 players , we need a positive @xmath29 to ensure that solutions can be written down as rational numbers . [ thm : lt ] linear tracing is -complete for 2-person games . the same result then holds for strategic - form games with more than 2 players . it holds for a value of @xmath29 that is exponentially small ; we could again use the ideas of  @xcite to obtain a version where @xmath29 is inverse polynomial . our reduction uses the result of the previous section , along with earlier reductions between strategic - form games and graphical games . @xmath1 has a similar role to the basic brouwer function @xmath18 , but the correspondence is indirect ; generally @xmath18 is associated with one of the `` intermediate games '' @xmath169 for @xmath170 . the following is a brief overview of the rest of this section  [ sec : lt ] . membership of  can be deduced from  @xcite . the reduction from the -complete discrete brouwer fixpoint problem of the previous section , applies the idea from  @xcite of going via _ graphical games _ to normal - form games . we derive a type of graphical game in which a specific player ( denoted @xmath171 ) acts as a switch , allowing the remaining players to simulate either the basic brouwer - mapping function , or one associated with an instance of the search for a discrete brouwer fixpoint . @xmath171 governs this behavior via his choice of either one of two alternative strategies , and we show that a _ continuous _ path of equilibria from one choice to the other , results in an equilibrium that ultimately represents a solution to oeotl . the graphical game is then encoded as a 2-player game such that the linear - tracing procedure corresponds to this continuous path of equilibria in the graphical game . herings and van den elzen  @xcite show how to find approximate equilibria on multi - player games , implicitly constructing a degree-2 graph that has a vertex corresponding to @xmath172 , the nash equilibrium of @xmath1 . given a simplicial decomposition of @xmath173 $ ] ( where @xmath6 is the space of mixed strategies of @xmath0 ) vertices of the graph correspond to simplices and subsimplices , and edges are implicitly defined by a lexicographical pivoting rule that governs a choice of movement from simplex to adjacent simplex , at each step of the algorithm . it can be checked that this algorithm establishes membership of  for multiplayer linear tracing .      in a graphical game  @xcite , each player is a vertex of a graph , and his payoffs depend on his own and his neighbors actions . for a low - degree graph , this is one way that games having many players may be represented concisely . a homotopy between two graphical games @xmath174 and @xmath175 would require that these games have the same underlying graph , so that they differ only in their numerical payoffs . in the graphical games considered here , each player has just 2 actions and 3 neighbors . the main result of this section is    [ prop : gg ] consider graphical games that contain a special player @xmath171 whose payoffs are constant ( unaffected by his own actions or the other players ) . the following problem is -complete : find a nash equilibrium of the game where @xmath171 plays 1 , that is topologically connected to a nash equilibrium in which @xmath171 plays 0 , via a path of nash equilibria in which @xmath171 plays mixed strategies . let @xmath18 and @xmath19 be functions computed by linear arithmetic circuits that implement brouwer - mapping functions @xmath131 and @xmath132 , where @xmath131 is the `` basic '' of definition  [ def : bmf ] , and @xmath132 is a dgp - style  that encodes some instance of end of the line .    in a graphical game in which all players have 2 pure strategies denoted 0 and 1 , given a mixed - strategy profile for the players we let @xmath176 $ ] denote the probability that player @xmath48 plays 1 . [ def : simulation ] ( linear graphical game ; simulation of bmf s and partial bmf s )    given a bmf @xmath86 , we construct an associated graphical game @xmath177 as follows . @xmath177 has 3 special players @xmath178 whose strategies @xmath179,\pp[v_y],\pp[v_z])$ ] represent a point in @xmath64 . if @xmath86 is implemented by @xmath114 we use gadgets of  @xcite to simulate the nodes in the arithmetic circuit that computes @xmath5 ( each node of the circuit has an additional associated player in @xmath177 ) . the game can pay them to adjust @xmath179,\pp[v_y],\pp[v_z])$ ] in the direction @xmath180,\pp[v_y],\pp[v_z])$ ] @xmath181,\pp[v_y],\pp[v_z])$ ] . then the players @xmath178 are incentivized to play @xmath180,\pp[v_y],\pp[v_z])$ ] . consequently a nash equilibrium of @xmath177 corresponds to a fixpoint of @xmath5 . moreover , an @xmath29-nash equilibrium corresponds to a @xmath182-approximate fixpoint of @xmath5 . we call @xmath177 a _ linear graphical game _ since we only allow players whose payoffs cause them to simulate the gates of linear arithmetic circuits . a game of the above kind is said to _ simulate _ we say further that a game @xmath183 simulates a partial bmf on a subset @xmath46 of cubelets , if for any @xmath184 , when @xmath179,\pp[v_y],\pp[v_z])$ ] lie at the center of @xmath185 the players @xmath178 are incentivized to play @xmath179,\pp[v_y],\pp[v_z])+\delta_c$ ] , where @xmath186 . [ lem : switch ] given any linear graphical game @xmath175 that simulates a  @xmath132 , we can efficiently construct a new game @xmath187 having a player @xmath188 whose behavior can either cause @xmath183 to simulate @xmath132 ( if @xmath188 plays 1 ) or cause @xmath183 to simulate @xmath131 if instead @xmath188 plays 0 .    @xmath171 shall serve as a `` switch '' , in allowing the game to switch between simulating @xmath131 and @xmath132 ( using an additional 3 players @xmath189 whose strategies represent a point in @xmath64 ) according to whether @xmath171 plays 0 or 1 . of course , @xmath171 has a key role in the associated two - player game .    for @xmath190 , let @xmath191 be a graphical game constructed from @xmath192 according to definitions  [ def : bmf ] , [ def : impl ] , [ def : simulation ] . @xmath191 has 3 players / vertices whose mixed strategies , as represented by the probabilities that they play 1 , represent a point in @xmath64 . denote these players @xmath193 .    construct a `` combined '' game @xmath187 as follows . @xmath187 contains all the players in @xmath174 and @xmath175 together with a new player @xmath171 , where @xmath171 has the same fixed payoff for playing either 0 or 1 . we add 3 players @xmath189 whose mixed strategies represent a point in @xmath64 , and players @xmath194 , whose behavior is governed by @xmath195 $ & = & $ ( \pp[v^0_x]-\pp[v_{\switch}])+(\pp[v^1_x]-(1-\pp[v_{\switch}]))$ \\ $ \pp[v^+_x]$ & = & $ \max(\pp[\bar{v}^+_x],\min(\pp[v^0_x],\pp[v^1_x]))$ \end{tabular}\ ] ] ( and similar expressions for @xmath196 and @xmath197 ) where the parentheses in the above expression are important since the outputs of the operators @xmath137 and @xmath138 are truncated to lie in @xmath25 $ ] .    players from @xmath174 and @xmath175 that take input from nodes @xmath198 or @xmath199 respectively , are then modified to take that input from @xmath200 instead . this completes the construction .    of proposition  [ prop : gg ] : we reduce from the circuit homotopy of theorem  [ thm : pspace - brouwer ] . let @xmath201\}$ ] be an instance of this circuit homotopy . construct @xmath43 from @xmath19 as per definition  [ def : simulation ] . construct @xmath187 as in lemma  [ lem : switch ] , and we make the following observation .    [ intermediate ] suppose that in @xmath187 we have @xmath202=t\in(0,1)$ ] . the resulting game @xmath203 simulates a partial  @xmath158 which is implemented by a brouwer function @xmath28 that is ( pointwise ) a convex combination of @xmath18 and @xmath19 and is defined on the subset of cubelets where @xmath204 . given a homotopy path of nash equilibria of @xmath187 that start at the unique equilibrium of @xmath187 that satisfies @xmath202=0 $ ] and ends at an equilibrium of @xmath187 in which @xmath202=1 $ ] , there is a corresponding homotopy path from the fixpoint of @xmath18 and a fixpoint of @xmath19 ( noting that  ( [ eq : gg - homotopy ] ) is essentially the same as  ( [ eq : homotopy ] ) ) . that concludes the proof of proposition  [ prop : gg ] . the following version of lemma  [ lem : switch ] is useful in the construction for lemke - howson solutions , later on . [ cor : switches ] given any linear graphical game @xmath175 that simulates a  @xmath132 , we can efficiently construct a new game @xmath187 having 2 players @xmath171 and @xmath205 whose behavior can either cause @xmath187 to simulate @xmath132 ( if both @xmath171 , @xmath205 play 1 ) or cause @xmath187 to simulate @xmath131 if instead either or both play 0 . the proof of the previous lemma is modified as follows . we re - use equation  ( [ eq : gg - homotopy ] ) for players @xmath189 . the 3 players @xmath206 whose mixed strategies represent a point in @xmath64 have behavior governed by @xmath207 $ & = & $ ( \pp[v^0_x]-\pp[v'_{\switch}])+(\pp[v^+_x]-(1-\pp[v'_{\switch}]))$ \\ $ \pp[v^{++}_x]$ & = & $ \max(\pp[\bar{v}^{++}_x],\min(\pp[v^0_x],\pp[v^+_x]))$ \end{tabular}\ ] ] again with similar expressions for @xmath208 and @xmath209 .      in this subsection we prove the following theorem , from which theorem  [ thm : lt ] follows  since we have previously noted membership of . [ thm : ltdetails ] it is -hard to compute the nash equilibrium of a given 2-player normal - form game @xmath43 , that is obtained via the linear homotopy that starts from @xmath1 , a version of @xmath43 where the payoffs have been changed to give each player payoff 1 for his first strategy and 0 for the others . we reduce from the graphical game problem of proposition  [ prop : gg ] . let @xmath187 be a linear graphical game that includes a player @xmath188 as per proposition  [ prop : gg ] . first , modify @xmath187 to give @xmath188 a small payment ( say , @xmath210 ) to play 1 , and zero to play 0 . we define a homotopy between two - player strategic - form games @xmath1 and @xmath43 such that equilibria of @xmath43 efficiently encode equilibria of @xmath187 , and equilibria of @xmath169 encode equilibria of versions of @xmath187 where @xmath188 has a bias towards playing 0 . we use the reduction of  @xcite ( section 6.1 ) from graphical games to 2-player games  ( a similar reduction is used in  @xcite ( section 7 ) to express _ generalized circuits _ ( similar to our linear arithmetic circuits ) as 2-player games ) .    given in the context of a mixed - strategy profile , let @xmath211 $ ] denote the probability allocated to pure strategy @xmath212 by its player . [ def : circgame ] a _ circuit - encoding _ 2-player game @xmath0 has a corresponding graphical game @xmath183 where the graph of @xmath183 is bipartite ; denote it @xmath213 ; each player ( vertex ) in @xmath183 has 2 actions ( denote them 0 and 1 ) and payoffs that depend on the behavior of 2 other players in the opposite side of @xmath92 s bipartition . each vertex / action pair @xmath214 of @xmath183 has a corresponding strategy in @xmath0 ; for @xmath215 , @xmath214 belongs to the row player and for @xmath216 , @xmath214 belongs to the column player . the payoffs in @xmath0 are designed to ensure that in a nash equilibrium of @xmath0    * @xmath217+\pr[(v,1 ) ] \geq 1/2n$ ] where @xmath45 is the number of players in @xmath183 * if in @xmath183 , @xmath48 plays 1 with probability @xmath218/(\pr[(v,0)]+\pr[(v,1)])$ ] then we have a nash equilibrium of @xmath183 . let @xmath0 be a circuit - encoding game derived from @xmath187 according to definition  [ def : circgame ] . associate @xmath171 with 2 strategies of of the column player of @xmath0 , and let @xmath219 and @xmath220 be these strategies . hence a nash equilibrium of @xmath0 corresponds to one of @xmath187 where the value @xmath202 $ ] is given by the value @xmath221/(\pr[s^c_k]+\pr[s^c_{k+1}])$ ] . if we take a circuit - encoding 2-player game , and award one of the players a small bonus to play @xmath214 , then this corresponds to incentivizing the player @xmath48 in @xmath183 to select strategy @xmath222 . the corresponding incentive for @xmath48 will be larger , but only polynomially larger . let @xmath1 be a @xmath223 game with strategies @xmath224 for the row player , and @xmath225 for the column player . payoffs are as follows : each player receives 1 for playing @xmath226 or @xmath227 , and 0 for @xmath228 or @xmath229 for @xmath230 . ( thus @xmath1 is a @xmath223 version of equation  ( [ eqn1 ] ) . ) rescale the payoffs of @xmath0 to all lie in the range @xmath231 $ ] . let @xmath43 be a @xmath223 game with strategies @xmath232 for the row player , and @xmath233 for the column player . payoffs are as follows :    * @xmath164 results in payoffs @xmath234 for the players . * @xmath235 for @xmath230 results in payoffs @xmath236 . * @xmath237 for @xmath230 results in payoffs @xmath238 for @xmath239 , and @xmath240 ( for @xmath241 inverse polynomial in @xmath45 ) for @xmath242 * the rest of @xmath43 is a copy of @xmath0 above . @xmath243    let @xmath244 . the above payoffs have been chosen so that nash equilibria satisfy : in @xmath43 , players do not use @xmath226 or @xmath227 ; in @xmath245 , players both have a proper mixture of @xmath226 and @xmath227 with their other strategies . since @xmath0 s payoffs were rescaled to lie in @xmath231 $ ] , @xmath246 $ ] and @xmath247 $ ] can be shown to lie in @xmath248 $ ] , which can be checked from the following payoff ranges for @xmath245 : @xmath249,[0\cdotp54,0\cdotp66])$    \\ \cline{2 - 3 } \end{tabular}\ ] ] _ thus a continuous path of equilibria should at some stage allocate gradually less and less probability to @xmath226 and @xmath227 as @xmath2 increases . _    [ subgamene ] in any nash equilibrium @xmath250 of @xmath43 , the players assign probability 0 to @xmath226 and @xmath227 , and consequently @xmath250 consists of a nash equilibrium of @xmath0 , restricting to strategies @xmath228 , @xmath251 for @xmath252 .    since @xmath244 , we can write @xmath169 as    @xmath253    @xmath254    the general idea is as follows . consider the browder path of equilibria that begins from the unique equilibrium of @xmath1 ( where initially both players play @xmath226 , @xmath227 ) . as @xmath2 increases , the players will start to use the other strategies . at that stage , consider the distribution of their mixed strategies restricted to @xmath255 and @xmath256 . these distributions will constitute a nash equilibrium of a version of @xmath0 in which the column player receives a small bonus for playing @xmath219 . as @xmath2 increases to 1 , the bonus decreases continuously to 0 , and we recover observation  [ subgamene ] . now , recall from definition  [ def : circgame ] that the way @xcite reduce graphical games to two - player games , is to associate each player @xmath48 in the graphical game with two strategies in the two - player game , both belonging to the same player . the division of probability between those two strategies represents the probability that @xmath48 plays 1 . consider @xmath171 now , corresponding to @xmath219 and @xmath220 . @xmath171 is , in the graphical game , mildly incentivized to play 1 , but for @xmath257 the @xmath241 in the two - player game @xmath169 pushes it the other way , towards 0 . as a result , a nash equilibrium of @xmath169 may simulate a nash equilibrium of @xmath203 where @xmath258\in(0,1)$ ] . as @xmath2 increases and the contribution from @xmath241 decreases , this process corresponds to raising @xmath202 $ ] continuously ( but not monotonically ) from 0 to 1 . [ lem : gt ] let @xmath250 be a nash equilibrium of @xmath169 in which @xmath246<1 $ ] and @xmath247<1 $ ] . let @xmath259 be the probability distributions over @xmath260 and @xmath261 obtained by taking each value @xmath262 $ ] ( for @xmath263 , @xmath264 ) and dividing it by @xmath265 $ ] . then @xmath259 is a nash equilibrium of a version of @xmath0 where the column player receives a bonus of @xmath266/(1-\pr[s^r_0])$ ] for @xmath219 .    in nash equilibrium @xmath250 , @xmath267 s strategy @xmath227 contributes the same quantity to each one of @xmath268 s strategies @xmath255 . so the values @xmath269,\ldots,\pr[s^r_n]$ ] must form a best response to @xmath267 s mixed strategy from @xmath259 . the column player receives a bonus @xmath270 $ ] specific to @xmath219 , arising from the possibility that row player plays 0 . he also receives an additional @xmath271 for all strategies @xmath229 for @xmath230 , but that uniform bonus has no further effect on his preference amongst @xmath256 .    so in @xmath250 , @xmath272,\ldots,\pr[s^c_n]$ ] is a best response to a mixture of @xmath0 weighted by @xmath273 $ ] and the probability @xmath246 $ ] of a bonus @xmath266 $ ] for playing @xmath219 . this is equivalent to a best response to a version of @xmath0 with a bonus of @xmath266/(1-\pr[s^r_0])$ ] for playing @xmath219 . consider the path of equilibria connecting equilibrium @xmath172 of @xmath1 to equilibrium @xmath274 of @xmath43 . by lemma  [ lem : gt ] we can choose @xmath241 such that in any equilibrium of @xmath275 we have @xmath221=0 $ ] . we also have that in any equilibrium of @xmath43 , @xmath276=0 $ ] . consider the longest suffix of the path for which @xmath277 for all games @xmath169 that appear in that suffix . the corresponding equilibria assign weight strictly less than 1 to @xmath226 and @xmath227 , so lemma  [ lem : gt ] may be used to recover corresponding equilibria of versions of @xmath0 which in turn correspond to versions of @xmath187 in which initially , @xmath188 is incentivized to play 0 , and finally , @xmath188 is incentivized to play 1 . in the previous section , we showed the -completeness of finding the nash equilibrium of a two - player game that is associated with a homotopy that uses a specific simple starting - game that is not derived from the game of interest . in the literature on homotopy methods , starting with harsanyi  @xcite , the starting - game is usually derived from the game of interest by positing a prior distribution over the players pure strategies , and using a starting - game whose payoffs are the result of playing against this prior distribution . in this section , we extend the result of section  [ sec : lt ] to handle these starting - games and thus obtain results for the herings - van den elzen  @xcite and herings - peeters  @xcite algorithms , which use the same underlying homotopy , and the van den elzen - talman  @xcite algorithm , which uses a different homotopy . all three algorithms have been shown under certain conditions to mimic the harsayni - selten linear tracing procedure . for each algorithm , we use the uniform distribution as the prior distribution , which is a natural choice . the van den elzen - talman algorithm uses a homotopy based on a starting mixed - strategy profile @xmath48 . letting @xmath278 be the set of mixed - strategy profiles , let @xmath279 be the set of convex combinations @xmath280 . in the notation of  @xcite , the van den elzen - talman algorithm restricted to the two - player case uses the homotopy @xmath281 where for @xmath282 , @xmath283 denotes the best responses of player @xmath134 to mixed strategy @xmath284 , restricted to @xmath279 . it is -complete to compute equilibria that result from the above van den elzen - talman homotopy . the proof works by giving each player a dummy strategy which does not get used in any equilibrium , but whose payoffs ensure that the uniform distribution ( at @xmath285 ) over all players strategies results in payoffs that looks like @xmath1 . a similar trick works for the homotopy of  @xcite . ( sketch ) it can be checked that the algorithm uses polynomial space . for the hardness , we reduce from linear tracing ; consider a game @xmath286 for which we seek an equilibrium that results from starting with @xmath166 as in section  [ sec : lt ] . of the form of  ( [ eqn1 ] ) . suppose we take a game @xmath0 from section  [ sec : lt ] and give each player an additional strategy as follows . let @xmath287 and @xmath288 be the new strategies , for the row and column player respectively . @xmath287 has a payoff of @xmath289 for the row player , regardless of how the column player plays ( thus , @xmath287 is dominated by all the other strategies ) . the payoffs to the column player are chosen in such a way that , if in fact the row player uses the uniform distribution over @xmath290 , then the column player s payoffs will be 1 for @xmath227 and 0 for @xmath229 , for @xmath230 . the new strategy @xmath288 has a similar definition . note that the new payoffs are at most @xmath45 in absolute value . these new strategies ensure that we have the desired @xmath1 of section  [ sec : lt ] , when we restrict each player to his first @xmath45 strategies . strategies @xmath287 and @xmath288 are not used in any nash equilibrium of @xmath169 , since they are strictly dominated for all @xmath2 . we let @xmath48 be the uniform distribution . in @xmath167 , the row plays a mixture @xmath291 while the column player plays @xmath292 , where @xmath293 and @xmath294 are mixed strategies whose support do not include @xmath287 and @xmath288 , so they constitute a nash equilibrium of a version of @xmath286 in which there is a bonus to play @xmath226 and @xmath227 . this bonus drops continuously to zero , so it is equivalent to the linear - tracing homotopy . the algorithms of herings - van den elzen  @xcite and herings - peeters  @xcite are based on an identical homotopy and differ only in the numerical technique used to follow the homotopy path . we can show using essentially the same construction as above that is is -hard to compute the equilibria found by these homotopies . to do so we can again construct a starting game by giving the row / column players new strategies @xmath287 and @xmath288 chosen to have low payoffs to the row ( respectively , column ) players , but whose payoffs to the opponent are chosen such that if either player played the uniform distribution , the opponent would receive a higher payoff for his first strategy ( either @xmath226 or @xmath227 ) than the others , which would all receive the same ( lower ) payoffs . the lemke - howson ( l - h ) algorithm is an important and rich research subject in and by itself within game theory ; for the purposes of this reduction , it is helpful to take a point of view that considers the l - h algorithm as a homotopy  @xcite , where an arbitrary strategy ( the one whose label is dropped initially ) is given a large `` bonus '' to be played , so that the unique equilibrium consists of that strategy together with its best response from the other player ; the homotopy arises from reducing that bonus continuously to zero .    [ lhtheorem ] it is -complete to find _ any _ of the solutions of a 2-player game that are constructed by the lemke - howson algorithm . the remainder of this section proves theorem  [ lhtheorem ] , the hardness being established by a reduction from the graphical game problem of proposition  [ prop : gg ] , extending the ideas of the reduction for linear tracing ( theorems  [ thm : lt ] ,  [ thm : ltdetails ] ) . a new technical challenge here is that the choice of initially dropped label results in @xmath61 alternative homotopy paths , and we must ensure that any of the ( up to ) @xmath61 solution can encode the single solution to some instance of linear tracing . suppose that some strategy has been given this `` l - h bonus '' , and a browder path of nash equilibria is obtained from reducing that bonus to zero . as before let @xmath24 $ ] be a parameter that denotes the distance from the starting game of the homotopy to the game of interest , so that @xmath295 is a multiplicative weight for the bonus in intermediate games . consider the browder path it is piecewise linear , a topologically well - behaved line . let @xmath296 $ ] parameterize points along the browder path  an equilibrium @xmath297 is the one that is a fraction @xmath298 of the distance along the path ( starting at the version of the game with the l - h bonus ) . so , multiple values of @xmath298 can correspond to the same value of @xmath2 . here we mostly focus on @xmath298 rather than @xmath2 . the following construction addresses the issue that an arbitrary strategy may receive the l - h bonus . we embed two copies of a circuit - encoding game @xmath0 ( definition  [ def : circgame ] ) into a game instance for the lemke - howson algorithm . at least one of those copies of @xmath0 will not contain the strategy that receives the l - h bonus . the l - h homotopy , restricted to that copy of @xmath0 , will simulate the homotopy of section  [ sec : lt ] .    in figure  [ lhdiagram ] , @xmath286 denotes a circuit - encoding @xmath299 game ( note the two copies ) whose payoffs have been rescaled to lie in the interval @xmath300 $ ] . @xmath286 is assumed to have an associated graphical game with two `` switch '' players @xmath301 , @xmath302 that affect the equilibria of @xmath286 according to corollary  [ cor : switches ] . they will correspond to the first pair of each of @xmath286 s players strategies @xmath303 and @xmath304 such that ,    * if both @xmath305=1 $ ] and @xmath306=1 $ ] , @xmath286 s equilibrium encodes a solution to an end of the line instance that is efficiently encoded by @xmath286 ; * if either @xmath305=0 $ ] or @xmath306=0 $ ] , @xmath286 encodes the `` basic '' brouwer - mapping function ; * if we add a bonus to the row player for his first strategy @xmath226 that is less than some threshold @xmath307 , it will result in @xmath246=0 $ ] and hence @xmath305=1 $ ] , and similarly for the column player with respect to @xmath227 and @xmath302 . ( we will see that such bonuses occur , and they decrease at @xmath308 . )    * notation . * @xmath309 and @xmath310 denote sets of the players strategies as shown in figure  [ lhdiagram ] . in the context of a mixed - strategy profile , @xmath311 $ ] denotes the probability that the column player uses @xmath107 ; @xmath312 $ ] that he chooses an element of @xmath313 , and so on . let @xmath314+\pr[d]+\pr[c']+\pr[d']$ ] , a function of distance along the browder path . we note the following facts    * @xmath315 ( if , say , a column player strategy receives the l - h bonus , then the row player will play some pure best response , either @xmath316 or @xmath317 ; so @xmath318=1 $ ] or @xmath319=1 $ ] . ) * @xmath320 ( shown in lemma  [ lem : endpath ] )    together with the key observation that @xmath321 is a continuous function of @xmath298 , implying :    for some @xmath322 $ ] , @xmath323 , and for @xmath324 , @xmath325 . let @xmath326 be the copy of @xmath286 that does not contain the strategy that receives the l - h bonus . ( if one of @xmath107 , @xmath6 , @xmath316 or @xmath317 receive the l - h bonus , then @xmath326 may be either copy of @xmath286 . )    for any @xmath11 , at least one player @xmath327 has an additional bonus at least @xmath328 to play @xmath329 in @xmath326 ( suppose for example @xmath311+\pr[d]\geq x/2 $ ] and @xmath327 is the row player ; figure  [ lhdiagram ] awards additional @xmath330 to @xmath327 when @xmath107 or @xmath6 is played ) . but neither player s bonus exceeds @xmath331 . as @xmath298 increases from @xmath332 to 1 , @xmath321 goes down from @xmath333 to at most @xmath334 . we will establish that when @xmath335 , @xmath336 contains a solution to a `` biased '' version of @xmath326 where one of the players first strategies ( i.e. @xmath226 or @xmath227 ) has an additional bonus ( enough to ensure @xmath269=0 $ ] and @xmath305=0 $ ] , in the case of the row player ) . furthermore , when @xmath337 , we have that @xmath297 contains a solution to @xmath326 , only with smaller biases . these biases are associated with `` switch '' strategies in the graphical game associated with @xmath286 . let @xmath332 be the largest value of @xmath298 where @xmath321 is large enough that one of the bonuses sets @xmath338=1 $ ] in @xmath326 ( for @xmath339 ) . between @xmath332 and @xmath337 we pass through a continuum of equilibria where @xmath338 $ ] changes from 1 to 0 ; equivalently @xmath340 $ ] changes from 0 to 1 , and the resulting equilibrium at @xmath337 corresponds to a solution to oeotl . let @xmath297 be a solution of @xmath341 . if @xmath326 is the bottom right - hand copy of @xmath286 in figure  [ lhdiagram ] , then if the distributions over @xmath73 and @xmath342 are normalised to 1 , we have a nash equilibrium of a game @xmath343 where the row player has an additional bonus of @xmath344+\pr[d])/\pr[b']$ ] to play his first strategy @xmath226 , and the column player has an additional bonus of @xmath345+\pr[d'])/\pr[b]$ ] to play his first strategy @xmath227 .    by symmetry , a similar result also holds in the case that @xmath326 is the top right - hand copy of the @xmath286 . payoffs to the row player are unaffected by the column player s distribution over @xmath313 . meanwhile , @xmath107 and @xmath6 lead to an additional bonus of @xmath346 ( weighted by the probability that @xmath107 and @xmath6 are used by the column player ) for the row player to use the top row of @xmath342 . [ lem : endpath ] at @xmath4 ( equivalently , @xmath337 ) we have in any nash equilibrium , that @xmath311\leq\frac{1}{m}$ ] , @xmath347\leq\frac{1}{m}$ ] , @xmath318\leq\frac{1}{m}$ ] and @xmath319\leq\frac{1}{m}$ ] . since @xmath348 we have @xmath320 . game @xmath286 embedded in the top - left and bottom - right regions , with payoff rescaled to @xmath300 $ ] . in the top - right and bottom - left regions are copies of a @xmath299 game that give the column player a payoff of 0 and the row player a payoff of 1.each of @xmath313 , @xmath73 , @xmath349 , @xmath342 denotes a set of @xmath45 strategies . @xmath107 , @xmath6 , @xmath316 and @xmath317 are individual strategies.in the proofs we put @xmath350 , @xmath330.,title="fig:",width=240 ]   game @xmath286 embedded in the top - left and bottom - right regions , with payoff rescaled to @xmath300 $ ] . in the top - right and bottom - left regions are copies of a @xmath299 game that give the column player a payoff of 0 and the row player a payoff of 1.each of @xmath313 , @xmath73 , @xmath349 , @xmath342 denotes a set of @xmath45 strategies . @xmath107 , @xmath6 , @xmath316 and @xmath317 are individual strategies.in the proofs we put @xmath350 , @xmath330.,title="fig:",width=576 ]    a proof of lemma  [ lem : endpath ] may be found in the full version .    of lemma  [ lem : endpath ] . we give the proof that @xmath311\leq\frac{1}{m}$ ] ; by symmetry the other claims are similar .    assume for contradiction that @xmath311>\frac{1}{m}$ ] . we know that at least one strategy from @xmath351 gives positive payoff , since the places where they can obtain a negative payoff are `` equal and opposite '' . indeed , it can be checked that the payoff to at least one member of @xmath313 and @xmath73 is at least @xmath352 . the ( column player s ) payoffs from @xmath107 and @xmath6 must sum to zero , so if @xmath311>0 $ ] then @xmath347=0 $ ] ( @xmath6 gets negative payoff and is a strictly worse response @xmath313 or @xmath73 . ) a similar argument for the row player s payoffs establishes that one or both of @xmath316 and @xmath317 gets zero probability . given that @xmath311>\frac{1}{m}$ ] we can deduce that @xmath353=0 $ ] due to being a worse response than @xmath342 : @xmath107 contributes at least @xmath354 to @xmath355 ; @xmath313 contributes a positive amount ; @xmath6 has zero probability so contributes nothing ; @xmath73 contributes @xmath356 . we noted above that @xmath318=0 $ ] or @xmath319=0 $ ] ( or both ) . consider two cases :    * case 1 : * @xmath319=0 $ ] . deleting strategies with probability zero , we are left with the following structure :    r|c|c|c| & & & + @xmath342 & @xmath357 & @xmath358,-m)$ ] & @xmath359,[0\cdotp4,0\cdotp6])$ ] + @xmath316 & @xmath360)$ ] & @xmath361 & @xmath362)$ ] +    comparing @xmath107 with @xmath313 , we need @xmath318=1 $ ] to avoid @xmath313 being a better response than @xmath107 ( which is supposed to have positive probability @xmath363 ) . if @xmath318=1 $ ] , @xmath73 is a worse response than the others , but when the column player uses only @xmath313 and @xmath107 , @xmath316 has much lower payoff than @xmath342 , contradicting assumption that @xmath318 $ ] is positive . this leaves us with case 2 :    * case 2 : * @xmath318=0 $ ] . we get , after deleting zero - probability strategies ,    r|c|c|c| & & & + @xmath342 & @xmath357 & @xmath358,-m)$ ] & @xmath359,[0\cdotp4,0\cdotp6])$ ] + @xmath317 & @xmath362)$ ] & @xmath364 & @xmath360)$ ] +    here the contradiction is immediate since @xmath73 is a strictly better response than @xmath107 , preventing @xmath311>0 $ ] . [ lem : lbweight ] assume that @xmath365 in figure  [ lhdiagram ] and that @xmath348 . suppose that @xmath366 . then @xmath312\geq\frac{1}{10}$ ] , @xmath367\geq\frac{1}{10}$ ] , @xmath353\geq\frac{1}{10}$ ] , @xmath368\geq\frac{1}{10}$ ] .    a proof of lemma  [ lem : lbweight ] may be found in the full version . we need to consider two cases in detail : case 1 assumes that an element of @xmath349 received the l - h bonus and case 2 assumes that @xmath107 received the bonus . all other possibilities are essentially the same as these , by symmetry . suppose first that a strategy from @xmath349 has been given the l - h bonus , and we are at a nash equilibrium where @xmath369 . first we prove that the row player strategies satisfy @xmath353\geq\frac{1}{10}$ ] , @xmath368\geq\frac{1}{10}$ ] . since @xmath370 , we have @xmath353+\pr[b']\geq \frac{3}{4}$ ] . suppose for a contradiction that @xmath368<\frac{1}{10}$ ] , so that @xmath353\geq 0\cdotp65 $ ] . then ( for @xmath365 ) , @xmath107 is the unique best response for the column player and hence @xmath311=1 $ ] . this implies @xmath371 , contradicting the assumption that @xmath370 . similarly , if @xmath353<\frac{1}{10}$ ] then @xmath368\geq 0\cdotp65 $ ] , then @xmath6 is the column player s unique best response , hence @xmath347=1 $ ] , again contradicting @xmath370 . next we prove that the column player strategies satisfy @xmath312\geq\frac{1}{10}$ ] , @xmath367\geq\frac{1}{10}$ ] . suppose for a contradiction that @xmath367<\frac{1}{10}$ ] , so that @xmath312\geq0\cdotp65 $ ] . then for the row player , @xmath317 is a better response than @xmath342 and @xmath316 ( and regarding @xmath349 , some strategy from @xmath349 received the l - h bonus , so we do not claim @xmath349 is suboptimal ) . if @xmath342 is not a best response , so @xmath368=0 $ ] , since @xmath370 we have @xmath353\geq\frac{3}{4}$ ] . then @xmath107 is strictly better than @xmath313 , contradicting @xmath312\geq0\cdotp65 $ ] . alternatively suppose that @xmath312<\frac{1}{10}$ ] , so that @xmath367\geq0\cdotp65 $ ] . then @xmath316 is a better response than @xmath342 and @xmath317 , since @xmath372 ; @xmath373 since @xmath311\leq\frac{1}{4}$ ] by assumption that @xmath370 ; @xmath374 is negative . with @xmath317 and @xmath342 eliminated , @xmath107 is a strictly better response than  @xmath73 , contradicting @xmath367>0 $ ] . suppose alternatively that it was strategy @xmath316 that received the l - h bonus . we show first that the row player s strategies satisfy @xmath353\geq\frac{1}{10}$ ] , @xmath368\geq\frac{1}{10}$ ] . suppose @xmath353<\frac{1}{10}$ ] , so that @xmath368\geq0\cdotp65 $ ] . @xmath6 is a better response than @xmath313 and @xmath73 . but from that it follows that @xmath347+\pr[c]=1 $ ] , contradicting @xmath369 . suppose @xmath368<\frac{1}{10}$ ] , so that @xmath353\geq0\cdotp65 $ ] . @xmath107 is a better response than @xmath313 and @xmath73 , so @xmath311+\pr[d]=1 $ ] contradicting @xmath369 . next we show that the column player s strategies satisfy @xmath312\geq\frac{1}{10}$ ] , @xmath367\geq\frac{1}{10}$ ] . suppose @xmath367<\frac{1}{10}$ ] , so @xmath312>0\cdotp65 $ ] . @xmath317 s payoff is greater than @xmath375 while @xmath349 and @xmath342 have payoff at most @xmath376 so @xmath317 is a better response than @xmath349 and @xmath342 , contradicting @xmath370 . suppose @xmath312<\frac{1}{10}$ ] , so @xmath367>0\cdotp65 $ ] . @xmath316 is a better response than @xmath349 and @xmath342 even ignoring the l - h bonus . at @xmath335 we have that at least one of @xmath311 $ ] , @xmath347 $ ] , @xmath318 $ ] , @xmath319 $ ] is at least @xmath377 , while at the end of the browder path , we know that all these quantities are at most @xmath378 . we set the switch threshold probability to be somewhere between these , but we have to use lower bounds on @xmath312 $ ] , @xmath367 $ ] , @xmath353 $ ] , @xmath368 $ ] at @xmath4 and upper bounds on these at @xmath369 ( as well as lower bounds on these at @xmath369 to ensure that a nash equilibrium of the `` biased game '' is being encoded ) .    finally , we need to show that there exists @xmath307 such that the bonus from at least one switch strategy in @xmath326 changes continuously above @xmath307 to below it , while the bonus for the other switch strategy ends up below @xmath307 , thus initially , at least one value of @xmath305 $ ] and @xmath306 $ ] is zero , but at the end both evaluate to 1 . this needs to take into account the variable amount of probability allocated to the strategies in @xmath379 , since that affects the impact of the bonuses on @xmath329 .    for any @xmath380 $ ] the weight assigned by each player to @xmath326 s strategies is at least @xmath381 by lemma  [ lem : lbweight ] , so that the bonus for player @xmath327 to play @xmath329 , falls by a larger factor than the probability that @xmath379 is played . that means that @xmath307 can indeed be chosen as required . should a more general result be obtainable ? for example , perhaps it should be possible to identify general classes of `` path - following algorithms '' that include the ones we analyzed here , for which it is -complete to compute their output . acknowledgementssupported by epsrc grant ep / g069239/1 `` efficient decentralised approaches in algorithmic game theory ''    a potential obstacle is that such a general result may subsume the question of whether the 2-dimensional analogue of oeotl is -complete ( i.e. consider the ppad - complete problem 2d - sperner  @xcite ; suppose we ask for the trichromatic triangle identified in the proof of sperner s lemma . ) in 2 dimensions , the gadget that is used to allow `` edges '' to cross each other , rearranges the structure of those edges , such that the corresponding solutions to end of the line are the same , but not the unique solution to oeotl . generally , there are many ways to modify the edges of a given @xmath54-graph so that the degree-1 vertices are unchanged , but the structure of the graph is in other respects completely different . von stengel et al  @xcite use a tracing procedure to solve extensive two - person games , and they obtain a _ normal form perfect _ equilibrium by starting from a completely mixed starting vector . what is the complexity of computing a normal form perfect solution using this ( or other ) methods ? ( they note ( @xcite , p.  707 ) that on strategic - form games this procedure mimics the linear tracing procedure of  @xcite . )    1    y.  balasko . economic equilibrium and catastrophe theory : an introduction . _ econometrica _ , * 46*(3 ) 557 - 569 . ( 1978 )    f.e .  browder . on continuity of fixed points under deformations of continuous mappings . _ summa brasiliensis math _ * 4 * , 183 - 191 . ( 1960 )    x.  chen and x.  deng . on the complexity of 2d discrete fixed point problem . _ proceedings of 33rd icalp conference _ , lncs 4051 , 489 - 500 . ( 2006 )    x.  chen , x.  deng and s - h teng . settling the complexity of computing two - player nash equilibria . _ journal of the acm _ , * 56*(3 ) , 1 - 57 . ( 2009 )    p.  crescenzi and c.  h.  papadimitriou . reversible simulation of space - bounded computations . _ theoretical computer science _ * 143*(1 ) , 159 - 165 . ( 1995 )    c.  daskalakis , p.w . goldberg and c.h . the complexity of computing a nash equilibrium . _ siam journal on computing _ , * 39*(1 ) , 195 - 259 . ( 2009 )    b.c .  eaves . homotopies for computation of fixed points . _ mathematical programming _ , * 3*(1 ) , 1 - 22 . ( 1972 )    k.  etessami and m.  yannakakis . on the complexity of nash equilibria and other fixed points . _ siam journal on computing _ , * 39*(6 ) , 2531 - 2597 . ( 2010 )    d.  fudenberg and d.k . _ the theory of learning in games_. mit press . ( 1998 )    j.c . the tracing procedure : a bayesian approach to defining a solution for @xmath45-person noncooperative games . _ international journal of game theory _ , * 4 * , 61 - 95 . ( 1975 )    j.c .  harsanyi and r.  selten . _ a general theory of equilibrium selection in games . _ cambridge : mit press . ( 1988 )    p.j - j .  herings . two simple proofs of the feasibility of the linear tracing procedure . _ economic theory _ , * 15 * , 485 - 490 . ( 2000 )    p.j - j . herings and a. van den elzen . computation of the nash equilibrium selected by the tracing procedure in @xmath382-person games . _ games and economic behavior _ , * 38 * , 89 - 117 . ( 2002 )    p.j - j herings and r.j.a.p .  peeters . a differentiable homotopy to compute nash equilibria of @xmath45-person games . _ economic theory _ , * 18*(1 ) , 159 - 185 . ( 2001 )    p.j - j . herings and r.  peeters . homotopy methods to compute equilibria in game theory . _ economic theory _ , * 42*(1 ) , 119 - 156 . ( 2010 )    m.  d.  hirsch , c.  h.  papadimitriou and s.  a.  vavasis . exponential lower bounds for finding brouwer fixed points _ journal of complexity _ , * 5*(4 ) , 379 - 416 . ( 1989 )    m.  kearns , m.  littman and s.  singh . graphical models for game theory . _ proceedings of uai _ , 253 - 260 . ( 2001 )    d.  m.  kreps . _ a course in microeconomic theory . _ princeton univ .  press . ( 1990 )    c.  e lemke and j.  t.  howson , jr . equilibrium points of bimatrix games . _ siam j. appl . math _ , * 12*(2 ) , 413 - 423 . ( 1964 )    r.  b.  myerson . nash equilibrium and the history of economic theory . _ journal of economic literature _ , * 37*(3 ) , 1067 - 1082 . ( 1999 )    j.  nash . noncooperative games . _ annals of mathematics _ , * 54*(2 ) , 289 - 295 . ( 1951 )    m.j .  osborne and a.  rubinstein . _ a course in game theory_. mit press . ( 1994 )    c.h .  papadimitriou . on the complexity of the parity argument and other inefficient proofs of existence . _ j. comput . * 48*(3 ) , 498 - 532 . ( 1994 )    r.  savani and b.  von stengel . hard - to - solve bimatrix games . _ econometrica _ * 74*(2 ) , 397 - 429 . ( 2006 )    h.  e scarf and t.  hansen . _ the computation of economic equilibria_. yale univ . press . ( 1973 )    b.  von stengel , a.  van den elzen and d.  talman . computing normal form perfect equilibria for extensive two - person games , _ econometrica _ * 70*(2 ) , 693 - 715 . we give an outline of how to modify our first construction , so as to show that in following a sequence of approximate fixpoints of brouwer functions , or equilibria of games , @xmath2 may have to change direction exponentially many times , and furthermore , oscillate between values whose difference is bounded away from zero . @xmath18 shall be the same as in theorem  [ thm : pspace - brouwer ] . we construct a modified form of @xmath19 , which we will call @xmath383 , as follows . we identify two subsets of the cubelets @xmath68 , @xmath384 and @xmath385 , defined as @xmath386 , and @xmath387 . these subsets are `` thin layers '' of cubelets that are perpendicular to the @xmath112-axis . now we define how @xmath383 behaves on points at the centers of cubelets . for @xmath27 at the center of @xmath68 , @xmath388    for points not at the centers of cubelets , @xmath383 shall interpolate between the values at the nearest cubelet centers , using the same general approach as @xmath19 . let @xmath389 . let @xmath6 be the set of cubelets @xmath68 for which @xmath390 , so @xmath6 is the region where fixpoints of @xmath391 may exist . let @xmath392 be the connected component of @xmath6 which contains the cubelet @xmath393 , so @xmath392 is the region within which fixpoints of @xmath391 will occur on the homotopy path .    by construction , @xmath392 has the property that @xmath394 ( and similarly @xmath395 ) has exponentially many connected components . this follows from the construction of  @xcite from which @xmath6 is derived ; @xmath6 simulates a @xmath54-graph by , for each edge of the @xmath54-graph , including a long sequence of cubelets that passes through both @xmath384 and @xmath385 . now consider points in @xmath396 . the claim is that fixpoints @xmath27 of @xmath391 for which @xmath397 , satisfy @xmath398 , and that for fixpoints @xmath27 of @xmath391 with @xmath399 we have @xmath400 . the general idea ( in the first case ; the second case is similar ) is that @xmath401 will map points @xmath112 in @xmath384 to points @xmath402 for which at least one component of @xmath403 is greater than @xmath404 . hence for @xmath405 , @xmath391 raises the value of this component ( the positive contribution from @xmath383 exceeds the negative contribution from @xmath18 ) and prevents it from being a fixpoint . the homotopy path must pass through this long sequence of regions that require @xmath406 or else @xmath407 . moreover , the two types of regions alternate , so we establish the following result :    for continuous functions defined using arithmetic circuits , the sequence of fixpoints along the path given by the linear homotopy @xmath408 has exponentially many alternations of the value of @xmath2 . we obtain the following corollary :    for graphical or two - player games , suppose @xmath1 is a game that assigns each player a dominating strategy , and @xmath0 is an arbitrary game . the linear tracing procedure for the homotopy @xmath165 will , in the worst case , have exponentially many reversals of @xmath2 . the corollary follows since , the way we represent brouwer functions parameterized by @xmath2 in terms of games parameterized by @xmath2 , does not change the value of @xmath2 . since we did not change @xmath18 , the associated game @xmath1 is the same `` dominating strategy '' game of section  [ sec : lt ] . we can use the machinery of chen et al . @xcite so that when we talk about the hardness of finding an @xmath29-fixpoint , @xmath29 is allowed to be inverse polynomial rather than inverse exponential . this is achieved by using the snake embeddings of  @xcite . snake - embeddings a snake embedding reduces a low - dimensional brouwer - mapping function having @xmath44 of cubelets in each dimension , to a @xmath409 dimensional bmf having @xmath410 cubelets in each dimension , in such a way that panchromatic vertices of the high - dimensional bmf efficiently encode panchromatic vertices of the low - dimensional bmf . the reduction can be decomposed into a sequence of @xmath409 iterations , in which at each iteration , the number of cubelets along some axis is reduced by a constant factor , and we acquire an additional axis having @xmath410 cubelets ( in  @xcite it is in fact 8 cubelets ) . ( intuitively , the space is folded a constant number of times and gains thickness along the new dimension . )    a specific snake - embedding , and some notation we consider a snake - embedding of a 3-dimensional bmf @xmath89 of the type of proposition  [ prop : graph ] . initially the colors are @xmath75 ; let @xmath411 denote the new color at the @xmath134-th iteration and let @xmath212 be the number of iterations required to reduce to 8 the number of cubelets along each axis . let @xmath413 be the unit @xmath45-dimensional cube . partition @xmath413 into cubelets @xmath414 where @xmath415 represents a cubelet of edge length @xmath416 . a _ brouwer - mapping circuit _ maps each such cubelet to one of the colors @xmath417 . again , a bmf should be polynomial - time computable , and map exterior cubelets to color @xmath134 for cubelets whose @xmath134-th coordinate contains the first 0 ( when @xmath418 contains a 0 ) , otherwise color 0 . other types of bmf that correspond to definition  [ def : bmf ] are defined analogously . the high - dimensional bmf can be computed by a brouwer - mapping circuit @xmath342 that is polynomial in the size of @xmath73 . let @xmath419 be the function computed . the challenge is to implement @xmath419 using an arithmetic circuit that is polynomial in the size of the circuit that computes the bmf , and computes a lipschitz continuous function . the simplicial - decomposition technique of theorem  [ thm : bmf2circ ] no longer works when we move to non - constant dimension , since the number of simplices per cubelet is exponential in the dimension . the cubelets having colors @xmath421 are mapped to cubelets in the @xmath420-dimensional instance in such a way as to have the same neighborhood structure , but with some duplication at the folds of the embedding . the continuous implementation define @xmath422 as follows . if @xmath27 lies at the center of a cubelet ( of length @xmath416 ) , letting @xmath423 , @xmath424 , where @xmath425 if @xmath426 is the background color @xmath427 , otherwise @xmath428 where the position of the non - zero entry depends on the color @xmath426 , and is chosen to satisfy the boundary conditions of a bmf .    if @xmath27 does not lie at the center of a cubelet , we claim that for each color @xmath426 , we can efficiently compute the @xmath113 distance from @xmath27 to the closest center of a cubelet having color @xmath426 , using a linear arithmetic circuit . let @xmath429 $ ] be this distance . let @xmath430 . then define @xmath431 . in that expression for @xmath432 , @xmath433 is a constant vector , so we are not multiplying two computed quantities together ( which is disallowed in a linear arithmetic circuit ) .    why it works if we are not within distance @xmath381 of a panchromatic vertex , then @xmath434 where @xmath426 is one of the missing colors . however , there is some @xmath435 for which @xmath436 . the choice of the vectors @xmath433 ensure that @xmath437 . consequently any approximate fixpoint of @xmath438 is close to a panchromatic vertex of @xmath419 . to show that it is close enough to permit that panchromatic vertex to be efficiently reconstructed from the coordinates of the fixpoint , it is easiest to assume that there are 24 rather than 8 cubelets along each axis , with the original cubelets having been divided into 27 smaller ones all having the same color . then an approximate fixpoint can be assumed to lie within @xmath439 of a panchromatic vertex . we also need to point out that the high - dimensional bmf @xmath419 has a path of @xmath440-chromatic cubelets which simulates the path of @xmath90-chromatic cubelets in the bmf @xmath89 . thus , the one obtained by following the path in @xmath419 , encodes the one obtained by following the corresponding path in @xmath89 .    by way of a final remark , it is necessary for us to make a snake embedding of our 3d graph into higher dimension , rather than ( as in  @xcite ) reduce from the 2d version of the problem  @xcite . this is because the ppad - completeness of 2d sperner  @xcite is a reduction that alters the structure of the end of the line graph being encoded , and so would not ( in an obvious way ) apply in a reduction from oeotl .
Abstract:

Answer: we show that the widely used homotopy method for solving fixpoint problems , as well as the harsanyi - selten equilibrium selection process for games , are -complete to implement . extending our result for the harsanyi - selten process , we show that several other homotopy - based algorithms for finding equilibria of games are also -complete to implement . a further application of our techniques yields the result that it is -complete to compute any of the equilibria that could be found via the classical lemke - howson algorithm , a complexity - theoretic strengthening of the result in @xcite . these results show that our techniques can be widely applied and suggest that the -completeness of implementing homotopy methods is a general principle . game theory , computational complexity