Title :
Table of contents
Abstract :
The following topics are dealt with: network routing games; automatic inequality prover; instance optimal identity testing; bi-Lipschitz bijection; circuit complexity; proof complexity; polynomial identity testing; local Hamiltonian problems; counting subgraphs; constructive discrepancy minimization; decremental single-source shortest paths; undirected graphs; digital morphogenesis; hypergraph coloring; capacitated facility location; crowdsourcing; Steiner problems; planar graphs; bounded-genus graphs; monotonicity testing; noisy interactive quantum communication; Reed-Solomon erasure codes; matroid secretary problem; subgraph isomorphism; online bipartite matching; interactive coding; private RAM computation; linear programming; interactive data analysis; private empirical risk minimization; satisfiability; nonclairvoyantly scheduling heterogeneous processors; De Morgan formulae; single pass spectral sparsification; nearest neighbor search; distributed epsilon-approximation communication complexity; higher domain Holant problems; and Dyck language edit distance problem.
Keywords :
Reed-Solomon codes; circuit complexity; communication complexity; computability; data analysis; encoding; facility location; game theory; graph theory; linear programming; minimisation; network routing; processor scheduling; quantum communication; random-access storage; De Morgan formulae; Dyck language edit distance problem; Matroid secretary problem; Reed-Solomon erasure codes; Steiner problems; automatic inequality prover; biLipschitz bijection; bounded-genus graphs; capacitated facility location; circuit complexity; constructive discrepancy minimization; counting subgraphs; crowdsourcing; decremental single-source shortest paths; digital morphogenesis; distributed epsilon-approximation communication complexity; higher domain Holant problems; hypergraph coloring; instance optimal identity testing; interactive coding; interactive data analysis; linear programming; local Hamiltonian problems; monotonicity testing; nearest neighbor search; network routing games; noisy interactive quantum communication; nonclairvoyantly scheduling heterogeneous processors; online bipartite matching; planar graphs; polynomial identity testing; private RAM computation; private empirical risk minimization; proof complexity; satisfiability; single pass spectral sparsification; subgraph isomorphism; undirected graphs;
Conference_Titel :
Foundations of Computer Science (FOCS), 2014 IEEE 55th Annual Symposium on
Conference_Location :
Philadelphia, PA
DOI :
10.1109/FOCS.2014.4