4. Algoritmik ispat analizinde, bir ispatın "verimlilik" kriteri hangi açıdan değerlendirilir?
A) İspatın kaç sayfa sürdüğü
B) İspatın ne kadar hızlı anlaşılabildiği
C) İspat adımlarının sayısı ve karmaşıklığı
D) İspatın hangi matematikçi tarafından yapıldığı
