• DocumentCode
    2892312
  • Title

    A general approach to removing degeneracies

  • Author

    Emiris, Ioannis ; Canny, John

  • Author_Institution
    Div. of Comput. Sci., California Univ., Berkeley, CA, USA
  • fYear
    1991
  • fDate
    1-4 Oct 1991
  • Firstpage
    405
  • Lastpage
    413
  • Abstract
    Algorithms modeled as algebraic branching programs, with inputs from an infinite ordered field, are studied. Direct perturbations on the input, so that an algorithm designed under the assumption of nondegeneracy can be applied to all inputs, are described. A deterministic method for algorithms with determinant tests and a randomized one for arbitrary test expressions are defined. They both incur extra complexity factors that are constant in several cases. Moreover, polynomial and exponential time algorithms always remain in the same complexity class while being enhanced with the power to execute on arbitrary inputs. Both methods are distinguished by their conceptual elegance and are significantly faster than previous ones
  • Keywords
    computational complexity; algebraic branching programs; arbitrary test expressions; complexity class; complexity factors; degeneracies; determinant tests; deterministic method; direct perturbations; exponential time algorithms; infinite ordered field; nondegeneracy; polynomial time algorithms; Algorithm design and analysis; Binary decision diagrams; Computational efficiency; Computational modeling; Computer science; Euclidean distance; Input variables; Perturbation methods; Polynomials; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1991. Proceedings., 32nd Annual Symposium on
  • Conference_Location
    San Juan
  • Print_ISBN
    0-8186-2445-0
  • Type

    conf

  • DOI
    10.1109/SFCS.1991.185399
  • Filename
    185399