Bekić's theorem
கணக்கீட்டு கோட்பாட்டில், பெக்கிக்கின் தேற்றம் அல்லது பெக்கிக்கின் லெம்மா என்பது நிலையான புள்ளிகளைப் பற்றிய ஒரு தேற்றமாகும், இது ஒரு நேரத்தில் ஒரு மாறியின் மீது பரஸ்பர மறுநிகழ்வைப் பிரிக்க அனுமதிக்கிறது. இது 1969 ஆம் ஆண்டில் ஆஸ்திரிய ஹான்ஸ் பெகிக் (1936-1982) என்பவரால் உருவாக்கப்பட்டது, மேலும் 1984 ஆம் ஆண்டில் கிளிஃப் ஜோன்ஸ் எழுதிய புத்தகத்தில் மரணத்திற்குப் பிறகு வெளியிடப்பட்டது. இந்த தேற்றம் பின்வருமாறு அமைக்கப்பட்டுள்ளது. இரண்டு ஆபரேட்டர்கள் மற்றும் சுட்டிக்காட்டப்பட்ட இயக்கிய-முழுமையான பகுதி ஆர்டர்கள் மற்றும் ஒவ்வொரு கூறிலும் தொடர்ச்சியைக் கவனியுங்கள். பின்னர் ஆபரேட்டரை வரையறுக்கவும். இது தயாரிப்பு வரிசையைப் பொறுத்தவரை மோனோடோன் ஆகும் (கூறு வாரியான வரிசை). க்ளீன் நிலையான-புள்ளி தேற்றத்தின் படி, இது ஒரு குறைந்தபட்ச நிலையான புள்ளியைக் கொண்டுள்ளது, இது போன்ற ஒரு ஜோடி மற்றும். பெக்கிக் கோட்பாடு (அவரது குறிப்புகளில் "பைசெக்ஷன் லெம்மா" என்று அழைக்கப்படுகிறது) என்பது ஒரே நேரத்தில் குறைந்தபட்ச நிலையான புள்ளியை குறைந்தபட்ச நிலையான புள்ளிகளின் வரிசையாக பிரிக்க முடியும், குறிப்பாகஃ இந்த விளக்கக்காட்சியில் வரையறுக்கப்பட்டுள்ளது. அதற்கு பதிலாக ஒரு சமச்சீர் விளக்கக்காட்சியில் வரையறுக்கப்படலாம்ஃ ஆதாரம் (பெக்கிக்): இது நிலையான புள்ளி என்பதால். அதேபோல். எனவே ஒரு நிலையான புள்ளி. மாறாக, ஒரு முன் நிர்ணயிக்கப்பட்ட புள்ளி இருந்தால், பின்னர் மற்றும்; எனவே மற்றும் குறைந்தபட்ச நிலையான புள்ளி. ஒரு முழுமையான லட்டிஸில் மாறுபாடுகள் தேற்றத்தின் ஒரு மாறுபாடு நிபந்தனைகளை வலுப்படுத்துகிறது மற்றும் அவை முழுமையான லட்டிஸ்களாக இருக்க வேண்டும், மேலும் நாஸ்டர்-டார்ஸ்கி தேற்றத்தைப் பயன்படுத்தி மிகக் குறைந்த நிலையான புள்ளியைக் கண்டறிகிறது. தொடர்ச்சிக்கான தேவை மற்றும் பின்னர் அவை மோனோடோனிக் செயல்பாடுகளாக மட்டுமே இருக்க வேண்டும் என்று பலவீனப்படுத்தப்படலாம். வகைப்படுத்தப்பட்ட சூத்திரம் பெக்கிக்கின் லெம்மா வகைகளின் (ஆரம்ப-ஆல்ஜிப்ராக்கள்) எண்டோஃபங்க்டர்களின் நிலையான புள்ளிகளுக்கு பொதுமைப்படுத்தப்பட்டுள்ளது. இரண்டு ஃபன்க்டர்கள் மற்றும் அனைத்து மற்றும் இருப்பதைப் பொறுத்தவரை, ஃபிக்ஸ்-பாயிண்ட் ஜோடியால் மேற்கொள்ளப்படுகிறதுஃ பயன்பாடு பெக்கிக் தேற்றத்தை ஒற்றை மாறிகளின் குறைந்தபட்ச நிலையான புள்ளிகளின் அடிப்படையில் ஒரு டப்பிளின் குறைந்தபட்ச நிலையான புள்ளியைக் கண்டறிய மீண்டும் மீண்டும் பயன்படுத்தலாம். இதன் விளைவாக வெளிப்பாடு மிகவும் சிக்கலானதாக இருந்தாலும், ஒரு தானியங்கி தேற்ற பழமொழியை வடிவமைக்கும்போது ஒற்றை மாறிகளின் நிலையான புள்ளிகளைப் பற்றி நியாயப்படுத்துவது எளிதாக இருக்கும். குறிப்புகள் வரிசை கோட்பாடு நிலையான-புள்ளி கோட்பாடுகள்