On the Computational Complexity of Bisimulation.
Faron MollerScott A. SmolkaPublished in: ACM Comput. Surv. (1995)
Keyphrases
- computational complexity
- np complete
- special case
- computational cost
- bit rate
- high computational complexity
- memory requirements
- low complexity
- computational load
- computational efficiency
- computationally efficient
- motion estimation
- np hard
- equivalence relation
- storage requirements
- decision problems
- cooperative
- high quality
- information systems
- real world
- relational databases
- preprocessing
- natural language
- reinforcement learning
- three dimensional
- information retrieval
- machine learning