Computational Complexity

Authors and titles for cs.CC in Apr 2015

[1]  arXiv:1504.00151 [pdf, ps, other]

Title: Bi-polynomial rank and determinantal complexity

Authors: Akihiro Yabe

Comments: 20 pages

Subjects: Computational Complexity (cs.CC)

[2]  arXiv:1504.00337 [pdf, ps, other]

Title: Understanding SAT is in P

Authors: Alejandro Sanchez Guinea

Comments: 10 pages, the paper is completely changed from previous versions while the main idea is the same, correctness and time complexity proofs are included

Subjects: Computational Complexity (cs.CC)

[3]  arXiv:1504.00442 [pdf, ps, other]

Title: Refuting Unique Game Conjecture

Authors: Peng Cui

Comments: 6 pages, short note. arXiv admin note: substantial text overlap with arXiv:1401.6520

Subjects: Computational Complexity (cs.CC)

[4]  arXiv:1504.00572 [pdf, ps, other]

Title: Efficient indexing of necklaces and irreducible polynomials over finite fields

Authors: Swastik Kopparty, Mrinal Kumar, Michael Saks

Subjects: Computational Complexity (cs.CC)

[5]  arXiv:1504.00695 [pdf, ps, other]

Title: Trading query complexity for sample-based testing and multi-testing scalability

Authors: Eldar Fischer, Oded Lachish, Yadu Vasudev

Subjects: Computational Complexity (cs.CC)

[6]  arXiv:1504.00703 [pdf, other]

Title: The matching problem has no small symmetric SDP

Authors: Gábor Braun, Jonah Brown-Cohen, Arefin Huq, Sebastian Pokutta, Prasad Raghavendra, Aurko Roy, Benjamin Weitz, Daniel Zink

Comments: 18 pages

Journal-ref: Proceedings of SODA 2016, 1067-1078

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:1504.00834 [pdf, other]

Title: The complexity of computation in bit streams

Authors: Raphael Clifford, Markus Jalsenius, Benjamin Sach

Comments: 24 pages

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[8]  arXiv:1504.01092 [pdf, ps, other]

Title: Technical Notes on Complexity of the Satisfiability Problem

Authors: Marek A. Suchenek

Comments: 18 pages

Subjects: Computational Complexity (cs.CC)

[9]  arXiv:1504.01167 [pdf, other]

Title: Heuristic algorithms for obtaining Polynomial Threshold Functions with low densities

Authors: Can Eren Sezener, Erhan Oztop

Comments: This paper will appear in the 13th Cologne-Twente Workshop on Graphs & Combinatorial Optimization

Subjects: Computational Complexity (cs.CC); Neural and Evolutionary Computing (cs.NE)

[10]  arXiv:1504.01339 [pdf, ps, other]

Title: Separating decision tree complexity from subcube partition complexity

Authors: Robin Kothari, David Racicot-Desloges, Miklos Santha

Comments: 16 pages, 1 figure

Journal-ref: Leibniz International Proceedings in Informatics (LIPIcs) 40, pp. 915-930 (2015)

Subjects: Computational Complexity (cs.CC)

[11]  arXiv:1504.01431 [pdf, ps, other]

Title: If the Current Clique Algorithms are Optimal, so is Valiant's Parser

Authors: Amir Abboud, Arturs Backurs, Virginia Vassilevska Williams

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[12]  arXiv:1504.01656 [pdf, ps, other]

Title: Tight Size-Degree Bounds for Sums-of-Squares Proofs

Authors: Massimo Lauria, Jakob Nordström

Subjects: Computational Complexity (cs.CC)

[13]  arXiv:1504.02411 [pdf, ps, other]

Title: Can Almost Everybody be Almost Happy? PCP for PPAD and the Inapproximability of Nash

Authors: Yakov Babichenko, Christos Papadimitriou, Aviad Rubinstein

Comments: Revision 2 derandomizes the main reduction

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[14]  arXiv:1504.03398 [pdf, other]

Title: An average-case depth hierarchy theorem for Boolean circuits

Authors: Benjamin Rossman, Rocco A. Servedio, Li-Yang Tan

Subjects: Computational Complexity (cs.CC)

[15]  arXiv:1504.03856 [pdf, ps, other]

Title: Sparse multivariate polynomial interpolation in the basis of Schubert polynomials

Authors: Priyanka Mukhopadhyay, Youming Qiao

Comments: 20 pages; some typos corrected

Journal-ref: Computational Complexity, 2017 Dec, 26(4), pp. 881-909

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[16]  arXiv:1504.03923 [pdf, ps, other]

Title: $2^{(\log N)^{1/10-o(1)}}$ Hardness for Hypergraph Coloring

Authors: Sangxia Huang

