Computational Complexity

Authors and titles for January 2017

[1] arXiv:1701.00146 [pdf, other]

Title: Even $1 \times n$ Edge-Matching and Jigsaw Puzzles are Really Hard

Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Pasin Manurangsi, Anak Yodpinyanee

Comments: 22 pages, 9 figures

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)

[2] arXiv:1701.00227 [pdf, other]

Title: Closed Sets and Operators thereon: Representations, Computability and Complexity

Carsten Rösnick-Neugebauer

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 2 (April 10, 2018) lmcs:2630

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

[3] arXiv:1701.01461 [pdf, other]

Title: Understanding the complexity of #SAT using knowledge compilation

Florent Capelli

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

[4] arXiv:1701.01485 [pdf, other]

Title: Non interactive simulation of correlated distributions is decidable

Anindya De, Elchanan Mossel, Joe Neeman

Comments: The reduction for non-interactive simulation for general source distribution to the Gaussian case was incorrect in the previous version. It has been rectified now

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

[5] arXiv:1701.01717 [pdf, other]

Title: Towards an algebraic natural proofs barrier via polynomial identity testing

Joshua A. Grochow, Mrinal Kumar, Michael Saks, Shubhangi Saraf

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

[6] arXiv:1701.01939 [pdf, other]

Title: On the Complexity of Restoring Corrupted Colorings

Marzio De Biasi, Juho Lauri

Comments: 14 pages, 3 figures

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1701.02162 [pdf, other]

Title: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Number Theory (math.NT)

[8] arXiv:1701.02188 [pdf, other]

Title: Surjective H-Colouring: New Hardness Results

Petr Golovach, Matthew Johnson. Barnaby Martin, Daniel Paulusma, Anthony Stewart

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[9] arXiv:1701.02374 [pdf, other]

Title: On Rivest-Vuillemin Conjecture for Fourteen Variables

Guangmo Tong, Weili Wu, Ding-Zhu Du

Comments: A technique report

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1701.02401 [pdf, other]

Title: A Linear Algebra Formulation for Boolean Satisfiability Testing

Chengling Fang, Jiang Liu

Comments: Two algorithms for SAT

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1701.02409 [pdf, other]

Title: Dichotomy for Digraph Homomorphism Problems

Tomás Feder, Jeff Kinne, Ashwin Murali, Arash Rafiey

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

[12] arXiv:1701.02996 [pdf, other]

Title: Reachability in Augmented Interval Markov Chains

Ventsislav Chonev

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

[13] arXiv:1701.03255 [pdf, other]

Title: On the Complexity of L-reachability

Balagopal Komarath, Jayalal Sarma, K. S. Sunil

Comments: 14 pages, 4 figures, Published in Fundamenta Informaticae

Journal-ref: Fundam. Inform., volume 145, number 4, pages 471-483 (2016)

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1701.04108 [pdf, other]

Title: Dimension Spectra of Lines

Neil Lutz, D. M. Stull

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1701.04428 [pdf, other]

Title: Some Results on Circuit Lower Bounds and Derandomization of Arthur-Merlin Problems

D. M. Stull

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1701.04521 [pdf, other]

Title: Sum of squares lower bounds for refuting any CSP

Pravesh K. Kothari, Ryuhei Mori, Ryan O'Donnell, David Witmer

Comments: 39 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1701.05328 [pdf, other]

Title: Succinct Hitting Sets and Barriers to Proving Algebraic Circuits Lower Bounds

Michael A. Forbes, Amir Shpilka, Ben Lee Volk

Comments: Fixed typos and other small errors; added references to follow-up work

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1701.05382 [pdf, other]

Title: The Power of Non-Determinism in Higher-Order Implicit Complexity

Cynthia Kop, Jakob Grue Simonsen

Comments: pre-edition version of a paper accepted for publication at ESOP'17

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

[19] arXiv:1701.06268 [pdf, other]

Title: On polynomial approximations over $\mathbb{Z}/2^k\mathbb{Z}$

Abhishek Bhrushundi, Prahladh Harsha, Srikanth Srinivasan

Journal-ref: In Proc. 34th Symposium on Theoretical Aspects of Computer Science (STACS) (Hannover, Germany, 8-11 March), volume 66 of LiPiCS, pages 12:1-12:12, 2017

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1701.06386 [pdf, other]

Title: A Structured View on Weighted Counting with Relations to Counting, Quantum Computation and Applications

Cassio P. de Campos, Georgios Stamoulis, Dennis Weyland

Comments: 32 pages

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1701.08108 [pdf, other]

Title: Existence of Evolutionarily Stable Strategies Remains Hard to Decide for a Wide Range of Payoff Values

Themistoklis Melissourgos, Paul Spirakis

Comments: 24 pages, 4 figures

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

[22] arXiv:1701.08557 [pdf, other]

Title: Thin circulant matrices and lower bounds on the complexity of some Boolean operators

M. I. Grinchuk, I. S. Sergeev

Comments: 15 pages

Journal-ref: Diskretnyi Analiz i Issledovanie Operatsii (Discrete analysis and operations research). 2011. 18(5), 38-53. (in Russian)

Subjects: Computational Complexity (cs.CC)

[23] arXiv:1701.00637 (cross-list from cs.LO) [pdf, other]

Title: On Upper Bounds on the Church-Rosser Theorem

Ken-etsu Fujita (Gunma University)

Comments: In Proceedings WPTE 2016, arXiv:1701.00233

Journal-ref: EPTCS 235, 2017, pp. 16-31

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

[24] arXiv:1701.01413 (cross-list from cs.LO) [pdf, other]

Title: Paths-based criteria and application to linear logic subsystems characterizing polynomial time

