English
Related papers

Related papers: Designing Deterministic Polynomial-Space Algorithm…

200 papers

We obtain the following new coloring results: * A 3-colorable graph on $n$ vertices with maximum degree~$\Delta$ can be colored, in polynomial time, using $O((\Delta \log\Delta)^{1/3} \cdot\log{n})$ colors. This slightly improves an…

Data Structures and Algorithms · Computer Science 2016-08-31 Eran Halperin , Ram Nathaniel , Uri Zwick

The coloring problem (i.e., computing the chromatic number of a graph) can be solved in $O^*(2^n)$ time, as shown by Bj\"orklund, Husfeldt and Koivisto in 2009. For $k=3,4$, better algorithms are known for the $k$-coloring problem.…

Data Structures and Algorithms · Computer Science 2021-02-15 Or Zamir

We present a complete classification of the deterministic distributed time complexity for a family of graph problems: binary labeling problems in trees. These are locally checkable problems that can be encoded with an alphabet of size two…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-19 Alkida Balliu , Sebastian Brandt , Yuval Efron , Juho Hirvonen , Yannic Maus , Dennis Olivetti , Jukka Suomela

An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain…

Symbolic Computation · Computer Science 2019-11-12 Zhenyu Huang , Yao Sun , Dongdai Lin

This paper describes an algorithm which computes the characteristic polynomial of a matrix over a field within the same asymptotic complexity, up to constant factors, as the multiplication of two square matrices. Previously, this was only…

Symbolic Computation · Computer Science 2021-04-12 Vincent Neiger , Clément Pernet

Recently increasing penetration of renewable energy generation brings challenges for power system operators to perform efficient power generation daily scheduling, due to the intermittent nature of the renewable generation and discrete…

Optimization and Control · Mathematics 2019-10-22 Yongpei Guan , Kai Pan , Kezhuo Zhou

We prove that the class of $(K_t,sP_1+P_5)$-free graphs has bounded mim-width for every $s\geq 0$ and $t\geq 1$, and that there is a polynomial-time algorithm that, given a graph in the class, computes a branch decomposition of constant…

Data Structures and Algorithms · Computer Science 2020-04-27 Nick Brettell , Jake Horsfield , Daniel Paulusma

We present an algorithm that takes as input an $n$-vertex planar graph $G$ and a $k$-vertex pattern graph $P$, and computes the number of (induced) copies of $P$ in $G$ in $2^{O(k/\log k)}n^{O(1)}$ time. If $P$ is a matching, independent…

Data Structures and Algorithms · Computer Science 2019-04-26 Jesper Nederlof

We give the first polynomial-time algorithms on graphs of bounded maximum induced matching width (mim-width) for problems that are not locally checkable. In particular, we give $n^{\mathcal{O}(w)}$-time algorithms on graphs of mim-width at…

Data Structures and Algorithms · Computer Science 2017-09-29 Lars Jaffke , O-joung Kwon , Jan Arne Telle

In the k-Path problem, the input is a directed graph $G$ and an integer $k\geq 1$, and the goal is to decide whether there is a simple directed path in $G$ with exactly $k$ vertices. We give a deterministic algorithm for k-Path with time…

Data Structures and Algorithms · Computer Science 2019-01-25 Dekel Tsur

Computing the smallest number $q$ such that the vertices of a given graph can be properly $q$-colored is one of the oldest and most fundamental problems in combinatorial optimization. The $q$-Coloring problem has been studied intensively…

Data Structures and Algorithms · Computer Science 2018-06-28 Bart M. P. Jansen , Jesper Nederlof

We describe approximation algorithms in Linial's classic LOCAL model of distributed computing to find maximum-weight matchings in a hypergraph of rank $r$. Our main result is a deterministic algorithm to generate a matching which is an…

Data Structures and Algorithms · Computer Science 2023-10-13 David G. Harris

$ \renewcommand{\tilde}{\widetilde} $We present an $\tilde{O}(\log^2 n)$ round deterministic distributed algorithm for the maximal independent set problem. By known reductions, this round complexity extends also to maximal matching,…

Data Structures and Algorithms · Computer Science 2023-03-29 Mohsen Ghaffari , Christoph Grunau

Dynamic programming on various graph decompositions is one of the most fundamental techniques used in parameterized complexity. Unfortunately, even if we consider concepts as simple as path or tree decompositions, such dynamic programming…

We give the first polynomial-time algorithm for coloring vertices of P_5-free graphs with k colors. This settles an open problem and generalizes several previously known results.

Discrete Mathematics · Computer Science 2007-05-23 Marcin Kaminski , Vadim Lozin

A square coloring of a graph $G$ is a coloring of the square $G^2$ of $G$, that is, a coloring of the vertices of $G$ such that any two vertices that are at distance at most $2$ in $G$ receive different colors. We investigate the complexity…

Data Structures and Algorithms · Computer Science 2022-11-09 Akanksha Agrawal , Dániel Marx , Daniel Neuen , Jasper Slusallek

Folded Reed-Solomon (FRS) codes are a well-studied family of codes, known for achieving list decoding capacity. In this work, we give improved deterministic and randomized algorithms for list decoding FRS codes of rate $R$ up to radius…

Information Theory · Computer Science 2025-08-22 Vikrant Ashvinkumar , Mursalin Habib , Shashank Srivastava

An upper dominating set is a minimal dominating set in a graph. In the \textsc{Upper Dominating Set} problem, the goal is to find an upper dominating set of maximum size. We study the complexity of parameterized algorithms for \textsc{Upper…

Data Structures and Algorithms · Computer Science 2021-01-20 Louis Dublois , Michael Lampis , Vangelis Th. Paschos

We introduce a problem class we call Polynomial Constraint Satisfaction Problems, or PCSP. Where the usual CSPs from computer science and optimization have real-valued score functions, and partition functions from physics have monomials,…

Discrete Mathematics · Computer Science 2010-01-14 Alexander D. Scott , Gregory B. Sorkin

This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by…

Computational Complexity · Computer Science 2019-01-29 Orit E. Raz , Avi Wigderson