Интуитивті түрде, егер В есебін шешу алгоритмі (егер ол бар болса) А мәселесін тиімді шешу үшін қосалқы бағдарлама ретінде де пайдаланылуы мүмкін болса, А мәселесі В мәселесіне дейін қысқартылады. Бұл дұрыс болғанда, А мәселесін шешу қиынырақ болуы мүмкін емес. B мәселесін шешуге қарағанда • Жоғары күрделілік берілген контексте қажетті есептеу ресурстарының жоғары бағасын білдіреді. Мысалы, жоғары уақыт шығындары, үлкен жад талаптары, қосымша аппараттық процессор ядроларының қымбат қажеттілігі.
Белгілі бір түрдегі қысқартулар арқылы есептер жинағы бойынша құрылған математикалық құрылым әдетте эквиваленттік класстары шешілмейтіндік дәрежесі мен күрделілік кластарын анықтау үшін пайдаланылуы мүмкін алдын ала тапсырысты құрайды.
Математикалық анықтама
Математикада қысқарту - бұл процесті қарапайым формаға қайта жазу. Мысалы, бөлшек бөлігін ең кішісі бар біріне қайта жазу процесібүтін санның бөлімі (бүтін алым сақталған кезде) «бөлшекті азайту» деп аталады. Радикалды (немесе «радикал») мысалды ең кіші бүтін санмен және радикалмен қайта жазу «түбегейлі қысқарту» деп аталады. Бұған санды азайтудың әртүрлі формалары да кіреді.
Математикалық қысқарту түрлері
Жоғарыдағы мысалда сипатталғандай, күрделі есептеулерде қолданылатын қысқартулардың екі негізгі түрі бар, бірнеше азайту және Тьюринг қысқартулары. Бірнеше қысқарту басқа орын алған жағдайда бір мәселенің даналарын көрсетеді. Тьюринг қысқартулары бір есептің шешімін есептеуге мүмкіндік береді, басқа мәселе де оңай шешіледі деп есептейміз. Бірнеше рет қысқарту Тьюринг қысқартуының күшті түрі болып табылады және мәселелерді нақты күрделілік сыныптарына тиімдірек бөледі. Дегенмен, бірнеше рет азайтуға шектеулердің артуы оларды табуды қиындатады және бұл жерде сандық қысқарту жиі көмекке келеді.
Қиындық кластары
Егер сыныптағы әрбір есеп осы мәселеге дейін азайса және ол да оның ішінде болса, бір қиындық сыныбы үшін есеп аяқталды. Кез келген мәселені шешуді қысқартулармен біріктіріп, сыныптағы әрбір мәселені шешуге болады.
Қысқарту мәселесі
Алайда, кесілген жерлер жеңіл болуы керек. Мысалы, логикалық қанағаттану мәселесі сияқты күрделі мәселені өте тривиальды нәрсеге дейін азайтуға толықтай болады. Мысалы, азайту машинасының шешуіне байланысты санның нөлге тең екендігін анықтауесеп экспоненциалды уақытта және шешімі бар болса ғана нөлді шығарады. Дегенмен, бұл жеткіліксіз, өйткені біз жаңа мәселені шеше алғанымызбен, қысқарту ескі мәселені шешу сияқты қиын. Сол сияқты, есептелмейтін функцияны есептейтін қысқарту шешілмейтін мәселені шешілетінге дейін азайтуы мүмкін. Майкл Сипсер «Есептеу теориясына кіріспе» еңбегінде атап өткендей: «Сыныптағы типтік есептердің күрделілігімен салыстырғанда қысқарту қарапайым болуы керек. Егер қысқартудың өзі шешілмейтін болса, бұл мәселемен байланысты мәселелерді оңай шешу міндетті емес еді.»
Оңтайландыру мәселелері
Оңтайландыру мәселелері (максимизация немесе кішірейту) жағдайында математика қысқарту ең қарапайым шешімдерді көрсетуге көмектесетін фактіге негізделеді. Бұл әдіс күрделілік деңгейі әртүрлі ұқсас есептерді шешу үшін жиі қолданылады.
Дауысты дыбысты азайту
Фонетикада бұл сөз дауысты дыбыстардың дыбыстық сапасының кез келген өзгерісін білдіреді, кернеу, дыбыстық, ұзақтық, дыбыс деңгейі, артикуляция немесе сөздегі позицияның өзгеруімен байланысты және құлақпен «әлсіреу» ретінде қабылданады. «. Дауысты дыбыстарды қысқарту - бұл қысқарту.
Мұндай дауыстылар көбінесе қысқартылған немесе әлсіз деп аталады. Керісінше, қысқартылмаған дауыстыларды толық немесе күшті деп сипаттауға болады.
Тілді қысқарту
Фонетикалық редукция көбінесе дауысты дыбыстардың орталықтандырылуымен, яғни олардың айтылуындағы тілдік қимылдар санының азаюымен байланысты.ағылшын сөздерінің соңындағы көптеген екпінсіз дауысты дыбыстарды schwa жақындаған нәрсеге өзгерту. Дауысты дыбыстарды азайтудың жақсы зерттелген мысалы көптеген тілдерде кездесетін екпінсіз дауысты дыбыстардағы акустикалық айырмашылықтарды бейтараптандыру болып табылады. Бұл құбылыстың ең көп таралған мысалы - schwa дыбысы.
Жалпы мүмкіндіктер
Дыбыс ұзақтығы қысқартудың жалпы факторы болып табылады: жылдам сөйлеуде дауысты дыбыстар артикуляциялық мүшелердің физикалық шектеулеріне байланысты қысқарады, мысалы, толық дауысты дыбысты шығару үшін тіл тез немесе толығымен прототиптік күйге ауыса алмайды (қиықпен салыстырыңыз)). Әртүрлі тілдерде дауысты дыбыстарды азайтудың әртүрлі түрлері бар және бұл тілді меңгерудегі қиындықтардың бірі. Екінші тілдегі дауысты дыбыстарды меңгеру – тұтас ғылым.
Стресске байланысты дауысты дыбыстардың қысқаруы үнді-еуропалық аблауттың дамуының негізгі факторы, сондай-ақ тарихи тіл білімі қайта құрастырған басқа өзгерістер.
Қысқартусыз тілдер
Фин, хинди және классикалық испан сияқты кейбір тілдерде дауысты дыбыстардың қысқаруы жоқ делінеді. Оларды көбінесе силлабикалық тілдер деп атайды. Спектрдің екінші жағында мексикалық испан тілі екпінсіз дауысты дыбыстардың қысқаруымен немесе жоғалуымен сипатталады, негізінен олар "s" дыбысымен байланысқан кезде.
Биология және биохимия тұрғысынан қысқарту
Редукцияны кейде сынықты, дислокацияны түзету деп атайдынемесе грыжа. Сондай-ақ, биологиядағы қысқарту эволюциялық немесе физиологиялық процестердің нәтижесінде органды азайту актісі болып табылады. Атомға немесе ионға электрондар қосылатын (оттегін жою немесе сутегін қосу сияқты) және тотығумен жүретін кез келген процесс тотықсыздану деп аталады. Хромосомалардың азаюы туралы ұмытпаңыз.
Философиядағы қысқарту
Қысқарту (редукционизм) бірнеше байланысты философиялық тақырыптарды қамтиды. Кем дегенде үш түрін ажыратуға болады: онтологиялық, әдіснамалық және гносетикалық. Редукционизмді қолдайтын және оған қарсы дәлелдер жиі қысқартудың барлық үш түрімен байланысты позициялардың комбинациясын қамтыса да, бұл айырмашылықтар маңызды, себебі әртүрлі түрлер арасында бірлік жоқ.
Онтология
Онтологиялық редукция дегеніміз – әрбір нақты биологиялық жүйе (мысалы, организм) тек молекулалардан және олардың өзара әрекеттесуінен тұрады деген пікір. Метафизикада бұл идея жиі физикалықизм (немесе материализм) деп аталады және ол биологиялық контексте биологиялық қасиеттер физикалық қасиеттерді бақылайтынын және әрбір нақты биологиялық процестің (немесе таңбалауыштың) кез келген нақты физикалық-химиялық процеске метафизикалық ұқсастығын ұсынады. Бұл соңғы принцип кейде биологиялық процестің әрбір түрі физикалық-химиялық процестің түріне ұқсас деген күштірек принципке қарама-қарсы, таңбаны азайту деп аталады.
Осы әлсіз мағынадағы онтологиялық қысқарту бүгінгі күні болып табыладыФилософтар мен биологтар арасындағы негізгі позиция, дегенмен философиялық мәліметтер даулы болып қала береді (мысалы, шын мәнінде пайда болатын қасиеттер бар ма?). Физиализмнің әртүрлі концепциялары биологиядағы онтологиялық редукцияға әртүрлі әсер етуі мүмкін. Витализмнің физикадан бас тартуы, биологиялық жүйелер физикалық-химиялық күштерден басқа күштермен басқарылады деген көзқарас негізінен тарихи қызығушылық тудырады. (Витализм сонымен қатар әртүрлі концепцияларға мүмкіндік береді, әсіресе физика-химиялық емес күштерді қалай түсінуге қатысты) Кейбір жазушылар биологиядағы редукционизмді талқылауда метафизикалық концепциялардың маңыздылығын батыл қуаттады.
Әдістеме
Әдістемелік редукция – биологиялық жүйелер ең төменгі деңгейде барынша тиімді зерттелетіндігі және эксперименттік зерттеулер барлық бар нәрсенің молекулалық және биохимиялық себептерін ашуға бағытталуы керек деген идея. Стратегияның бұл түрінің жалпы үлгісі күрделі жүйені бөліктерге бөлу болып табылады: биолог организмнің мінез-құлқын түсіну үшін оның жасушалық бөліктерін зерттей алады немесе оның ерекшеліктерін түсіну үшін жасушаның биохимиялық компоненттерін зерттей алады. Әдістемелік редукционизм көбінесе онтологиялық қысқарту презумпциясымен негізделсе де, бұл процедуралық ұсыныс тікелей одан туындамайды. Шындығында, таңбалауышты азайтудан айырмашылығы, әдіснамалық редукционизм өте қайшылықты болуы мүмкін. Таза редукционистік зерттеу стратегиялары жүйелік теріс көзқарастарды көрсетеді деп айтылады.сәйкес биологиялық ерекшеліктер және кейбір сұрақтар бойынша анағұрлым жемісті әдістеме молекулалық себептерді ашуды жоғары деңгейлі функцияларды зерттеумен біріктіру болып табылады.
Эпистема
Эпистикалық қысқарту – бұл бір ғылыми сала туралы білімді (әдетте жоғары деңгейлі процестер туралы) басқа ғылыми білімдер жиынтығына (әдетте салыстырмалы түрде төменірек немесе одан да іргелі деңгейде) қысқартуға болатын идея. Эносетикалық редукцияның қандай да бір түрін мақұлдау әдістемелік редукционизммен (мысалы, биологиядағы редукционистік зерттеулердің өткен жетістігі) ұштасқан онтологиялық редукциямен түрткі болуы мүмкін болса да, эпистемикалық қысқарту мүмкіндігі олардың қарым-қатынасынан тікелей туындамайды. Шынында да, философиядағы, биологиядағы (және жалпы ғылым философиясындағы) қысқарту туралы пікірталас қысқартудың осы үшінші түріне ең даулысы ретінде назар аударды. Кез келген қысқартуларды бір білім жиынтығынан екіншісіне бағаламас бұрын, осы білім жинақтарының тұжырымдамасын және бұл олардың «қысқаруы» үшін нені білдіретінін тексеру керек. Бірқатар әртүрлі азайту модельдері ұсынылды. Осылайша, биологияның қысқаруы туралы пікірталас эпистемикалық редукцияның қаншалықты мүмкін болатыны төңірегінде ғана емес, сонымен бірге оның нақты ғылыми зерттеулер мен талқылауда рөл атқаратын тұжырымдамалары туралы да болды. Екі негізгі санатты бөлуге болады:
- бір теорияның екіншісінен логикалық түрде алынуы мүмкін екендігін көрсететін теорияны қысқарту үлгілерітеория;
- жоғары деңгейлі мүмкіндіктерді төменгі мүмкіндіктермен түсіндіруге болатынына назар аударатын түсіндірмелі қысқарту үлгілері.
Жалпы қорытынды
Осы мақалада айтылған әртүрлі ғылымдардың қысқарту анықтамалары шектен алыс, өйткені шын мәнінде олардың саны әлдеқайда көп. Қысқарту анықтамасындағы барлық айырмашылықтарға қарамастан, олардың барлығында ортақ нәрсе бар. Ең алдымен, қысқарту күрделірек, ауыр және жүйелік нәрсені қарапайым, түсінікті және оңай түсіндірілетін нәрсеге қысқарту, қысқарту, жеңілдету және қысқарту ретінде қабылданады. Бір-бірімен байланысы жоқ көптеген ғылымдардағы «қысқарту» терминінің танымал болуының негізгі идеясы осында. Сапалық редукция ғылымнан ғылымға ауысып, олардың әрқайсысын кәсіби ғалымдар үшін де, қарапайым адамдар үшін де қарапайым және түсінікті етеді.
