Double Exponential Time
An algorithm is said to be double exponential time if T(n) is upper bounded by 22poly(n), where poly(n) is some polynomial in n. Such algorithms belong to the complexity class 2-EXPTIME.
Well-known double exponential time algorithms include:
- Decision procedures for Presburger arithmetic
- Computing a Gröbner basis (in the worst case)
- Quantifier elimination on real closed fields takes at least doubly exponential time (but is not even known to be computable in ELEMENTARY)
Read more about this topic: Time Complexity
Famous quotes containing the words double and/or time:
“Was it the double of my dream
The woman that by me lay
Dreamed, or did we halve a dream
Under the first cold gleam of day?”
—William Butler Yeats (1865–1939)
“It is the time we have now, and all our wasted time sinks into the sea and is swallowed up without a trace. The past is dust and ashes, and this incommensurably wide way leads to the pragmatic and kinetic future.”
—John Ashbery (b. 1927)