arXiv Science⌕ Search

arXiv · 0705.3748

On the Obfuscation Complexity of Planar Graphs

Abstract

Being motivated by John Tantalo's Planarity Game, we consider straight line plane drawings of a planar graph $G$ with edge crossings and wonder how obfuscated such drawings can be. We define $obf(G)$, the obfuscation complexity of $G$, to be the maximum number of edge crossings in a drawing of $G$. Relating $obf(G)$ to the distribution of vertex degrees in $G$, we show an efficient way of constructing a drawing of $G$ with at least $obf(G)/3$ edge crossings. We prove bounds $(δ(G)^2/24-o(1))n^2 < \obf G <3 n^2$ for an $n$-vertex planar graph $G$ with minimum vertex degree $δ(G)\ge 2$. The shift complexity of $G$, denoted by $shift(G)$, is the minimum number of vertex shifts sufficient to eliminate all edge crossings in an arbitrarily obfuscated drawing of $G$ (after shifting a vertex, all incident edges are supposed to be redrawn correspondingly). If $δ(G)\ge 3$, then $shift(G)$ is linear in the number of vertices due to the known fact that the matching number of $G$ is linear. However, in the case $δ(G)\ge2$ we notice that $shift(G)$ can be linear even if the matching number is bounded. As for computational complexity, we show that, given a drawing $D$ of a planar graph, it is NP-hard to find an optimum sequence of shifts making $D$ crossing-free.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Oleg Verbitsky. 2007-12-14. On the Obfuscation Complexity of Planar Graphs. https://arxiv.org/abs/0705.3748

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Primal-Dual Approach to Randomized Online Bidding with Tail Constraints

Controlling tail risk in randomized algorithms has received increasing attention. Randomized online algorithms can achieve a lower expected competitive ratio than the competitive ratio of the best deterministic online algorithm. However, individual executions may still incur poor outcomes. Tail constraints address this risk by limiting the probability that the incurred ratio exceeds a prescribed threshold. We investigate how such constraints affect the structure and performance of randomized online bidding algorithms. By revisiting the classical primal-dual lower-bound framework for online bidding, we find that restricting the growth between consecutive bids can yield a stronger lower bound on the expected competitive ratio. We then show that tail constraints with zero exceedance probability impose an asymptotic upper bound on the ratios between consecutive bids. Incorporating this structural property into the primal-dual framework allows us to derive a stronger lower bound. Moreover, the dual analysis suggests a randomized geometric bidding algorithm whose performance matches this bound. The insight from our primal-dual analysis also guides the design of algorithms for general tail constraints allowing positive exceedance probabilities. Motivated by the geometric growth suggested by the dual solution, we study randomized periodic bidding algorithms. We show that, for any fixed geometric base, the uniform offset distribution is optimal in terms of both the expected competitive ratio and tail-constraint feasibility. We then characterize the exceedance probability of these algorithms and use this characterization to choose a geometric growth factor that satisfies the prescribed tail constraints, establishing parameter-dependent upper bounds on the optimal expected competitive ratio.

cs.DM↗

On Collusion-Free Teaching in Planar Graphs

Non-clashing teaching minimizes teaching complexity among models satisfying the Goldman--Mathias collusion-avoidance criterion. While the Vapnik--Chervonenkis dimension (VCdim) measures the complexity of learning from samples, non-clashing teaching dimension (NCTD) measures the number of examples required when a teacher can select them. Whether NCTD is always bounded above by VCdim remains a fundamental open question in learning theory. In this paper, we investigate this question for the concept classes of closed neighborhoods in planar graphs. We prove a tight upper bound of two on their NCTD, thereby establishing the conjectured inequality for this family. For the positive variant NCTD+, in which teaching sets contain only positive examples, we obtain a tight upper bound of four. Finally, we show that deciding whether either NCTD+ or NCTD is at most one is NP-complete, even for concept classes of closed neighborhoods in planar graphs. In particular, despite the upper bound of two on NCTD for such classes, distinguishing between NCTD values of one and two remains NP-hard.

cs.DM↗

Period Piece: NEXPTIME-complete problems on digraphs via Boolean network dynamics

The central object in this work is the Boolean network, a function $f:\{0,1\}^V \to \{0,1\}^V$. Often identified with $f$ is its dynamics $D_f$, the digraph with exactly $\{x \to y : f(x)=y\}$ as its arcs. The interaction graph of $f$ is the digraph $G$ on $V$ which can be thought of as representing the dependencies of the components of $f$ on one another. On the other hand, model-checking is a major field of study in graph algorithms and complexity. We consider problems at the intersection of these paradigms: for a given property $ϕ$, we say that a digraph $G$ is $ϕ$-dynamic if $G$ is the interaction graph of some Boolean network $f$ such that $D_f \models ϕ$. The corresponding decision problem $ϕ$-DYNAMIC asks whether $G$ is $ϕ$-dynamic. Problems of this form are well-studied in the Boolean networks community. For example, it is a well-known result that, letting $ϕ$ be 'No fixed points' (i.e. $\nexists x:x\to x$), $ϕ$-DYNAMIC is equivalent to the structural digraph problem NON-ACYCLIC, which is solvable in linear time. We establish, for the first time, properties $ϕ$ for which $ϕ$-DYNAMIC is computationally hard. These include the 'Unique fixed point' property $\exists!x:x\to x$, and a range of properties concerning the periodic points of $f$ (i.e. vertices of $D_f$ which lie on a cycle). More widely, we exhibit an infinite family of natural properties $ϕ$ such that $ϕ$-DYNAMIC is $\mathrm{NEXPTIME}$-complete, which we call PERIOD PIECE. As a special case, these include all properties of the form 'Unique cycle of length $k$' and 'Exactly $k$ fixed points' for any $k \ge 1$. On the other hand, we show that if the input digraph has bounded in-degree, then for those same problems $ϕ$-DYNAMIC collapses down to $\mathrm{NP}^{\mathrm{NP}}$, the second level of the polynomial hierarchy, though it remains $\mathrm{NP}^{\mathrm{NP}}$-complete.

cs.DM↗