Totální kontrola světa pomocí algoritmů