English
Related papers

Related papers: On Polynomial Time Computation Over Unordered Stru…

200 papers

Despite much research, hard weighted problems still resist super-polynomial improvements over their textbook solution. On the other hand, the unweighted versions of these problems have recently witnessed the sought-after speedups.…

Data Structures and Algorithms · Computer Science 2026-02-13 Mihail Stoian

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

A polynomial-time exact algorithm for counting the number of directed acyclic graphs in a Markov equivalence class was recently given by Wien\"obst, Bannach, and Li\'skiewicz (AAAI 2021). In this paper, we consider the more general problem…

Data Structures and Algorithms · Computer Science 2023-06-14 Vidya Sagar Sharma

Edge-coloring problems with forbidden patterns are decision problems asking to find an edge-coloring of the input graph which avoids a homomorphism from a fixed forbidden family of edge-colored graphs. In the precolored version of these…

Computational Complexity · Computer Science 2026-04-29 Alexey Barsukov , Antoine Mottet , Davide Perinti

We consider the classical problems of interpolating a polynomial given a black box for evaluation, and of multiplying two polynomials, in the setting where the bit-lengths of the coefficients may vary widely, so-called unbalanced…

Symbolic Computation · Computer Science 2024-10-22 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray , Daniel S. Roche

In order to prove that the P of problems is different to the NP class, we consider the satisfability problem of propositional calculus formulae, which is an NP-complete problem. It is shown that, for every search algorithm A, there is a set…

Computational Complexity · Computer Science 2007-11-09 Alfredo von Reckow

We prove that there exist bipartite, biregular Ramanujan graphs of every degree and every number of vertices provided that the cardinalities of the two sets of the bipartition divide each other. This generalizes a result of Marcus,…

Combinatorics · Mathematics 2021-08-06 Aurelien Gribinski , Adam W. Marcus

A matching is said to be disconnected if the saturated vertices induce a disconnected subgraph and induced if the saturated vertices induce a 1-regular graph. The disconnected and induced matching numbers are defined as the maximum…

Enumerating minimal dominating sets with polynomial delay in bipartite graphs is a long-standing open problem. To date, even the subcase of chordal bipartite graphs is open, with the best known algorithm due to Golovach, Heggernes, Kant\'e,…

Data Structures and Algorithms · Computer Science 2025-08-05 Emanuel Castelo , Oscar Defrain , Guilherme C. M. Gomes

The recent work by Marcus, Spielman and Srivastava proves the existence of bipartite Ramanujan (multi)graphs of all degrees and all sizes. However, that paper did not provide a polynomial time algorithm to actually compute such graphs.…

Data Structures and Algorithms · Computer Science 2016-04-13 Michael B. Cohen

In project scheduling under processing times uncertainty, the Anchor-Robust Project Scheduling Problem is to find a baseline schedule of bounded makespan and a max-weight subset of jobs whose starting times are guaranteed. The problem was…

Optimization and Control · Mathematics 2021-06-24 Pascale Bendotti , Philippe Chrétienne , Pierre Fouilhoux , Adèle Pass-Lanneau

In connection with machine arithmetic, we are interested in systems of constraints of the form x + k \leq y + k'. Over integers, the satisfiability problem for such systems is polynomial time. The problem becomes NP complete if we restrict…

Computational Complexity · Computer Science 2008-11-07 Nikolaj Bjørner , Andreas Blass , Yuri Gurevich , Madan Musuvathi

Given n data points in R^d, an appropriate edge-weighted graph connecting the data points finds application in solving clustering, classification, and regresssion problems. The graph proposed by Daitch, Kelner and Spielman (ICML~2009) can…

Computational Geometry · Computer Science 2020-10-01 Siu-Wing Cheng , Otfried Cheong , Taegyoung Lee , Zhengtong Ren

The rankable and compressible sets have been studied for more than a quarter of a century, ever since Allender [1] and Goldberg and Sipser [6] introduced the formal study of polynomial-time ranking. Yet even after all that time, whether the…

Logic in Computer Science · Computer Science 2018-11-01 Jackson Abascal , Lane A. Hemaspaandra , Shir Maimon , Daniel Rubery

In an earlier paper of Cadek, Vokrinek, Wagner, and the present authors, we investigated an algorithmic problem in computational algebraic topology, namely, the computation of all possible homotopy classes of maps between two topological…

Computational Geometry · Computer Science 2013-05-14 Marek Krcal , Jiri Matousek , Francis Sergeraert

We study the computational complexity of approximating general constrained Markov decision processes. Our primary contribution is the design of a polynomial time $(0,\epsilon)$-additive bicriteria approximation algorithm for finding optimal…

Data Structures and Algorithms · Computer Science 2025-02-12 Jeremy McMahan

We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems.

Optimization and Control · Mathematics 2015-10-05 Volker Kaibel , Shmuel Onn , Pauline Sarrabezolles

An action of a group on a vector space partitions the latter into a set of orbits. We consider three natural and useful algorithmic "isomorphism" or "classification" problems, namely, orbit equality, orbit closure intersection, and orbit…

Data Structures and Algorithms · Computer Science 2021-10-22 Peter Bürgisser , M. Levent Doğan , Visu Makam , Michael Walter , Avi Wigderson

The $N$th power of a polynomial matrix of fixed size and degree can be computed by binary powering as fast as multiplying two polynomials of linear degree in~$N$. When Fast Fourier Transform (FFT) is available, the resulting complexity is…

Symbolic Computation · Computer Science 2023-05-29 Alin Bostan , Vincent Neiger , Sergey Yurkevich

Learning intersections of halfspaces is a central problem in Computational Learning Theory. Even for just two halfspaces, it remains a major open question whether learning is possible in polynomial time with respect to the margin $\gamma$…

Machine Learning · Computer Science 2025-11-18 Ilias Diakonikolas , Mingchen Ma , Lisheng Ren , Christos Tzamos