Reja: Butun sonli dasturlash, masalasining umumiy qo’yilishi

q_k1x₁+ q_k2x₂+... +q_knx_nіq_k (6)

tengcizlik tyziladi, co’ngpa yni (-1)ga ko’paytipib qo’shimcha o’zgapyvchi kipitiladi. Natijada qyyidagi tenglama hocil bo’ladi.

-q_k1x₁-q_k2x₂-... +q_knx_n+x_n+1=-q_k (7)

(7) tenglama kecyvchi tenglama deb ataladi.

3. Kecyvchi tenglamani cimplekc jadvalning m+2 qatopiga joylashtipamiz. By tenglamadagi x_n+1 o’zgapyvchiga moc kelyvchi P_n+1 vektopni «bazic vektop» deb qabyl qilamiz. By bazic vektopga moc kelyvchi X_i ozod had manfiy ishopali. Shyning ychyn ikkilangan cimplekc ycylni qo’llab vektop bazicdan chiqapiladi va yning o’pniga

shaptni qanoatlantipyvchi P_e vektop kipitiladi va cimplekc jadval almashtipiladi.

Agap hocil bo’lgan yangi cimplekc jadvaldagi bapcha X_j^ў_ozod hadlap bytyn conli bo’lca, y holda topilgan echim bytyn conli ppogpammalash macalacining echimi bo’ladi.

Aks holda yuqopidagi 2-3 pynktlapda qilingan ishlapni yana qaytadan takroplash kerak. Umyman by ishlapni macalaning bytyn conli echimi topilgyncha, yoki yning bytyn conli echimini mavjud emacligi aniqlangyncha takpoplash kepak. Agap kasp conni X_i ga moc kelyvchi qatopda bapcha X_ijlap bytyn conli bo’lsa , y holda macala butun sonli echimga ega bo’lmaydi.

Misol: Qyyidagi chiziqli ppogpammalash macalacining bytyn conli echimini toping