Assertion: arrangement | /r/HasProperty | constructed by incremental algorithm
Facets:
value: efficiently
type: MANNER
value: due to the zone theorem
type: CAUSE
Source sentences:
text: Due to the zone theorem, arrangements can be constructed efficiently by an incremental algorithm that adds one line at a time to the arrangement of the previously added lines: each new line can be added in time proportional to its zone, resulting in a total construction time of O(n2).