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

Computational Complexity

Authors and titles for cs.CC in Jan 2021

[ total of 54 entries: 1-54 ]
[ showing 54 entries per page: fewer | more ]
[1]  arXiv:2101.00003 [pdf, ps, other]
Title: Yet another argument in favour of NP=CoNP
Comments: This article puts together the results shown in arXiv:2009.09802v1 and in arXiv:2012.07833v1 to show a proof of NP=CoNP. It is need to read these article to get the details on the proof presented here
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[2]  arXiv:2101.00717 [pdf, ps, other]
Title: Algorithmic Complexities in Backpropagation and Tropical Neural Networks
Authors: Ozgur Ceyhan
Comments: This note is a summary of the lecture given at S\'eminaire "Fables G\'eom\'etriques" in University of Geneva on December 9, 2016
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Algebraic Geometry (math.AG)
[3]  arXiv:2101.01151 [pdf, ps, other]
Title: A polynomial time construction of a hitting set for read-once branching programs of width 3
Comments: 46 pages, 8 figures
Subjects: Computational Complexity (cs.CC)
[4]  arXiv:2101.05142 [pdf, ps, other]
Title: Resolution with Symmetry Rule applied to Linear Equations
Authors: Pascal Schweitzer, Constantin Seebach (TU Kaiserslautern)
Comments: 18 pages, to be published in STACS 2021
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[5]  arXiv:2101.05235 [pdf, other]
Title: Space-Efficient Algorithms for Reachability in Geometric Graphs
Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)
[6]  arXiv:2101.05597 [pdf, other]
Title: Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and its Implications on P versus NP problem
Authors: Manoj Kumar
Comments: Second Revision: 17 Pages, Affiliation and email address of author added, elaborated Optimisations section, refined theorem 10.8, references updated, typing errors corrected Third Revision: 22 pages, complexity calculated on instance size, results changed, algorithm and related sections added
Subjects: Computational Complexity (cs.CC)
[7]  arXiv:2101.06361 [pdf, ps, other]
Title: Strings-and-Coins and Nimstring are PSPACE-complete
Comments: 9 pages, 7 figures
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[8]  arXiv:2101.07237 [pdf, ps, other]
Title: Transverse Wave: an impartial color-propagation game inspired by Social Influence and Quantum Nim
Comments: 29 Pages
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[9]  arXiv:2101.07495 [pdf, ps, other]
Title: Tameness and the power of programs over monoids in DA
Authors: Nathan Grosshans, Pierre Mckenzie (DIRO), Luc Segoufin (VALDA, DI-ENS)
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[10]  arXiv:2101.08141 [pdf, ps, other]
Title: Positive spectrahedra: Invariance principles and Pseudorandom generators
Comments: 63 pages. v2: Minor revisions and Improvements in presentation
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[11]  arXiv:2101.08600 [pdf, ps, other]
Title: On Separation between the Degree of a Boolean Function and the Block Sensitivity
Comments: 16 pages in total (12 for article + 4 for references and appendix)
Subjects: Computational Complexity (cs.CC)
[12]  arXiv:2101.09005 [pdf, ps, other]
Title: An in-place truncated Fourier transform
Authors: Nicholas Coxon (GRACE)
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[13]  arXiv:2101.09147 [pdf, ps, other]
Title: A superstatistical formulation of complexity measures
Comments: 17 pages, 1 figure
Subjects: Computational Complexity (cs.CC); Mathematical Physics (math-ph); Applications (stat.AP)
[14]  arXiv:2101.09528 [pdf, ps, other]
Title: Hard satisfiable formulas for DPLL algorithms using heuristics with small memory
Authors: Nikita Gaevoy
Subjects: Computational Complexity (cs.CC)
[15]  arXiv:2101.11152 [pdf, ps, other]
Title: Optimal Oracles for Point-to-Set Principles
Authors: D.M. Stull
Subjects: Computational Complexity (cs.CC)
[16]  arXiv:2101.11500 [pdf, ps, other]
Title: A Deterministic Algorithm for the Discrete Logarithm Problem in a Semigroup
Subjects: Computational Complexity (cs.CC); Group Theory (math.GR)
[17]  arXiv:2101.11934 [pdf, other]
Title: An Upper Bound on the Complexity of Tablut
Authors: Andrea Galassi
Comments: 9 pages, 1 figure
Subjects: Computational Complexity (cs.CC)
[18]  arXiv:2101.12018 [pdf, other]
Title: A note on the complexity of k-Metric Dimension
Subjects: Computational Complexity (cs.CC)
[19]  arXiv:2101.12568 [pdf, other]
Title: The tensor rank of 5x5 matrices multiplication is bounded by 98 and its border rank by 89
Subjects: Computational Complexity (cs.CC)
[20]  arXiv:2101.00061 (cross-list from cs.DS) [pdf, other]
Title: The Query Complexity of Local Search and Brouwer in Rounds
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[21]  arXiv:2101.00694 (cross-list from cs.DS) [pdf]
Title: An optimal FPT algorithm parametrized by treewidth for Weighted-Max-Bisection given a tree decomposition as advice assuming SETH and the hardness of MinConv
Comments: 25 pages
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[22]  arXiv:2101.01533 (cross-list from cs.AI) [pdf]
Title: On the Control of Attentional Processes in Vision
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)
[23]  arXiv:2101.01945 (cross-list from cs.DS) [pdf, ps, other]
Title: Fine-Grained Complexity of Regular Path Queries
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[24]  arXiv:2101.02003 (cross-list from cs.DS) [pdf, other]
Title: Algorithms and Hardness for Multidimensional Range Updates and Queries
Comments: 38 pages, 3 figures, 1 table. Full version of paper to appear in ITCS 2021. Abstract abridged for arXiv limits
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Computational Geometry (cs.CG)
[25]  arXiv:2101.02142 (cross-list from cs.SC) [pdf, other]
Title: Polynomial modular product verification and its implications
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)
[26]  arXiv:2101.02312 (cross-list from cs.DS) [pdf, other]
Title: 4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time $n^{4/3}$
Authors: Édouard Bonnet
Comments: 15 pages, 3 figures
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Combinatorics (math.CO)
[27]  arXiv:2101.02429 (cross-list from cs.LG) [pdf, other]
Title: Neural Spectrahedra and Semidefinite Lifts: Global Convex Optimization of Polynomial Activation Neural Networks in Fully Polynomial-Time
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Optimization and Control (math.OC); Machine Learning (stat.ML)
[28]  arXiv:2101.02570 (cross-list from cs.GR) [pdf, ps, other]
Title: Instanced model simplification using combined geometric and appearance-related metric
Comments: 9 pages, 8 figures, 3 tables
Subjects: Graphics (cs.GR); Computational Complexity (cs.CC)
[29]  arXiv:2101.02854 (cross-list from cs.DS) [pdf, other]
Title: Almost Optimal Inapproximability of Multidimensional Packing Problems
Authors: Sai Sandeep
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[30]  arXiv:2101.07546 (cross-list from cs.DS) [pdf, other]
Title: Subspace exploration: Bounds on Projected Frequency Estimation
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[31]  arXiv:2101.07550 (cross-list from cs.DS) [pdf, ps, other]
Title: Upper Dominating Set: Tight Algorithms for Pathwidth and Sub-Exponential Approximation
Comments: This paper has been accepted to CIAC 2021
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[32]  arXiv:2101.07696 (cross-list from cs.CG) [pdf, other]
Title: Translating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under Translation
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)
[33]  arXiv:2101.08377 (cross-list from cs.LO) [pdf, other]
Title: Finite Model Theory of the Triguarded Fragment and Related Logics
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic (math.LO)
[34]  arXiv:2101.08735 (cross-list from cs.LO) [pdf, ps, other]
Title: Work-sensitive Dynamic Complexity of Formal Languages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[35]  arXiv:2101.09332 (cross-list from cs.DM) [pdf, other]
Title: Rikudo is NP-complete
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)
[36]  arXiv:2101.09336 (cross-list from cs.LG) [pdf, other]
Title: A Comprehensive Survey on Hardware-Aware Neural Architecture Search
Comments: Submitted to Proceedings of IEEE
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC)
[37]  arXiv:2101.09693 (cross-list from cs.CL) [pdf]
Title: A2P-MANN: Adaptive Attention Inference Hops Pruned Memory-Augmented Neural Networks
Comments: 10 pages, 9 figures, 3 tables
Subjects: Computation and Language (cs.CL); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[38]  arXiv:2101.09736 (cross-list from cs.CG) [pdf, other]
Title: Recognizing Visibility Graphs of Triangulated Irregular Networks
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)
[39]  arXiv:2101.09918 (cross-list from cs.DS) [pdf, ps, other]
Title: Parameterized Complexity of Finding Subgraphs with Hereditary Properties on Hereditary Graph Classes
Comments: 15 pages
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[40]  arXiv:2101.10907 (cross-list from cs.DM) [pdf]
Title: Exploring Rulial Space: The Case of Turing Machines
Authors: Stephen Wolfram
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[41]  arXiv:2101.11727 (cross-list from cs.LO) [pdf, ps, other]
Title: Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case
Authors: Cristina Feier
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[42]  arXiv:2101.11750 (cross-list from cs.IT) [pdf, other]
Title: Information contraction in noisy binary neural networks and its implications
Comments: 14 pages, 8 figures
Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)
[43]  arXiv:2101.12524 (cross-list from cs.GT) [pdf, other]
Title: Probabilistic Inference of Winners in Elections by Independent Random Voters
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)
[44]  arXiv:2101.00211 (cross-list from quant-ph) [pdf, other]
Title: Simulating Quantum Computations with Tutte Polynomials
Authors: Ryan L. Mann
Comments: 13 pages, 0 figures
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[45]  arXiv:2101.01100 (cross-list from math.OC) [pdf, ps, other]
Title: Wasserstein barycenters are NP-hard to compute
Comments: 18 pages (9 pages main text)
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[46]  arXiv:2101.02209 (cross-list from hep-th) [pdf, other]
Title: Complexity Growth in Integrable and Chaotic Models
Comments: 70+13 pages, 29 figures
Subjects: High Energy Physics - Theory (hep-th); Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[47]  arXiv:2101.07000 (cross-list from q-bio.PE) [pdf, other]
Title: Least resolved trees for two-colored best match graphs
Subjects: Populations and Evolution (q-bio.PE); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[48]  arXiv:2101.07856 (cross-list from math.CO) [pdf, ps, other]
Title: Colouring Graphs of Bounded Diameter in the Absence of Small Cycles
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[49]  arXiv:2101.08381 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum Constraint Problems can be complete for $\mathsf{BQP}$, $\mathsf{QCMA}$, and more
Authors: Alex Meiburg
Comments: 23 pages
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[50]  arXiv:2101.09592 (cross-list from math.CO) [pdf, ps, other]
Title: Point-hyperplane incidence geometry and the log-rank conjecture
Comments: 14 pages, no figures. This includes revised introduction and discussion and is (hopefully) final for conference submission
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
[51]  arXiv:2101.11087 (cross-list from quant-ph) [pdf, other]
Title: The membership problem for constant-sized quantum correlations is undecidable
Comments: 68 pages and 1 figure. All comments are welcome
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[52]  arXiv:2101.12033 (cross-list from physics.hist-ph) [pdf, other]
Title: Computational irreducibility and compatibilism: towards a formalization
Comments: 15 pages, 1 figure
Subjects: History and Philosophy of Physics (physics.hist-ph); Computational Complexity (cs.CC)
[53]  arXiv:2101.12621 (cross-list from math.CO) [pdf, ps, other]
Title: Local to global high dimensional expansion and Garland's method for general posets
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
[54]  arXiv:2101.12582 (cross-list from hep-th) [pdf, other]
Title: Circuit Complexity From Supersymmetric Quantum Field Theory With Morse Function
Comments: 39 pages, 10 figures, 4 tables, This project is the part of the non-profit virtual international research consortium "Quantum Aspects of Space-Time and Matter (QASTM)", Revised version, References and some of the explanations elaborated and updated
Subjects: High Energy Physics - Theory (hep-th); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Chaotic Dynamics (nlin.CD); Quantum Physics (quant-ph)
[ total of 54 entries: 1-54 ]
[ showing 54 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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