English
Related papers

Related papers: Link Crossing Number is NP-hard

200 papers

The crossing number of a graph is the minimum number of edge crossings that a graph can have when drawn in the plane. Determining this number, known as the Crossing Number problem, is a celebrated problem in combinatorial optimization. It…

Computational Geometry · Computer Science 2026-03-30 Petr Hliněný , Liana Khazaliya

We show that the crossing number of any link that is known to be quasi-alternating is less than or equal to its determinant. Based on this, we conjecture that the crossing number of any quasi-alternating link is less than or equal to its…

Geometric Topology · Mathematics 2012-05-22 Khaled Qazaqzeh , Balkees Qublan , Abeer Jaradat

We provide an algorithm to determine whether a link L admits a crossing change that turns it into a split link, under some fairly mild hypotheses on L. The algorithm also provides a complete list of all such crossing changes. It can…

Geometric Topology · Mathematics 2021-03-02 Marc Lackenby

In this paper we deal with the problem of computing the exact crossing number of almost planar graphs and the closely related problem of computing the exact anchored crossing number of a pair of planar graphs. It was shown by [Cabello and…

Discrete Mathematics · Computer Science 2024-08-12 Petr Hliněný

We prove that certain problems naturally arising in knot theory are NP--hard or NP--complete. These are the problems of obtaining one diagram from another one of a link in a bounded number of Reidemeister moves, determining whether a link…

Geometric Topology · Mathematics 2024-07-17 Dale Koenig , Anastasiia Tsvietkova

An efficient numerical algorithm for the computation of linking number is presented. The algorithm keep tracks or rounding error so that it can ensure the correctness of the results.

Algebraic Topology · Mathematics 2020-01-01 Enrico Bertolazzi , Riccardo Ghiloni , Ruben Specogna

We show that the triple-crossing number of any knot is greater or equal to twice its (canonical) genus and we show an even stronger bound in the case of links. As an application we show that this bound is strong enough to obtain the…

Geometric Topology · Mathematics 2020-11-10 Michal Jablonowski

We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard,…

Geometric Topology · Mathematics 2018-10-09 Arnaud de Mesmay , Yo'av Rieck , Eric Sedgwick , Martin Tancer

A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every…

Computational Geometry · Computer Science 2012-03-28 Sergio Cabello , Bojan Mohar

The maximum matching width is a graph width parameter that is defined on a branch-decomposition over the vertex set of a graph. In this short paper, we prove that the problem of computing the maximum matching width is NP-hard.

Discrete Mathematics · Computer Science 2017-10-17 Kwangjun Ahn , Jisu Jeong

The splitting number of a link is the minimal number of crossing changes between different components required to convert it into a split link. We obtain a lower bound on the splitting number in terms of the (multivariable) signature and…

Geometric Topology · Mathematics 2016-10-27 David Cimasoni , Anthony Conway , Kleopatra Zacharova

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing $CC(f)$ (the 2-way communication complexity of a given function $f$) NP-complete?} The problem of deciding whether $CC(f) \le k$, when given the…

Computational Complexity · Computer Science 2025-07-15 Shuichi Hirahara , Rahul Ilango , Bruno Loff

The splitting number of a link is the minimal number of crossing changes between different components required, on any diagram, to convert it to a split link. We introduce new techniques to compute the splitting number, involving covering…

Geometric Topology · Mathematics 2013-08-27 Jae Choon Cha , Stefan Friedl , Mark Powell

We investigate the complexity of the reachability problem for (deep) neural networks: does it compute valid output given some valid input? It was recently claimed that the problem is NP-complete for general neural networks and conjunctive…

Computational Complexity · Computer Science 2022-03-16 Marco Sälzer , Martin Lange

A triple crossing is a crossing in a projection of a knot or link that has three strands of the knot passing straight through it. A triple crossing projection is a projection such that all of the crossings are triple crossings. We prove…

Geometric Topology · Mathematics 2012-09-05 Colin Adams

We introduce a new -as far as we know- problem, according to which we are asked to match sequences of two digits in matrices having entries among those two digits (but others too) and prove that this problem is NP-complete

Combinatorics · Mathematics 2011-07-05 Nicolaos Matsakis

We show that deciding if a given vector is the degree sequence of a 3-hypergraph is NP-complete.

Combinatorics · Mathematics 2020-12-08 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn

We investigate the complexity of a puzzle that turns out to be NL-complete.

Computational Complexity · Computer Science 2015-07-13 Holger Petersen

The splitting number of a link is the minimum number of crossing changes between distinct components that is required to convert the link into a split link. We provide a bound on the splitting number in terms of the four-genus of related…

Geometric Topology · Mathematics 2018-06-13 Charles Livingston

The purpose of this article is to give a preliminary clarification on the relation between crossing number and crossing change. With a main focus on the span of X polynomial, we prove that, as our theorem claims, the crossing number of the…

Geometric Topology · Mathematics 2011-03-25 Longting Wu , Shuting Shao , Shan Liu , Fengchun Lei
‹ Prev 1 2 3 10 Next ›