Computational Complexity

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2207.01550 [pdf, other]: Title: Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set

Authors: Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell

Subjects: Computational Complexity (cs.CC)
[2] arXiv:2207.00729 [pdf, ps, other]: Title: Log-Precision Transformers are Constant-Depth Uniform Threshold Circuits

Authors: William Merrill, Ashish Sabharwal

Comments: Preprint

Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL)

[3] arXiv:2207.00104 [pdf, other]: Title: On the Number of Quantifiers as a Complexity Measure

Authors: Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, Ryan Williams

Subjects: Computational Complexity (cs.CC)
[4] arXiv:2207.00515 (cross-list from cs.NI) [pdf, ps, other]: Title: Structured Hypergraphs in Cellular Mobile Communication Systems

Authors: Ashwin Ganesan

Subjects: Networking and Internet Architecture (cs.NI); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[5] arXiv:2207.00386 (cross-list from cs.DS) [pdf, other]: Title: Search-Space Reduction via Essential Vertices

Authors: Benjamin Merlin Bumpus, Bart M.P. Jansen, Jari J.H. de Kroon

Comments: Conference version to appear at the European Symposium on Algorithms (ESA 2022)

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

[6] arXiv:2206.15091 [pdf, other]: Title: Slim Tree-Cut Width

Authors: Robert Ganian, Viktoriia Korchemna

Comments: 18 pages, 5 figures, 1 table

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[7] arXiv:2206.15424 (cross-list from cs.DM) [pdf, ps, other]: Title: Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Authors: Esther Galby, Liana Khazaliya, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[8] arXiv:2206.15253 (cross-list from cs.LO) [pdf, other]: Title: Cohomology in Constraint Satisfaction and Structure Isomorphism

Authors: Adam Ó Conghaile

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[9] arXiv:2206.15122 (cross-list from quant-ph) [pdf, ps, other]: Title: Space-Bounded Unitary Quantum Computation with Postselection

Authors: Seiichiro Tani

Comments: To appear in the proceedings of MFCS 2022. 15 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[10] arXiv:2206.15088 (cross-list from cs.DM) [pdf, other]: Title: On graphs coverable by k shortest paths

Authors: Maël Dumas, Florent Foucaud, Anthony Perez, Ioan Todinca

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

[11] arXiv:2206.14304 (cross-list from cs.CR) [pdf, other]: Title: Indistinguishability Obfuscation of Circuits and its Application in Security

Authors: Shilun Li, Zijing Di

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

[12] arXiv:2206.13942 [pdf]: Title: A Theoretical Computer Science Perspective on Free Will

Authors: Lenore Blum, Manuel Blum

Comments: arXiv admin note: text overlap with arXiv:2107.13704

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[13] arXiv:2206.13896 [pdf, other]: Title: Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

Authors: Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)
[14] arXiv:2206.13851 [pdf, ps, other]: Title: Which arithmetic operations can be performed in constant time in the RAM model with addition?

Authors: Étienne Grandjean, Louis Jachiet

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

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]