中文
相关论文

相关论文: On Polynomial Time Computation Over Unordered Stru…

200 篇论文

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.…

数据结构与算法 · 计算机科学 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,…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

符号计算 · 计算机科学 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…

计算复杂性 · 计算机科学 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,…

组合数学 · 数学 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,…

数据结构与算法 · 计算机科学 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.…

数据结构与算法 · 计算机科学 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…

最优化与控制 · 数学 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…

计算复杂性 · 计算机科学 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…

计算几何 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算几何 · 计算机科学 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…

数据结构与算法 · 计算机科学 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.

最优化与控制 · 数学 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…

数据结构与算法 · 计算机科学 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…

符号计算 · 计算机科学 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$…

机器学习 · 计算机科学 2025-11-18 Ilias Diakonikolas , Mingchen Ma , Lisheng Ren , Christos Tzamos