Computational Complexity

Authors and titles for recent submissions

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

[1] 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)
[2] arXiv:2101.08735 (cross-list from cs.LO) [pdf, ps, other]: Title: Work-sensitive Dynamic Complexity of Formal Languages

Authors: Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[3] 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: 19 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[4] arXiv:2101.08377 (cross-list from cs.LO) [pdf, other]: Title: Finite Model Theory of the Triguarded Fragment and Related Logics

Authors: Emanuel Kieroński, Sebastian Rudolph

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic (math.LO)

[5] arXiv:2101.08141 [pdf, ps, other]: Title: Positive spectrahedrons: Geometric properties, Invariance principles and Pseudorandom generators

Authors: Srinivasan Arunachalam, Penghui Yao

Comments: 63 pages

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[6] arXiv:2101.07856 (cross-list from math.CO) [pdf, ps, other]: Title: Colouring Graphs of Bounded Diameter in the Absence of Small Cycles

Authors: Barnaby Martin, Daniel Paulusma, Siani Smith

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

[7] 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)
[8] arXiv:2101.07696 (cross-list from cs.CG) [pdf, other]: Title: Translating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under Translation

Authors: Karl Bringmann, André Nusser

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)
[9] arXiv:2101.07550 (cross-list from cs.DS) [pdf, ps, other]: Title: Upper Dominating Set: Tight Algorithms for Pathwidth and Sub-Exponential Approximation

Authors: Louis Dublois, Michael Lampis, Vangelis Th. Paschos

Comments: This paper has been accepted to CIAC 2021

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[10] arXiv:2101.07546 (cross-list from cs.DS) [pdf, other]: Title: Subspace exploration: Bounds on Projected Frequency Estimation

Authors: Graham Cormode, Charlie Dickens, David P. Woodruff

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

[11] 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)
[12] arXiv:2101.06361 [pdf, ps, other]: Title: Strings-and-Coins and Nimstring are PSPACE-complete

Authors: Erik D. Demaine, Yevhenii Diomidov

Comments: 9 pages, 7 figures

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[13] arXiv:2101.07000 (cross-list from q-bio.PE) [pdf, other]: Title: Least resolved trees for two-colored best match graphs

Authors: David Schaller, Manuela Geiß, Marc Hellmuth, Peter F. Stadler

Subjects: Populations and Evolution (q-bio.PE); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[14] arXiv:1903.01964 (cross-list from cs.AI) [pdf, other]: Title: Complexity Results and Algorithms for Bipolar Argumentation

Authors: Amin Karamlou, Kristijonas Čyras, Francesca Toni

Comments: Paper accepted for publication at AAMAS 2019

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

[15] arXiv:2101.05597 [pdf, ps, 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: 17 Pages, Affiliation and email address of author added, elaborated Optimisations section, refined theorem 10.8, references updated, typing errors corrected

Subjects: Computational Complexity (cs.CC)

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