Let be a set of points in general position, i.e., no three points lie on a common line. A geometric graph is a graph equipped with a drawing where edges are realized as straight-line segments. The stabbing number of is the maximum number of proper intersections that any line in the plane determines with the edges of . Let be a graph class (e.g., trees, paths, triangulations, perfect matchings etc.). The -stabbing number of is the minimum stabbing number of any geometric graph belonging to (as a function of ).
Stabbing numbers are a classic topic in computational geometry and received a lot of attention both from an algorithmic as well as from a combinatorial perspective. We mainly focus on the stabbing number of spanning trees (see, e.g.,  for more information), which has numerous applications. For instance, Welzl  used spanning trees with low stabbing number to efficiently answer triangle range searching queries, Agarwal  used them in the context of ray shooting (also see [3, 2] for more examples). Furthermore, Fekete, Lübbecke and Meijer  proved -hardness of stabbing numbers for several graph classes, namely for spanning trees, triangulations and matchings, though for paths this question remains open.
It is natural to ask whether stabbing numbers are monotone, i.e., does it hold for any pointset that the -stabbing number of is not smaller than the -stabbing number of any proper subset . Recently, Eppstein  gave a detailed analysis of several parameters that are monotone and depend only on the point set’s order type. Clearly, stabbing numbers depend only on the order type. Eppstein observed that the path stabbing number is monotone [4, Observation 17.4] and asked whether this is also the case for the tree stabbing number [4, Open Problem 17.5]. We prove that neither the tree stabbing number (Corollary 3) nor the triangulation stabbing number (Corollary 4) nor the matching stabbing number (Corollary 5) are monotone. A more detailed analysis can also be found in the second author’s Master thesis . Each of the following sections is dedicated to one graph class.
2 Path Stabbing Number
For completeness we repeat the main argument that the path stabbing number, denoted by path-stab(), is monotone, which can be found in [4, Observation 17.4] for example.
Let be a geometric graph. The following two operations do not increase the stabbing number of :
Removing a vertex of degree 1.
Replacing a vertex of degree 2 with the segment connecting its two neighbours .
Clearly, the first operation cannot increase the stabbing number, since it does not add any new segments.
For the second part, let be the geometric graph obtained from by performing operation 2 and let be an arbitrary line. If has strictly less than Stabbing-Number intersections in , it has at most Stabbing-Number intersections in , since we added only one segment. Otherwise, if has Stabbing-Number intersections in , it clearly does not pass through any vertex of and if intersects the newly inserted segment it must have also intersected either or . ∎
path-stab() is monotone.
3 Tree Stabbing Number
We construct point sets of size and such that tree-stab() > tree-stab(). The point we want to remove, must, of course, have degree at least 3 in any spanning tree of minimum stabbing of , since otherwise the arguments of Lemma 2 apply.
Our construction, which is depicted in Figure 1 (a), is as follows. Start with a unit circle around the origin and place 3 evenly distributed points on this circle (in counterclockwise order). Next, add an ?arm? consisting of 2 points () at each of the (outside the circle) such that the points form a convex chain for (which are all three oriented the same way). These arms need to be flat enough, i.e., the line supporting the segment must intersect the interior of the segment (indices are taken modulo 3), but also curved enough, i.e., the line supporting the segment must have the remaining 8 points on the same side. In particular, there are lines intersecting the segments , and also on the one hand and on the other hand (the red lines in Figure 1 (a)). If there is no danger of confusion, we might omit that indices are taken modulo 3 (as in the previous sentence).
Define the two point sets (which are both in general position) to be
It holds that and .
This result was obtained by a computer-aided brute-force search (the source code is available on github ). In order to compute the stabbing number of a given geometric graph spanning some point set, it is enough to consider a representative set of lines. For any line that partitions the point set into two non-empty subsets, there is a line in the representative set inducing the same partitioning. For an -point set in general position, the size of a representative set is (see appendix, Lemma A). Hence, we have and . The sets and were also obtained by computer assistance. Any pair of points induces four distinct representative lines, computing these and removing duplicates yields and (as in  for example).
Now, it is enough to compute – for all possible spanning trees on – their intersections with the lines in , yielding tree-stab() = 4.
On the other hand, for the spanning tree depicted in Figure 1 has stabbing number 3 (again by computing all intersections with lines in ) implying tree-stab(). ∎
Next, we generalize this construction to arbitrarily large point sets. We simply replace one of the (say ) by a convex chain consisting of points (see Figure 1 (b)). Denote the convex chains , and by , and .
Our goal will be to remove all but two points of to get back to our 9-point setting. Of course, it is crucial to keep the relative position of the points as it is in the 9-point set. Thus, place the points such that:
forms a convex chain.
close enough to , so that the order type of the resulting point set is the same no matter which of the points in we remove. In particular, no line through any two points not belonging to may separate these points.
for any two segments formed by any triple of points in (consecutively along the convex chain) there is a line intersecting these two segments and also . To achieve this, needs to be sufficiently flat and needs to be pushed further away.
Note that Lemma 3 has been verified to still hold after the modification of pushing further out. Before proving that this construction fulfills the desired properties, we need one more preliminary lemma (see Figure 2).
Let be a forest with connected components and . Mark three of the vertices as special (call them ) and iteratively remove/replace vertices of degree 1 and 2 (as in Lemma 2) until no non-special vertex of degree remains. Then the resulting graph is a forest and consists of the three special vertices and at most one non-special vertex.
Let be the graph that was obtained from by repeatedly performing the two operations of Lemma 3 and let denote its number of vertices (including the three special). Clearly is a forest, since both operations decrease the number of vertices and the number of edges by exactly 1 and cannot create cycles.
Furthermore, all non-special vertices have degree at least three. Then – using the handshaking lemma and the fact that the forest has edges, where denotes the number of connected components in – we obtain:
Observe that holds, since all connected components not containing a special vertex are completely removed, which follows inductively from the fact that any tree has a leaf. Therefore, it suffices to consider the following three cases:
- Case 1:
- Case 2:
- Case 3:
The inequality in case 1 is only satisfied for and in case 2 and 3 only for .
Now, we are prepared to prove our main lemma.
For any integer , there exist (planar) point sets of size and such that tree-stab() tree-stab().
Let and define and as above (Figure 1 (b)), replacing by :
On the other hand, we show tree-stab() next. Assume for the sake of contradiction that there is a spanning tree of with stabbing number at most 3. Our goal will be to carefully remove points from such that the stabbing number of cannot increase until there are only 9 points left in exactly the same relative position as in Lemma 3. Clearly, this would be a contradiction.
Consider the set of edges of with at least one endpoint among the points in . There are at most 3 edges having only one endpoint in (we call them bridges). If there would be more than 3 bridges, there is a line that intersects at least 4 line segments, namely a line that separates from the rest. Because of the same reason, not all three bridges can go to the same other component ( or ).
There are at most 3 points in that are incident to a bridge and if they are distinct, one of them needs to be , otherwise the line separating from the rest of has 4 intersections. Pick three vertices in such that and any point incident to a bridge is among them and mark them as special.
Next, we apply Lemma 3 to the subforest induced by :
No non-special vertex in survives the removal process.
One non-special vertex in survives the removal process.
Then is incident to all special vertices . If is the last vertex along , there is obviously a line having more than three intersections. Otherwise, by construction, there is a line that separates from and at the same time from the rest of the point set (see Figure 4). In particular, has only and on one side and all other points on the other. cannot be adjacent to , since is not incident to a bridge and therefore contributes another intersection to . This is a contradiction to the assumption that was a spanning tree of stabbing number 3. ∎
tree-stab() is not monotone.
4 Triangulation Stabbing Number
We denote the triangulation stabbing number by tri-stab(). Proving non-monotonicity of tri-stab() is much simpler, only exploiting the additional structure enforced by triangulations. Consider two symmetric convex chains and (sufficiently flat) each consisting of points and facing each other as depicted in Figure 5 (a). These points constitute the point set . consists of the same points and two more (slightly perturbed) points added on the line segment connecting the two middle points of and (as in Figure 5 (b)). Then the following holds:
tri-stab(P) and tri-stab(P’) .
Any triangulation of must have segments connecting a point from with a point from (the green area in Figure 5 (a)). Hence,
On the other hand, the triangulation of depicted in Figure 5 (b) has stabbing number , which can be seen as follows. The two green areas contain segments each and are constructed in such a way that any line may intersect at most segments from both green areas. For this, the two points and need to be sufficiently far from . Figure 6 illustrates the area that contains all lines which intersect line segments of ?upper? () and ?lower? () half of the convex chain in the green region.
Since and are convex, it is clear that may accumulate more intersections in the blue areas. The white area contains only a constant number of segments, in total has at most intersections. Hence,
tri-stab() is not monotone.
5 Matching Stabbing Number
First note that the point sets in the case of matchings have to be of even size and all matchings are perfect.
Take points in convex position and one point inside such that any segment is intersected by some . Next, double all points within a small enough -radius (preserving general position) and for a point name the partner point (see Figure 7).
Define the point sets and to be:
It holds that mat-stab() and mat-stab() .
Clearly, the perfect matching that assigns an edge to all partner points has stabbing number 2 and hence mat-stab() .
On the other hand, we show mat-stab() , which can be seen as follows. Let be a perfect matching in and consider the point (or ) that is connected to . Also consider the points and such that and intersect. At least one of the points and is present in .
- Case 1:
If and are both part of , there is a line intersecting the three segments , and .
- Case 2:
If and are both not part of , then one of the four lines depicted in Figure 7 (b) has three intersections.
- Case 3:
If exactly one of the edges or is part of , then one of the two lines depicted in Figure 7 (c) has three intersections.
The matching stabbing number, mat-stab(), is not monotone.
Our proof of Lemma 3 relies on computer assistance and of course it would be interesting to turn this into a pen-and-paper proof.
Furthermore, it is easy to generalize stabbing numbers to the context of range spaces , where is a set and a set of subsets of , called ranges. A spanning path then corresponds to a permutation of and a set is stabbed by a range if there are such that and . It is straightforward to prove Corollary 2 in this context, but we don’t know how to apply this for other graph classes.
-  Pankaj K. Agarwal. Ray shooting and other applications of spanning trees with low stabbing number. SIAM J. Comput., 21(3):540–570, June 1992. URL: http://dx.doi.org/10.1137/0221035, doi:10.1137/0221035.
-  P.K. Agarwal, M. Vankreveld, and M. Overmars. Intersection queries in curved objects. Journal of Algorithms, 15(2):229 – 266, 1993. URL: http://www.sciencedirect.com/science/article/pii/S0196677483710400, doi:https://doi.org/10.1006/jagm.1993.1040.
-  Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, Micha Sharir, Jack Snoeyink, and Emo Welzl. Implicitly representing arrangements of lines or segments. Discrete & Computational Geometry, 4(5):433–466, Oct 1989. URL: https://doi.org/10.1007/BF02187742, doi:10.1007/BF02187742.
-  David Eppstein. Forbidden Configurations in Discrete Geometry. Cambridge University Press, 2018. doi:10.1017/9781108539180.
-  Sándor P. Fekete, Marco E. Lübbecke, and Henk Meijer. Minimizing the stabbing number of matchings, trees, and triangulations. Discrete & Computational Geometry, 40(4):595, Oct 2008. URL: https://doi.org/10.1007/s00454-008-9114-6, doi:10.1007/s00454-008-9114-6.
-  Panos Giannopoulos, Maximilian Konzack, and Wolfgang Mulzer. Low-crossing spanning trees: an alternative proof and experiments. 2014.
-  Johannes Obenaus. source code. 2019. URL: https://github.com/jogo23/stabbing_number_thesis.
-  Johannes Obenaus. Spanning trees with low (shallow) stabbing number. Master’s thesis, ETH Zurich, 9 2019. URL: https://www.mi.fu-berlin.de/inf/groups/ag-ti/theses/master_finished/obenaus_johannes/index.html.
-  Emo Welzl. Partition trees for triangle counting and other range searching problems. In Symposium on Computational Geometry, 1988.
-  Emo Welzl. On spanning trees with low crossing numbers, pages 233–249. Springer Berlin Heidelberg, Berlin, Heidelberg, 1992. URL: https://doi.org/10.1007/3-540-55488-2_30, doi:10.1007/3-540-55488-2_30.
Appendix A Appendix
For any set of points in general position, a set of representative lines contains exactly lines.
Let be the set of realizable partitions of . Two subsets form a realizable partition of if and , i.e., there is a line separating the convex hulls.
Define the function
, which takes an ordered pair of points fromas input and returns a realizable partition of as follows. For an ordered pair consider the directed line through the two points (directed from to ). Let
and define .
Since is in general position, forms a realizable partition (the line rotated infinitesimally in counterclockwise order separates and ). Also note that the line must be tangent to and and both convex hulls are contained on different sides of .
We will show that for any realizable partition there exist exactly two pairs and which are mapped to this partition. Since there are ordered pairs on , this proves the lemma.
Let be a realizable partition. Two pairs of points that are mapped to this partition can be found as follows. Consider a line separating and and shift towards until it hits a vertex. Next, rotate (once in clockwise and once in counterclockwise order) until it hits a vertex of the other set. Note that if we a hit a vertex of the same set, we just continue to rotate around this one (see Figure 8 (a)). This way we get exactly two distinct pairs of points (because of general position) that are mapped to the partition if ordered accordingly (see Figure 8 (b)).
On the other hand, there is no other line tangent to and simultaneously and having both sets entirely contained on different sides. ∎