Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design.
Hsiang-Shang KoPublished in: Art Sci. Eng. Program. (2021)
Keyphrases
- times faster
- learning algorithm
- computational complexity
- computationally efficient
- worst case
- computational efficiency
- related algorithms
- computational cost
- single pass
- theoretical analysis
- iterative algorithms
- significant improvement
- empirical analyses
- dynamic programming
- k means
- image processing algorithms
- synthetic datasets
- benchmark problems
- solution quality
- recently developed
- computationally intensive
- nearest neighbour
- incremental version
- algorithms require
- maximum flow
- incremental algorithms
- provably convergent
- cost function
- classification algorithm
- optimization algorithm
- memory requirements
- optimal solution
- preprocessing
- probabilistic model
- computationally demanding
- synthetic and real world datasets
- theoretical guarantees
- programming language
- optimization problems
- synthetic and real datasets
- detection algorithm
- clustering method
- design process
- matching algorithm
- hybrid algorithm
- filtering algorithm
- skyline queries
- highly efficient
- randomized algorithm
- polynomial time complexity
- objective function
- neural network