Maximum clique of aligned boxes

Back to Geometric algorithms

Given is a set of (axis-aligned) boxes in . A clique box is a box which is contained in the intersection of some subset of boxes. The box maximum clique problem is to find a clique box such that is maximized. Such a box is then called a maximum clique box. There can be several maximum clique boxes, even if each box is made maximal.

Practice

Pastel implements an algorithm to find a maximum clique box in time , and to optionally report the subset using additional time. The algorithm allows to choose whether to treat boxes as open or closed sets. Note that if one side of a box is open and the other side is closed, then the results are equivalent to both sides being open.

Multiple maximum cliques

In case there are multiple maximum cliques, the algorithm randomly samples through them and primarily maximizes the area, and secondarily (in case of equal area, especially zero area) the maximum width or height.

Example of local maximum clique sampling

Figure 1 demonstrates that, even in , boxes can form maximum cliques (here ). In this image the red lines are boxes of width zero, and the there are four transparent blue boxes of thicker width. All of the box cliques are of size 2. It is easy to show for such a gridding of boxes that the probability that the algorithm returns a singular maximum clique box is given by , which for evaluates to . Furthermore, if we let grow, then this probability very quickly converges from above towards . Thus with quite good probability the algorithm returns a non-singular maximum clique box. Similarly, the probability that the algorithm returns one of the four large-area maximum cliques is given by , which for evaluates to 0.44, but approaches zero as grows.

Files

Maximum clique of an aligned box graph

Testing for aligned box maximum clique