A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs
Jean-Yves MoyenPaolo Parisen ToldinPublished in: CoRR (2013)
Keyphrases
- worst case
- computational complexity
- deterministic finite state automata
- probabilistic model
- decision problems
- conp complete
- np hardness
- probabilistic logic
- generative model
- special case
- approximation algorithms
- space complexity
- probabilistic reasoning
- polynomial time complexity
- neural network
- real time
- relational databases
- lower bound
- causal graph
- genetic algorithm