On the complexity of global computation in the presence of link failures: the general case
β Scribed by Y. Afek; D. Hendler
- Publisher
- Springer-Verlag
- Year
- 1995
- Tongue
- English
- Weight
- 823 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0178-2770
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In the last several years, there have been several studies about the computational complexity of classical planning assuming that the planner has complete knowledge about the initial situation. Recently, there have been proposals to use 'sensing' actions to plan in the presence of incompleteness. In
## Abstract We investigate the computational complexity the class of Ξβcategorical computable structures. We show that hyperarithmetic categoricity is Ξ ^1^~1~βcomplete, while computable categoricity is Ξ ^0^~4~βhard. (Β© 2003 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)