Christos H. Papadimitriou

 

C. Lester Hogan Professor of EECS
Computer Science Division
University of California at Berkeley
Soda Hall 689
EECS Department
Berkeley, CA 94720, U.S.A.
(510) 642-1559
christos@cs,berkeley,edu

I studied in Athens Polytechnic (BS in EE 1972) and Princeton (MS in EE, 1974 and PhD in EECS, 1976).

Since then, I have taught at Harvard, MIT, Athens Polytechnic, Stanford, and UCSD.
I came to Berkeley in January 1996 (but I was here also in 1978 as a Miller fellow).

I am interested in the theory of algorithms and complexity, and its applications to databases, optimization, AI, networks, and game theory.

I have written these books

• Elements of the theory of computation (Prentice-Hall 1982, with Harry Lewis, second edition September 1997 ) Click here for typos in the second edition, here for postscript.
• Combinatorial optimization: algorithms and complexity (Prentice-Hall 1982, with Ken Steiglitz; second edition by Dover, 1998)
• The theory of database concurrency control (CS Press 1988)
• Computational Complexity (Addison Wesley, 1994)
• NEW! Algorithms with Sanjoy Dasgupta and Umesh Vazirani, McGraw-Hill 2006; here is a preview

 

 

I have also written a novel Turing (a novel about computation) , MIT Press, November 2003; published in Greek as Turing's smile.  And I'm now working on something completely different with my friend Apostolos Doxiadis, author of "Uncle Petros and Goldbach's Conjecture,"   Related to all this, I was one of the organizers of a symposium on Mathematics and Narrative  (here is my talk).  Finally, "Isovia stous xaker?" ("Life sentence to hackers?") is a book of essays that I recently wrote in Greek.

teaching

I am teaching CS170, Algorithms and Intractability, and a seminar on "Reading the Classics" (CS294-17)

The Game Theory seminar I was supposed to teach in the Spring 2007 semester has been postponed for the Fall semester of 2008.

office hours:

Monday and Thursday 5-6pm.

ombudsman

some recent publications:

general

• C. H. Papadimitriou ``Database metatheory: asking the big queries'' a look at database theory, and CS theory in general, from the point of view of the philosophy/history of science (a one-time experiment), for PODS 95; reprinted in SIGACT News,, Spring 1996.
• C. H. Papadimitriou ``Extroverted complexity theory'' a short survey and apologia of work that applies complexity concepts, results, and techniques to fields outside CS. Appeared in SIGACT News,, Spring 1997.
• C. H. Papadimitriou ``NP-completeness: A retrospective,'' appeared in ICALP 97 (published by Springer LNCS).
• C. H. Papadimitriou MythematiCS: In Praise of Storytelling in the teaching of CS and Math Inroads (SIGCSE Bulletin), based in a talk that I gave at the International conference on CS Education ITICSE July 2 2003,  in Thessaloniki, Greece.

database theory

• J. M. Hellerstein, E. Koutsoupias, C. H. Papadimitriou ``Towards a theory of indexability,'' the characterization problem of database query workloads which can be indexed effectively. Preliminary version appeared in PODS 97.
• C. H. Papadimitriou, M. Sideri ``On the Floyd-Warshall algorithm for logic programs,'' shows that the Floyd-Warshall algorithm is essentially unique, J. of Logic Programming.
• J. Kleinberg, C. H. Papadimitriou, P. Raghavan Two papers  on a novel approach to data mining. Preliminary version of  one  appeared in STOC 98, the  other  in the J. of Knowledge Discovery and Datamining.
• C. H. Papadimitriou, M. Yannakakis ``On the complexity of database queries,'' Proceedings of the 1997 PODS, full version in JCSS.
• C. H. Papadimitriou, P. Raghavan, H. Tamaki, S. Vempala ``Latent semantic indexing: A probabilistic analysis,'' analyzes an information retrieval technique related to principle components analysis. Preliminary version appeared in PODS 98.  Full version in the JCSS special issue.
• J. Kleinberg, C. H. Papadimitriou, P. Raghavan  On the value of private information TARK 2001.  Privacy concerns for on-line information give rise to algorithmic problems related to the computation of an individual's fair royalty for the use of private information
• R. M. Karp, C. H. Papadimitriou, S. Shenker  A Simple Algorithm for Finding Frequent Elements in Streams and Bags

