genetic algorithm subgroup of algorithm, 3 assertions