English
Related papers

Related papers: A baby step-giant step roadmap algorithm for gener…

200 papers

It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural…

Combinatorics · Mathematics 2024-03-13 Jørgen Bang-Jensen , Yun Wang , Anders Yeo

Approximating the $k$-th spectral gap $\Delta_k=|\lambda_k-\lambda_{k+1}|$ and the corresponding midpoint $\mu_k=\frac{\lambda_k+\lambda_{k+1}}{2}$ of an $N\times N$ Hermitian matrix with eigenvalues…

Quantum Physics · Physics 2026-05-12 Almudena Carrera Vazquez , Aleksandros Sobczyk

Graph reconstruction can efficiently detect the underlying topology of massive networks such as the Internet. Given a query oracle and a set of nodes, the goal is to obtain the edge set by performing as few queries as possible. An algorithm…

Data Structures and Algorithms · Computer Science 2024-07-29 Clara Stegehuis , Lotte Weedage

Elegant and general algorithms for handling upwards-closed and downwards-closed subsets of WQOs can be developed using the filter-based and ideal-based representation for these sets. These algorithms can be built in a generic or…

Logic in Computer Science · Computer Science 2019-04-25 Jean Goubault-Larrecq , Simon Halfon , Prateek Karandikar , K. Narayan Kumar , Philippe Schnoebelen

A dynamic partial order reduction (DPOR) algorithm is optimal when it always explores at most one representative per Mazurkiewicz trace. Existing literature suggests that the reduction obtained by the non-optimal, state-of-the-art…

Programming Languages · Computer Science 2018-04-23 Huyen T. T Nguyen , César Rodríguez , Marcelo Sousa , Camille Coti , Laure Petrucci

We propose to take a novel approach to robot system design where each building block of a larger system is represented as a differentiable program, i.e. a deep neural network. This representation allows for integrating algorithmic planning…

Robotics · Computer Science 2018-07-19 Peter Karkus , David Hsu , Wee Sun Lee

In this paper, we present a quantum algorithm for dynamic programming approach for problems on directed acyclic graphs (DAGs). The running time of the algorithm is $O(\sqrt{\hat{n}m}\log \hat{n})$, and the running time of the best known…

Data Structures and Algorithms · Computer Science 2019-06-21 Kamil Khadiev , Liliya Safina

We consider the parameterized complexity of the problem of tracking shortest s-t paths in graphs, motivated by applications in security and wireless networks. Given an undirected and unweighted graph with a source s and a destination t,…

Data Structures and Algorithms · Computer Science 2020-08-19 Aritra Banik , Pratibha Choudhary , Venkatesh Raman , Saket Saurabh

Let $\K$ be a field and $(f_1, \ldots, f_n)\subset \K[X_1, \ldots, X_n]$ be a sequence of quasi-homogeneous polynomials of respective weighted degrees $(d_1, \ldots, d_n)$ w.r.t a system of weights $(w_{1},\dots,w_{n})$. Such systems are…

Symbolic Computation · Computer Science 2013-05-07 Jean-Charles Faugère , Mohab Safey El Din , Thibaut Verron

Estimating the average degree of graph is a classic problem in sublinear graph algorithm. Eden, Ron, and Seshadhri (ICALP 2017, SIDMA 2019) gave a simple algorithm for this problem whose running time depended on the graph arboricity, but…

Data Structures and Algorithms · Computer Science 2026-03-11 Talya Eden , C. Seshadhri

This work studies the average complexity of solving structured polynomial systems that are characterized by a low evaluation cost, as opposed to the dense random model previously used. Firstly, we design a continuation algorithm that…

Numerical Analysis · Mathematics 2023-06-12 Peter Bürgisser , Felipe Cucker , Pierre Lairez

This introduction to graphs and graph algebras provides the optimal bound for the number of all paths of length $k$ in a graph with $N\geq k$ edges and no loops. Our proof relies on a construction of a number of terminating algorithms that…

Rings and Algebras · Mathematics 2019-12-12 Piotr M. Hajac , Mariusz Tobolski

In a fundamental paper [Phys. Rev. Lett. 78, 325 (1997)] Grover showed how a quantum computer can find a single marked object in a database of size N by using only O(N^{1/2}) queries of the oracle that identifies the object. His result was…

Quantum Physics · Physics 2009-11-11 Shahar Dolev , Itamar Pitowsky , Boaz Tamir

A fundamental problem in computer science is to find all the common zeroes of $m$ quadratic polynomials in $n$ unknowns over $\mathbb{F}_2$. The cryptanalysis of several modern ciphers reduces to this problem. Up to now, the best complexity…

Symbolic Computation · Computer Science 2015-03-19 Magali Bardet , Jean-Charles Faugère , Bruno Salvy , Pierre-Jean Spaenlehauer

The paper presents complexity results and performance guaranties for a family of approximation algorithms for an optimisation problem arising in software testing and manufacturing. The problem is formulated as a partitioning of a set where…

Data Structures and Algorithms · Computer Science 2022-12-13 Yakov Zinder , Bertrand M. T. Lin , Joanna Berlińska

A new version of the Graeffe algorithm for finding all the roots of univariate complex polynomials is proposed. It is obtained from the classical algorithm by a process analogous to renormalization of dynamical systems. This iteration is…

Numerical Analysis · Mathematics 2025-10-20 Gregorio Malajovich , Jorge P. Zubelli

Suppose we are given an $n$-dimensional order-3 symmetric tensor $T \in (\mathbb{R}^n)^{\otimes 3}$ that is the sum of $r$ random rank-1 terms. The problem of recovering the rank-1 components is possible in principle when $r \lesssim n^2$…

Computational Complexity · Computer Science 2023-03-28 Alexander S. Wein

In the problem of semialgebraic range searching, we are to preprocess a set of points in $\mathbb{R}^D$ such that the subset of points inside a semialgebraic region described by $O(1)$ polynomial inequalities of degree $\Delta$ can be found…

Computational Geometry · Computer Science 2022-03-16 Peyman Afshani , Pingan Cheng

We are interested in computing $k$ most preferred models of a given d-DNNF circuit $C$, where the preference relation is based on an algebraic structure called a monotone, totally ordered, semigroup $(K, \otimes, <)$. In our setting, every…

Artificial Intelligence · Computer Science 2022-05-09 Pierre Bourhis , Laurence Duchien , Jérémie Dusart , Emmanuel Lonca , Pierre Marquis , Clément Quinton

Existing structural analysis methods may fail to find all hidden constraints for a system of differential-algebraic equations with parameters if the system is structurally unamenable for certain values of the parameters. In this paper, for…

Numerical Analysis · Mathematics 2024-01-11 Wenqiang Yang , Wenyuan Wu , Greg Reid