Әртүрлі алгоритмдердің тиімділігін салыстыру

Алгоритмді құрған кезде екі ұғымды ескерген жөн: ол – алгоритмнің тиімділігі мендұрыстығы. Жалпы алып қарағанда, тиімділік ұғымы алгоритм жұмысына қажетті барлық есептеу ресурстарвмен байланысты. Тиімділік алгоритмнің шекті уақытта ғана емес, мүмкін шекті уақытта орындалатындығын көрсетеді. Алгоритм мен сәйкес бағдарламаның дұрыстығын тексеру өте маңызды, ал тексерудің тиімді әдістерін іздеу есептеу техникасында өзекті мәселелер болып табылады. Алгоритмнің дұрыстығын тексерудегі ізденістердің бір бағыты – формальды логиканың әдістерін қолдану. Бұл жолдың негізгі ұстанымы: дұрыстықты тексеру үрдісін формальдау процедурасына әкелу интуитивті болжауларға сүйенген қателіктерден құтқарады.

Алгоритмнің тағы бір негізгі мінездемелерінің бірі – оның күрделілігі. Әдетте алгоритмдер күрделілігінің дәрежесі оперативті жады және процессорлық уақыт сияқты қолданылатын компьютер ресурстарының көлемімен бағаланады. Осыған байланысты алгоритмнің уақыт бойынша күрделілігі және көлем бойынша күрделілігіанықталады. Көп жағдайда уақыт бойынша шектеулер басым рөл атқаратындықтануақыт бойынша күрделілік маңызды болып есептеледі. Уақыт бойынша күрделілік орындалатын операциялар санымен анықталады, алғашқы мәліметтерге тәуелді (олардың көлеміне және шамасына)