Title :
Sperner´s lemma and robust machines
Author :
Crescenzi, P. ; Silvestri, R.
Author_Institution :
Dept. of Comput. Sci., Rome Univ., Italy
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;
Conference_Titel :
Structure in Complexity Theory Conference, 1993., Proceedings of the Eighth Annual
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-4070-7
DOI :
10.1109/SCT.1993.336527