biology

• C. H. Papadimitriou and M. Sideri On the evolution of easy instances , reports experiments in which the genetic algorithm creates easy instances of the TSP. A possible connection to proteins is discussed.
• P. Crescenzi, D. Goldman, C. H. Papadimitriou, A. Piccolboni, M. Yannakakis ``On the complexity of protein folding'' NP-completeness of the two-dimensional H-P model. Preliminary version appeared in STOC 98, full version in J. of Comp. Biology.
• R. Desper et al. Inferring tree models for oncogenesis from comparative genome hybridization data to appear J. of Computational Biology.  First in a series of papers applying a specialized (and combinatorial) learning algorithm to the problem of detecting the genetic mechanisms of cancer development.

complexity

• C. H. Papadimitriou, J. Tsitsiklis ``The complexity of optimum queuing network control,'' a natural optimization problem proved EXP-complete. To appear in Math. OR.
• C. H. Papadimitriou, Santosh Vempala  On the Approximability of the Traveling Salesman Problem Our latest lower bounds for approximation ratios for the TSP (220/219, 117/116 for the symmetric case).  Corrected results differ (one is slightly better, the other slightly worse) from those in the extended abstract in STOC 2000.
• M. Grigni, V. Mirelli, C. H. Papadimitriou, ``On the Difficulty of Designing Good Classifiers,'' a surprisingly strong (and simple to prove) lower bound on designing good linear classifiers. SIAM J. Comp.
• The complexity of minimum distortion embeddings between point sets, with Muli Safra.  The distortion of bijections between two 3-dimensional point sets is hard to approximate within a factor better than 3.  (In the reduction, ignore the assumption, never  used, that the graph is cubic -- such graphs 3-coloring is easy, thanks to Andre Schulz for pointing this out to us.)

algorithms

• Z. Chen, M. Grigni, C. H. Papadimitriou ``Planar map graphs,'' an interesting variant of planarity motivated by topological reasoning on the plane. Preliminary version appeared in STOC 98.
• E. Dantsin et al.  A deterministic (2k/k+1)ⁿ algorithm for k-SAT based on local search

multiobjective optimization

• C. H. Papadimitriou, M. Yannakakis  The complexity of tradeoffs, and optimal access of web sources FOCS 2000. A complexity-theoretic treatment of multiobjective optimization.  Approximate Pareto curves of small size exist for all such problems, but can be constructed efficiently only under certain subtle conditions.  Also, an application to  database query optimization , a paper in PODS 2001.
• C. H. Papadimitriou and E. Servan-Schreiber  The origins of the deadline: Optimizing communication in organizations (presented at a workshop on Complexity in Economic Games in Aix-en-Provence, 1999, and will appear in an edited book on complexity in  economics). In a model in which information must travel fast within an organization, but information transmission entails "interruption costs," familiar organizational behaviors such as weekly meetings, monthly reports, and periodic deadlines seem to emerge as optimal strategies
• C. H. Papadimitriou ``Computational aspects of organization theory'' a survey of work on this topic which I presented at the 1996 European Symposium on Algorithms in Barcelona, Spain (published by Springer LNCS).

internet and sensornets

