Computational Complexity

Authors and titles for cs.CC in Nov 2019

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

Title: Kruskal-Katona for convex sets, with applications

Authors: Anindya De, Rocco A. Servedio

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

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

Title: Two-machine routing open shop on a tree: instance reduction and efficiently solvable subclass

Authors: Ilya Chernykh, Ekaterina Lgotina

Comments: Submitted to Optimization Methods and Software

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

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

Title: A Solution of the P versus NP Problem based on specific property of clique function

Authors: Boyu Sima

Subjects: Computational Complexity (cs.CC)

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

Title: Testing noisy linear functions for sparsity

Authors: Xue Chen, Anindya De, Rocco A. Servedio

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

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

Title: Bare quantum simultaneity versus classical interactivity in communication complexity

Authors: Dmytro Gavinsky

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

[6]  arXiv:1911.01411 [pdf, ps, other]

Title: Lifting Sum-of-Squares Lower Bounds: Degree-$2$ to Degree-$4$

Authors: Sidhanth Mohanty, Prasad Raghavendra, Jeff Xu

Comments: 54 pages

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

[7]  arXiv:1911.02440 [pdf, other]

Title: Fine-grained hardness of CVP(P) -- Everything that we can prove (and nothing else)

Authors: Divesh Aggarwal, Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz

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

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

Title: Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory

Authors: Markus Bläser, Christian Ikenmeyer, Vladimir Lysikov, Anurag Pandey, Frank-Olaf Schreyer

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

[9]  arXiv:1911.02911 [pdf, ps, other]

Title: Extended Formulation Lower Bounds for Refuting Random CSPs

Authors: Jonah Brown-Cohen, Prasad Raghavendra

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

[10]  arXiv:1911.03272 [pdf, other]

Title: The Complexity of Verifying Loop-Free Programs as Differentially Private

Authors: Marco Gaboardi, Kobbi Nissim, David Purser

Journal-ref: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Volume 168 of LIPIcs, pages 129:1-129:17. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020

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

[11]  arXiv:1911.03748 [src]

Title: Quantum speedups need structure

Authors: Nathan Keller, Ohad Klein

Comments: Unfortunately, our proof contains a serious flaw. Specifically, Lemma 5.3 does not prove the assertion it claims to prove and this collapses the entire argument. We thank Paata Ivanishvili for pointing out the flaw, and apologize to the community for posting an eventually incorrect proof

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)

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

Title: Universal Communication, Universal Graphs, and Graph Labeling

Authors: Nathaniel Harms

Comments: 26 pages, 1 figure. To appear in ITCS 2020

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

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

Title: Implementing geometric complexity theory: On the separation of orbit closures via symmetries

Authors: Christian Ikenmeyer, Umangathan Kandasamy

Comments: 47 pages

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

[14]  arXiv:1911.05834 [pdf, ps, other]

Title: The Complexity of Synthesizing nop-Equipped Boolean Nets from g-Bounded Inputs (Technical Report)

Authors: Ronny Tredup

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

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

Title: Hardness of Learning DNFs using Halfspaces

Authors: Suprovat Ghoshal, Rishi Saket

Comments: 27 Pages

Subjects: Computational Complexity (cs.CC)

[16]  arXiv:1911.06664 [pdf, other]

Title: Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs

Authors: Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello

Subjects: Computational Complexity (cs.CC)

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

Title: Semi-Algebraic Proofs, IPS Lower Bounds and the $τ$-Conjecture: Can a Natural Number be Negative?

Authors: Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret

Subjects: Computational Complexity (cs.CC)

[18]  arXiv:1911.07536 [pdf, other]

Title: Time-inconsistent Planning: Simple Motivation Is Hard to Find

Authors: Fedor V. Fomin, Torstein J. F. Strømme

Comments: An extended abstract of this paper is accepted at AAAI 2020

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

[19]  arXiv:1911.07793 [pdf, other]

Title: On the Complexity of 2-Player Packing Games

Authors: Oliver Korten

Subjects: Computational Complexity (cs.CC)

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

Title: Beyond Natural Proofs: Hardness Magnification and Locality

Authors: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam

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

[21]  arXiv:1911.08704 [pdf, other]

Title: Node Max-Cut and Computing Equilibria in Linear Weighted Congestion Games

Authors: Dimitris Fotakis, Vardis Kandiros, Thanasis Lianeas, Nikos Mouzakis, Panagiotis Patsilinakos, Stratis Skoulakis

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

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

Title: A 2-approximation for the $k$-prize-collecting Steiner tree problem

Authors: Lehilton Lelis Chaves Pedrosa, Hugo Kooki Kasuya Rosado

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

[23]  arXiv:1911.09379 [pdf, other]

Title: Parameterized Complexity of Stable Roommates with Ties and Incomplete Lists Through the Lens of Graph Parameters

Authors: Robert Bredereck, Klaus Heeger, Dušan Knop, Rolf Niedermeier

Comments: An extended abstract of this paper appears at ISAAC 2019

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

[24]  arXiv:1911.10698 [pdf, other]

Title: Combinatorial lower bounds for 3-query LDCs

Authors: Arnab Bhattacharyya, L. Sunil Chandran, Suprovat Ghoshal

Comments: 10 pages

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

[25]  arXiv:1911.10833 [pdf, other]

Title: Near-Optimal Algorithm for Distribution-Free Junta Testing

Authors: Xiaojin Zhang

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

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

Title: Pseudo-deterministic Streaming

