The page number of a directed acyclic graph G is the minimum k for which there is a topological ordering of G and a k-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We address the long-standing open problem asking for the largest page number among all upward planar graphs. We improve the best known lower bound to 5 and present the first asymptotic improvement over the trivial O(n) upper bound, where n denotes the number of vertices in G. Specifically, we first prove that the page number of every upward planar graph is bounded in terms of its width, as well as its height. We then combine both approaches to show that every n-vertex upward planar graph has page number O(n 2/3 log 2/3 (n)).
We consider the algorithmic problem of finding the optimal weights and biases for a twolayer fully connected neural network to fit a given set of data points. This problem is known as empirical risk minimization in the machine learning community. We show that the problem is ∃R-complete. This complexity class can be defined as the set of algorithmic problems that are polynomial-time equivalent to finding real roots of a polynomial with integer coefficients. Our results hold even if the following restrictions are all added simultaneously.• There are exactly two output neurons.• There are exactly two input neurons.• The data has only 13 different labels.• The number of hidden neurons is a constant fraction of the number of data points.• The target training error is zero.• The ReLU activation function is used.
We investigate the computational complexity of computing the Hausdorff distance. Specifically, we show that the decision problem of whether the Hausdorff distance of two semi-algebraic sets is bounded by a given threshold is complete for the complexity class ∀∃
A graph G is a (Euclidean) unit disk graph if it is the intersection graph of unit disks in the Euclidean plane R 2 . Recognizing them is known to be ∃R-complete, i.e., as hard as solving a system of polynomial inequalities. In this note we describe a simple framework to translate ∃R-hardness reductions from the Euclidean plane R 2 to the hyperbolic plane H 2 . We apply our framework to prove that the recognition of unit disk graphs in the hyperbolic plane is also ∃R-complete.
Cops and Robber is a family of two-player games played on graphs in which one player controls a number of cops and the other player controls a robber. In alternating turns, each player moves (all) his/her figures. The cops try to capture the robber while the latter tries to flee indefinitely. In this paper we consider a variant of the game played on a planar graph where the robber moves between adjacent vertices while the cops move between adjacent faces. The cops capture the robber if they occupy all incident faces. We prove that a constant number of cops suffices to capture the robber on any planar graph of maximum degree ∆ if and only if ∆ ≤ 4.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.