Probalign maksimalni hisoblaydigan ketma-ketlikni moslashtirish vositasi kutilgan aniqlik qism funktsiyasidan foydalangan holda hizalama orqa ehtimolliklar.[1] Asosiy juftlik ehtimoli shunga o'xshash taxmin yordamida baholanadi Boltzmann taqsimoti. Bo'lim funktsiyasi a yordamida hisoblanadi dinamik dasturlash yondashuv.
Algoritm
Quyida probalign tomonidan asosiy juftlik ehtimollarini aniqlash uchun ishlatiladigan algoritm tasvirlangan.[2]
Hizalama ballari
Ikki ketma-ketlikni tenglashtirish uchun ikkita narsa kerak:
- o'xshashlik funktsiyasi 
 (masalan, PAM, BLOSUM,...) - affine gap jarimasi: 

 
Hisob 
 a tekislash quyidagicha belgilanadi: 

Endi boltzmann a hizalanish bo'yicha tortilgan bal quyidagicha: 

Qaerda 
 o'lchov omilidir.
Boltzmanning taqsimlanishini taxmin qiladigan tekislash ehtimoli quyidagicha berilgan 
![{ displaystyle Pr [a | x, y] = { frac {e ^ { frac {S (a)} {T}}} {Z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc95755b68056106788d9ba71ad9e9bc5be6fafb)
Qaerda 
 bo'linish funktsiyasi, ya'ni barcha tekislashlarning boltzman og'irliklari yig'indisi.
Dinamik dasturlash
Ruxsat bering 
 prefikslarning bo`lish funktsiyasini belgilang 
 va 
. Uch xil ish ko'rib chiqiladi:
 matchda tugaydigan ikkita prefiksning barcha hizalanmalarining bo'linish funktsiyasi.
 qo'shimchada tugaydigan ikkita prefiksning barcha hizalanmalarining bo'linish funktsiyasi 
.
 o'chirishda tugaydigan ikkita prefiksning barcha hizalamalarining bo'linish funktsiyasi 
.
Keyin bizda: 
Boshlash
Matritsalar quyidagicha boshlanadi:




Rekursiya
Ikki ketma-ketlikni tekislash uchun bo'lim funktsiyasi 
 va 
 tomonidan berilgan 
, bu rekursiv ravishda hisoblanishi mumkin:


 o'xshash
Asosiy juftlik ehtimoli
Nihoyat, bu ehtimollik 
 va 
 asosiy juftlikni shakllantirish quyidagicha:

 qayta hisoblash uchun tegishli qiymatlardir 
 teskari tayanch juftlik satrlari bilan.
Shuningdek qarang
Adabiyotlar
Tashqi havolalar