Weihrauch reducibility
கணக்கிடக்கூடிய பகுப்பாய்வில், வெய்ஹ்ராக் குறைப்பு என்பது கணக்கீட்டு சிக்கல்களின் சீரான கணக்கீட்டு வலிமையை தோராயமாக கைப்பற்றும் பிரதிநிதித்துவ இடைவெளிகளில் பல மதிப்புள்ள செயல்பாடுகளுக்கு இடையிலான குறைப்பு பற்றிய ஒரு கருத்தாகும். இது முதலில் வெளியிடப்படாத 1992 தொழில்நுட்ப அறிக்கையில் கிளாஸ் வைஹ்ராச்சால் அறிமுகப்படுத்தப்பட்டது. வரையறை ஒரு பிரதிநிதித்துவ இடம் என்பது ஒரு ஜோடி தொகுப்பு மற்றும் ஒரு சர்ஜெக்டிவ் பகுதி செயல்பாடு ஆகும். இடைவெளிகள் பிரதிநிதித்துவப்படுத்தப்பட வேண்டும் மற்றும் ஒரு பகுதி பல மதிப்புள்ள செயல்பாடாக இருக்கட்டும். ஒரு ரியலைசர் என்பது ஒரு (சாத்தியமான பகுதி) செயல்பாடாகும், இது ஒவ்வொருவருக்கும்,. உள்ளுணர்வாக, ஒரு உணர்த்துபவர் "போலவே" நடந்துகொள்கிறார், ஆனால் அது பெயர்களில் வேலை செய்கிறது. ஒரு உணர்தல் என்றால் நாம் எழுதுகிறோம். இடைவெளிகள் பிரதிநிதித்துவப்படுத்தப்பட வேண்டும் மற்றும் பகுதி பல மதிப்புள்ள செயல்பாடுகளாக இருக்கட்டும். இது போன்ற கணக்கிடக்கூடிய பகுதி செயல்பாடுகள் எங்கிருந்தாலும், பெய்ர் இடத்தில் இணைப்பைக் குறிக்கிறது என்றால், வைஹ்ராச் குறைக்கப்படலாம் மற்றும் எழுதலாம் என்று நாங்கள் கூறுகிறோம். பெரும்பாலும், இலக்கியத்தில் நாம் ஒரு பைனரி செயல்பாடாக எழுதப்படுவதைக் காண்கிறோம், எனவே இணைப்பைப் பயன்படுத்துவதைத் தவிர்க்க. வேறு வார்த்தைகளில் கூறுவதானால், இரண்டு கணக்கிடக்கூடிய வரைபடங்கள் இருந்தால், செயல்பாடு எப்போது வேண்டுமானாலும் ஒரு தீர்வாக இருக்கும். வரைபடங்கள் பெரும்பாலும் முறையே முன்னோக்கி மற்றும் பின்தங்கிய செயல்பாடு என்று அழைக்கப்படுகின்றன. பின்தங்கிய செயல்பாட்டிற்கு அசல் உள்ளீட்டிற்கான அணுகல் இல்லையென்றால், அது வலுவாக வெய்ஹ்ராக் குறைக்கப்படலாம் மற்றும் எழுதலாம் என்று நாங்கள் கூறுகிறோம். சின்னங்களில்ஃ மேலும் காண்க வாட்ஜ் குறைப்பு குறிப்புகள் கணக்கீட்டு பகுப்பாய்வு