Arrow Research search

Author name cluster

Christos Papadimitriou

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

8 papers
1 author row

Possible papers

8

NeurIPS Conference 2024 Conference Paper

No-regret Learning in Harmonic Games: Extrapolation in the Face of Conflicting Interests

  • Davide Legacci
  • Panayotis Mertikopoulos
  • Christos Papadimitriou
  • Georgios Piliouras
  • Bary Pradelski

The long-run behavior of multi-agent online learning -- and, in particular, no-regret learning -- is relatively well-understood in potential games, where players have common interests. By contrast, in general harmonic games -- the strategic complement of potential games, where players have competing interests -- very little is known outside the narrow subclass of $2$-player zero-sum games with a fully-mixed equilibrium. Our paper seeks to partially fill this gap by focusing on the full class of (generalized) harmonic games and examining the convergence properties of "follow-the-regularized-leader" (FTRL), the most widely studied class of no-regret learning schemes. As a first result, we show that the continuous-time dynamics of FTRL are Poincaré recurrent, i. e. , they return arbitrarily close to their starting point infinitely often, and hence fail to converge. In discrete time, the standard, "vanilla" implementation of FTRL may lead to even worse outcomes, eventually trapping the players in a perpetual cycle of best-responses. However, if FTRL is augmented with a suitable extrapolation step -- which includes as special cases the optimistic and mirror-prox variants of FTRL -- we show that learning converges to a Nash equilibrium from any initial condition, and all players are guaranteed at most $\mathcal{O}(1)$ regret. These results provide an in-depth understanding of no-regret learning in harmonic games, nesting prior work on $2$-player zero-sum games, and showing at a high level that potential and harmonic games are complementary not only from the strategic but also from the dynamic viewpoint.

NeurIPS Conference 2018 Conference Paper

Smoothed Analysis of Discrete Tensor Decomposition and Assemblies of Neurons

  • Nima Anari
  • Constantinos Daskalakis
  • Wolfgang Maass
  • Christos Papadimitriou
  • Amin Saberi
  • Santosh Vempala

We analyze linear independence of rank one tensors produced by tensor powers of randomly perturbed vectors. This enables efficient decomposition of sums of high-order tensors. Our analysis builds upon [BCMV14] but allows for a wider range of perturbation models, including discrete ones. We give an application to recovering assemblies of neurons. Assemblies are large sets of neurons representing specific memories or concepts. The size of the intersection of two assemblies has been shown in experiments to represent the extent to which these memories co-occur or these concepts are related; the phenomenon is called association of assemblies. This suggests that an animal's memory is a complex web of associations, and poses the problem of recovering this representation from cognitive data. Motivated by this problem, we study the following more general question: Can we reconstruct the Venn diagram of a family of sets, given the sizes of their l-wise intersections? We show that as long as the family of sets is randomly perturbed, it is enough for the number of measurements to be polynomially larger than the number of nonempty regions of the Venn diagram to fully reconstruct the diagram.

TCS Journal 2009 Journal Article

A note on approximate Nash equilibria

  • Constantinos Daskalakis
  • Aranyak Mehta
  • Christos Papadimitriou

In view of the intractability of finding a Nash equilibrium, it is important to understand the limits of approximation in this context. A subexponential approximation scheme is known [Richard J. Lipton, Evangelos Markakis, Aranyak Mehta, Playing large games using simple strategies, in: EC, 2003], and no approximation better than 1 4 is possible by any algorithm that examines equilibria involving fewer than log n strategies [Ingo Althöfer, On sparse approximations to randomized strategies and convex combinations, Linear Algebra and its Applications (1994) 199]. We give a simple, linear-time algorithm examining just two strategies per player and resulting in a 1 2 -approximate Nash equilibrium in any 2-player game. For the more demanding notion of approximately well supported Nash equilibrium due to [Constantinos Daskalakis, Paul W. Goldberg, Christos H. Papadimitriou, The complexity of computing a Nash equilibrium, SIAM Journal on Computing (in press) Preliminary version appeared in STOC (2006)] no nontrivial bound is known; we show that the problem can be reduced to the case of win-lose games (games with all utilities 0 or 1 ), and that an approximation of 5 6 is possible, contingent upon a graph-theoretic conjecture. Subsequent work extends the 1 4 impossibility result of Ingo Althöfer’s paper, as mentioned above, to 1 2 [Tomás Feder, Hamid Nazerzadeh, Amin Saberi, Approximating nash equilibria using small-support strategies, in: EC, 2007], making our 1 2 -approximate Nash equilibrium algorithm optimal among the algorithms that only consider mixed strategies of sublogarithmic size support. Moreover, techniques similar to our techniques for approximately well supported Nash equilibria are used in [Spyros Kontogiannis, Paul G. Spirakis, Efficient algorithms for constant well supported approximate equilibria in bimatrix games, in: ICALP, 2007] for obtaining an efficient algorithm for 0. 658-approximately well supported Nash equilibria, unconditionally.

