Choiceless Polynomial Time with Witnessed Symmetric Choice.

Moritz Lichter Pascal Schweitzer

Published in: J. ACM (2024)

Keyphrases

satisfy the triangle inequality
special case
real time
computational complexity
case study
approximation algorithms
uniform distribution
finite automata