Computational Complexity

Authors and titles for cs.CC in Apr 2016, skipping first 25

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

Title: The Systematic Normal Form of Lattices

Authors: Lior Eldar, Peter W. Shor

Subjects: Computational Complexity (cs.CC)

[27]  arXiv:1604.07981 [pdf, other]

Title: The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

Authors: Martin C. Cooper, Stanislav Živný

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 4 (December 27, 2017) lmcs:4049

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[28]  arXiv:1604.08121 [pdf, ps, other]

Title: On Polynomial Approximations to ${AC}^0$

Authors: Prahladh Harsha, Srikanth Srinivasan

Journal-ref: Random Structures and Algorithms, 54(2):289-303, 2019

Subjects: Computational Complexity (cs.CC)

[29]  arXiv:1604.08437 [pdf, other]

Title: Optimal pattern matching algorithms

Authors: Gilles Didier

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

[30]  arXiv:1604.08558 [pdf, other]

Title: Polynomial-time kernel reductions

Authors: Jeffrey Finkelstein, Benjamin Hescott

Subjects: Computational Complexity (cs.CC)

[31]  arXiv:1604.08936 [pdf, other]

Title: Complexity Hierarchies and Higher-Order Cons-Free Rewriting

Authors: Cynthia Kop, Jakob Grue Simonsen

Comments: Extended version (with appendices) of a paper published in FSCD 2016

Subjects: Computational Complexity (cs.CC)

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

Title: Partial Sublinear Time Approximation and Inapproximation for Maximum Coverage

Authors: Bin Fu

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

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

Title: Efficient Multi-Point Local Decoding of Reed-Muller Codes via Interleaved Codex

Authors: Ronald Cramer, Chaoping Xing, Chen Yuan

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

[34]  arXiv:1604.02355 (cross-list from cs.NE) [pdf, ps, other]

Title: The (1+1) Elitist Black-Box Complexity of LeadingOnes

Authors: Carola Doerr, Johannes Lengler

Comments: An extended abstract of this paper will appear at GECCO 2016

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

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

Title: Fast Computation of Isomorphisms Between Finite Fields Using Elliptic Curves

Authors: Anand Kumar Narayanan

Comments: Springer LNCS (International Workshop on the Arithmetic of Finite Fields) WAIFI 2018 proceedings version

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

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

Title: Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

Authors: Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev

Journal-ref: ACM Trans. Comput. Logic 18, 3, Article 22 (August 2017), 39 pages

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

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

Title: Logic for Unambiguous Context-Free Languages

Authors: Yassine Hachaïchi (LAMSIN)

Journal-ref: International Journal of Computer Science Theory and Application, ORB Academic Publisher, 2016, 5 (1), pp.12-19

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[38]  arXiv:1604.04359 (cross-list from cs.MA) [pdf, other]

Title: Complexity of Manipulation with Partial Information in Voting

Authors: Palash Dey, Neeldhara Misra, Y. Narahari

Comments: Appeared in IJCAI 2016. Fixed some typos

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computers and Society (cs.CY); Data Structures and Algorithms (cs.DS)

[39]  arXiv:1604.04403 (cross-list from cs.GT) [pdf, other]

Title: Elicitation for Preferences Single Peaked on Trees

Authors: Palash Dey, Neeldhara Misra

Comments: To appear in IJCAI 2016

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA)

[40]  arXiv:1604.05086 (cross-list from cs.AI) [pdf, ps, other]

Title: Normative Multiagent Systems: A Dynamic Generalization

Authors: Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su

Comments: 26 pages. A conference version of this work is accepted by the 25th International Joint Conference on Artificial Intelligence (IJCAI-16)

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

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

Title: Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

Authors: Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, Andrei Gagarin

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

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

Title: Parameterized Compilation Lower Bounds for Restricted CNF-formulas

Authors: Stefan Mengel

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

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

Title: Modeling Single-Peakedness for Votes with Ties

Authors: Zack Fitzsimmons, Edith Hemaspaandra

Comments: A shorter version of this paper will appear in STAIRS 2016

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

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

Title: On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection

Authors: Cornelius Brand, Michael Sagraloff

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

[45]  arXiv:1604.01067 (cross-list from math.NA) [pdf, ps, other]

Title: Sparse matrices for weighted sparse recovery

Authors: Bubacarr Bah

Comments: 19 pages, 4 figures

Subjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC); Information Theory (cs.IT); Computation (stat.CO)

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

Title: A Complete Characterization of Unitary Quantum Space

Authors: Bill Fefferman, Cedric Yen-Yu Lin

Comments: Subsumes arXiv:1601.01975. v2: Improved presentation, added new section (Section 5)

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

[47]  arXiv:1604.01757 (cross-list from math.GR) [pdf, ps, other]

Title: On semigroups with PSPACE-complete subpower membership problem

Authors: Markus Steindl

Journal-ref: J. Aust. Math. Soc. 106 (2019) 127-142

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC)

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

Title: A parallel repetition theorem for all entangled games

Authors: Henry Yuen

Comments: To appear in the 43rd International Colloquium on Automata, Languages, and Programming (ICALP)

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

[49]  arXiv:1604.06560 (cross-list from math.LO) [pdf, ps, other]

Title: A feasible interpolation for random resolution

Authors: Jan Krajicek

Comments: Preprint April 2016, revised September and October 2016

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (February 3, 2017) lmcs:3120

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

[50]  arXiv:1604.07130 (cross-list from math.OC) [pdf, other]

Title: Worst-case Complexity of Cyclic Coordinate Descent: $O(n^2)$ Gap with Randomized Version

Authors: Ruoyu Sun, Yinyu Ye

Comments: 47 pages. Add a few tables to summarize the main convergence rates; add comparison with classical POCS bound; add discussions on another example

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Numerical Analysis (math.NA)