Matthieu Perrinel

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

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

Title: Noise Stability is computable and low dimensional

Anindya De, Elchanan Mossel, Joe Neeman

Comments: Minor edits made. Also, application to non-interactive simulation is removed from this paper and completely subsumed by arXiv:1701.01485 [cs.CC]

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

[26] arXiv:1701.02062 (cross-list from quant-ph) [pdf, other]

Title: The Flow of Information in Interactive Quantum Protocols: the Cost of Forgetting

Mathieu Lauriere, Dave Touchette

Comments: v1, 39 pages, 2 figures

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

[27] arXiv:1701.02231 (cross-list from cs.LO) [pdf, other]

Title: Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Cristina Feier, Antti Kuusisto, Carsten Lutz

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 2 (May 23, 2019) lmcs:4568

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

[28] arXiv:1701.02274 (cross-list from cs.LO) [pdf, other]

Title: Bounded time computation on metric spaces and Banach spaces

Matthias Schröder, Florian Steinberg

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

[29] arXiv:1701.02302 (cross-list from math.AC) [pdf, other]

Title: A Homological Theory of Functions

Greg Yang

Comments: 72 pages, 22 figures. Comments welcome

Subjects: Commutative Algebra (math.AC); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Combinatorics (math.CO)

[30] arXiv:1701.02764 (cross-list from math.CO) [pdf, other]

Title: Column subset selection is NP-complete

Yaroslav Shitov

Comments: 5 pages

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

[31] arXiv:1701.03297 (cross-list from math.GR) [pdf, other]

Title: Solutions to twisted word equations and equations in virtually free groups

Volker Diekert, Murray Elder

Comments: 72 pages, 14 figures. Small edits to the exposition in Section 15. An extended abstract of a preliminary version of this paper was presented at ICALP 2017

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[32] arXiv:1701.03990 (cross-list from quant-ph) [pdf, other]

Title: Quantum algorithm for multivariate polynomial interpolation

Jianxin Chen, Andrew M. Childs, Shih-Han Hung

Comments: 15 pages, 0 figures. Comments are welcome

Journal-ref: Proceedings of the Royal Society A 474: 20170480 (2017)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[33] arXiv:1701.04086 (cross-list from cs.LO) [pdf, other]

Title: The complexity of quantified constraints using the algebraic formulation

Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk

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

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

Title: On Bezout Inequalities for non-homogeneous Polynomial Ideals

Amir Hashemi, Joos Heintz, Luis Miguel Pardo, Pablo Solernó

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

[35] arXiv:1701.04522 (cross-list from cs.LO) [pdf, other]

Title: Proceedings Fourth International Workshop on Linearity

Iliano Cervesato, Maribel Fernández

Journal-ref: EPTCS 238, 2017

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

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

Title: Efficient Implementation Of Newton-Raphson Methods For Sequential Data Prediction

Burak C. Civek, Suleyman S. Kozat

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Numerical Analysis (math.NA)

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

Title: Perfect phylogenies via branchings in acyclic digraphs and a generalization of Dilworth's theorem

Ademir Hujdurović, Edin Husić, Martin Milanič, Romeo Rizzi, Alexandru I. Tomescu

Comments: 29 pages, 10 figures, extended abstract appeared in Proceedings of WG 2017, full paper accepted for publication in ACM Transactions on Algorithms

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Populations and Evolution (q-bio.PE)

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

Title: Polar Coding for Achieving the Capacity of Marginal Channels in Nonbinary-Input Setting

Amirsina Torfi, Sobhan Soleymani, Seyed Mehdi Iranmanesh, Hadi Kazemi, Rouzbeh Asghari Shirvani, Vahid Tabataba Vakili

Comments: Accepted to be published in "51th Conference on Information Sciences and Systems", Baltimore, Maryland

Journal-ref: 51th Annual Conference on Information Sciences and Systems (CISS), 1-6 (2017)

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

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

Title: On Recoverable and Two-Stage Robust Selection Problems with Budgeted Uncertainty

André Chassein, Marc Goerigk, Adam Kasperski, Paweł Zieliński

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

[40] arXiv:1701.06639 (cross-list from math.CO) [pdf, other]

Title: On the complexity of generalized chromatic polynomials

A. Goodall, M. Hermann, T. Kotek, J.A. Makowsky, S.D. Noble

Comments: 33 pages, 2 figures, 3 tables

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)

[41] arXiv:1701.06806 (cross-list from quant-ph) [pdf, other]

Title: A Survey of Quantum Learning Theory

Srinivasan Arunachalam (CWI), Ronald de Wolf (CWI and U of Amsterdam)

Comments: 26 pages LaTeX. v2: many small changes to improve the presentation. This version will appear as Complexity Theory Column in SIGACT News in June 2017. v3: fixed a small ambiguity in the definition of gamma(C) and updated a reference

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

[42] arXiv:1701.06942 (cross-list from quant-ph) [pdf, other]

Title: Optimal one-shot quantum algorithm for EQUALITY and AND

Andris Ambainis, Janis Iraids

Comments: 10 pages. arXiv admin note: text overlap with arXiv:1608.02374

Journal-ref: Baltic J. Modern Computing, Vol. 4 (2016), No. 4, pp. 721-730

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

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

Title: Fine-Grained Parameterized Complexity Analysis of Graph Coloring Problems

Lars Jaffke, Bart M. P. Jansen

Comments: 17 pages, 2 figures

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

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

Title: An FPTAS for the parametric knapsack problem

Michael Holzhauser, Sven O. Krumke

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

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

Title: Generic Cospark of a Matrix Can Be Computed in Polynomial Time

Sichen Zhong, Yue Zhao

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