English
Related papers

Related papers: A polynomial-time solution to the reducibility pro…

200 papers

We propose a polynomially bounded, in time and space, method to decide whether a given 3-SAT formula is satisfiable or not. The tools we use here are, in fact, very simple. We first decide satisfiability for a particular 3-SAT formula,…

Data Structures and Algorithms · Computer Science 2024-06-11 Angela Weiss

We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there…

Representation Theory · Mathematics 2016-09-07 Jesús A. De Loera , Tyrrell B. McAllister

In a recent paper, Kim and Kopparty (Theory of Computing, 2017) gave a deterministic algorithm for the unique decoding problem for polynomials of bounded total degree over a general grid. We show that their algorithm can be adapted to solve…

Computational Complexity · Computer Science 2019-08-21 Srikanth Srinivasan , Utkarsh Tripathi , S. Venkitesh

General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$…

Discrete Mathematics · Computer Science 2024-05-24 Shuai Shao , Stanislav Živný

Algorithms for learning decision trees often include heuristic local-search operations such as (1) adjusting the threshold of a cut or (2) also exchanging the feature of that cut. We study minimizing the number of classification errors by…

Machine Learning · Computer Science 2025-10-15 Juha Harviainen , Frank Sommer , Manuel Sorge

Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its…

Logic in Computer Science · Computer Science 2018-05-18 Anthony W. Lin , Rupak Majumdar

In this article, we give a numerical algorithm to compute braid groups of curves, hyperplane arrangements, and parameterized system of polynomial equations. Our main result is an algorithm that determines the cross-locus and the generators…

Geometric Topology · Mathematics 2017-11-22 Jose Israel Rodriguez , Botong Wang

This paper deals with the recoverable robust spanning tree problem under interval uncertainty representations. A polynomial time, combinatorial algorithm for the recoverable spanning tree problem is first constructed. This problem…

Data Structures and Algorithms · Computer Science 2016-08-30 Mikita Hradovich , Adam Kasperski , Pawel Zielinski

We investigate a relaxation of the notion of fractional treewidth-fragility, namely fractional tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for meta-problems such as finding a…

Data Structures and Algorithms · Computer Science 2025-04-23 Esther Galby , Andrea Munaro , Shizhou Yang

The paper deals with the problem of finding sparse solutions to systems of polynomial equations possibly perturbed by noise. In particular, we show how these solutions can be recovered from group-sparse solutions of a derived system of…

Information Theory · Computer Science 2014-07-17 Fabien Lauer , Henrik Ohlsson

Many combinatorial optimisation problems can be modelled as valued constraint satisfaction problems. In this paper, we present a polynomial-time algorithm solving the valued constraint satisfaction problem for a fixed number of variables…

Optimization and Control · Mathematics 2020-03-03 Manuel Bodirsky , Marcello Mamino , Caterina Viola

It is a major unsolved problem as to whether unknot recognition - that is, testing whether a given closed loop in R^3 can be untangled to form a plain circle - has a polynomial time algorithm. In practice, trivial knots (which can be…

Geometric Topology · Mathematics 2014-10-13 Benjamin A. Burton , Melih Ozlen

For a fixed marked surface $S$, we construct polynomial bounds on the periodic and preperiodic lengths of the maximal splitting sequences of a projectively invariant measured train track. We give two consequences of these bounds. Firstly,…

Geometric Topology · Mathematics 2016-05-03 Mark C. Bell

We give a polynomial time algorithm to decode multivariate polynomial codes of degree $d$ up to half their minimum distance, when the evaluation points are an arbitrary product set $S^m$, for every $d < |S|$. Previously known algorithms can…

Computational Complexity · Computer Science 2015-11-25 John Kim , Swastik Kopparty

For every constant $d$, we design a subexponential time deterministic algorithm that takes as input a multivariate polynomial $f$ given as a constant depth algebraic circuit over the field of rational numbers, and outputs all irreducible…

Computational Complexity · Computer Science 2023-09-19 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi

Word equations are a crucial element in the theoretical foundation of constraint solving over strings. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant…

Logic in Computer Science · Computer Science 2023-06-22 Anthony W. Lin , Rupak Majumdar

The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism algorithm for…

Computational Complexity · Computer Science 2016-04-29 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

We discuss the problem of determining reduction number of a polynomial ideal I in n variables. We present two algorithms based on parametric computations. The first one determines the absolute reduction number of I and requires computation…

Commutative Algebra · Mathematics 2014-06-16 Amir Hashemi , Michael Schweinfurter , Werner M. Seiler

We devise a polynomial-time approximation scheme for the classical geometric problem of finding an approximate short path amid weighted regions. In this problem, a triangulated region P comprising of n vertices, a positive weight associated…

Computational Geometry · Computer Science 2016-12-08 R Inkulu , Sanjiv Kapoor

Let $D_n$ denote the $n$-punctured disk in the complex plane, where the punctures are on the real axis. An $n$-braid $\alpha$ is said to be \emph{reducible} if there exists an essential curve system $\C$ in $D_n$, called a \emph{reduction…

Geometric Topology · Mathematics 2008-07-14 Eon-Kyung Lee , Sang-Jin Lee