English
Related papers

Related papers: The NFA Acceptance Hypothesis: Non-Combinatorial a…

200 papers

Maintaining and updating shortest paths information in a graph is a fundamental problem with many applications. As computations on dense graphs can be prohibitively expensive, and it is preferable to perform the computations on a sparse…

Data Structures and Algorithms · Computer Science 2021-09-21 Thiago Bergamaschi , Monika Henzinger , Maximilian Probst Gutenberg , Virginia Vassilevska Williams , Nicole Wein

Temporal graphs provide a useful model for many real-world networks. Unfortunately the majority of algorithmic problems we might consider on such graphs are intractable. There has been recent progress in defining structural parameters which…

Discrete Mathematics · Computer Science 2024-11-20 Jessica Enright , Samuel D. Hand , Laura Larios-Jones , Kitty Meeks

The computation of short paths in graphs with arc lengths is a pillar of graph algorithmics and network science. In a more diverse world, however, not every short path is equally valuable. For the setting where each vertex is assigned to a…

Data Structures and Algorithms · Computer Science 2023-02-28 Matthias Bentert , Leon Kellerhals , Rolf Niedermeier

A pattern $\alpha$ is a string of variables and terminal letters. We say that $\alpha$ matches a word $w$, consisting only of terminal letters, if $w$ can be obtained by replacing the variables of $\alpha$ by terminal words. The matching…

Data Structures and Algorithms · Computer Science 2022-07-18 Paweł Gawrychowski , Florin Manea , Stefan Siemer

Given a non-deterministic finite automaton (NFA) A with m states, and a natural number n (presented in unary), the #NFA problem asks to determine the size of the set L(A_n) of words of length n accepted by A. While the corresponding…

Data Structures and Algorithms · Computer Science 2024-04-09 Kuldeep S. Meel , Sourav Chakraborty , Umang Mathur

With few exceptions (namely, algorithms for maximal matching, $2$-approximate vertex cover, and certain constant-stretch spanners), all known fully dynamic algorithms in general graphs require (amortized) $\Omega(\log n)$ update/query time.…

Data Structures and Algorithms · Computer Science 2019-07-11 Monika Henzinger , Pan Peng

We consider the algorithm by Ferson et al. (Reliable computing 11(3), p. 207-233, 2005) designed for solving the NP-hard problem of computing the maximal sample variance over interval data, motivated by robust statistics (in fact, the…

Optimization and Control · Mathematics 2022-07-28 Miroslav Rada , Michal Černý , Ondřej Sokol

We study parameter estimation in Nonlinear Factor Analysis (NFA) where the generative model is parameterized by a deep neural network. Recent work has focused on learning such models using inference (or recognition) networks; we identify a…

Machine Learning · Statistics 2017-10-18 Rahul G. Krishnan , Dawen Liang , Matthew Hoffman

This paper deals with Gelfand-type problems \begin{equation}\label{Gelfand10} \qquad\qquad\left\{\begin{array}{ll} - \Delta_m u = \lambda f(u), \quad&\hbox{in} \ \Omega, \ \lambda >0, \\[10pt] u =0, \quad&\hbox{on} \ \partial_m\Omega,…

Analysis of PDEs · Mathematics 2024-10-30 J. M. Mazon , A. Molino , J. Toledo

We consider the problem of partitioning a graph into a non-fixed number of non-overlapping subgraphs of maximum density. The density of a partition is the sum of the densities of the subgraphs, where the density of a subgraph is its average…

Computational Complexity · Computer Science 2022-02-17 Cristina Bazgan , Katrin Casel , Pierre Cazals

Matrix Completion is the problem of recovering an unknown real-valued low-rank matrix from a subsample of its entries. Important recent results show that the problem can be solved efficiently under the assumption that the unknown matrix is…

Computational Complexity · Computer Science 2014-04-11 Moritz Hardt , Raghu Meka , Prasad Raghavendra , Benjamin Weitz

Treewidth (tw) is an important parameter that, when bounded, yields tractability for many problems. For example, graph problems expressible in Monadic Second Order (MSO) logic and QUANTIFIED SAT or, more generally, QUANTIFIED CSP, are FPT…

Computational Complexity · Computer Science 2025-03-18 Florent Foucaud , Esther Galby , Liana Khazaliya , Shaohua Li , Fionn Mc Inerney , Roohani Sharma , Prafullkumar Tale

For many random Constraint Satisfaction Problems, by now, we have asymptotically tight estimates of the largest constraint density for which they have solutions. At the same time, all known polynomial-time algorithms for many of these…

Combinatorics · Mathematics 2017-11-29 Dimitris Achlioptas , Amin Coja-Oghlan

Why do neurons encode information the way they do? Normative answers to this question model neural activity as the solution to an optimisation problem; for example, the celebrated efficient coding hypothesis frames neural activity as the…

Neurons and Cognition · Quantitative Biology 2026-03-06 William Dorrell , Peter E. Latham , James Whittington

Factor Analysis (FA) is a technique of fundamental importance that is widely used in classical and modern multivariate statistics, psychometrics and econometrics. In this paper, we revisit the classical rank-constrained FA problem, which…

Methodology · Statistics 2017-04-25 Dimitris Bertsimas , Martin S. Copenhaver , Rahul Mazumder

The quantum query complexity of subgraph-containment problems, which ask whether a given subgraph $H$ is present in an input graph $G$, has been the subject of considerable study. However, even for relatively simple subgraphs, such as paths…

Quantum Physics · Physics 2026-05-12 Arjan Cornelissen , Amin Shiraz Gilani , Subhasree Patro

High-dimensional limit theorems have been shown useful to derive tuning rules for finding the optimal scaling in random-walk Metropolis algorithms. The assumptions under which weak convergence results are proved are however restrictive: the…

Methodology · Statistics 2022-02-16 Sebastian M Schmon , Philippe Gagnon

This paper studies the fundamental problem of graph coloring in fully dynamic graphs. Since the problem of computing an optimal coloring, or even approximating it to within $n^{1-\epsilon}$ for any $\epsilon > 0$, is NP-hard in static…

Data Structures and Algorithms · Computer Science 2020-06-23 Shay Solomon , Nicole Wein

We present a simple deterministic reduction which, assuming the Exponential Time Hypothesis ($\mathsf{ETH}$), yields tight lower bounds for approximating the parameterized Maximum Likelihood Decoding problem ($\mathsf{MLD}$) and the…

Computational Complexity · Computer Science 2026-05-12 Rishav Gupta , Bingkai Lin , Xin Zheng

Finding dense subnetworks, with density based on edges or more complex structures, such as subgraphs or $k$-cliques, is a fundamental algorithmic problem with many applications. While the problem has been studied extensively in static…

Data Structures and Algorithms · Computer Science 2024-06-26 Ilie Sarpe , Fabio Vandin , Aristides Gionis