Computational Complexity

Authors and titles for November 2019

[1] arXiv:1911.00178 [pdf, other]

Title: Kruskal-Katona for convex sets, with applications

Anindya De, Rocco A. Servedio

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

[2] arXiv:1911.00236 [pdf, other]

Title: Two-machine routing open shop on a tree: instance reduction and efficiently solvable subclass

Ilya Chernykh, Ekaterina Lgotina

Comments: Submitted to Optimization Methods and Software

Subjects: Computational Complexity (cs.CC); Optimization and Control (math.OC)

[3] arXiv:1911.00722 [pdf, other]

Title: A Solution of the P versus NP Problem based on specific property of clique function

Boyu Sima

Subjects: Computational Complexity (cs.CC)

[4] arXiv:1911.00911 [pdf, other]

Title: Testing noisy linear functions for sparsity

Xue Chen, Anindya De, Rocco A. Servedio

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

[5] arXiv:1911.01381 [pdf, other]

Title: Bare quantum simultaneity versus classical interactivity in communication complexity

Dmytro Gavinsky

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[6] arXiv:1911.01411 [pdf, other]

Title: Lifting Sum-of-Squares Lower Bounds: Degree-$2$ to Degree-$4$

Sidhanth Mohanty, Prasad Raghavendra, Jeff Xu

Comments: 54 pages

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

[7] arXiv:1911.02440 [pdf, other]

Title: Fine-grained hardness of CVP(P) -- Everything that we can prove (and nothing else)

Divesh Aggarwal, Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz

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

[8] arXiv:1911.02534 [pdf, other]

Title: Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory

Markus Bläser, Christian Ikenmeyer, Vladimir Lysikov, Anurag Pandey, Frank-Olaf Schreyer

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Representation Theory (math.RT)

[9] arXiv:1911.02911 [pdf, other]

Title: Extended Formulation Lower Bounds for Refuting Random CSPs

Jonah Brown-Cohen, Prasad Raghavendra

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

[10] arXiv:1911.03272 [pdf, other]

Title: The Complexity of Verifying Loop-Free Programs as Differentially Private

Marco Gaboardi, Kobbi Nissim, David Purser

Journal-ref: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Volume 168 of LIPIcs, pages 129:1-129:17. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020

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

[11] arXiv:1911.03748 [pdf, other]

Title: Quantum speedups need structure

Nathan Keller, Ohad Klein

Comments: Unfortunately, our proof contains a serious flaw. Specifically, Lemma 5.3 does not prove the assertion it claims to prove and this collapses the entire argument. We thank Paata Ivanishvili for pointing out the flaw, and apologize to the community for posting an eventually incorrect proof

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)

[12] arXiv:1911.03757 [pdf, other]

Title: Universal Communication, Universal Graphs, and Graph Labeling

Nathaniel Harms

Comments: 26 pages, 1 figure. To appear in ITCS 2020

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

[13] arXiv:1911.03990 [pdf, other]

Title: Implementing geometric complexity theory: On the separation of orbit closures via symmetries

Christian Ikenmeyer, Umangathan Kandasamy

Comments: 47 pages

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Representation Theory (math.RT)

[14] arXiv:1911.05834 [pdf, other]

Title: The Complexity of Synthesizing nop-Equipped Boolean Nets from g-Bounded Inputs (Technical Report)

Ronny Tredup

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[15] arXiv:1911.06358 [pdf, other]

Title: Hardness of Learning DNFs using Halfspaces

Suprovat Ghoshal, Rishi Saket

Comments: 27 Pages

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1911.06664 [pdf, other]

Title: Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs

Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1911.06738 [pdf, other]

Title: Semi-Algebraic Proofs, IPS Lower Bounds and the $τ$-Conjecture: Can a Natural Number be Negative?

Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1911.07536 [pdf, other]

Title: Time-inconsistent Planning: Simple Motivation Is Hard to Find

Fedor V. Fomin, Torstein J. F. Strømme

Comments: An extended abstract of this paper is accepted at AAAI 2020

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[19] arXiv:1911.07793 [pdf, other]

Title: On the Complexity of 2-Player Packing Games

Oliver Korten

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1911.08297 [pdf, other]

Title: Beyond Natural Proofs: Hardness Magnification and Locality

Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam

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

[21] arXiv:1911.08704 [pdf, other]

Title: Node Max-Cut and Computing Equilibria in Linear Weighted Congestion Games

