Project: Nondeterminism

Nondeterminism
Nondeterminism is a very powerful and useful tool to express algorithms. But direct implementation is fairly impossible. We can either choose
  • a parallel machine and have to discuss about work load balancing, the use of the underlying connection, etc.
  • simulate the nondeterministic algorithm with a deterministic machine.

    Simulating nondeterministic algorithms
    The project wants to
  • make the simulation visible
  • minimize the space and time needed

    More information
    The project is placed under the Centre for Artifical Intelligence and Intelligent Computing (CAIIC) in Multimedia University. You can either contact me or look for further information under
  • Electronic Colloquium on Computational Complexity
  • GI-Fachgruppe Komplexität

    Status of the project
    Recently started.