Deriving Time Complexity from an algorithm
2378
Big O, how do you calculate/approximate it?
129299
Fibonacci sequence and Euclidean algorithm's connection.
72763
Computational complexity of the FFT in n dimensions
135238
Time complexity function in terms of theta notation
54622
Stirling Numbers of the First Kind - a direct derivation
90652
How long does a sequence need to be to be guaranteed to have a monotonic subsequence length k?
151553
Big-O proof showing that t(n) is O(1)
126025
Computing the inverse of a permutation
34723
Proof of a limit for a recursively-defined sequence
98850
A positional number system for enumerating fixed-size subsets?
104176
$15x\equiv 20 \pmod{88}$ Euclid's algorithm
21254
Formal language: Proving the reverse operation on a word through induction
97410
Deriving transition matrix from infinitesimal generator, continuous time Markov chain
14849
Decidability of a predicate.
50586
What is the Big-O of a nested loop, where number of iterations in the inner loop is determined by the current iteration of the outer loop?
27356
Lower bound on proof length
94023
Time Complexity for Java ArrayList