Тоді стохастичні алгоритми можна поділити на два типи: алгоритми типу Лас-Вегас завжди дають коректний результат, але час їхньої роботи невизначений. алгоритми типу Монте-Карло, на відміну від попередніх, можуть давати неправильні результати з відомою ймовірністю (їх часто називають методами Монте-Карло). Інші формалізації