English
Related papers

Related papers: New Results on Monotone Dualization and Generating…

200 papers

A result of Deza, Levin, Meesum, and Onn shows that the problem of deciding if a given sequence is the degree sequence of a 3-uniform hypergraph is NP complete. We tackle this problem in the random case and show that a random integer…

Combinatorics · Mathematics 2024-08-22 Nicholas Christo , Marcus Michelen

Many randomized algorithms can be derandomized efficiently using either the method of conditional expectations or probability spaces with low independence. A series of papers, beginning with work by Luby (1988), showed that in many cases…

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

We study a generalization of the classic Global Min-Cut problem, called Global Label Min-Cut (or sometimes Global Hedge Min-Cut): the edges of the input (multi)graph are labeled (or partitioned into color classes or hedges), and removing…

Data Structures and Algorithms · Computer Science 2026-03-16 Lars Jaffke , Paloma T. Lima , Tomáš Masařík , Marcin Pilipczuk , Ueverton S. Souza

We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no…

Optimization and Control · Mathematics 2016-07-12 Guy Bouchitté , Ilaria Fragalà

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

Computational Geometry · Computer Science 2024-03-08 Benjamin A. Burton , Alexander He

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

We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak near unanimity polymorphism $\phi$ then deciding whether $G$ admits a homomorphism to $H$ (HOM($H$)) is…

Computational Complexity · Computer Science 2020-11-24 Tomas Feder , Jeff Kinne , Ashwin Murali , Arash Rafiey

We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Szeider

A graph $G$ is {\em matching-decyclable} if it has a matching $M$ such that $G-M$ is acyclic. Deciding whether $G$ is matching-decyclable is an NP-complete problem even if $G$ is 2-connected, planar, and subcubic. In this work we present…

Discrete Mathematics · Computer Science 2023-06-22 Fábio Protti , Uéverton S. Souza

This paper is motivated by the question whether there exists a logic capturing polynomial time computation over unordered structures. We consider several algorithmic problems near the border of the known, logically defined complexity…

Logic · Mathematics 2007-05-23 Andreas Blass , Yuri Gurevich , Saharon Shelah

We give a quasipolynomial time algorithm for the graph matching problem (also known as noisy or robust graph isomorphism) on correlated random graphs. Specifically, for every $\gamma>0$, we give a $n^{O(\log n)}$ time algorithm that given a…

Data Structures and Algorithms · Computer Science 2019-02-01 Boaz Barak , Chi-Ning Chou , Zhixian Lei , Tselil Schramm , Yueqi Sheng

Graph isomorphism is an important computer science problem. The problem for the general case is unknown to be in polynomial time. The base algorithm for the general case works in quasi-polynomial time. The solutions in polynomial time for…

Discrete Mathematics · Computer Science 2017-11-23 Vaibhav Amit Patel

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is…

Computational Geometry · Computer Science 2025-11-13 Éric Colin de Verdière , Thomas Magnard

In this paper we study two problems related to the drawing of level graphs, that is, T-LEVEL PLANARITY and CLUSTERED-LEVEL PLANARITY. We show that both problems are NP-complete in the general case and that they become polynomial-time…

Data Structures and Algorithms · Computer Science 2014-06-26 Patrizio Angelini , Giordano Da Lozzo , Giuseppe Di Battista , Fabrizio Frati , Vincenzo Roselli

The transversal hypergraph problem is the task of enumerating the minimal hitting sets of a hypergraph. It is a long-standing open question whether this can be done in output-polynomial time. For hypergraphs whose solutions have bounded…

Data Structures and Algorithms · Computer Science 2021-10-25 Thomas Bläsius , Tobias Friedrich , Julius Lischeid , Kitty Meeks , Martin Schirneck

Let us be given two graphs $\Gamma_1$, $\Gamma_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $\Gamma_1$ to $\Gamma_2$ can be identified with a coset $H\cdot\pi$ inside the symmetric group on $n$…

Group Theory · Mathematics 2017-10-13 Harald Andrés Helfgott , Jitendra Bajpai , Daniele Dona

In an article [3] published recently in this journal, it was shown that when k >= 3, the problem of deciding whether the distinguishing chromatic number of a graph is at most k is NP-hard. We consider the problem when k = 2. In regards to…

Computational Complexity · Computer Science 2009-07-06 Elaine M. Eschen , Chinh T. Hoang , R. Sritharan , Lorna Stewart

We study the problem of finding a maximum cardinality minimal separator of a graph. This problem is known to be NP-hard even for bipartite graphs. In this paper, we strengthen this hardness by showing that for planar bipartite graphs, the…

Data Structures and Algorithms · Computer Science 2020-09-28 Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi , Tsuyoshi Yagita

In the minimum planarization problem, given some $n$-vertex graph, the goal is to find a set of vertices of minimum cardinality whose removal leaves a planar graph. This is a fundamental problem in topological graph theory. We present a…

Data Structures and Algorithms · Computer Science 2017-08-17 Ken-ichi Kawarabayashi , Anastasios Sidiropoulos

We propose a consistent polynomial-time method for the unseeded node matching problem for networks with smooth underlying structures. Despite widely conjectured by the research community that the structured graph matching problem to be…

Machine Learning · Statistics 2018-08-24 Yuan Zhang