Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean.
Giacomo MalettoLuca RoversiPublished in: RC (2022)
Keyphrases
- data structure
- computational cost
- recently developed
- classification algorithm
- significant improvement
- video sequences
- computational complexity
- real time
- higher level
- computationally efficient
- orders of magnitude
- learning algorithm
- search space
- objective function
- np hard
- state space
- particle swarm optimization
- machine learning algorithms
- closely related
- high level