Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification.
Ralph L. LondonPublished in: Commun. ACM (1970)
Keyphrases
- times faster
- learning algorithm
- theoretical analysis
- computational complexity
- worst case
- single pass
- classification algorithm
- benchmark problems
- computational cost
- computationally efficient
- algorithms require
- convergence rate
- computationally intensive
- algorithm has been developed
- detection algorithm
- optimal solution
- optimization algorithm
- image processing algorithms
- memory requirements
- space complexity
- computational efficiency
- synthetic and real datasets
- dynamic programming
- cost function
- significant improvement
- k means
- preprocessing
- nearest neighbour
- recently developed
- synthetic datasets
- highly efficient
- solution quality
- incremental version
- empirical analyses
- exhaustive search
- data clustering
- provably correct
- matching algorithm
- linear programming
- iterative algorithms
- incremental algorithms
- related algorithms
- randomized algorithm
- provably convergent
- computationally demanding
- filtering algorithm
- hybrid algorithm
- expectation maximization
- search space
- objective function