English
Related papers

Related papers: An elementary proof that linking problems are hard

200 papers

The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has…

Data Structures and Algorithms · Computer Science 2020-07-10 Guilherme C. M. Gomes , Vinicius F. dos Santos , Murilo V. G. da Silva , Jayme L. Szwarcfiter

Knots naturally appear in continuous dynamical systems as flow periodic trajectories. However, discrete dynamical systems are also closely connected with the theory of knots and links. For example, for Pixton diffeomorphisms, the…

Dynamical Systems · Mathematics 2023-03-09 Valeriy Bardakov , Tatyana Kozlovskaya , Olga Pochinka

We introduce a new technique for showing classical knots and links are not slice. As one application we resolve a long-standing question as to whether certain natural families of knots contain topologically slice knots. We also present a…

Geometric Topology · Mathematics 2007-05-29 Tim D. Cochran , Shelly Harvey , Constance Leidy

2-dimensional Matching Problem, which requires to find a matching of left- to right-vertices in a balanced $2n$-vertex bipartite graph, is a well-known polynomial problem, while various variants, like the 3-dimensional analogoue (3DM, with…

Computational Complexity · Computer Science 2007-05-23 Sergio Caracciolo , Davide Fichera , Andrea Sportiello

This paper provides an in-depth study of the fundamental problems of finding small subgraphs in distributed dynamic networks. While some problems are trivially easy to handle, such as detecting a triangle that emerges after an edge…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-26 Matthias Bonne , Keren Censor-Hillel

We study the complexity of two problems in simultaneous graph drawing. The first problem, GRacSim Drawing, asks for finding a simultaneous geometric embedding of two graphs such that only crossings at right angles are allowed. The second…

Computational Geometry · Computer Science 2016-11-15 Luca Grilli

One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum $k$-Edge-Connected Spanning Subgraph problem ($k$-ECSS), as well as nonuniform…

Data Structures and Algorithms · Computer Science 2022-06-27 Michael Dinitz , Ama Koranteng , Guy Kortsarz

In this paper we consider the fundamental problem of finding subgraphs in highly dynamic distributed networks - networks which allow an arbitrary number of links to be inserted / deleted per round. We show that the problems of $k$-clique…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-18 Keren Censor-Hillel , Victor I. Kolobov , Gregory Schwartzman

We apply a Bethe-Peierls approach to statistical-mechanics models defined on random networks of arbitrary degree distribution and arbitrary correlations between the degrees of neighboring vertices. Using the NP-hard optimization problem of…

Disordered Systems and Neural Networks · Physics 2009-11-07 Alexei Vazquez , Martin Weigt

Generalizing work of K\"unnemann, Paturi, and Schneider [ICALP 2017], we study a wide class of high-dimensional dynamic programming (DP) problems in which one must find the shortest path between two points in a high-dimensional grid given a…

Computational Complexity · Computer Science 2024-01-03 Josh Alman , Ethan Turok , Hantao Yu , Hengzhi Zhang

A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to…

Discrete Mathematics · Computer Science 2025-04-02 Nikola Jedličková , Jan Kratochvíl

The study of complex networks is a significant development in modern science, and has enriched the social sciences, biology, physics, and computer science. Models and algorithms for such networks are pervasive in our society, and impact…

Machine Learning · Computer Science 2022-06-08 C. Seshadhri , Aneesh Sharma , Andrew Stolman , Ashish Goel

Using the recently developed framework of [Daniely et al, 2014], we show that under a natural assumption on the complexity of refuting random K-SAT formulas, learning DNF formulas is hard. Furthermore, the same assumption implies the…

Machine Learning · Computer Science 2014-11-05 Amit Daniely , Shai Shalev-Shwatz

Deciding whether a family of disjoint line segments in the plane can be linked into a simple polygon (or a simple polygonal chain) by adding segments between their endpoints is NP-hard.

Computational Geometry · Computer Science 2021-09-03 Rain Jiang , Kai Jiang , Minghui Jiang

We study conditions under which a finite simplicial complex $K$ can be mapped to $\mathbb R^d$ without higher-multiplicity intersections. An almost $r$-embedding is a map $f: K\to \mathbb R^d$ such that the images of any $r$ pairwise…

Geometric Topology · Mathematics 2022-04-12 S. Avvakumov , I. Mabillard , A. Skopenkov , U. Wagner

We study the computational complexity of the general network satisfaction problem for a finite relation algebra $A$ with a normal representation $B$. If $B$ contains a non-trivial equivalence relation with a finite number of equivalence…

Logic in Computer Science · Computer Science 2020-02-18 Manuel Bodirsky , Simon Knäuer

In a recent work "Arc-presentation of links: Monotonic simplification" Ivan Dynnikov showed that each rectangular diagram of the unknot, composite link, or split link can be monotonically simplified into a trivial, composite, or split…

Geometric Topology · Mathematics 2010-10-05 Alexandr Kazantsev

We study the problem of finding small trees. Classical network design problems are considered with the additional constraint that only a specified number $k$ of nodes are required to be connected in the solution. A prototypical example is…

Combinatorics · Mathematics 2009-09-25 R. Ravi , R. Sundaram , Madhav V. Marathe , S. S. Ravi , Daniel J. Rosenkrantz

While the reliable use of some NP-complete problem in tandem with the assumption that P is not equal to NP has eluded cryptographers due to lack of results showing average-case hardness, one alternative which has been explored is reliance…

Cryptography and Security · Computer Science 2017-07-05 Aubrey Alston , Yanrong Wo

It is well known that any graph admits a crossing-free straight-line drawing in $\mathbb{R}^3$ and that any planar graph admits the same even in $\mathbb{R}^2$. For a graph $G$ and $d \in \{2,3\}$, let $\rho^1_d(G)$ denote the smallest…

Computational Complexity · Computer Science 2024-03-04 Steven Chaplick , Krzysztof Fleszar , Fabian Lipp , Alexander Ravsky , Oleg Verbitsky , Alexander Wolff