Computational Complexity

Authors and titles for May 2023

[1] arXiv:2305.00467 [pdf, other]

Title: The iteration time and the general position number in graph convexities

Julio Araujo, Mitre C. Dourado, Fábio Protti, Rudini Sampaio

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

[2] arXiv:2305.00794 [pdf, other]

Title: An Approach to Circuit Lower Bounds via Bounded Width Circuits

Hiroki Morizumi

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2305.02056 [pdf, other]

Title: Approximate Evaluation of Quantitative Second Order Queries

Jan Dreier, Robert Ganian, Thekla Hamm

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[4] arXiv:2305.02226 [pdf, other]

Title: $P\not=NP$ relative to a $P$-complete oracle

Reiner Czerwinski

Subjects: Computational Complexity (cs.CC)

[5] arXiv:2305.02271 [pdf, other]

Title: $L$ is unequal $NL$ under the Strong Exponential Time Hypothesis

Reiner Czerwinski

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

[6] arXiv:2305.02800 [pdf, other]

Title: On the Parameterized Complexity of the Perfect Phylogeny Problem

Jorke M. de Vlas

Subjects: Computational Complexity (cs.CC)

[7] arXiv:2305.03307 [pdf, other]

Title: On Optimization and Counting of Non-Broken Bases of Matroids

Dorna Abdolazimi, Kasper Lindberg, Shayan Oveis Gharan

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

[8] arXiv:2305.04234 [pdf, html, other]

Title: On guarded extensions of MMSNP

Alexey Barsukov, Florent R. Madelaine

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

[9] arXiv:2305.04363 [pdf, other]

Title: Sampling and Certifying Symmetric Functions

Yuval Filmus, Itai Leigh, Artur Riazanov, Dmitry Sokolov

Subjects: Computational Complexity (cs.CC)

[10] arXiv:2305.04563 [pdf, other]

Title: Structural Complexity of Rational Interactive Proofs

Daniil Musatov, Georgii Potapov

Subjects: Computational Complexity (cs.CC)

[11] arXiv:2305.04767 [pdf, other]

Title: Count on CFI graphs for #P-hardness

Radu Curticapean

Comments: 20 pages

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

[12] arXiv:2305.04918 [pdf, other]

Title: The Computational Complexity of Equilibria with Strategic Constraints

Bruce M. Kapron, Koosha Samieefar

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

[13] arXiv:2305.04983 [pdf, html, other]

Title: Low-Degree Testing Over Grids

Prashanth Amireddy, Srikanth Srinivasan, Madhu Sudan

Comments: 39 pages, conference version appeared in RANDOM 2023, corrected typos

Subjects: Computational Complexity (cs.CC)

[14] arXiv:2305.05415 [pdf, html, other]

Title: Scheme-Theoretic Approach to Computational Complexity. III. SETH

Ali Çivril

Comments: 6 pages. Updated the definitions according to the first paper in the series

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2305.05676 [pdf, html, other]

Title: Scheme-Theoretic Approach to Computational Complexity. IV. A New Perspective on Hardness of Approximation

Ali Çivril

Comments: 6 pages. Updated the definitions according to the first paper in the series

Subjects: Computational Complexity (cs.CC)

[16] arXiv:2305.05808 [pdf, other]

Title: On the Information Capacity of Nearest Neighbor Representations

Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck

Comments: The conference version is submitted to and accepted by ISIT 2023

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[17] arXiv:2305.06093 [pdf, other]

Title: Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables from Closed Classes

Azimkhon Ostonov, Mikhail Moshkov

Journal-ref: IEEE Access 12, 164979-164988 (2024)

Subjects: Computational Complexity (cs.CC)

[18] arXiv:2305.06821 [pdf, other]

Title: Constant-depth circuits vs. monotone circuits

Bruno P. Cavalar, Igor C. Oliveira

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2305.07364 [pdf, other]

Title: Improved Lower Bounds for Monotone q-Multilinear Boolean Circuits