Dimitris Fotakis, Vardis Kandiros, Thanasis Lianeas, Nikos Mouzakis, Panagiotis Patsilinakos, Stratis Skoulakis

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[22] arXiv:1911.09221 [pdf, other]

Title: A 2-approximation for the $k$-prize-collecting Steiner tree problem

Lehilton Lelis Chaves Pedrosa, Hugo Kooki Kasuya Rosado

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

[23] arXiv:1911.09379 [pdf, other]

Title: Parameterized Complexity of Stable Roommates with Ties and Incomplete Lists Through the Lens of Graph Parameters

Robert Bredereck, Klaus Heeger, Dušan Knop, Rolf Niedermeier

Comments: An extended abstract of this paper appears at ISAAC 2019

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[24] arXiv:1911.10698 [pdf, other]

Title: Combinatorial lower bounds for 3-query LDCs

Arnab Bhattacharyya, L. Sunil Chandran, Suprovat Ghoshal

Comments: 10 pages

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

[25] arXiv:1911.10833 [pdf, other]

Title: Near-Optimal Algorithm for Distribution-Free Junta Testing

Xiaojin Zhang

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

[26] arXiv:1911.11368 [pdf, other]

Title: Pseudo-deterministic Streaming

Shafi Goldwasser, Ofer Grossman, Sidhanth Mohanty, David P. Woodruff

Comments: 26 pages

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

[27] arXiv:1911.11405 [pdf, other]

Title: A Note on Computational Complexity of Kill-all Go

Zhujun Zhang

Comments: 15 pages, 11 figures

Subjects: Computational Complexity (cs.CC)

[28] arXiv:1911.11793 [pdf, other]

Title: A Quadratic Lower Bound for Algebraic Branching Programs and Formulas

Prerona Chatterjee, Mrinal Kumar, Adrian She, Ben Lee Volk

Subjects: Computational Complexity (cs.CC)

[29] arXiv:1911.12242 [pdf, other]

Title: An adaptive algorithm for quantum circuit simulation

Roman Schutski, Danil Lykov, Ivan Oseledets

Comments: 10 pages, 11 figures

Journal-ref: Phys. Rev. A 101, 042335 (2020)

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[30] arXiv:1911.12520 [pdf, other]

Title: Schur Polynomials do not have small formulas if the Determinant doesn't!

Prasad Chaugule, Mrinal Kumar, Nutan Limaye, Chandra Kanta Mohapatra, Adrian She, Srikanth Srinivasan

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

[31] arXiv:1911.13091 [pdf, other]

Title: Hybrid Decision Trees: Longer Quantum Time is Strictly More Powerful

Xiaoming Sun, Yufan Zheng

Comments: 23 pages

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[32] arXiv:1911.13104 [pdf, other]

Title: Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems

Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José María Turull-Torres

Comments: Paper submitted to FoIKS 2020

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[33] arXiv:1911.00403 (cross-list from cs.LO) [pdf, other]

Title: Sherali-Adams and the binary encoding of combinatorial principles

Stefan Dantchev, Abdul Ghani, Barnaby Martin

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[34] arXiv:1911.00944 (cross-list from math.CO) [pdf, other]

Title: Shannon capacity and the categorical product

Gábor Simonyi

Comments: 14 pages

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

[35] arXiv:1911.01479 (cross-list from math.RA) [pdf, other]

Title: CC-circuits and the expressive power of nilpotent algebras

Michael Kompatscher

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 2 (May 26, 2022) lmcs:7303

Subjects: Rings and Algebras (math.RA); Computational Complexity (cs.CC)

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

Title: Statistical physics approaches to Unique Games

Matthew Coulson, Ewan Davies, Alexandra Kolla, Viresh Patel, Guus Regts

Comments: 26 pages

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

[37] arXiv:1911.01522 (cross-list from math.OC) [pdf, other]

Title: Generalized Self-concordant Hessian-barrier algorithms

Pavel Dvurechensky, Mathias Staudigl, César A. Uribe

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

[38] arXiv:1911.01662 (cross-list from quant-ph) [pdf, other]

Title: Discrete logarithm and Diffie-Hellman problems in identity black-box groups

Gabor Ivanyos, Antoine Joux, Miklos Santha

Comments: 13 pages. Revision with minor changes

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

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

Title: A Heuristic Algorithm Based on Tour Rebuilding Operator for the Traveling Salesman Problem

