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