Choiceless Polynomial Time with Witnessed Symmetric Choice.

Moritz Lichter Pascal Schweitzer

Published in: LICS (2022)

Keyphrases

satisfy the triangle inequality
special case
computational complexity
approximation algorithms
finite automata
decision making
database
databases
computer vision
metadata
database systems
multiscale
lower bound
worst case
triangle inequality