Kwa asilia, tatizo A linaweza kupunguzwa hadi tatizo B ikiwa algoriti ya kutatua tatizo B (ikiwa ipo) inaweza pia kutumika kama njia ndogo ya kutatua kwa ufanisi tatizo A. Hii ni kweli, kutatua A hakuwezi kuwa vigumu zaidi. kuliko kutatua tatizo B • Utata wa juu zaidi unamaanisha makadirio ya juu ya rasilimali zinazohitajika za hesabu katika muktadha fulani. Kwa mfano, gharama za muda mrefu, mahitaji makubwa ya kumbukumbu, hitaji la gharama kubwa la core za ziada za kichakataji maunzi.
Muundo wa hisabati unaotokana na seti ya matatizo kwa kupunguzwa kwa aina fulani kwa kawaida huunda agizo la awali ambalo aina zake za usawa zinaweza kutumika kubainisha viwango vya kutotatulika na aina changamano.
Ufafanuzi wa hisabati
Katika hisabati, kupunguza ni kuandika upya mchakato katika umbo rahisi zaidi. Kwa mfano, mchakato wa kuandika upya sehemu ya sehemu katika moja na ndogo zaididhehebu la nambari kamili (huku ukihifadhi nambari kamili ya nambari) inaitwa "kupunguzwa kwa sehemu". Kuandika upya mfano mkali (au "radical") na nambari ndogo kabisa kamili na itikadi kali inaitwa "upunguzaji mkali". Hii pia inajumuisha aina mbalimbali za kupunguza nambari.
Aina za upunguzaji wa hisabati
Kama ilivyoelezwa katika mfano hapo juu, kuna aina mbili kuu za upunguzaji zinazotumika katika hesabu changamano, upunguzaji mwingi na upunguzaji wa Turing. Matukio mengi ya ramani ya kupunguza tatizo moja endapo lingine litatokea. Misuliko ya turing hukuruhusu kuhesabu suluhisho la shida moja, ikizingatiwa kuwa shida nyingine pia itatatuliwa kwa urahisi. Kupunguza mara nyingi ni aina kali zaidi ya upunguzaji wa Turing na hutenganisha matatizo kwa ufanisi zaidi katika madarasa tofauti ya utata. Hata hivyo, ongezeko la vizuizi vya kupunguza mara nyingi hufanya iwe vigumu kuzipata, na hapa kupunguza kiasi mara nyingi hutusaidia.
Aina za ugumu
Tatizo hukamilika kwa darasa moja la ugumu ikiwa kila tatizo darasani hupungua hadi tatizo hili na pia liko ndani yake. Suluhisho lolote la tatizo linaweza kuunganishwa na vifupisho ili kutatua kila tatizo darasani.
Tatizo la kupunguza
Hata hivyo, vipunguzi vinapaswa kuwa vyepesi. Kwa mfano, inawezekana kabisa kupunguza tatizo changamano kama vile tatizo la kuridhika kimantiki kwa jambo dogo kabisa. Kwa mfano, kuamua ikiwa nambari ni sawa na sifuri, kwa sababu ya ukweli kwamba mashine ya kupunguza huamuatatizo katika muda wa kielelezo na matokeo sifuri ikiwa tu kuna suluhisho. Walakini, hii haitoshi, kwa sababu ingawa tunaweza kutatua shida mpya, kupunguza ni ngumu kama kutatua shida ya zamani. Vile vile, upunguzaji unaojumuisha utendakazi usioweza kutekelezeka unaweza kupunguza tatizo lisiloweza kuamuliwa kuwa linaloweza kutatuliwa. Kama vile Michael Sipser anavyoonyesha katika An Introduction to the Theory of Computation: “Kupunguza kunapaswa kuwa rahisi, ikilinganishwa na utata wa matatizo ya kawaida darasani. Iwapo upunguzaji wenyewe haungekuwa wa kutatulika, basi haungetoa suluhu rahisi kwa matatizo yanayohusiana na tatizo.”
Matatizo ya uboreshaji
Katika hali ya matatizo ya uboreshaji (kuongeza au kupunguza), hisabati inategemea ukweli kwamba kupunguza ndiko husaidia kuonyesha suluhu rahisi zaidi. Mbinu hii hutumiwa mara kwa mara kutatua matatizo sawa ya viwango tofauti vya utata.
Kupunguza vokali
Katika fonetiki, neno hili hurejelea mabadiliko yoyote katika ubora wa akustika wa vokali, yanayohusiana na mabadiliko ya mvutano, umbile, muda, sauti, matamshi au nafasi katika neno, na ambayo hutambuliwa na sikio kama "kudhoofisha. ". Kupunguza ndiko hufanya vokali kuwa fupi.
Vokali kama hizo mara nyingi huitwa kupunguzwa au dhaifu. Kinyume chake, vokali ambazo hazijapunguzwa zinaweza kuelezewa kuwa kamili au kali.
Kupunguzwa kwa lugha
Upunguzaji wa fonetiki mara nyingi huhusishwa na upatanishaji wa vokali, yaani, kupungua kwa idadi ya mienendo ya lugha wakati wa matamshi yao, kama ilivyo kwa sifa.kubadilisha vokali nyingi ambazo hazijasisitizwa mwishoni mwa maneno ya Kiingereza hadi kitu kinachokaribia schwa. Mfano uliosomwa vyema wa upunguzaji wa vokali ni kutoweka kwa tofauti za akustika katika vokali ambazo hazijasisitizwa, ambazo hutokea katika lugha nyingi. Mfano wa kawaida wa jambo hili ni sauti schwa.
Vipengele vya kawaida
Urefu wa sauti ni sababu ya kawaida ya kupunguza: katika usemi wa haraka, vokali hufupishwa kwa sababu ya mapungufu ya kimwili ya viungo vya kutamka, k.m. ulimi hauwezi kuingia katika hali ya mlinganisho haraka au kabisa ili kutoa vokali kamili (linganisha na kukata.). Lugha tofauti zina aina tofauti za upunguzaji wa vokali, na hii ni moja ya shida katika kupata lugha. Kujifunza irabu za lugha ya pili ni sayansi nzima.
Msuko wa vokali unaohusiana na mkazo ni sababu kuu katika ukuzaji wa ablaut ya Indo-European, pamoja na mabadiliko mengine yaliyoundwa upya na isimu ya kihistoria.
Lughabila kupunguzwa
Baadhi ya lugha kama vile Kifini, Kihindi na Kihispania cha Kawaida zinasemekana kukosa kupunguzwa kwa vokali. Mara nyingi huitwa lugha za silabi. Katika ncha nyingine ya wigo, Kihispania cha Meksiko kina sifa ya kupunguza au kupoteza vokali ambazo hazijasisitizwa, hasa zinapogusana na sauti ya "s".
Kupungua kwa masharti ya biolojia na biokemia
Kupunguza wakati mwingine huitwa urekebishaji wa kuvunjika, kutenganishaau ngiri. Pia, kupunguzwa kwa biolojia ni kitendo cha kupunguza kiungo kama matokeo ya michakato ya mageuzi au ya kisaikolojia. Mchakato wowote ambao elektroni huongezwa kwa atomi au ioni (kama kwa kuondoa oksijeni au kuongeza hidrojeni) na kuambatana na oxidation inaitwa kupunguza. Usisahau kuhusu kupunguzwa kwa kromosomu.
Kupungua kwa falsafa
Kupunguza (kupunguza) kunajumuisha mada kadhaa zinazohusiana za kifalsafa. Angalau aina tatu zinaweza kutofautishwa: ontological, methodological na epistemic. Ingawa mabishano ya na dhidi ya upunguzaji mara nyingi huhusisha mchanganyiko wa misimamo inayohusishwa na aina zote tatu za upunguzaji, tofauti hizi ni muhimu kwa sababu hakuna umoja kati ya aina tofauti.
Ontolojia
Kupunguza kiontolojia ni wazo kwamba kila mfumo mahususi wa kibayolojia (kwa mfano, kiumbe hai) unajumuisha tu molekuli na mwingiliano wao. Katika metafizikia, wazo hili mara nyingi huitwa fizikia (au uyakinifu), na linapendekeza katika muktadha wa kibayolojia kwamba sifa za kibayolojia hudhibiti sifa za kimaumbile na kwamba kila mchakato mahususi wa kibayolojia (au ishara) unafanana kimetafizikia na mchakato wowote mahususi wa kemikali ya kimwili. Kanuni hii ya mwisho wakati mwingine hujulikana kama upunguzaji wa ishara, kinyume na kanuni thabiti zaidi kwamba kila aina ya mchakato wa kibaolojia ni sawa na aina ya mchakato wa kemikali-kimwili.
Kupunguza kiontolojia kwa maana hii dhaifu leo ninafasi kuu kati ya wanafalsafa na wanabiolojia, ingawa maelezo ya kifalsafa yanasalia kujadiliwa (kwa mfano, je, kuna sifa zinazoibuka?). Dhana tofauti za fizikia zinaweza kuwa na athari tofauti kwa upunguzaji wa ontolojia katika biolojia. Kukataa kwa Vitalism juu ya fizikia, maoni kwamba mifumo ya kibaolojia inatawaliwa na nguvu zingine isipokuwa nguvu za kemikali za kimwili, ni ya maslahi ya kihistoria. (Vitalism pia inaruhusu dhana tofauti, hasa kuhusiana na jinsi nguvu zisizo za fizikia-kemikali zinavyoeleweka) Baadhi ya waandishi wamesisitiza kwa nguvu umuhimu wa dhana za kimetafizikia katika mijadala ya upunguzaji katika biolojia.
Mbinu
Kupunguza kimbinu ni wazo kwamba mifumo ya kibayolojia inachunguzwa kwa ufanisi zaidi katika kiwango cha chini kabisa, na kwamba utafiti wa majaribio unapaswa kulenga kufichua sababu za molekuli na biokemikali za kila kitu kilichopo. Mfano wa kawaida wa aina hii ya mkakati ni kuvunja mfumo changamano katika sehemu: mwanabiolojia anaweza kuchunguza sehemu za seli za viumbe ili kuelewa tabia yake, au kuchunguza vipengele vya biokemikali vya seli ili kuelewa vipengele vyake. Ingawa upunguzaji wa mbinu mara nyingi huchochewa na dhana ya kupunguza ontolojia, pendekezo hili la utaratibu halifuati moja kwa moja kutoka kwake. Kwa kweli, tofauti na kupunguzwa kwa ishara, upunguzaji wa mbinu unaweza kuwa na utata kabisa. Inasemekana kuwa mikakati ya utafiti wa kupunguza huonyesha upendeleo wa kimfumo ambao hukosavipengele muhimu vya kibiolojia na kwamba, kwa baadhi ya maswali, mbinu yenye manufaa zaidi ni kuunganisha ugunduzi wa visababishi vya molekuli na uchunguzi wa utendaji wa ngazi ya juu.
Epistema
Kupunguza kwa kielelezo ni wazo kwamba maarifa kuhusu eneo moja la kisayansi (kawaida kuhusu michakato ya kiwango cha juu) yanaweza kupunguzwa hadi sehemu nyingine ya maarifa ya kisayansi (kwa kawaida katika kiwango cha chini zaidi au cha msingi zaidi). Ingawa uidhinishaji wa aina fulani ya upunguzaji wa epistemic unaweza kuchochewa na upunguzaji wa ontolojia pamoja na upunguzaji wa mbinu (k.m., mafanikio ya awali ya utafiti wa wapunguzaji katika biolojia), uwezekano wa kupunguzwa kwa epistemic haufuati moja kwa moja kutoka kwa uhusiano wao. Hakika, mjadala kuhusu kupunguzwa kwa falsafa, biolojia (na falsafa ya sayansi kwa ujumla), umezingatia aina hii ya tatu ya upunguzaji kama yenye utata zaidi ya yote. Kabla ya kutathmini upunguzaji wowote kutoka kwa kikundi kimoja cha maarifa hadi kingine, wazo la miili hii ya maarifa na nini hii ingemaanisha "kupunguzwa" kwao inapaswa kuchunguzwa. Idadi ya mifano tofauti ya kupunguza imependekezwa. Kwa hivyo, mjadala kuhusu upunguzaji wa biolojia haujazunguka tu kwa kiwango ambacho upunguzaji wa epistemic unawezekana, lakini pia juu ya dhana zake ambazo zina jukumu katika utafiti na majadiliano ya kisayansi. Aina mbili kuu zinaweza kutofautishwa:
- miundo ya kupunguza nadharia ambayo inasema kwamba nadharia moja inaweza kutolewa kimantiki kutoka kwa nyingine.nadharia;
- miundo ya upunguzaji wa maelezo ambayo huzingatia iwapo vipengele vya kiwango cha juu vinaweza kuelezewa na vipengele vya chini.
Hitimisho la jumla
Ufafanuzi wa kupunguzwa kutoka kwa sayansi mbalimbali zilizotajwa katika makala hii ni mbali na kikomo, kwa sababu kwa kweli kuna nyingi zaidi. Licha ya tofauti zote katika ufafanuzi wa kupunguza, wote wana kitu sawa. Kwanza kabisa, upunguzaji unachukuliwa kuwa upunguzaji, upunguzaji, urahisishaji na upunguzaji wa kitu ngumu zaidi, ngumu na ya kimfumo, kwa kitu rahisi, kinachoeleweka na kinachoelezeka kwa urahisi. Hili ndilo wazo kuu nyuma ya umaarufu wa neno "kupunguza" katika sayansi nyingi zisizohusiana. Upunguzaji wa ubora unayumba kutoka kwa sayansi hadi sayansi, na kuifanya kila moja kuwa rahisi na kueleweka zaidi kwa wanasayansi wa kitaalamu na watu wa kawaida.