Authors: Shafi Goldwasser, Ofer Grossman, Sidhanth Mohanty, David P. Woodruff

Comments: 26 pages

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

[27]  arXiv:1911.11405 [pdf, other]

Title: A Note on Computational Complexity of Kill-all Go

Authors: Zhujun Zhang

Comments: 15 pages, 11 figures

Subjects: Computational Complexity (cs.CC)

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

Title: A Quadratic Lower Bound for Algebraic Branching Programs and Formulas

Authors: Prerona Chatterjee, Mrinal Kumar, Adrian She, Ben Lee Volk

Subjects: Computational Complexity (cs.CC)

[29]  arXiv:1911.12242 [pdf, other]

Title: An adaptive algorithm for quantum circuit simulation

Authors: Roman Schutski, Danil Lykov, Ivan Oseledets

Comments: 10 pages, 11 figures

Journal-ref: Phys. Rev. A 101, 042335 (2020)

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

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

Title: Schur Polynomials do not have small formulas if the Determinant doesn't!

Authors: Prasad Chaugule, Mrinal Kumar, Nutan Limaye, Chandra Kanta Mohapatra, Adrian She, Srikanth Srinivasan

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

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

Title: Hybrid Decision Trees: Longer Quantum Time is Strictly More Powerful

Authors: Xiaoming Sun, Yufan Zheng

Comments: 23 pages

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

[32]  arXiv:1911.13104 [pdf, other]

Title: Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems

Authors: Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José María Turull-Torres

Comments: Paper submitted to FoIKS 2020

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

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

Title: Sherali-Adams and the binary encoding of combinatorial principles

Authors: Stefan Dantchev, Abdul Ghani, Barnaby Martin

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

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

Title: Statistical physics approaches to Unique Games

Authors: Matthew Coulson, Ewan Davies, Alexandra Kolla, Viresh Patel, Guus Regts

Comments: 26 pages

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

[35]  arXiv:1911.01663 (cross-list from cs.DS) [src]

Title: A Heuristic Algorithm Based on Tour Rebuilding Operator for the Traveling Salesman Problem

Authors: Yang Li, Junbin Gao, Mingyuan Bai, Chengjun Li, Gang Liu

Comments: The value of Euclidean distance is not rounded, so there is some error in the result. This paper is currently under revision

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

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

Title: Angle Covers: Algorithms and Complexity

Authors: William Evans, Ellen Gethner, Jack Spalding-Jamieson, Alexander Wolff

Journal-ref: Journal of Graph Algorithms and Applications, 25(2):643-661 (2021)

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

[37]  arXiv:1911.02675 (cross-list from math.NA) [pdf, other]

Title: Faster Least Squares Optimization

Authors: Jonathan Lacotte, Mert Pilanci

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

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

Title: Reconfiguring k-path vertex covers

Authors: Duc A. Hoang, Akira Suzuki, Tsuyoshi Yagita

Comments: 29 pages, 6 figures, to be published in IEICE Trans. Information and Systems

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

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

Title: Arıkan meets Shannon: Polar codes with near-optimal convergence to channel capacity

Authors: Venkatesan Guruswami, Andrii Riazanov, Min Ye

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

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

Title: A generic imperative language for polynomial time

Authors: Daniel Leivant

Comments: 18 pages, submitted to a conference

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

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

Title: Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty

Authors: Nian-Ze Lee, Jie-Hong R. Jiang

Comments: 10 pages, 5 figures. A condensed version of this work is published in the AAAI Conference on Artificial Intelligence (AAAI) 2021

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

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

Title: On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs

Authors: Bernhard Nebel

Journal-ref: ICAPS 2020: 212-216

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

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

Title: Contiguous Cake Cutting: Hardness Results and Approximation Algorithms

Authors: Paul W. Goldberg, Alexandros Hollender, Warut Suksompong

Comments: Appears in the 34th AAAI Conference on Artificial Intelligence (AAAI), 2020

Journal-ref: Journal of Artificial Intelligence Research, 69:109-141 (2020)

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

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

Title: Recent Advances in Algorithmic High-Dimensional Robust Statistics

Authors: Ilias Diakonikolas, Daniel M. Kane

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

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

Title: Approximating the Distance to Monotonicity of Boolean Functions

Authors: Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, Erik Waingarten

Comments: To be published in Random Structures & Algorithms

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

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

Title: Faster Integer Multiplication Using Preprocessing

Authors: Matt Groff

Comments: 9 pages, 3 figures

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

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

Title: Top-down induction of decision trees: rigorous guarantees and inherent limitations

Authors: Guy Blanc, Jane Lange, Li-Yang Tan

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

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

Title: Finding Skewed Subcubes Under a Distribution

Authors: Parikshit Gopalan, Roie Levin, Udi Wieder

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

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

Title: Mapping NP-hard and NP-complete optimisation problems to Quadratic Unconstrained Binary Optimisation problems

Authors: Bas Lodewijks

Comments: 14 pages, 6 figures

Subjects: Data Structures and Algorithms (cs.DS); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[50]  arXiv:1911.08558 (cross-list from cs.DM) [pdf, ps, other]

Title: The Longest $(s, t)$-paths of $O$-shaped Supergrid Graphs

Authors: Ruo-Wei Hung, Fatemeh Keshavarz-Kohjerdi

Comments: 21 pages, 27 figures. arXiv admin note: substantial text overlap with arXiv:1908.07447, arXiv:1904.02581

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