Computational Complexity

Authors and titles for cs.CC in Apr 2020

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

Title: The "cardinality of extended solution set" criterion for establishing the intractability of NP problems

Authors: Arun U

Subjects: Computational Complexity (cs.CC)

[2]  arXiv:2004.02338 [pdf, other]

Title: The Tandem Duplication Distance Problem is hard over bounded alphabets

Authors: Ferdinando Cicalese, Nicolò Pilati

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

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

Title: From Holant to Quantum Entanglement and Back

Authors: Jin-Yi Cai, Zhiguo Fu, Shuai Shao

Comments: 46 pages

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

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

Title: Lecture Note on LCSSX's Lower Bounds for Non-Adaptive Distribution-free Property Testing

Authors: Nader H. Bshouty

Comments: arXiv admin note: substantial text overlap with arXiv:1802.04859 by other authors

Subjects: Computational Complexity (cs.CC)

[5]  arXiv:2004.06455 [pdf, other]

Title: Tensor Network Rewriting Strategies for Satisfiability and Counting

Authors: Niel de Beaudrap (Quantum Group, Department of Computer Science, University of Oxford), Aleks Kissinger (Quantum Group, Department of Computer Science, University of Oxford), Konstantinos Meichanetzidis (Quantum Group, Department of Computer Science, University of Oxford and Cambridge Quantum Computing)

Comments: In Proceedings QPL 2020, arXiv:2109.01534

Journal-ref: EPTCS 340, 2021, pp. 46-59

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

[6]  arXiv:2004.06595 [pdf, other]

Title: Counting Small Induced Subgraphs Satisfying Monotone Properties

Authors: Marc Roth, Johannes Schmitt, Philip Wellnitz

Comments: 33 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:2004.06620 [pdf, other]

Title: Dichotomy for Graph Homomorphisms with Complex Values on Bounded Degree Graphs

Authors: Jin-Yi Cai, Artem Govorov

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

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

Title: Learning sums of powers of low-degree polynomials in the non-degenerate case

Authors: Ankit Garg, Neeraj Kayal, Chandan Saha

Comments: Fixed a minor bug in the statement and proof of Corollary 3.1

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

[9]  arXiv:2004.07319 [pdf, other]

Title: The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability

Authors: Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger

Comments: 53 pages, 2 figures

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Probability (math.PR)

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

Title: Extending the Reach of the Point-to-Set Principle

Authors: Jack H. Lutz, Neil Lutz, Elvira Mayordomo

Subjects: Computational Complexity (cs.CC); Classical Analysis and ODEs (math.CA); Metric Geometry (math.MG)