Comments: The main theorem of Section 4 in the previous version contains a bug, replaced with a new construction. This gives a weaker hardness of 2^{(logn)^{1/10}} than the 2^{(logn)^{1/4}} in the previous version

Subjects: Computational Complexity (cs.CC)

[17]  arXiv:1504.04181 [pdf, ps, other]

Title: Constraint Satisfaction Problems around Skolem Arithmetic

Authors: Christian Glasser, Peter Jonsson, Barnaby Martin

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[18]  arXiv:1504.04675 [pdf, other]

Title: Pseudorandomness for Read-Once, Constant-Depth Circuits

Authors: Sitan Chen, Thomas Steinke, Salil Vadhan

Subjects: Computational Complexity (cs.CC)

[19]  arXiv:1504.04813 [pdf, ps, other]

Title: Communication with Contextual Uncertainty

Authors: Badih Ghazi, Ilan Komargodski, Pravesh Kothari, Madhu Sudan

Comments: 20 pages + 1 title page

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[20]  arXiv:1504.05171 [pdf, ps, other]

Title: On minimal free resolutions of sub-permanents and other ideals arising in complexity theory

Authors: Klim Efremenko, J.M. Landsberg, Hal Schenck, Jerzy Weyman

Comments: Prior version split into two parts; portion on method of shifted partials is now arXiv 1609.02103. Title changed to reflect modification. V2: changes suggested by referee

Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

[21]  arXiv:1504.05240 [pdf, ps, other]

Title: On the complexity of computing prime tables

Authors: Martin Farach-Colton, Meng-Tsung Tsai

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[22]  arXiv:1504.05556 [pdf, ps, other]

Title: On Fortification of Projection Games

Authors: Amey Bhangale, Ramprasad Saptharishi, Girish Varma, Rakesh Venkat

Comments: 19 pages

Subjects: Computational Complexity (cs.CC)

[23]  arXiv:1504.05653 [pdf, ps, other]

Title: High rate locally-correctable and locally-testable codes with sub-polynomial query complexity

Authors: Swastik Kopparty, Or Meir, Noga Ron-Zewi, Shubhangi Saraf

Subjects: Computational Complexity (cs.CC)

[24]  arXiv:1504.05908 [pdf, ps, other]

Title: Maximum Pagenumber-k Subgraph is NP-Complete

Authors: Peter Jonsson, Marco Kuhlmann

Comments: 6 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

[25]  arXiv:1504.06213 [pdf, ps, other]

Title: Sums of products of polynomials in few variables : lower bounds and polynomial identity testing

Authors: Mrinal Kumar, Shubhangi Saraf

Subjects: Computational Complexity (cs.CC)

[26]  arXiv:1504.06602 [pdf, ps, other]

Title: The Range of Topological Effects on Communication

Authors: Arkadev Chattopadhyay, Atri Rudra

Subjects: Computational Complexity (cs.CC)

[27]  arXiv:1504.06731 [pdf, ps, other]

Title: Lower Bounds for the Size of Nondeterministic Circuits

Authors: Hiroki Morizumi

Comments: the submitted version to COCOON'15

Subjects: Computational Complexity (cs.CC)

[28]  arXiv:1504.06830 [pdf, other]

Title: Information Complexity and the Quest for Interactive Compression (A Survey)

Authors: Omri Weinstein

Subjects: Computational Complexity (cs.CC)

[29]  arXiv:1504.06890 [pdf, ps, other]

Title: A Refutation of the Clique-Based P=NP Proofs of LaPlante and Tamta-Pande-Dhami

Authors: Hector A. Cardenas, Chester Holtz, Maria Janczak, Philip Meyers, Nathaniel S. Potrepka

Comments: 14 pages, 11 figures arXiv:1403.1178v1 [cs.DS] arXiv:1503.04794v1 [cs.DS]

Subjects: Computational Complexity (cs.CC)

[30]  arXiv:1504.07067 [pdf, ps, other]

Title: Effectiveness of Structural Restrictions for Hybrid CSPs

Authors: Vladimir Kolmogorov, Michal Rolinek, Rustem Takhanov

Comments: 20 pages

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[31]  arXiv:1504.07697 [pdf, ps, other]

Title: Polynomial Factorization over Finite Fields By Computing Euler-Poincare Characteristics of Drinfeld Modules

Authors: Anand Kumar Narayanan

Comments: Proof of theorem 1.4 and section 4 revised

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Number Theory (math.NT)

[32]  arXiv:1504.08120 [pdf, ps, other]

Title: Parameterized Algorithms for Deletion to (r,l)-graphs

Authors: Sudeshna Kolay, Fahad Panolan

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[33]  arXiv:1504.08352 [pdf, ps, other]