Andrzej Lingas, Mia Persson

Comments: 15 pages, preliminary version in proceedings of SOFSEM 2023

Subjects: Computational Complexity (cs.CC)

[20] arXiv:2305.08269 [pdf, other]

Title: The Sharp Power Law of Local Search on Expanders

Simina Brânzei, Davin Choo, Nicholas Recker

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

[21] arXiv:2305.09973 [pdf, other]

Title: Border Complexity of Symbolic Determinant under Rank One Restriction

Abhranil Chatterjee, Sumanta Ghosh, Rohit Gurjar, Roshan Raj

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2305.09984 [pdf, other]

Title: The Noncommutative Edmonds' Problem Re-visited

Abhranil Chatterjee, Partha Mukhopadhyay

Subjects: Computational Complexity (cs.CC)

[23] arXiv:2305.10749 [pdf, other]

Title: On the Computational Complexity of Generalized Common Shape Puzzles

Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara

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

[24] arXiv:2305.11276 [pdf, other]

Title: Perspective on complexity measures targetting read-once branching programs

Yaqiao Li, Pierre McKenzie

Comments: 38 pages, a version without the appendix is submitted to the journal Information and Computation

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

[25] arXiv:2305.12176 [pdf, other]

Title: On the approximability and energy-flow modeling of the electric vehicle sharing problem

Welverton R. Silva, Fábio L. Usberti, Rafael C. S. Schouery

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

[26] arXiv:2305.12478 [pdf, other]

Title: The airplane refueling problem is NP-complete and is solvable in polynomial time

Jinchuan Cui, Xiaoya Li

Comments: 6 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[27] arXiv:2305.12731 [pdf, other]

Title: Perfect Information Hearthstone is PSPACE-hard

Zhujun Zhang

Comments: 18 pages, 6 tables

Subjects: Computational Complexity (cs.CC)

[28] arXiv:2305.12841 [pdf, other]

Title: Marriage and Roommate

Kazuo Iwama, Shuichi Miyazaki

Comments: accepted to IJFCS

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

[29] arXiv:2305.13008 [pdf, other]

Title: Heuristics Optimization of Boolean Circuits with application in Attribute Based Encryption

Alexandru Ionita, Denis-Andrei Banu, Iulian Oleniuc

Subjects: Computational Complexity (cs.CC)

[30] arXiv:2305.15140 [pdf, other]

Title: Polynomial-Time Pseudodeterministic Construction of Primes

Lijie Chen, Zhenjian Lu, Igor C. Oliveira, Hanlin Ren, Rahul Santhanam

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

[31] arXiv:2305.15235 [pdf, other]

Title: Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic

Jiatu Li, Igor Carboni Oliveira

Comments: full version of a conference paper to appear in STOC 2023

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

[32] arXiv:2305.15917 [pdf, other]

Title: A Fast Algorithm for Consistency Checking Partially Ordered Time

Leif Eriksson, Victor Lagerkvist

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

[33] arXiv:2305.15950 [pdf, other]

Title: Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning

Leif Eriksson, Victor Lagerkvist

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

[34] arXiv:2305.16878 [pdf, other]

Title: Can You Solve Closest String Faster than Exhaustive Search?

Amir Abboud, Nick Fischer, Elazar Goldenberg, Karthik C. S., Ron Safier

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

[35] arXiv:2305.19104 [pdf, other]

Title: Hardness of Approximation in PSPACE and Separation Results for Pebble Games

Siu Man Chan, Massimo Lauria, Jakob Nordström, Marc Vinyals

Subjects: Computational Complexity (cs.CC)

[36] arXiv:2305.19212 [pdf, other]

Title: Solving Projected Model Counting by Utilizing Treewidth and its Limits

Johannes K. Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran

Comments: arXiv admin note: substantial text overlap with arXiv:1805.05445

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

[37] arXiv:2305.19320 [pdf, other]

Title: On the algebraic proof complexity of Tensor Isomorphism

