We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

Authors and titles for cs.CC in May 2021

[ total of 67 entries: 1-67 ]
[ showing 67 entries per page: fewer | more ]
[1]  arXiv:2105.00287 [pdf, ps, other]
Title: The complexity of approximating the complex-valued Ising model on bounded degree graphs
Comments: 49 pages, 9 figures On last update: we fixed some typos and updated the references
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[2]  arXiv:2105.00689 [pdf, ps, other]
Title: CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2
Comments: 23 pages
Subjects: Computational Complexity (cs.CC); Rings and Algebras (math.RA)
[3]  arXiv:2105.00761 [pdf, ps, other]
Title: Lower Bounds on the Time/Memory Tradeoff of Function Inversion
Comments: A preliminary version appeared in TCC 2020
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[4]  arXiv:2105.00770 [pdf, ps, other]
Title: Channels of Small Log-Ratio Leakage and Characterization of Two-Party Differentially Private Computation
Comments: A preliminary version appeared in TCC 2019
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[5]  arXiv:2105.01161 [pdf, other]
Title: Sketching approximability of all finite CSPs
Comments: Updated version to appear in JACM arXiv admin note: text overlap with arXiv:2102.12351
Subjects: Computational Complexity (cs.CC)
[6]  arXiv:2105.01465 [pdf, other]
Title: Isolation schemes for problems on decomposable graphs
Comments: 54 pages, 9 figures
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[7]  arXiv:2105.01469 [pdf, ps, other]
Title: Counting vertices of integral polytopes defined by facets
Authors: Heng Guo, Mark Jerrum
Comments: 15 pages. Minor edits, including a small change to the title. This version is accepted for publication in Discrete and Computational Geometry
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[8]  arXiv:2105.01751 [pdf, ps, other]
Title: Reconstruction Algorithms for Low-Rank Tensors and Depth-3 Multilinear Circuits
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG)
[9]  arXiv:2105.01963 [pdf, ps, other]
Title: One-way communication complexity and non-adaptive decision trees
Comments: 33 pages
Subjects: Computational Complexity (cs.CC)
[10]  arXiv:2105.02681 [pdf, ps, other]
Title: Quantum Logarithmic Space and Post-selection
Comments: 17 pages
Journal-ref: Proceedings of the 16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021), 10:1--10:17, 2021
Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[11]  arXiv:2105.02908 [pdf, ps, other]
Title: Variety Evasive Subspace Families
Authors: Zeyu Guo
Comments: Preliminary version in CCC 2021
Subjects: Computational Complexity (cs.CC)
[12]  arXiv:2105.03531 [pdf, other]
Title: On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
Comments: This Technical Report updates and subsumes the technical report arXiv:1606.07886. arXiv admin note: text overlap with arXiv:1606.07886
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[13]  arXiv:2105.03831 [pdf, ps, other]
Title: Super Solutions of the Model RB
Authors: Guangyan Zhou, Wei Xu
Comments: 8 pages
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[14]  arXiv:2105.05431 [pdf, ps, other]
Title: Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete
Comments: Replacing previous arXiv submission with a revised version removing a disproven result
Subjects: Computational Complexity (cs.CC)
[15]  arXiv:2105.05879 [pdf, other]
Title: Sketching with Kerdock's crayons: Fast sparsifying transforms for arbitrary linear maps
Subjects: Computational Complexity (cs.CC); Numerical Analysis (math.NA)
[16]  arXiv:2105.06030 [pdf, other]
Title: Changeable Sweep Coverage Problem
Subjects: Computational Complexity (cs.CC)
[17]  arXiv:2105.07203 [pdf, other]
Title: Pebbles, Graphs, and a Pinch of Combinatorics: Towards Tight I/O Lower Bounds for Statically Analyzable Programs
Comments: 13 pages, 4 figures, published at Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'21)
Subjects: Computational Complexity (cs.CC)
[18]  arXiv:2105.07517 [pdf, ps, other]
Title: A Stress-Free Sum-of-Squares Lower Bound for Coloring
Subjects: Computational Complexity (cs.CC)
[19]  arXiv:2105.07525 [pdf, ps, other]
Title: Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
Authors: Tuomas Hakoniemi
Comments: To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[20]  arXiv:2105.08356 [pdf, ps, other]
Title: On Symmetry versus Asynchronism: at the Edge of Universality in Automata Networks
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)
[21]  arXiv:2105.08490 [pdf, ps, other]
Title: GSF-locality is not sufficient for proximity-oblivious testing
Comments: 28 pages, 3 figures
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[22]  arXiv:2105.08980 [pdf, other]
Title: Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth
Comments: Full version of the paper accepted for ICALP 2021
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[23]  arXiv:2105.10742 [pdf, ps, other]
Title: Parameterized Complexity of Locally Minimal Defensive Alliances
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[24]  arXiv:2105.14882 [pdf, other]
Title: Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space
Subjects: Computational Complexity (cs.CC)
[25]  arXiv:2105.00299 (cross-list from cs.DS) [pdf, other]
Title: Online Domination: The Value of Getting to Know All your Neighbors
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Combinatorics (math.CO)
[26]  arXiv:2105.01149 (cross-list from cs.DS) [pdf, ps, other]
Title: Near-Optimal Cayley Expanders for Abelian Groups
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[27]  arXiv:2105.01427 (cross-list from cs.IT) [pdf, ps, other]
Title: Codes for the Z-channel
Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Combinatorics (math.CO)
[28]  arXiv:2105.01459 (cross-list from cs.CR) [pdf, ps, other]
Title: Inaccessible Entropy II: IE Functions and Universal One-Way Hashing
Comments: This is the final draft of this paper. The full version was published in the Theory of Computing 2020. An extended abstract of this work appeared appeared as "Universal One-Way Hash Functions via Inaccessible Entropy" in Eurocrypt 2010
Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC)
[29]  arXiv:2105.01782 (cross-list from cs.DS) [pdf, ps, other]
Title: Streaming approximation resistance of every ordering CSP
Comments: 23 pages, 1 figure. Replaces earlier version with $o(\sqrt{n})$ lower bound, using new bounds from arXiv:2106.13078. To appear in APPROX'21
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[30]  arXiv:2105.02736 (cross-list from cs.DS) [pdf, other]
Title: Feedback Vertex Set and Even Cycle Transversal for H-Free Graphs: Finding Large Block Graphs
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[31]  arXiv:2105.02837 (cross-list from cs.CG) [pdf, other]
Title: Dots & Boxes is PSPACE-complete
Comments: 18 pages, 13 figures
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Combinatorics (math.CO)
[32]  arXiv:2105.03028 (cross-list from cs.DS) [pdf, other]
Title: Improved Approximation for Longest Common Subsequence over Small Alphabets
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[33]  arXiv:2105.03273 (cross-list from cs.AI) [pdf, ps, other]
Title: Solving the Workflow Satisfiability Problem using General Purpose Solvers
Comments: Associated data: this http URL
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[34]  arXiv:2105.04588 (cross-list from cs.DS) [pdf, other]
Title: Partitioning H-Free Graphs of Bounded Diameter
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[35]  arXiv:2105.04856 (cross-list from cs.DS) [pdf, other]
Title: Parameterized Algorithms for Diverse Multistage Problems
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[36]  arXiv:2105.05062 (cross-list from cs.DS) [pdf, other]
Title: Current Algorithms for Detecting Subgraphs of Bounded Treewidth are Probably Optimal
Comments: Full version of ICALP 2021 paper, 55 pages, abstract shortened to fit ArXiv requirements
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[37]  arXiv:2105.05984 (cross-list from cs.DS) [pdf, other]
Title: Sparse Nonnegative Convolution Is Equivalent to Dense Nonnegative Convolution
Comments: 44 pages, appears in STOC 2021
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[38]  arXiv:2105.06744 (cross-list from cs.LO) [pdf, other]
Title: A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (December 13, 2021) lmcs:7484
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[39]  arXiv:2105.07480 (cross-list from cs.GT) [pdf, other]
Title: In Congestion Games, Taxes Achieve Optimal Approximation
Comments: A preliminary version of this work appeared at the 22nd ACM Conference on Economics & Computation (EC'21)
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Optimization and Control (math.OC)
[40]  arXiv:2105.07529 (cross-list from cs.DM) [pdf, ps, other]
Title: Infinitely growing configurations in Emil Post's tag system problem
Comments: 13 pages, 3 figures
Journal-ref: Complex Systems, 31(3), 2022 pp. 279-286
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)
[41]  arXiv:2105.07531 (cross-list from cs.LO) [pdf, ps, other]
Title: First-Order Reasoning and Efficient Semi-Algebraic Proofs
Comments: A preliminary version of this work appears in 36th Ann. Symp. Logic Comput. Science (LICS) 2021
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[42]  arXiv:2105.08540 (cross-list from cs.GT) [pdf, other]
Title: Kemeny Consensus Complexity
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Multiagent Systems (cs.MA)
[43]  arXiv:2105.08549 (cross-list from cs.DS) [pdf, other]
Title: A cubic vertex-kernel for Trivially Perfect Editing
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[44]  arXiv:2105.08675 (cross-list from cs.LG) [pdf, ps, other]
Title: The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality
Journal-ref: Journal of Artificial Intelligence Research 74 (2022): 1775-1790
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)
[45]  arXiv:2105.09145 (cross-list from cs.GT) [pdf, other]
Title: Modeling Precomputation In Games Played Under Computational Constraints
Authors: Thomas Orton
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)
[46]  arXiv:2105.11250 (cross-list from cs.DS) [pdf, other]
Title: Efficient Reporting of Top-k Subset Sums
Comments: 27 pages, 8 figures, 2 tables, 2 algorithms, 3 functions
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[47]  arXiv:2105.11919 (cross-list from cs.DS) [pdf, other]
Title: Minmax-optimal list searching with $O(\log_2\log_2 n)$ average cost
Comments: under consideration by the Journal of Computer and System Sciences
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[48]  arXiv:2105.11996 (cross-list from cs.CG) [pdf, ps, other]
Title: On the extension complexity of polytopes separating subsets of the Boolean cube
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)
[49]  arXiv:2105.12237 (cross-list from cs.LG) [pdf, other]
Title: Practical Convex Formulation of Robust One-hidden-layer Neural Network Training
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Machine Learning (stat.ML)
[50]  arXiv:2105.14369 (cross-list from cs.DB) [pdf, other]
Title: Temporal Minimal-World Semantics for Sparse ABoxes
Subjects: Databases (cs.DB); Computational Complexity (cs.CC)
[51]  arXiv:2105.14887 (cross-list from cs.LO) [pdf, other]
Title: Parameterised Complexity of Propositional Inclusion and Independence Logic
Comments: A revised version
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[52]  arXiv:2105.00443 (cross-list from math.DS) [pdf, ps, other]
Title: Fixed Point Constructions in Tilings and Cellular Automata
Authors: Ilkka Törmä
Comments: 15 pages. To be presented at AUTOMATA 2021 as an invited talk
Subjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC); Logic (math.LO)
[53]  arXiv:2105.00603 (cross-list from quant-ph) [pdf, other]
Title: Quantum Advantage with Shallow Circuits Under Arbitrary Corruption
Comments: v3: 17 pages, slightly changed abstract
Journal-ref: Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021), pp. 74:1-74:16, 2021
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[54]  arXiv:2105.01193 (cross-list from quant-ph) [pdf, ps, other]
Title: Improved approximation algorithms for bounded-degree local Hamiltonians
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[55]  arXiv:2105.02722 (cross-list from math.CO) [pdf, other]
Title: Mutual Visibility in Graphs
Comments: Added comparisons with general position set and general position number concepts. Results achieved in the first version are still valid, but sometime refined. Added new references. 23 pages, 6 figures
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
[56]  arXiv:2105.03249 (cross-list from quant-ph) [pdf, other]
Title: The complexity of a quantum system and the accuracy of its description
Authors: Yuri I. Ozhigov
Comments: Latex, 20 pages, 3 figures, some minor corrections were done
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Chaotic Dynamics (nlin.CD); Computational Physics (physics.comp-ph)
[57]  arXiv:2105.03697 (cross-list from quant-ph) [pdf, other]
Title: Quantum Proofs of Proximity
Comments: In TQC 2021
Journal-ref: Quantum 6, 834 (2022)
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[58]  arXiv:2105.04649 (cross-list from quant-ph) [pdf, other]
Title: Symmetry Protected Quantum Computation
Comments: To be published in Quantum Journal
Journal-ref: Quantum 5, 554 (2021)
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[59]  arXiv:2105.04661 (cross-list from math.LO) [pdf, ps, other]
Title: No speedup for geometric theories
Authors: Michael Rathjen
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[60]  arXiv:2105.05500 (cross-list from quant-ph) [pdf, other]
Title: Test of Quantumness with Small-Depth Quantum Circuits
Comments: 15 pages
Journal-ref: Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), pp. 59:1-59:15, 2021
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[61]  arXiv:2105.06349 (cross-list from math.CO) [pdf, other]
Title: Disjoint Paths and Connected Subgraphs for H-Free Graphs
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[62]  arXiv:2105.06935 (cross-list from quant-ph) [pdf, other]
Title: Quantum algorithm for doubling the amplitude of the search problem's solution states
Comments: 8 pages, 1 figure
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[63]  arXiv:2105.07120 (cross-list from quant-ph) [pdf, other]
Title: Communication Complexity of Private Simultaneous Quantum Messages Protocols
Comments: 19 pages, to be published in Proc. ITC 2021
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[64]  arXiv:2105.08309 (cross-list from quant-ph) [pdf, other]
Title: Time and Query Optimal Quantum Algorithms Based on Decision Trees
Comments: 43 pages
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[65]  arXiv:2105.11845 (cross-list from math.OC) [pdf, other]
Title: An incremental descent method for multi-objective optimization
Comments: paper pre-submission
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)
[66]  arXiv:2105.12994 (cross-list from math.OC) [pdf, ps, other]
Title: The q-Gauss-Newton method for unconstrained nonlinear optimization
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)
[67]  arXiv:2105.13615 (cross-list from math.CO) [pdf, other]
Title: A lower bound for essential covers of the cube
Comments: 10 pages, 1 figure
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
[ total of 67 entries: 1-67 ]
[ showing 67 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2405, contact, help  (Access key information)