Title: ETH Hardness for Densest-$k$-Subgraph with Perfect Completeness

Authors: Mark Braverman, Young Kun Ko, Aviad Rubinstein, Omri Weinstein

Subjects: Computational Complexity (cs.CC)

[34]  arXiv:1504.08361 [pdf, other]

Title: Rational Proofs with Multiple Provers

Authors: Jing Chen, Samuel McCauley, Shikha Singh

Comments: Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. ACM, 2016

Subjects: Computational Complexity (cs.CC)

[35]  arXiv:1504.00169 (cross-list from cs.FL) [pdf, ps, other]

Title: Complete Simulation of Automata Networks

Authors: Florian Bridoux, Alonso Castillo-Ramirez, Maximilien Gadouleau

Comments: Vastly updated version of the paper previously known as "Universal simulation of automata networks." Florian Bridoux has joined the paper, thanks to his significant contribution

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Group Theory (math.GR)

[36]  arXiv:1504.00681 (cross-list from cs.DS) [pdf, ps, other]

Title: Approximation of non-boolean 2CSP

Authors: Guy Kindler, Alexandra Kolla, Luca Trevisan

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[37]  arXiv:1504.01130 (cross-list from cs.DS) [pdf, other]

Title: Proving the Herman-Protocol Conjecture

Authors: Maria Bruna, Radu Grigore, Stefan Kiefer, Joël Ouaknine, James Worrell

Comments: ICALP 2016

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)

[38]  arXiv:1504.01145 (cross-list from cs.LO) [pdf, ps, other]

Title: Dualization in Lattices Given by Ordered Sets of Irreducibles

Authors: Mikhail A. Babin, Sergei O. Kuznetsov

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[39]  arXiv:1504.01175 (cross-list from cs.CR) [pdf, ps, other]

Title: New algorithm for the discrete logarithm problem on elliptic curves

Authors: Igor Semaev

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Commutative Algebra (math.AC); Number Theory (math.NT)

[40]  arXiv:1504.01459 (cross-list from cs.DS) [pdf, other]

Title: A Complete Worst-Case Analysis of Heapsort with Experimental Verification of Its Results, A manuscript (MS)

Authors: Marek A. Suchenek

Comments: 115 pages 41 figures

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[41]  arXiv:1504.01649 (cross-list from cs.DS) [pdf, ps, other]

Title: The List-Decoding Size of Fourier-Sparse Boolean Functions

Authors: Ishay Haviv, Oded Regev

Comments: 16 pages, CCC 2015

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[42]  arXiv:1504.01836 (cross-list from cs.DS) [pdf, ps, other]

Title: New Unconditional Hardness Results for Dynamic and Online Problems

Authors: Raphael Clifford, Allan Grønlund, Kasper Green Larsen

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Information Theory (cs.IT)

[43]  arXiv:1504.02072 (cross-list from cs.RO) [pdf, other]

Title: Intractability of Optimal Multi-Robot Path Planning on Planar Graphs

Authors: Jingjin Yu

Comments: Updated draft

Subjects: Robotics (cs.RO); Computational Complexity (cs.CC)

[44]  arXiv:1504.02146 (cross-list from cs.DS) [pdf, other]

Title: Discrete Stochastic Submodular Maximization: Adaptive vs. Non-Adaptive vs. Offline

Authors: Lisa Hellerstein, Devorah Kletenik, Patrick Lin

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Optimization and Control (math.OC)

[45]  arXiv:1504.02444 (cross-list from cs.FL) [pdf, other]

Title: Adaptive Homing is in P

Authors: Natalia Kushik (Tomsk State University), Nina Yevtushenko (Tomsk State University)

Comments: In Proceedings MBT 2015, arXiv:1504.01928

Journal-ref: EPTCS 180, 2015, pp. 73-78

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)

[46]  arXiv:1504.04103 (cross-list from cs.DS) [pdf, ps, other]

Title: Faster Algorithms for Testing under Conditional Sampling

Authors: Moein Falahatgar, Ashkan Jafarpour, Alon Orlitsky, Venkatadheeraj Pichapathi, Ananda Theertha Suresh

Comments: 31 pages

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Machine Learning (cs.LG); Statistics Theory (math.ST)

[47]  arXiv:1504.04708 (cross-list from cs.LO) [pdf, ps, other]

Title: The model checking fingerprints of CTL operators

Authors: Andreas Krebs, Arne Meier, Martin Mundhenk

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[48]  arXiv:1504.05476 (cross-list from cs.DS) [pdf, other]

Title: Optimal parameterized algorithms for planar facility location problems using Voronoi diagrams

Authors: Dániel Marx, Michał Pilipczuk

