Normalization for planar string diagrams and a quadratic equivalence algorithm.
Antonin DelpeuchJamie VicaryPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- objective function
- learning algorithm
- computational complexity
- improved algorithm
- times faster
- preprocessing
- significant improvement
- dynamic programming
- experimental evaluation
- worst case
- search space
- detection algorithm
- ant colony optimization
- recognition algorithm
- genetic algorithm
- linear programming
- expectation maximization
- optimization algorithm
- optimal solution
- decision trees
- spline interpolation