Computational Complexity

Authors and titles for cs.CC in Jan 2021

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

Title: Yet another argument in favour of NP=CoNP

Authors: Edward Hermann Haeusler

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, other]

Title: A polynomial-time construction of a hitting set for read-once branching programs of width 3

Authors: Jiří Šíma, Stanislav Žák

Comments: 48 pages, 10 figures

Journal-ref: Fundamenta Informaticae, Volume 184, Issue 4 (March 10, 2022) fi:7043

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

Authors: Sujoy Bhore, Rahul Jain

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

Authors: Erik D. Demaine, Jenny Diomidova

Comments: 10 pages, 7 figures. Improved wording and figures; cite arXiv:2105.02837

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

Authors: Kyle Burke, Matthew Ferland, Shanghua Teng

Comments: 29 Pages

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

[9]  arXiv:2101.07495 [pdf, other]

Title: Tameness and the power of programs over monoids in DA

Authors: Nathan Grosshans, Pierre Mckenzie (DIRO), Luc Segoufin (VALDA)

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (August 2, 2022) lmcs:7110

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

Authors: Srinivasan Arunachalam, Penghui Yao

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

Authors: Nikolay V. Proskurin

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

Authors: Jesús Fuentes, Octavio Obregón

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

Authors: Simran Tinani, Joachim Rosenthal

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

Authors: Yannick Schmitz, Duygu Vietz, Egon Wanke

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

Authors: Alexandre Sedoglavic, Alexey V. Smirnov

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

Authors: Simina Brânzei, Jiawei Li

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

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

Title: Solving Cut-Problems in Quadratic Time for Graphs With Bounded Treewidth

Authors: Hauke Brinkop, Klaus Jansen

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

[22]  arXiv:2101.01533 (cross-list from cs.AI) [pdf, ps, other]

Title: On the Control of Attentional Processes in Vision

Authors: John K. Tsotsos, Omar Abid, Iuliia Kotseruba, Markus D. Solbach

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, other]

Title: Fine-Grained Complexity of Regular Path Queries

Authors: Katrin Casel, Markus L. Schmid

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (November 27, 2023) lmcs:8625

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

Authors: Joshua Lau, Angus Ritossa

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

Authors: Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray

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