Yang Li, Junbin Gao, Mingyuan Bai, Chengjun Li, Gang Liu

Comments: The value of Euclidean distance is not rounded, so there is some error in the result. This paper is currently under revision

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

[40] arXiv:1911.01973 (cross-list from quant-ph) [pdf, other]

Title: On the Quantum Complexity of Closest Pair and Related Problems

Scott Aaronson, Nai-Hui Chia, Han-Hsuan Lin, Chunhao Wang, Ruizhe Zhang

Comments: 46 pages, 3 figures, presentation improved

Journal-ref: Proceedings of the 35th Computational Complexity Conference (CCC), pages 16:1--16:43, 2020

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[41] arXiv:1911.02040 (cross-list from cs.CG) [pdf, other]

Title: Angle Covers: Algorithms and Complexity

William Evans, Ellen Gethner, Jack Spalding-Jamieson, Alexander Wolff

Journal-ref: Journal of Graph Algorithms and Applications, 25(2):643-661 (2021)

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)

[42] arXiv:1911.02218 (cross-list from quant-ph) [pdf, other]

Title: Quantum versus Randomized Communication Complexity, with Efficient Players

Uma Girish, Ran Raz, Avishay Tal

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[43] arXiv:1911.02540 (cross-list from math.PR) [pdf, other]

Title: How many zeros of a random sparse polynomial are real?

Gorav Jindal, Anurag Pandey, Himanshu Shukla, Charilaos Zisopoulos

Subjects: Probability (math.PR); Computational Complexity (cs.CC); Classical Analysis and ODEs (math.CA)

[44] arXiv:1911.02555 (cross-list from quant-ph) [pdf, other]

Title: Interactive shallow Clifford circuits: quantum advantage against NC$^1$ and beyond

Daniel Grier, Luke Schaeffer

Comments: 54 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[45] arXiv:1911.02675 (cross-list from math.NA) [pdf, other]

Title: Faster Least Squares Optimization

Jonathan Lacotte, Mert Pilanci

Subjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC); Optimization and Control (math.OC)

[46] arXiv:1911.02822 (cross-list from quant-ph) [pdf, other]

Title: Quantum Algorithm for the Multicollision Problem

Akinori Hosoyamada, Yu Sasaki, Seiichiro Tani, Keita Xagawa

Comments: 23 pages, 2 figures and 2 tables; a significantly revised version of two conference papers (Asiacrypt 2017 [Cryptology ePrint Archive Report 2017/864] and PQCrypto 2019 [arXiv:1811.08097]) with additional time and space complexity analyses and discussions

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

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

Title: Reconfiguring k-path vertex covers

Duc A. Hoang, Akira Suzuki, Tsuyoshi Yagita

Comments: 29 pages, 6 figures, to be published in IEICE Trans. Information and Systems

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

[48] arXiv:1911.03427 (cross-list from math.CO) [pdf, other]

Title: Induced arithmetic removal: complexity 1 patterns over finite fields

Jacob Fox, Jonathan Tidor, Yufei Zhao

Comments: 22 pages

Journal-ref: Israel J. Math. 248 (2022), 1--38

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

[49] arXiv:1911.03858 (cross-list from cs.IT) [pdf, other]

Title: Arıkan meets Shannon: Polar codes with near-optimal convergence to channel capacity

Venkatesan Guruswami, Andrii Riazanov, Min Ye

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

[50] arXiv:1911.03989 (cross-list from math.OC) [pdf, other]

Title: On the Equivalence of SDP Feasibility and a Convex Hull Relaxation for System of Quadratic Equations

Bahman Kalantari

Comments: 9 pages

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)

[51] arXiv:1911.04026 (cross-list from cs.LO) [pdf, other]

Title: A generic imperative language for polynomial time

Daniel Leivant

Comments: 18 pages, submitted to a conference

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)

[52] arXiv:1911.04112 (cross-list from cs.LO) [pdf, other]

Title: Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty

Nian-Ze Lee, Jie-Hong R. Jiang

Comments: 10 pages, 5 figures. A condensed version of this work is published in the AAAI Conference on Artificial Intelligence (AAAI) 2021

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[53] arXiv:1911.04122 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Classification on the Computational Complexity of Spin Models

Shi-Xin Zhang

Comments: 4.6 pages

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Strongly Correlated Electrons (cond-mat.str-el); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[54] arXiv:1911.04734 (cross-list from quant-ph) [pdf, other]

