
ardha amgathvam

ganithathilum saidhaanthika computer shaasthrathilum, oru settinte ardha-angathwa prashnam, saadhyamaaya rund gadakangalil eathaanu aaa settil ulppedaanulla saadhyatha kooduthal ennu theerumaanikkunna prasnamaanu; pakaramaayi, settil kuranjathu orennamenkilum ulla rund gadakangal nalkiyaal, amgathe amgamallaathavaril ninnu verthirichariyaan.
angathwa prashnathekkaal ardha angathwa prashnam valare eluppamaayirikkaam. udaaharanathinu, chila nischitha yadhaartha samkhyayaaya "x" nekkaal kuranja diadic yukthikale prathinidheekarikkunna parimitha-dairkhya bainari stringukalude settu "s" ("x") pariganikkuka. oru jodi stringukalude semi-mempership prashnam cheria diadic yukthisahamaya string eduthu pariharikkappedunnu, kaaranam stringukalil onnu krithyamaayi oru gadakamaanenkil, athu "x" nte moolyam pariganikkathe thanne cheruthayirikkanam. ennirunnaalum, "s" ("x") bhasha oru aavarthana bhasha polum aayirikkilla, kaaranam atharam "x" ennamatta niravadhi bhaashakalund, pakshe ennathil niravadhi aavarthana bhashakal maathrameyulloo.
f" ("x", "y") "x" allengil "y" nuu thulyamaanengil, "f" ("x", "y") "s" ll aanenkil, "x" ll orennamenkilum "s" ll aanenkil, "y" "" s "ll aanenkil, oru settu" s "-nte selectoraan" f "enna function (" x "," y "). oru settinu oru recursive selector undengil athu semi recursive aanu, koodaathe oru polynomial time selector upayogichu semi recursive aanenkil athu pii-selective allengil semi-saadhyamaan.
semi-feasible settukalkku cheria sarkyoottukalund; avaa vipuleekritha thaazhnna sreniyilaanu; p = np allathe np-poornnamaakaan kazhiyilla.

