An Upper Bound on the Space Complexity of Random Formulae in Resolution
Michele ZitoPublished in: Electron. Colloquium Comput. Complex. (2001)
Keyphrases
- space complexity
- upper bound
- worst case
- lower bound
- arc consistency
- upper and lower bounds
- lower and upper bounds
- branch and bound algorithm
- high resolution
- approximation algorithms
- sampling rate
- space requirements
- worst case time complexity
- sample complexity
- branch and bound
- low resolution
- error probability
- consequence finding
- video sequences
- single item
- randomly generated
- generalization error
- image quality