I&C Journal 2003 Journal Article

On the complexity of single-rule datalog queries

  • Georg Gottlob
  • Christos Papadimitriou

Datalog programs containing a unique rule and possibly some facts are known as single rule programs, or sirups. We study the complexity of evaluating sirups over variable and fixed databases, respectively, as well as the descriptive complexity of sirups, i. e. , their expressive power. In all cases it turns out that even very restricted classes of sirups have the same complexity and essentially the same expressive power as general datalog programs. In particular, the evaluation of single clause programs is EXPTIME complete (combined complexity) and, if restricted to linear recursive rules, PSPACE complete. Moreover, sirups with one recursive rule and one fact capture PTIME on ordered structures, if a certain data representation is assumed and certain predefined relations are provided. We also prove that the datalog clause implication problem, i. e. , deciding whether a datalog clause implies another one, is EXPTIME complete. Our main technical tool is a product construction which maps a datalog programs to an essentially equivalent sirup.

TCS Journal 2002 Journal Article

A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search

  • Evgeny Dantsin
  • Andreas Goerdt
  • Edward A Hirsch
  • Ravi Kannan
  • Jon Kleinberg
  • Christos Papadimitriou
  • Prabhakar Raghavan
  • Uwe Schöning

Local search is widely used for solving the propositional satisfiability problem. Papadimitriou (1991) showed that randomized local search solves 2-SAT in polynomial time. Recently, Schöning (1999) proved that a close algorithm for k-SAT takes time (2−2/k) n up to a polynomial factor. This is the best known worst-case upper bound for randomized 3-SAT algorithms (cf. also recent preprint by Schuler et al.). We describe a deterministic local search algorithm for k-SAT running in time (2−2/(k+1)) n up to a polynomial factor. The key point of our algorithm is the use of covering codes instead of random choice of initial assignments. Compared to other “weakly exponential” algorithms, our algorithm is technically quite simple. We also describe an improved version of local search. For 3-SAT the improved algorithm runs in time 1. 481 n up to a polynomial factor. Our bounds are better than all previous bounds for deterministic k-SAT algorithms.

IJCAI Conference 1995 Conference Paper

The Comparative Linguistics of Knowledge Representation

  • Goran Gogic
  • Henry Kautz
  • Christos Papadimitriou
  • Bart Selrnan

We develop a methodology for comparing knowledge representation formalisms in terms of their "representational succinctness, " that is, their ability to express knowledge situations relatively efficiently. We use this framework for comparing many important formalisms for knowledge base representation: propositional logic, default logic, circumscription, and model preference defaults; and, at a lower level, Horn formulas, characteristic models, decision trees, disjunctive normal form, and conjunctive nor­ mal form. We also show that adding new vari­ ables improves the effective expressibility of certain knowledge representation formalisms.

IJCAI Conference 1995 Conference Paper

Topological Inference

  • Michelangelo Grigni
  • Dimitris Papadias
  • Christos Papadimitriou

Geographical database systems deal with certain basic topological relations such as "A overlaps B" and "B contains C" between simply connected regions in the plane. It is of great interest to make sound inferences from elementary statements of this form. This problem has been identified extensively in the recent literature, but very limited progress has been made towards addressing the considerable technical difficulties involved. In this paper we study the computational problems involved in developing such an inference system. We point out that the problem has two distinct components that interact in rather complex ways: relational consistency, and planarity. We develop polynomial-time algorithms for several important special cases, and prove almost all the others to be NP-hard.

v2026.09.13