Abstract
We construct a family
such that the maximal elementX
n
∈ ℱ
n
can be obtained inductively by computing minimal upper bounds over already generated setsG, involving not less than exponentially many (with respect to |X
n
|) such intermediate setsG, starting with minimal ones in ℱ
n
.
Zusammenfassung
Es wird ein Beispiel einer Folge
von Mengen konstruiert, sodaß das maximale ElementX
n
∈ ℱ
n
der Teilmengen-Halbordnung frühestens nach exponentiell vielen (bezüglich |X
n
|) Zwischenschritten erreicht werden kann, wenn in jedem Schritt eine minimale obere Schranke über Mengen
von solcherart bereits erhaltenen MengenG erzeugt wird.
This is a preview of subscription content, log in via an institution to check access.
References
Eiter, Th., Gottlob, G., Gurevich, Y.: Curb your theory! — A circumscriptive approach for inclusive interpretation of disjunctive information. Proceedings IJCAI-93, pp. 634–639, 1993.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bodenstorfer, B. How many minimal upper bounds of minimal upper bounds. Computing 56, 173–178 (1996). https://doi.org/10.1007/BF02309344
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02309344