Miller (1986) proves this (with a separator size of √8√n) by using the Lipton–Tarjan technique for a modified version of breadth first search in which the levels of the search form simple cycles.
Ο Miller (1986) το αποδεικνύει (με το μέγεθος διαχωριστικου του √8√n) χρησιμοποιώντας την τεχνική των Lipton-Tarjan για μια τροποποιημένη έκδοση του πλάτους της πρώτης αναζήτησης στην οποία τα επίπεδα της αναζήτησης σχηματίζουν απλούς κύκλους.