DocumentCode :
2200443
Title :
Sperner´s lemma and robust machines
Author :
Crescenzi, P. ; Silvestri, R.
Author_Institution :
Dept. of Comput. Sci., Rome Univ., Italy
fYear :
1993
fDate :
18-21 May 1993
Firstpage :
194
Lastpage :
199
Abstract :
Sperner´s lemma states that any admissible coloring of any triangulation of the unit triangle has a three-colored triangle. It is shown that any algorithm to find a three-colored triangle in any admissible coloring that treats the coloring itself as an oracle must be in the worst case linear in n. By making use of such lower bound, a negative answer is obtained for two problems regarding robust oracle machines left open by J. Hartmanis and L. Hemachandra (1990). By making use of techniques similar to those used in that paper, a third open problem is solved
Keywords :
automata theory; computational complexity; graph colouring; Sperner lemma; admissible coloring; oracle; robust machines; robust oracle machines; three-colored triangle; triangulation; unit triangle; Computer science; Mathematics; Robustness;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Structure in Complexity Theory Conference, 1993., Proceedings of the Eighth Annual
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-4070-7
Type :
conf
DOI :
10.1109/SCT.1993.336527
Filename :
336527
Link To Document :
بازگشت