Nicola Galesi, Joshua A. Grochow, Toniann Pitassi, Adrian She

Comments: Full version of extended abstract to appear in CCC '23

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: Questions and Concerns About Google's Quantum Supremacy Claim

Gil Kalai, Yosef Rinott, Tomer Shoham

Comments: 49 pages, 13 Figures, 7 Tables

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Statistics Theory (math.ST)

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

Title: Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality

Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Węgrzycki

Comments: Preprint for ICALP'23 containing 25 pages and 10 figures

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

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

Title: Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem

Hans L. Bodlaender, Matthew Johnson, Barnaby Martin, Jelle J. Oostveen, Sukanya Pandey, Daniel Paulusma, Siani Smith, Erik Jan van Leeuwen

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

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

Title: Construction of Decision Trees and Acyclic Decision Graphs from Decision Rule Systems

Kerven Durdymyradov, Mikhail Moshkov

Comments: arXiv admin note: substantial text overlap with arXiv:2302.07063

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

[42] arXiv:2305.01851 (cross-list from q-bio.GN) [pdf, other]

Title: Complexity and Enumeration in Models of Genome Rearrangement

Lora Bailey, Heather Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann

Comments: Full version of paper that appeared in COCOON 2023: this https URL

Journal-ref: Theoretical Computer Science (2024)

Subjects: Genomics (q-bio.GN); Computational Complexity (cs.CC); Combinatorics (math.CO)

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

Title: Complexity and asymptotics of structure constants

Greta Panova

Comments: 20 pages, to appear in Proceedings of OPAC 2022

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

[44] arXiv:2305.02850 (cross-list from cs.LG) [pdf, other]

Title: Impossibility of Depth Reduction in Explainable Clustering

Chengyuan Deng, Surya Teja Gavva, Karthik C. S., Parth Patel, Adarsh Srinivasan

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

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

Title: All Kronecker coefficients are reduced Kronecker coefficients

Christian Ikenmeyer, Greta Panova

Comments: 15 pages

Journal-ref: Forum of Mathematics, Pi 12 (2024) e22

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

[46] arXiv:2305.03146 (cross-list from cs.DS) [pdf, html, other]

Title: Testing Convex Truncation

Anindya De, Shivam Nadimpalli, Rocco A. Servedio

Comments: Preliminary version in SODA 2023; v3 includes a simpler and stronger lower bound than v2. 26 pages

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

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

Title: Degrees of Second and Higher-Order Polynomials

Donghyun Lim, Martin Ziegler

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

[48] arXiv:2305.04908 (cross-list from quant-ph) [pdf, other]

Title: Tight Bounds for Quantum Phase Estimation and Related Problems

Nikhil S. Mande, Ronald de Wolf

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

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

Title: In Honour of Ted Swart

Stephen Gismondi

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

[50] arXiv:2305.05765 (cross-list from quant-ph) [pdf, other]

Title: On the average-case complexity of learning output distributions of quantum circuits

Alexander Nietner, Marios Ioannou, Ryan Sweke, Richard Kueng, Jens Eisert, Marcel Hinsche, Jonas Haferkamp

Comments: 57 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Machine Learning (stat.ML)

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

Title: DNN Verification, Reachability, and the Exponential Function Problem

Omri Isac, Yoni Zohar, Clark Barrett, Guy Katz

Comments: This is a preprint version of the paper that appears at CONCUR 2023

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

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

Title: Complexity of Efficient Outcomes in Binary-Action Polymatrix Games with Implications for Coordination Problems

Argyrios Deligkas, Eduard Eiben, Gregory Gutin, Philip R. Neary, Anders Yeo

Comments: 25 pages; A shortened version of this article has been accepted for presentation and publication at the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)

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

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

Title: Sampling recovery in $L_2$ and other norms

David Krieg, Kateryna Pozharska, Mario Ullrich, Tino Ullrich

Comments: The title has changed slightly. Some results from earlier versions are shifted to another publication

Subjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC)

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

Title: Randomized Algorithm for the Maximum-Profit Routing Problem