Title: Sumcheck-based delegation of quantum computing to rational server

Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani

Comments: 32 pages, 2 figures, close to published version in Theor. Comput. Sci., Because of the character limitation, the abstract was shortened compared with the PDF file

Journal-ref: Theor. Comput. Sci. 924, 46 (2022); Proceedings of the 16th International Conference on Theory and Applications of Models of Computation (TAMC 2020), pp. 69-81, 2020

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[55] arXiv:1911.04871 (cross-list from cs.AI) [pdf, other]

Title: On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs

Bernhard Nebel

Journal-ref: ICAPS 2020: 212-216

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

[56] arXiv:1911.05416 (cross-list from cs.GT) [pdf, other]

Title: Contiguous Cake Cutting: Hardness Results and Approximation Algorithms

Paul W. Goldberg, Alexandros Hollender, Warut Suksompong

Comments: Appears in the 34th AAAI Conference on Artificial Intelligence (AAAI), 2020

Journal-ref: Journal of Artificial Intelligence Research, 69:109-141 (2020)

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[57] arXiv:1911.05686 (cross-list from quant-ph) [pdf, other]

Title: The Quantum Strong Exponential-Time Hypothesis

Harry Buhrman, Subhasree Patro, Florian Speelman

Comments: changes: updated grant information

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

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

Title: Recent Advances in Algorithmic High-Dimensional Robust Statistics

Ilias Diakonikolas, Daniel M. Kane

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Statistics Theory (math.ST); Machine Learning (stat.ML)

[59] arXiv:1911.06793 (cross-list from math.CO) [pdf, other]

Title: Testing linear-invariant properties

Jonathan Tidor, Yufei Zhao

Comments: 40 pages; updated with significantly improved main result

Journal-ref: SIAM J. Comput. 51 (2022), 1230--1279

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

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

Title: Approximating the Distance to Monotonicity of Boolean Functions

Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, Erik Waingarten

Comments: To be published in Random Structures & Algorithms

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

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

Title: Faster Integer Multiplication Using Preprocessing

Matt Groff

Comments: 9 pages, 3 figures

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Number Theory (math.NT)

[62] arXiv:1911.07306 (cross-list from quant-ph) [pdf, other]

Title: Quantum Speedup for Graph Sparsification, Cut Approximation and Laplacian Solving

Simon Apers, Ronald de Wolf

Comments: v2: several small improvements to the text. An extended abstract will appear in FOCS'20; v3: corrected a minor mistake in Appendix A; v4: final version as published in SICOMP

Journal-ref: SIAM Journal on Computing, volume 51, number 6, year 2022

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

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

Title: Top-down induction of decision trees: rigorous guarantees and inherent limitations

Guy Blanc, Jane Lange, Li-Yang Tan

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

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

Title: Finding Skewed Subcubes Under a Distribution

Parikshit Gopalan, Roie Levin, Udi Wieder

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

[65] arXiv:1911.07782 (cross-list from quant-ph) [pdf, other]

Title: QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge

Anne Broadbent, Alex B. Grilo

Comments: Published at SICOMP. Retracted section regarding statistical zero-knowledge arguments for QMA

Journal-ref: SIAM Journal on Computing, Vol. 51, Iss. 4 (2022)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[66] arXiv:1911.07981 (cross-list from math.AG) [pdf, other]

Title: New lower bounds for matrix multiplication and the 3x3 determinant

Austin Conner, Alicia Harper, J.M. Landsberg

Comments: 23 pages

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC); Representation Theory (math.RT)

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

Title: Mapping NP-hard and NP-complete optimisation problems to Quadratic Unconstrained Binary Optimisation problems

Bas Lodewijks

Comments: 14 pages, 6 figures

Subjects: Data Structures and Algorithms (cs.DS); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[68] arXiv:1911.08101 (cross-list from quant-ph) [pdf, other]

Title: Non-interactive classical verification of quantum computation

Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung

Comments: 37 pages

Journal-ref: Theory of Cryptography Conference (TCC), Lecture Notes in Computer Science 12552, 153-180 (2020)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[69] arXiv:1911.08558 (cross-list from cs.DM) [pdf, other]

Title: The Longest $(s, t)$-paths of $O$-shaped Supergrid Graphs

Ruo-Wei Hung, Fatemeh Keshavarz-Kohjerdi

