Nəzəri kompüter elmləri: Bir yaxınlaşma alqoritmi ilə bir evristik arasındakı fərq nədir?


cavab 1:

Bir heurist bir yaxınlaşma alqoritmindən daha geniş bir termindir.

Kimsə ədəbiyyatda bir yaxınlaşma alqoritmini müzakirə etdikdə, ümumiyyətlə birini müzakirə edirlər

cc

- Mütləq yaxınlaşma alqoritmi və daha tez-tez a

cc

Faktor yaxınlaşma alqoritmi (və ya.)

cc

Yaxınlaşma alqoritmi daha dəqiq), harada

cc

daimi və ya bir funksiya ola bilər

c1c \geq 1

(thoughyoucoulddefineitasc>1forconstants,otherwiseitwouldoptimallysolvetheproblem). Anabsoluteapproximationalgorithmasthenamesuggestshasanabsoluteerrorwithrespecttotheobjectivevalueofanoptimalsolution,whilea [math]c[/math]approximationalgorithmguaranteesthealgorithmreturnsafeasiblesolutionwhoseobjectivevalueiswithinfactor[math]c[/math]oftheoptimum. Theimportantotherpropertyisthatitterminatesinpolynomialtimewithrespecttotheinputsize. (though you could define it as c>1 for constants, otherwise it would optimally solve the problem).  An absolute approximation algorithm as the name suggests has an absolute error with respect to the objective value of an optimal solution, while a  [math]c[/math]-approximation algorithm guarantees the algorithm returns a feasible solution whose objective value is within factor [math]c[/math] of the optimum.  The important other property is that it terminates in polynomial time with respect to the input size.

Bir evristik bu iki xüsusiyyətə ehtiyac duymur. Bir heurist bir həll üçün "bəzən düzgün, bəzən səhv" bir yanaşma (bəlkə də bir alqoritm belə ola bilməz) və ya bir texniki imkan verməkdən başqa heç bir xüsusiyyətə sahib olmayan alqoritmlərin dizaynına bir yanaşma əldə edə biləcək bir aydın bir termindir. həll verin (bilmirəm ki, bəzilərini bilirəm). Yaxınlaşma alqoritmləri də daxil olmaqla bir çox evristik alqoritm var.

Yaxınlaşma alqoritmləri, heuristik alqoritmin çox xüsusi bir növüdür. Bunun yaxınlaşma sərtliyi ilə birlikdə araşdırılması TCS'nin çox maraqlı bir sahəsidir.