Bogdan Armaselu

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

[55] arXiv:2305.08094 (cross-list from math.OC) [pdf, html, other]

Title: Accelerating genetic optimization of nonlinear model predictive control by learning optimal search space size

Eslam Mostafa, Hussein A. Aly, Ahmed Elliethy

Comments: Accepted by the Journal of Control and Decision

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Neural and Evolutionary Computing (cs.NE); Robotics (cs.RO)

[56] arXiv:2305.08388 (cross-list from cs.IT) [pdf, html, other]

Title: A lower bound on the field size of convolutional codes with a maximum distance profile and an improved construction

Zitan Chen

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

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

[57] arXiv:2305.08405 (cross-list from math.GR) [pdf, other]

Title: Algorithms for the Minimum Generating Set Problem

Bireswar Das, Dhara Thakkar

Comments: 20 pages

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC)

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

Title: The Hardness of Reasoning about Probabilities and Causality

Benito van der Zander, Markus Bläser, Maciej Liśkiewicz

Comments: accepted at IJCAI 23

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

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

Title: A LOCAL View of the Polynomial Hierarchy

Fabian Reiter

Comments: 70 pages, 15 figures (4 repeated); v3: New section "Informal overview" and minor presentation improvements

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: Stable Dinner Party Seating Arrangements

Damien Berriaud, Andrei Constantinescu, Roger Wattenhofer

Comments: To appear in WINE'23; preliminary version presented at COMSOC'23

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

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

Title: Algorithmic Decorrelation and Planted Clique in Dependent Random Graphs: The Case of Extra Triangles

Guy Bresler, Chenghao Guo, Yury Polyanskiy

Comments: 71 pages

Subjects: Probability (math.PR); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Statistics Theory (math.ST)

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

Title: Quadratic Lower bounds on the Approximate Stabilizer Rank: A Probabilistic Approach

Saeed Mehraban, Mehrdad Tahmasbi

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

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

Title: Principal-Agent Boolean Games

David Hyland, Julian Gutierrez, Michael Wooldridge

Comments: 12 pages, 2 figures, accepted at IJCAI 2023

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

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

Title: The Complexity of Diagonalization

Nikhil Srivastava

Comments: 11pp. Invited survey for ISSAC 2023. Comments welcome

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA)

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

Title: (Noisy) Gap Cycle Counting Strikes Back: Random Order Streaming Lower Bounds for Connected Components and Beyond

Sepehr Assadi, Janani Sundaresan

Comments: 40 pages, 12 figures; to appear in STOC 2023

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

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

Title: Making $\textsf{IP}=\textsf{PSPACE}$ Practical: Efficient Interactive Protocols for BDD Algorithms

Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar

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

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

Title: Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions

Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema

Comments: Revised version of a manuscript sent for review in April 2023

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

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

Title: On Testing and Learning Quantum Junta Channels

Zongbo Bao, Penghui Yao

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

[69] arXiv:2305.12444 (cross-list from quant-ph) [pdf, other]

Title: On the Impossibility of General Parallel Fast-forwarding of Hamiltonian Simulation

Nai-Hui Chia, Kai-Min Chung, Yao-Ching Hsieh, Han-Hsuan Lin, Yao-Ting Lin, Yu-Ching Shen

Comments: 44 pages, 7 figures

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

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

Title: Testing Isomorphism of Graphs in Polynomial Time

Rui Xue

Comments: A counter example was found and hence the claim is false in the manuscript

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

[71] arXiv:2305.14252 (cross-list from quant-ph) [pdf, other]

Title: Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines

Mariano Lemus, Ricardo Faleiro, Paulo Mateus, Nikola Paunković, André Souto

Comments: 29 pages, 2 figures

Journal-ref: Quantum 8, 1230 (2024)

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

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

Title: Supermodular Rank: Set Function Decomposition and Optimization

Rishi Sonthalia, Anna Seigal, Guido Montufar

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Optimization and Control (math.OC)

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