Comments: 64 pages, 16 figures

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Computational Geometry (cs.CG)

[49]  arXiv:1504.05515 (cross-list from cs.DS) [pdf, ps, other]

Title: Parameterized complexity dichotomy for $(r,\ell)$-Vertex Deletion

Authors: Julien Baste, Luerbio Faria, Sulamita Klein, Ignasi Sau

Comments: After the first version of this article appeared in arXiv, we learnt that Kolay and Panolan [abs/1504.08120] obtained simultaneously and independently some of the results of this article

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[50]  arXiv:1504.05666 (cross-list from cs.IT) [pdf, other]

Title: Information Complexity Density and Simulation of Protocols

Authors: Himanshu Tyagi, Shaileshh Venkatakrishnan, Pramod Viswanath, Shun Watanabe

Comments: Submitted to the IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC)

[51]  arXiv:1504.06135 (cross-list from cs.LO) [pdf, ps, other]

Title: Complexity of Propositional Logics in Team Semantics

Authors: Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

Comments: 15 pages + 1 page appendix, the main result is generalised and the title updated to reflect this

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)

[52]  arXiv:1504.06187 (cross-list from cs.LO) [pdf, ps, other]

Title: LTL Fragments are Hard for Standard Parameterisations

Authors: Martin Lück, Arne Meier

Comments: TIME 2015 conference version

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[53]  arXiv:1504.06240 (cross-list from cs.IT) [pdf, other]

Title: A Computable Measure of Algorithmic Probability by Finite Approximations with an Application to Integer Sequences

Authors: Fernando Soler-Toscano, Hector Zenil

Comments: As accepted by the journal Complexity (Wiley/Hindawi)

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[54]  arXiv:1504.06409 (cross-list from cs.LO) [pdf, ps, other]

Title: Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics

Authors: Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer

Comments: Correction of MFCS 2015 paper

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[55]  arXiv:1504.07648 (cross-list from cs.IT) [pdf, ps, other]

Title: Nearly Optimal Deterministic Algorithm for Sparse Walsh-Hadamard Transform

Authors: Mahdi Cheraghchi, Piotr Indyk

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Machine Learning (cs.LG); Functional Analysis (math.FA)

[56]  arXiv:1504.07687 (cross-list from cs.GT) [pdf, ps, other]

Title: Public projects, Boolean functions and the borders of Border's theorem

Authors: Parikshit Gopalan, Noam Nisan, Tim Roughgarden

Comments: Accepted to ACM EC 2015

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

[57]  arXiv:1504.00143 (cross-list from math.PR) [pdf, ps, other]

Title: Fully explicit large deviation inequalities for empirical processes with applications to information-based complexity

Authors: Christoph Aistleitner

Comments: 10 pages

Subjects: Probability (math.PR); Computational Complexity (cs.CC); Information Theory (cs.IT); Numerical Analysis (math.NA)

[58]  arXiv:1504.03732 (cross-list from math.AG) [pdf, ps, other]

Title: Abelian Tensors

Authors: J.M. Landsberg, Mateusz Michałek

Comments: to appear in JMPA

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC)

[59]  arXiv:1504.03761 (cross-list from math.OC) [pdf, ps, other]

Title: Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems

Authors: Amir Ali Ahmadi, Raphael Jungers

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Systems and Control (eess.SY); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)

[60]  arXiv:1504.05155 (cross-list from quant-ph) [pdf, ps, other]

Title: The Classification of Reversible Bit Operations

Authors: Scott Aaronson, Daniel Grier, Luke Schaeffer

Comments: 68 pages, 7 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[61]  arXiv:1504.07830 (cross-list from math.OC) [pdf, ps, other]

Title: On k-Submodular Relaxation

Authors: Hiroshi Hirai, Yuni Iwamasa

Comments: 11 pages, corrected typos, accepted in SIAM Journal on Discrete Mathematics

Journal-ref: SIAM Journal on Discrete Mathematics, 30(3):1726-1736, 2016

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[62]  arXiv:1504.07999 (cross-list from quant-ph) [pdf, other]

Title: Average-case complexity versus approximate simulation of commuting quantum computations

Authors: Michael J. Bremner, Ashley Montanaro, Dan J. Shepherd

Comments: This version is arguably easier to read than v1. Trust us, we argued about it. 4+1+5 pages, RevTex 4.1

Journal-ref: Phys. Rev. Lett. 117, 080501 (2016)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[63]  arXiv:1504.08316 (cross-list from math.PR) [pdf, other]

Title: Concentration of the number of solutions of random planted CSPs and Goldreich's one-way candidates

Authors: Emmanuel Abbe, Katherine Edwards

Comments: 17 pages

Subjects: Probability (math.PR); Computational Complexity (cs.CC)