• E. Koutsoupias, C. H. Papadimitriou ``Worst-case equilibria,'' STACS 99.  What is the price of anarchy in Internet routing?
• J. Feigenbaum, C. H. Papadimitriou, S. Shenker Sharing the cost of multicast transactions STOC 2000.  A problem in the interface between networking, economics, and complexity, where insights in the efficiency (or lack thereof) in distributed computation affect the landscape of possible solutions in the problem of pricing multicasts.
• R. M. Karp, E. Koutsoupias, C. H. Papadimitriou, S. Shenker Algorithmic problems in congestion control  FOCS 2000.  "Of which problem is TCP/IP congestion control the solution?"
• Alex Fabrikant, Elias Koutsoupias, C. H.Papadimitriou  Heuristically Optimized Trade-offs  A simple model explains the power laws in degree sequences in the Internet graph.  Are powerlaws the manifestation of complex multicriterion optimization?  See  also for an explanation of the mysterious power law in the eigenvalues of the Internet graph (it is a corollary of the degree power law...)
• C. H. Papadimitriou Algorithms, Games, and the Internet STOC 2001 (extended abstract in ICALP 2001).  A survey of algorithmic problems related to Game Theory and the Internet.
• A  tutorial on "Game Theory and Math Economics:  A TCS Introduction" that I presented at the 2001 FOCS.
• On a conjecture related to greedy routing (with David Ratajczak) every planar 3-connected graph can be embedded on the plane so that greedy routing works.  (Or perhaps not?)
• J. Feigenbaum, C. H. Papadimitriou, R. Sami, S. Shenker  A BGP-based Mechanism for Lowest-cost Routing The Vickrey (or VCG) mechanism can be implemented without considerable overhead for Internet routing; initial experiments show that overpayments would be rather small (PODC 2002).
• Alex Fabrikant, Ankur Luthra, Elitza Maneva, Christos H. Papadimitriou, Scott Shenker  On a Network Creation Game, PODC 2003.  The power of anarchy when nodes contribute costly links and are mindful of distances to other nodes.
• Geographic Routing without Location Information with Ananth Rao, Sylvia Ratnasamy,  Scott Shenker, and Ion Stoica, MOBICOM 2003.
• M. Mihail, C. H. Papadimitriou, A. Saberi   On Certain Connectivity Properties of the Internet Topology, FOCS 2003:  Sparse scale-free graphs have good expansion properties, and random sparse graphs have low VCG overpayment.
• Global synchronization in sensornets, with Richard Karp, Jeremy Elson, and Scott Shenker.

computing equilibria

• On the complexity of pure equilibria , with Alex Fabrikant and Kunal Talwar, explores the complexity of finding pure Nash equilibria in congestion games and similar games, pointing out that many of these problems are PLS-complete (that is, as hard to find as any object whose  existence is  guranteed by a potential function argument). A polynomial algorithm for the symmetric case leads to efficient combinatorial algorithms for computing Nash equilibria in non-atomic congestion games.
• Computing equilibria in multiplayer games, with Tim Roughgarden.  Algorithmic results  for the special case of symmetric and other succinctly representable games:  correlated equilibria can be found in polynomial time for a broad class that includes all previously known cases..
• Computing correlated equilibria in multiplayer games.  correlated equilibria (a well-studied generalization of the Nash equilibrium due to Aumann) can be computed in polynomial time in essentially all kinds of multiplayer games studied in the literature: congestion, graphic, symmetric, local effect, facility location, scheduling, etc.
• The complexity of games on highly regular graphs  (with Costas Daskalakis) finding a pure equilibrium on a game played on a d-dimensional grid is NEXP-complete, unless d = 1, in which case it is in P.
• Three papers on the complexity of finding mixed Nash equilibria:  Reductions between graphical and normal form games, and   PPAD-completeness for 4-player normalform games, and three players too.
• Deng Xiaotie, C. H. Papadimitriou, Muli Safra  On the Complexity of Equilibria., STOC 02   Approximability and communication complexity results related to price equilibrium computations when the goods are indivisible.

and some older papers

• W. Gates and C. Papadimitriou, Bounds for sorting by prefix reversal (1976)
• L. Kirousis and C. Papadimitriou, Complexity of recognizing polyhedral scenes (1985)
• C. Papadimitriou The Complexity of the Parity Argument and Other Inefficient proofs of Existence (1991)