Partial order reduction
கணினி அறிவியலில், பகுதி வரிசை குறைப்பு என்பது ஒரு மாதிரி சரிபார்ப்பு அல்லது தானியங்கி திட்டமிடல் மற்றும் திட்டமிடல் வழிமுறை மூலம் தேட வேண்டிய மாநில-இடத்தின் அளவைக் குறைப்பதற்கான ஒரு நுட்பமாகும். ஒரே நேரத்தில் செயல்படுத்தப்படும் மாற்றங்களின் பரிமாற்றத்தை இது பயன்படுத்துகிறது, இது வெவ்வேறு வரிசையில் செயல்படுத்தப்படும்போது ஒரே நிலைக்கு வழிவகுக்கிறது. வெளிப்படையான நிலை விண்வெளி ஆராய்ச்சியில், பகுதி வரிசை குறைப்பு என்பது பொதுவாக அனைத்து இயக்கப்பட்ட மாற்றங்களின் பிரதிநிதி துணைக்குழுவை விரிவுபடுத்துவதற்கான குறிப்பிட்ட நுட்பத்தைக் குறிக்கிறது. இந்த நுட்பம் பிரதிநிதிகளுடன் மாதிரி சரிபார்ப்பு என்றும் விவரிக்கப்பட்டுள்ளது. இந்த முறையின் பல்வேறு பதிப்புகள் உள்ளன, அவை பிடிவாதமான தொகுப்பு முறை, போதுமான தொகுப்பு முறை மற்றும் தொடர்ச்சியான தொகுப்பு முறை என்று அழைக்கப்படுகின்றன. அம்பிள் செட் என்பது பிரதிநிதிகளுடன் மாதிரி சரிபார்ப்புக்கு ஒரு எடுத்துக்காட்டு. அவற்றின் உருவாக்கம் சார்பு பற்றிய ஒரு தனி கருத்தை நம்பியுள்ளது. இரண்டு மாற்றங்கள் பரஸ்பரம் இயக்கப்பட்டிருக்கும் போதெல்லாம் மற்றொன்றை முடக்க முடியாவிட்டால் மட்டுமே அவை சுயாதீனமாக கருதப்படுகின்றன. இரண்டையும் நிறைவேற்றுவது அவை எந்த வரிசையில் செயல்படுத்தப்படுகின்றன என்பதைப் பொருட்படுத்தாமல் ஒரு தனித்துவமான நிலையில் முடிவடைகிறது. சுயாதீனமாக இல்லாத மாற்றங்கள் சார்ந்தவை. நடைமுறையில் சார்பு நிலையான பகுப்பாய்வைப் பயன்படுத்தி தோராயமாக மதிப்பிடப்படுகிறது. கொடுக்கப்பட்ட நிலையில் மாற்றங்களின் தொகுப்பு எப்போது "போதுமானதாக" இருக்கும் என்பதற்கான நிபந்தனைகளை வழங்குவதன் மூலம் வெவ்வேறு நோக்கங்களுக்கான பெரிய தொகுப்புகளை வரையறுக்க முடியும். C0 C1 ஒரு மாற்றம் சில மாற்றம் உறவைப் பொறுத்தது என்றால், போதுமான தொகுப்பில் சில மாற்றம் செயல்படுத்தப்படும் வரை இந்த மாற்றத்தை செயல்படுத்த முடியாது. C0 மற்றும் C1 நிபந்தனைகள் மாநில இடத்தில் உள்ள அனைத்து முற்றுகைகளையும் பாதுகாக்க போதுமானவை. மேலும் நுணுக்கமான பண்புகளைப் பாதுகாப்பதற்காக மேலும் கட்டுப்பாடுகள் தேவைப்படுகின்றன. உதாரணமாக, நேரியல் தற்காலிக தர்க்கத்தின் பண்புகளைப் பாதுகாப்பதற்காக, பின்வரும் இரண்டு நிபந்தனைகள் தேவைப்படுகின்றனஃ C2 என்றால், போதுமான தொகுப்பில் உள்ள ஒவ்வொரு மாற்றமும் கண்ணுக்கு தெரியாததாக இருந்தால். சி 3 ஏ சுழற்சி சில மாற்றம் இயக்கப்பட்ட ஒரு நிலையைக் கொண்டிருந்தால் அனுமதிக்கப்படாது, ஆனால் சுழற்சியில் உள்ள எந்த நிலைகளுக்கும் போதுமான (களில்) ஒருபோதும் சேர்க்கப்படாது. இந்த நிபந்தனைகள் ஒரு போதுமான தொகுப்புக்கு போதுமானவை, ஆனால் அவசியமான நிபந்தனைகள் அல்ல. பிடிவாதமான செட்டுகள் பிடிவாதமான செட்டுகள் வெளிப்படையான சுதந்திர உறவைப் பயன்படுத்துவதில்லை. அதற்கு பதிலாக அவை செயல்களின் வரிசைகளின் மீது பரிமாற்றத்தின் மூலம் மட்டுமே வரையறுக்கப்படுகின்றன. பின்வரும் பிடிப்பு இருந்தால், ஒரு தொகுப்பு s இல் (பலவீனமாக) பிடிவாதமாக இருக்கும். டி 0, வரிசையை நிறைவேற்றுவது சாத்தியம் மற்றும் நிலைக்கு வழிவகுக்கிறது என்றால், வரிசையை செயல்படுத்துவது சாத்தியமாகும் மற்றும் நிலைக்கு வழிவகுக்கும். டி 1 ஒன்று ஒரு முட்டுக்கட்டை, அல்லது அதை நிறைவேற்றுவது சாத்தியமாகும். C0 மற்றும் C1 போதுமான செட் முறையில் இருப்பதைப் போலவே, அனைத்து டெட்லாக்குகளையும் பாதுகாக்க இந்த நிபந்தனைகள் போதுமானவை. இருப்பினும், அவை சற்றே பலவீனமானவை, எனவே சிறிய செட்களுக்கு வழிவகுக்கும். C2 மற்றும் C3 நிலைமைகள் போதுமான தொகுப்பு முறையில் உள்ளவற்றிலிருந்து மேலும் பலவீனப்படுத்தப்படலாம், ஆனால் பிடிவாதமான தொகுப்பு முறை C2 மற்றும் C3 உடன் இணக்கமாக உள்ளது. மற்றவை பகுதி வரிசை குறைப்புக்கான பிற குறியீடுகளும் உள்ளன. பொதுவாக பயன்படுத்தப்படும் ஒன்று பெர்சிஸ்டன்ட் செட்/ஸ்லீப் செட் அல்காரிதம் ஆகும். விரிவான தகவல்களை பேட்ரிஸ் கோட்பிராய்டின் ஆய்வறிக்கையில் காணலாம். குறியீட்டு மாதிரி சரிபார்ப்பில், அதிக கட்டுப்பாடுகளைச் சேர்ப்பதன் மூலம் (பாதுகாப்பு வலுப்படுத்துதல்) பகுதி வரிசைக் குறைப்பை அடைய முடியும். பகுதி வரிசை குறைப்பின் மேலும் பயன்பாடுகள் தானியங்கி திட்டமிடலை உள்ளடக்கியது. மேற்கோள்கள் குறிப்புகள் மாதிரி சரிபார்ப்பு