Computational Complexity

Authors and titles for recent submissions

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

[1] 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: 16 Pages

Subjects: Computational Complexity (cs.CC)

[2] 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)
[3] 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)

[4] 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)
[5] 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

Authors: Burak Bartan, Mert Pilanci

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Optimization and Control (math.OC); Machine Learning (stat.ML)

[6] arXiv:2101.02570 (cross-list from cs.GR) [pdf, ps, other]: Title: Instanced model simplification using combined geometric and appearance-related metric

Authors: Sadia Tariq, Anis Ur Rahman, Tahir Azim, Rehman Gull Khan

Comments: 9 pages, 8 figures, 3 tables

Subjects: Graphics (cs.GR); Computational Complexity (cs.CC)
[7] 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)
[8] arXiv:2101.02209 (cross-list from hep-th) [pdf, other]: Title: Complexity Growth in Integrable and Chaotic Models

Authors: Vijay Balasubramanian, Matthew DeCross, Arjun Kar, Cathy Li, Onkar Parrikar

Comments: 70+13 pages, 29 figures

Subjects: High Energy Physics - Theory (hep-th); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[9] 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)
[10] 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)
[11] arXiv:2101.01945 (cross-list from cs.DS) [pdf, ps, other]: Title: Fine-Grained Complexity of Regular Path Queries

Authors: Katrin Casel, Markus L. Schmid

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)

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