Title :
A general approach to removing degeneracies
Author :
Emiris, Ioannis ; Canny, John
Author_Institution :
Div. of Comput. Sci., California Univ., Berkeley, CA, USA
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;
Conference_Titel :
Foundations of Computer Science, 1991. Proceedings., 32nd Annual Symposium on
Conference_Location :
San Juan
Print_ISBN :
0-8186-2445-0
DOI :
10.1109/SFCS.1991.185399