English
Related papers

Related papers: Probabilistic verification algorithm for linear co…

200 papers

We study approximation algorithms for the following geometric version of the maximum coverage problem: Let P be a set of n weighted points in the plane. We want to place m a * b rectangles such that the sum of the weights of the points in P…

Computational Geometry · Computer Science 2015-05-12 Jian Li , Haitao Wang , Bowei Zhang , Ningye Zhang

In the Partially Embedded Planarity problem, we are given a graph $G$ together with a topological drawing of a subgraph $H$ of $G$. The task is to decide whether the drawing can be extended to a drawing of the whole graph such that no two…

Computational Geometry · Computer Science 2024-10-18 Simon D. Fink , Ignaz Rutter , Sandhya T. P

Integer Linear Programming with $n$ binary variables and $m$ many $0/1$-constraints can be solved in time $2^{\tilde O(m^2)} \text{poly}(n)$ and it is open whether the dependence on $m$ is optimal. Several seemingly unrelated problems,…

Data Structures and Algorithms · Computer Science 2024-09-06 Lars Rohwedder , Karol Węgrzycki

We give an algorithm A which assigns probabilities to logical sentences. For any simple infinite sequence of sentences whose truth-values appear indistinguishable from a biased coin that outputs "true" with probability p, we have that the…

Machine Learning · Computer Science 2015-10-13 Scott Garrabrant , Siddharth Bhaskar , Abram Demski , Joanna Garrabrant , George Koleszarik , Evan Lloyd

The linear complexity of a sequence $s$ is one of the measures of its predictability. It represents the smallest degree of a linear recursion which the sequence satisfies. There are several algorithms to find the linear complexity of a…

Cryptography and Security · Computer Science 2019-12-30 Yeow Meng Chee , Johan Chrisnata , Tuvi Etzion , Han Mao Kiah

A fast algorithm is presented for determining the linear complexity and the minimal polynomial of periodic sequences over GF(q) with period q n p m, where p is a prime, q is a prime and a primitive root modulo p2. The algorithm presented…

Cryptography and Security · Computer Science 2007-05-23 Jianqin Zhou

Change-point problems have appeared in a great many applications for example cancer genetics, econometrics and climate change. Modern multiscale type segmentation methods are considered to be a statistically efficient approach for multiple…

Computation · Statistics 2018-05-04 Chengcheng Huang , Housen Li , Lizhi Cheng , Wei Peng

Let a Boolean function be available as a black-box (oracle) and one likes to devise an algorithm to test whether it has certain property or it is $\epsilon$-far from having that property. The efficiency of the algorithm is judged by the…

Quantum Physics · Physics 2013-06-27 Kaushik Chakraborty , Subhamoy Maitra

We present a deterministic linear-time algorithm for finding an odd cycle through two specified vertices in an undirected graph. This is shown in a generalized form as follows: Let $\Gamma$ be any group in which every element is of order at…

Data Structures and Algorithms · Computer Science 2026-04-28 Takumi Kano , Yutaro Yamaguchi

Recent developments have shown the existence of quantum low-density parity check (qLDPC) codes with constant rate and linear distance. A natural question concerns the efficient decodability of these codes. In this paper, we present a linear…

Quantum Physics · Physics 2022-06-15 Shouzhen Gu , Christopher A. Pattison , Eugene Tang

The problem of determining whether a probabilistic program terminates almost surely (i.e.~with probability one) is undecidable, and actually $\Pi^0_2$-complete. For this reason, a growing literature has explored classes of programs for…

Logic in Computer Science · Computer Science 2026-05-01 Ugo Dal Lago , Guido Fiorillo , Paolo Pistone

We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that…

Rings and Algebras · Mathematics 2019-05-06 Peter A. Brooksbank , E. A. O'Brien , James B. Wilson

Given two point sets $R$ and $B$ in the plane, with cardinalities $m$ and $n$, respectively, and each set stored in a separate R-tree, we present an algorithm to decide whether $R$ and $B$ are linearly separable. Our algorithm exploits the…

Data Structures and Algorithms · Computer Science 2016-02-16 Gilberto Gutiérrez , Pablo Pérez-Lantero , Claudio Torres

In the quantum computation verification problem, a quantum server wants to convince a client that the output of evaluating a quantum circuit $C$ is some result that it claims. This problem is considered very important both theoretically and…

Quantum Physics · Physics 2024-06-04 Jiayu Zhang

A linear time algorithm to find a set of nearest elements in a mesh.

Data Structures and Algorithms · Computer Science 2011-10-04 Gleb Novichkov

The PCP Theorem is one of the most stunning results in computational complexity theory, a culmination of a series of results regarding proof checking it exposes some deep structure of computational problems. As a surprising side-effect, it…

Computational Complexity · Computer Science 2012-07-30 Luke Mathieson

We consider the problem of approximating the arboricity of a graph $G= (V,E)$, which we denote by $\mathsf{arb}(G)$, in sublinear time, where the arboricity of a graph is the minimal number of forests required to cover its edges. An…

Data Structures and Algorithms · Computer Science 2021-10-29 Talya Eden , Saleet Mossel , Dana Ron

The Bin Packing Problem is one of the most important Combinatorial Optimization problems in optimization and has a lot of real-world applications. Many approximation algorithms have been presented for this problem because of its NP-hard…

Data Structures and Algorithms · Computer Science 2015-09-22 Abdolahad Noori Zehmakan , Mojtaba Eslahi

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

Reducing the conditions under which a given set satisfies the stipulations of the subset sum proposition to a set of linear relationships, the question of whether a set satisfies subset sum may be answered in a polynomial number of steps by…

Data Structures and Algorithms · Computer Science 2017-05-16 Aubrey Alston