Theory of Parallel Genetic Algorithms