Comments: 21 pages, 27 figures. arXiv admin note: substantial text overlap with arXiv:1908.07447, arXiv:1904.02581

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

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

Title: New Algorithms for Mixed Dominating Set

Louis Dublois, Michael Lampis, Vangelis Th. Paschos

Comments: This paper has been accepted to IPEC 2020

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Discrete Algorithms (April 30, 2021) dmtcs:6824

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

[71] arXiv:1911.09065 (cross-list from cs.DM) [pdf, other]

Title: The complexity of promise SAT on non-Boolean domains

Alex Brandts, Marcin Wrochna, Stanislav Živný

Comments: Full version of an ICALP 2020 paper

Journal-ref: ACM Transactions on Computation Theory 13(4) Article No. 26 (2021)

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[72] arXiv:1911.09133 (cross-list from cs.FL) [pdf, other]

Title: Synthesis of Reduced Asymmetric Choice Petri Nets

Harro Wimmel

Comments: 27 pages, 10 figures, V2 due to font problem with this http URL (one font symbol had been erroneously replaced with a greek Psi by LiveTeX)

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

[73] arXiv:1911.09176 (cross-list from quant-ph) [pdf, other]

Title: Lower Bounds for Function Inversion with Quantum Advice

Kai-Min Chung, Tai-Ning Liao, Luowen Qian

Comments: ITC full version

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)

[74] arXiv:1911.09944 (cross-list from cs.IT) [pdf, other]

Title: Covering Codes using Insertions or Deletions

Andreas Lenz, Cyrus Rashtchian, Paul H. Siegel, Eitan Yaakobi

Comments: 13 pages

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

[75] arXiv:1911.10337 (cross-list from quant-ph) [pdf, other]

Title: Echoing the recent Google success: Foundational Roots of Quantum Supremacy

Andrei Khrennikov

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Probability (math.PR)

[76] arXiv:1911.10363 (cross-list from cs.DM) [pdf, other]

Title: Hardness of some variants of the graph coloring game

Thiago Marcilon, Nicolas Martins, Rudini Sampaio

Comments: 12 pages

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

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

Title: Smoothed complexity of local Max-Cut and binary Max-CSP

Xi Chen, Chenghao Guo, Emmanouil-Vasileios Vlatakis-Gkaragkounis, Mihalis Yannakakis, Xinzhi Zhang

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

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

Title: Graph isomorphism in quasipolynomial time parameterized by treewidth

Daniel Wiebking

Comments: 52 pages, 1 figure

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Group Theory (math.GR)

[79] arXiv:1911.11852 (cross-list from cs.PF) [pdf, other]

Title: Rule Designs for Optimal Online Game Matchmaking

Mingkuan Xu, Yang Yu, Chenye Wu

Subjects: Performance (cs.PF); Computational Complexity (cs.CC); Systems and Control (eess.SY)

[80] arXiv:1911.12638 (cross-list from quant-ph) [pdf, other]

Title: Quantum Lower Bounds for 2D-Grid and Dyck Language

Andris Ambainis, Kaspars Balodis, Jānis Iraids, Krišjānis Prūsis, Juris Smotrovs

Comments: 16 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[81] arXiv:1911.12884 (cross-list from cs.LO) [pdf, other]

Title: Efficient Recognition of Graph Languages

Graham Campbell, Detlef Plump

Comments: Project Report, Department of Computer Science, University of York, 83 pages, 2019. arXiv admin note: substantial text overlap with arXiv:1906.05170

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

[82] arXiv:1911.13097 (cross-list from cs.NE) [pdf, other]

Title: A spiking neural algorithm for the Network Flow problem

Abdullahi Ali, Johan Kwisthout

Comments: Supported by Intel Corporation in the Intel Neuromorphic Research Community

Subjects: Neural and Evolutionary Computing (cs.NE); Computational Complexity (cs.CC)

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

Title: Tight Bounds for Planar Strongly Connected Steiner Subgraph with Fixed Number of Terminals (and Extensions)

Rajesh Chitnis, Andreas Emil Feldmann, MohammadTaghi Hajiaghayi, Dániel Marx

Comments: To appear in SICOMP. Extended abstract in SODA 2014. This version has a new author (Andreas Emil Feldmann), and the algorithm is faster and considerably simplified as compared to conference version

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

[84] arXiv:1911.13294 (cross-list from cs.DC) [pdf, other]

Title: Classification of distributed binary labeling problems

Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti, Jukka Suomela

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC)