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