|
List Of PPAD-complete Problems
This is a list of PPAD-complete problems. Fixed-point theorems * Sperner's lemma * Brouwer fixed-point theorem * Kakutani fixed-point theorem Game theory * Nash equilibrium * Core of Balanced Games Equilibria in game theory and economics * Fisher market equilibria * Arrow-Debreu equilibria * Approximate Competitive Equilibrium from Equal Incomes Approximate Competitive Equilibrium from Equal Incomes (A-CEEI) is a procedure for fair item assignment. It was developed by Eric Budish. Background CEEI (Competitive Equilibrium from Equal Incomes) is a fundamental rule for fair division of div ... * Finding clearing payments in financial networks Graph theory * Fractional stable paths problems * Fractional hypergraph matching (see also the NP-complete Hypergraph matching) * Fractional strong kernel Miscellaneous * Scarf's lemma * Fractional bounded budget connection games References * Paper available online aPapadimitriou's Homepage * * {{DEFAULTSORT:L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PPAD (complexity)
In computer science, PPAD ("Polynomial Parity Arguments on Directed graphs") is a complexity class introduced by Christos Papadimitriou in 1994. PPAD is a subclass of TFNP based on functions that can be shown to be total by a parity argument. The class attracted significant attention in the field of algorithmic game theory because it contains the problem of computing a Nash equilibrium: this problem was shown to be complete for PPAD by Daskalakis, Goldberg and Papadimitriou with at least 3 players and later extended by Chen and Deng to 2 players.*. Definition PPAD is a subset of the class TFNP, the class of function problems in FNP that are guaranteed to be total. The TFNP formal definition is given as follows: :A binary relation P(''x'',''y'') is in TFNP if and only if there is a deterministic polynomial time algorithm that can determine whether P(''x'',''y'') holds given both ''x'' and ''y'', and for every ''x'', there exists a ''y'' such that P(''x'',''y'') holds. Subclasses ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractional Hypergraph Matching
A fraction is one or more equal parts of something. Fraction may also refer to: * Fraction (chemistry), a quantity of a substance collected by fractionation * Fraction (floating point number), an (ambiguous) term sometimes used to specify a part of a floating point number * Fraction (politics), a subgroup within a parliamentary party * Fraction (radiation therapy), one unit of treatment of the total radiation dose of radiation therapy that is split into multiple treatment sessions * Fraction (religion), the ceremonial act of breaking the bread during Christian Communion People with the surname * Matt Fraction, a comic book author See also * Algebraic fraction, an indicated division in which the divisor, or both dividend and divisor, are algebraic expressions ** Irrational fraction, a type of algebraic fraction * Faction (other) * '' Frazione'', a type of administrative division of an Italian ''commune'' * Free and Independent Fraction The Free and Independent Fact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Xi Chen
Xi Chen (Chinese: 陈汐) is a computer scientist. He is an associate professor of computer science at Columbia University. Chen won the 2021 Gödel Prize and Fulkerson Prize for his co-authored paper "Complexity of Counting CSP with Complex Weights" with Jin-Yi Cai. Biography Chen received his B.S. and Ph.D. from Tsinghua University. He was a postdoctoral fellow at Institute for Advanced Study, Princeton University, University of Southern California, and joined the Columbia faculty in 2011. Chen's research focuses on computational complexity theory. He also received a Presburger Award from the European Association for Theoretical Computer Science in 2015 and a Sloan Research Fellowship The Sloan Research Fellowships are awarded annually by the Alfred P. Sloan Foundation since 1955 to "provide support and recognition to early-career scientists and scholars". This program is one of the oldest of its kind in the United States. ... in 2012. References Living peo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SICOMP
The ''SIAM Journal on Computing'' is a scientific journal focusing on the mathematical and formal aspects of computer science. It is published by the Society for Industrial and Applied Mathematics (SIAM). Although its official ISO abbreviation is ''SIAM J. Comput.'', its publisher and contributors frequently use the shorter abbreviation ''SICOMP''. SICOMP typically hosts the special issues of the IEEE Annual Symposium on Foundations of Computer Science (FOCS) and the Annual ACM Symposium on Theory of Computing (STOC), where about 15% of papers published in FOCS and STOC each year are invited to these special issues. For example, Volume 48 contains 11 out of 85 papers published in FOCS 2016. References * External linksSIAM Journal on Computing on |
Christos Papadimitriou
Christos Charilaos Papadimitriou ( el, Χρήστος Χαρίλαος "Χρίστος" Παπαδημητρίου; born August 16, 1949) is a Greek theoretical computer scientist and the Donovan Family Professor of Computer Science at Columbia University. Education Papadimitriou studied at the National Technical University of Athens, where in 1972 he received his Bachelor of Arts degree in electrical engineering. He then pursued graduate studies at Princeton University, where he received his Ph.D. in electrical engineering and computer science in 1976 after completing a doctoral dissertation titled "The complexity of combinatorial optimization problems." Career Papadimitriou has taught at Harvard, MIT, the National Technical University of Athens, Stanford, UCSD, University of California, Berkeley and is currently the Donovan Family Professor of Computer Science at Columbia University. Papadimitriou co-authored a paper on pancake sorting with Bill Gates, then a Harvard undergra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractional Bounded Budget Connection Games
A fraction is one or more equal parts of something. Fraction may also refer to: * Fraction (chemistry), a quantity of a substance collected by fractionation * Fraction (floating point number), an (ambiguous) term sometimes used to specify a part of a floating point number * Fraction (politics), a subgroup within a parliamentary party * Fraction (radiation therapy), one unit of treatment of the total radiation dose of radiation therapy that is split into multiple treatment sessions * Fraction (religion), the ceremonial act of breaking the bread during Christian Communion People with the surname * Matt Fraction, a comic book author See also * Algebraic fraction, an indicated division in which the divisor, or both dividend and divisor, are algebraic expressions ** Irrational fraction, a type of algebraic fraction * Faction (other) * '' Frazione'', a type of administrative division of an Italian ''commune'' * Free and Independent Fraction The Free and Independent Fact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scarf's Lemma
Herbert Eli "Herb" Scarf (July 25, 1930 – November 15, 2015) was an American mathematical economist and Sterling Professor of Economics at Yale University. Education and career Scarf was born in Philadelphia, the son of Jewish emigrants from Ukraine and Russia, Lene (Elkman) and Louis Scarf. During his undergraduate work he finished in the top 10 of the 1950 William Lowell Putnam Mathematical Competition, the major mathematics competition between universities across the United States and Canada. He received his PhD from Princeton in 1954, supervised by Salomon Bochner. Contributions Among his notable works is a seminal paper in cooperative game in which he showed sufficiency for a core (economics) in general balanced games. Sufficiency and necessity had been previously shown by Lloyd Shapley for games where players were allowed to transfer utility between themselves freely. Necessity is shown to be lost in the generalization. Recognition Scarf received the 1973 Frede ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractional Strong Kernel
A fraction is one or more equal parts of something. Fraction may also refer to: * Fraction (chemistry), a quantity of a substance collected by fractionation * Fraction (floating point number), an (ambiguous) term sometimes used to specify a part of a floating point number * Fraction (politics), a subgroup within a parliamentary party * Fraction (radiation therapy), one unit of treatment of the total radiation dose of radiation therapy that is split into multiple treatment sessions * Fraction (religion), the ceremonial act of breaking the bread during Christian Communion People with the surname * Matt Fraction, a comic book author See also * Algebraic fraction, an indicated division in which the divisor, or both dividend and divisor, are algebraic expressions ** Irrational fraction, a type of algebraic fraction * Faction (other) * '' Frazione'', a type of administrative division of an Italian ''commune'' * Free and Independent Fraction The Free and Independent Fact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypergraph Matching
In graph theory, a matching in a hypergraph is a set of hyperedges, in which every two hyperedges are disjoint. It is an extension of the notion of matching in a graph. Definition Recall that a hypergraph is a pair , where is a set of vertices and is a set of subsets of called ''hyperedges''. Each hyperedge may contain one or more vertices. A matching in is a subset of , such that every two hyperedges and in have an empty intersection (have no vertex in common). The matching number of a hypergraph is the largest size of a matching in . It is often denoted by . As an example, let be the set Consider a 3-uniform hypergraph on (a hypergraph in which each hyperedge contains exactly 3 vertices). Let be a 3-uniform hypergraph with 4 hyperedges: : Then admits several matchings of size 2, for example: : : However, in any subset of 3 hyperedges, at least two of them intersect, so there is no matching of size 3. Hence, the matching number of is 2. Inters ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractional Stable Paths Problems
A fraction is one or more equal parts of something. Fraction may also refer to: * Fraction (chemistry), a quantity of a substance collected by fractionation * Fraction (floating point number), an (ambiguous) term sometimes used to specify a part of a floating point number * Fraction (politics), a subgroup within a parliamentary party * Fraction (radiation therapy), one unit of treatment of the total radiation dose of radiation therapy that is split into multiple treatment sessions * Fraction (religion), the ceremonial act of breaking the bread during Christian Communion People with the surname * Matt Fraction, a comic book author See also * Algebraic fraction, an indicated division in which the divisor, or both dividend and divisor, are algebraic expressions ** Irrational fraction, a type of algebraic fraction * Faction (other) * '' Frazione'', a type of administrative division of an Italian ''commune'' * Free and Independent Fraction The Free and Independent Fact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sperner's Lemma
In mathematics, Sperner's lemma is a combinatorial result on colorings of triangulations, analogous to the Brouwer fixed point theorem, which is equivalent to it. It states that every Sperner coloring (described below) of a triangulation of an simplex contains a cell whose vertices all have different colors. The initial result of this kind was proved by Emanuel Sperner, in relation with proofs of invariance of domain. Sperner colorings have been used for effective computation of fixed points and in root-finding algorithms, and are applied in fair division (cake cutting) algorithms. Finding a Sperner coloring or equivalently a Brouwer fixed point is now believed to be an intractable computational problem, even in the plane, in the general case. The problem is PPAD-complete, a complexity class invented by Christos Papadimitriou. According to the Soviet ''Mathematical Encyclopaedia'' (ed. I.M. Vinogradov), a related 1929 theorem (of Knaster, Borsuk and Mazurkiewicz) had als ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Approximate Competitive Equilibrium From Equal Incomes
Approximate Competitive Equilibrium from Equal Incomes (A-CEEI) is a procedure for fair item assignment. It was developed by Eric Budish. Background CEEI (Competitive Equilibrium from Equal Incomes) is a fundamental rule for fair division of divisible resources. It divides the resources according to the outcome of the following hypothetical process: * Each agent receives a single unit of fiat money. This is the Equal Incomes part of CEEI. * The agents trade freely until the market attains a Competitive Equilibrium. This is a price-vector and an allocation, such that (a) each allocated bundle is optimal to its agent given his/her income - the agent cannot purchase a better bundle with the same income, and (b) the market clears - the sum of all allocations exactly equals the initial endowment. The equilibrium allocation is provably envy free and Pareto efficient. Moreover, when the agents have linear utility functions, the CEEI allocation can be computed efficiently. Unfortunately ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
