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