Title: A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization

Sander Gribling, Sven Polak, Lucas Slot

Comments: 10 pages

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

[74] arXiv:2305.15408 (cross-list from cs.LG) [pdf, html, other]

Title: Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspective

Guhao Feng, Bohang Zhang, Yuntian Gu, Haotian Ye, Di He, Liwei Wang

Comments: 42 pages; Camera-ready version for NeurIPS 2023 (Oral Presentation)

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Computation and Language (cs.CL); Machine Learning (stat.ML)

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

Title: Smoothed Complexity of SWAP in Local Graph Partitioning

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

Comments: 46 pages, 7 figures

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

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

Title: On the Weisfeiler-Leman dimension of permutation graphs

Jin Guo, Alexander L. Gavrilyuk, Ilia Ponomarenko

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

[77] arXiv:2305.16590 (cross-list from cs.SI) [pdf, html, other]

Title: Seeding with Differentially Private Network Information

M. Amin Rahimian, Fang-Yi Yu, Yuxin Liu, Carlos Hurtado

Comments: Preliminary version in AAMAS 2023: this https URL -- Code and data: this https URL

Subjects: Social and Information Networks (cs.SI); Computational Complexity (cs.CC); Multiagent Systems (cs.MA); Probability (math.PR); Applications (stat.AP)

[78] arXiv:2305.16671 (cross-list from cs.LG) [pdf, html, other]

Title: A Unified Approach for Maximizing Continuous DR-submodular Functions

Mohammad Pedramfar, Christopher John Quinn, Vaneet Aggarwal

Comments: 37th Conference on Neural Information Processing Systems (NeurIPS 2023)

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

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

Title: Using Weighted Matching to Solve 2-Approval/Veto Control and Bribery

Zack Fitzsimmons, Edith Hemaspaandra

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

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

Title: The Computational Complexity of Single-Player Imperfect-Recall Games

Emanuel Tewolde, Caspar Oesterheld, Vincent Conitzer, Paul W. Goldberg

Comments: Long version of the paper that got accepted to the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23). 10 pages and 2 figures in the main body. 17 pages and 4 figures in the appendix

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

[81] arXiv:2305.18514 (cross-list from quant-ph) [pdf, other]

Title: Polynomial-time classical sampling of high-temperature quantum Gibbs states

Chao Yin, Andrew Lucas

Comments: 4+4 pages; 0+1 figure

Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Mathematical Physics (math-ph)

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

Title: The Isomorphism Problem of Power Graphs and a Question of Cameron

Bireswar Das, Jinia Ghosh, Anant Kumar

Comments: 27 pages

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

[83] arXiv:2305.19277 (cross-list from math.CO) [pdf, html, other]

Title: Corrigendum to "On the monophonic rank of a graph" [Discrete Math. Theor. Comput. Sci. 24:2 (2022) #3]

Mitre C. Dourado, Vitor S. Ponciano, Rômulo L. O. da Silva

Comments: 6 pages, 2 figures

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (March 22, 2024) dmtcs:11423

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

[84] arXiv:2305.19504 (cross-list from nlin.CG) [pdf, other]

Title: Self-Replicating Hierarchical Structures Emerge in a Binary Cellular Automaton

Bo Yang

Comments: 12 pages, 5 figures

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Computational Complexity (cs.CC); Dynamical Systems (math.DS)

[85] arXiv:2305.19777 (cross-list from math.MG) [pdf, other]

Title: On the Shortest Lattice Vector vs. the Shortest Basis

Yael Eisenberg, Itamar Rot, Muli Safra

Comments: 16 pages

Subjects: Metric Geometry (math.MG); Computational Complexity (cs.CC); Number Theory (math.NT)

[86] arXiv:2305.20069 (cross-list from quant-ph) [pdf, other]

Title: A survey on the complexity of learning quantum states

Anurag Anshu, Srinivasan Arunachalam

Comments: Invited article by Nature Review Physics. 39 pages, 6 figures

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