போல்யா எண்ணெடுப்புத் தேற்றம் (Polya Enumeration Theorem) என்பது சேர்வியலில் ஒரு சிறப்புத் தேற்றம். இது கோல நூலில் கோலங்களை எண்ணல், வேதியலில் மாற்றியங்களை எண்ணல், சமச்சீர் உள்ள இடங்களிலெல்லாம் சமச்சீரினால் ஏற்படும் எண்ணிக்கைக் குழப்பங்களை விடுவித்தல், போன்ற பல எண்ணிக்கைப் பற்றிய கேள்விகளுக்கு (பிரச்சினைகளுக்கு) அபூர்வமான முறையில் தீர்வு வகுக்க உதவுகின்றது. அதனால் கணிதத்துறையைத் தாண்டி இயற்பியல், சமூகவியல் போன்ற மற்றதுறைகளிலும் பயன்படும் தேற்றமிது. 1927 இல் முதன்முதல் ரெட்ஃபீல்ட் என்பவரால் கண்டுபிடிக்கப்பட்ட போதிலும் கணிதவியலர்களுக்கும் கூட நன்கு பிடிபடாத காரணத்தால் கவனிக்கப்படாமல் இருந்து, பிறகு 1937ல் ஜியார்ஜ் போல்யா வினால் அடிப்படையிலிருந்து தொடங்கி ஒரு பெரிய தேற்றமாக நிறுவப்பட்டு பற்பல பயன்பாடுகளுக்கும் செயல்பட வழிவகுப்பட்டது. அன்றிலிருந்து இத்தேற்றமும் அதன் பயன்பாடுகளும் சேர்வியலில் முக்கிய பங்கு வகிக்கின்றது. இதை ரெட்ஃபீல்ட்-போல்யா தேற்றம் (Redfield-Polya Theorem) என்றும் சொல்வர்.
என்பவை இரு முடிவுறு கணங்கள். இலுள்ள ஒவ்வொரு க்கும் என்ற ஓர் எடை வரையறுக்கப்படுகிறது. பொதுவாக இவ்வெடை விகிதமுறு எண் களைக்கொண்டு உண்டாக்கப்பட்ட ஒரு பரிமாற்று இயற் கணிதத்தின் உறுப்பு என்று கொள்ளலாம். குறிப்பாக அது ஒரு விகிதமுறு எண்ணாகவே இருக்கலாம்.
பற்பல பயன்பாடுகள் இருப்பினும் போல்யா தேற்றத்தின் அர்த்தத்தையும் பயன்பாட்டையும் விளக்கக்கூடிய ஒரு சிறு பயன்பாட்டை இங்கு பார்க்கலாம்.
இது ஒரு மாலையின் மணிகளை நிறப்படுத்துதல் என்ற பயன்பாடு.
ஆறு மணிகளைக்கோர்த்த மணிமாலை ஒன்றை பச்சை, சிவப்பு ஆகிய இரண்டு நிறங்களால் நிறப்படுத்தினால் எத்தனை மாதிரி மாலைகள் உண்டுபண்ணலாம்? இதைக் கணக்கிடுவது மட்டுமல்லாமல், போல்யா தேற்றத்தால் அம்மாதிரிகளைப் பட்டியலிடவும் முடியும்.(எண்ணிக்கையைக் கணக்கிடுவது மட்டும் நமது குறிக்கோளானால், அது பர்ன்ஸைட் கொற்கோளாலும் முடியும்).
. இவ்வாறு எண்களும் மாலையில் மணிகளின் இடங்களைக் குறிக்கின்றன.
= பச்சை, சிவப்பு ஆகிய இருநிறங்களால் ஆகிய கணம்.
என்ற ஒவ்வொரு கோப்பும் ஒருவித நிறப்படுத்தப்பட்ட மாலையைக் குறிக்கும்.
பச்சை நிறத்துக்கு என்ற 'எடை'யையும், சிவப்பு நிறத்திற்கு என்ற 'எடை'யையும் கொடுப்போம்.
ஆக (பச்சை) = ; (சிவப்பு) = . இரண்டும் ஒரு பரிமாற்று இயற்கணிதத்தின் உறுப்புகள். அதனால் இதற்கெல்லாம் அர்த்தம் உண்டு.
இனுடைய ஒரு வரிசைமாற்றுக்குலமாக அதன் சுழற்குலத்தை எடுத்துக்கொள்வோம். அதாவது மாலையை சுழற்றுவதால் ஏற்படும் இடமாற்றங்கள் ஒரு வேறு மாலையாகக் கருதப்படமாட்டாது. எடுத்துக்காட்டாக,
இரண்டும் ஒன்றே. (படிமம் பார்க்கவும்).
ஏனென்றால் இரண்டும் ஒரே மாதிரியைச்சேர்ந்தவை. ஒன்றை சரியான அளவு சுழற்றினால் இன்னொன்று கிடைக்கும்.
இச்சுழற்றுக்குலம் என்பது ஆறு உறுப்புக்களால் ஆனது. அந்த ஆறு உறுப்புகளும் அவைகளின் சுழலமைப்புகளும் கீழே அட்டவணையாகக்காட்டப்பட்டுள்ளன:
வரிசைமாற்றம்
சுழலமைப்பு
(
இதனால், இச்சுழற்குலத்தின் சுழற்குறியீடு =
போல்யா தேற்றத்தின்படி, நிறப்படுத்தப்பட்ட மாலைகளைப் பட்டியலிடுவதற்கு இப்பொழுது நாம் செய்யவேண்டியதெல்லாம், கீழே காட்டியுள்ள பதிலீடுகளை செயல்படுத்தவேண்டும்:
(இது 'எடை' களின் கூட்டுத்தொகை, அ-து: )
(இது 'எடை' களின் வர்க்கங்களின் கூட்டல், அ-து:)
(இது 'எடை' களின் முப்படியங்களின் கூட்டல், அ-து: )
(இது 'எடை'களின் ஆறாவது அடுக்குகளின் கூட்டல், அ-து )
இச்செயல்பாட்டினால் நமக்குக் கிடைப்பது:
இதன் கணிப்பு
=
இதன் பொருள்
ஆறு மணிகளும் சிவப்பாக உள்ள மாலை ஒன்று;
ஐந்து மணிகள் சிவப்பாகவும், ஒரு மணி பச்சையாகவும் உள்ள மாலை ஒன்று;
நான்கு மணிகள் சிவப்பாகவும், இரண்டு மணிகள் பச்சையாகவும் உள்ள மாலை மாதிரிகள் மூன்று;
மூன்று மணிகள் சிவப்பாகவும், மூன்று மணிகள் பச்சையாகவும் உள்ள மாலை மாதிரிகள் நான்கு;
இரண்டு மணிகள் சிவப்பாகவும், நான்கு மணிகள் பச்சையாகவும் உள்ள மாலை மாதிரிகள் மூன்று;
ஒரு மணி சிவப்பாகவும், ஐந்து மணிகள் பச்சையாகவும் உள்ள மாலை ஒன்று;
ஆறு மணிகளும் பச்சையாக உள்ள மாலை ஒன்று.
ஆக, 14 மாதிரிகள் உண்டு.
மாதிரிகளின் எண்ணிக்கை மட்டும் தேவையானால், போல்யா தேற்றத்தின் கடைசி பாகத்தில் சொல்லிய வாய்பாடைப் பயன்படுத்தலாம்:
முதலில், இவை பன்னிரண்டும் சேர்ந்து ஒரு குலமாகின்றது என்பது முக்கியம். இக்குலத்தின் சுழற்குறியீட்டைக்கணிக்கும் வழி:
6 சுழற்சிகளின் சுழலமைப்புகளின் தொகை (முன் போல்):
முதல் 3 எதிர்வுகளின் சுழலமைப்புகளின் தொகை: (ஒவ்வொரு எதிர்வுக்கும் இரு 2-சுழல்களும் இரு 1-சுழல்களும்)
இரண்டாவது 3 எதிர்வுகளின் சுழலமைப்புகளின் தொகை: (ஒவ்வொரு எதிர்வுக்கும் மூன்று 2-சுழல்கள்)
ஆக G இன் சுழற்குறியீடு =
மாதிரிகளின் எண்ணிக்கை =
ஏற்கனவே கிடைத்த மாதிரிகளின் படிமங்களைப் பார்த்தால், கடைசி இரண்டு மாதிரிகளும், எதிர்வுகளினால் ஒரேமாதிரியாகக் கணக்கிடப்படும் என்பது புரியும். இதர 13 மாதிரிகள்தான் சுழற்சிகளாலும், எதிர்வுகளாலும் மாறாத மாதிரிகள்.