• 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