மரம் (கோட்டுருவியல்)

ஒரு திசையற்ற கோட்டுருவின்  எந்த இரு கணுக்களும் "ஒரேயொரு" பாதையால் மட்டுமே இணைக்கப்பட்டிருந்தால் அந்த திசையற்ற கோட்டுருவானது மரம் (tree) எனப்படும். "இணைப்புள்ள சுழலாத் திசையற்ற கோட்டுரு" எனவும் மரம் வரையறுக்கப்படுகிறது. 

பன்மரம் (திசையுறு மரம், திசைசார் மரம், ஒற்றை இணைப்பு வலையமைப்பு) என்பது ஒரு திசையுள்ள சுழலாக் கோட்டுரு ஆகும். இதிலுள்ள திசையற்ற கோட்டுவானது ஒரு மர அமைப்பாக இருக்கும்.

மரங்களின்  பொதுவற்ற ஒன்றிப்பு "காடு" எனப்படுகிறது. மேலும் "அதிகபட்சம்" ஒரு பாதையால் இணைக்கப்பட்ட முனைகளைக் கொண்ட திசையற்ற கோட்டுரு அல்லது  திசையற்ற சுழலாக் கோட்டுரு எனவும் காடு வரையறுக்கப்படுகிறது.
 
பல்காடு (திசையுறு காடு, திசைசார் காடு) என்பது ஒரு திசையுள்ள சுழலாக் கோட்டுருவாக இருக்கும். இந்தக் கோட்டுருவிலுள்ள திசையற்ற கோட்டுருவானது ஒரு காடாக இருக்கும்.

மரம் என்பதற்கு இணையான ஆங்கிலப் பெயரான "tree" என்பது 1857 இல் பிரித்தானியக் கணிதவியலாளர் ஆர்தர் கெய்லியால் உருவாக்கப்பட்டது.

வரையறைகள்

மரம் 
திசையற்ற கோட்டுருவான G என்பது ஒரு மரமாக இருக்கவேண்டுமானால் பின்வரும் கட்டுப்பாடுகளில் எதேனும் ஒன்றை நிறைவு செய்ய வேண்டும்:
 G - இணைப்புள்ள சுழலாக் கோட்டுரு .
 G - சுழலாக் கோட்டுரு; மற்றும் G இல் ஏதேனுமொரு விளிம்பு சேர்க்கப்படும்பொழுது எளிய சுழல் கோட்டுருவாதல்.
 G இணைப்புள்ள கோட்டுரு; ஆனால் G இலிருந்து ஏதேனுமொரு விளிம்பு நீக்கப்படும்போது இணைப்பற்ற கோட்டுருவாதல்.
 G இன் எந்த இரு கணுக்களும் தனித்ததொரு பாதையால் இணைக்கப்படக்கூடியதாக இருக்க வேண்டும்.

G இல் முடிவறு எண்ணிக்கையில்  கணுக்கள் இருக்குமானால் மேலே தரப்பட்ட கூற்றுகளுக்குச் சமானமானவையாக பின்வருபவை அமையும். 
கணுக்களின் எண்ணிக்கை n எனில்:
 G இணைப்புள்ளது மற்றும்  விளிம்புகளுடையது.
 G இணைப்புள்ளது மற்றும் அதன் ஒவ்வொரு உட்கோட்டுருவும் குறைந்தபட்சம், "0" அல்லது "1" படுகை விளிம்புகொண்ட ஒரு கணுவையாவது கொண்டிருக்கும்.
 G க்கு எளிய சுழல்களே கிடையாது மற்றும்   விளிம்புகள் இருக்கும்.

ஒரு மரத்தின் "உள்முனை" ("உட்கணு", "கிளைமுனை", "கிளைக்கணு") என்பது குறைந்தபட்சம் இரு படியுடைய கணுக்கள்; "வெளிமுனை" ("வெளிக்கணு", இறுதிக்கணு, இலை) என்பது ஒரு படியுடைய கணுக்கள்.

இரண்டு படிகொண்ட கணுக்கள் இல்லாத மரங்கள் "குறைக்கவியலா மரம்" எனப்படுகின்றன.

காடு 

ஒரு திசையற்ற கோட்டுருவின் எந்தவிரு கணுக்களும் அதிகபட்சம் ஒரு பாதையால் இணைக்கப்படக்கூடியவையாக இருப்பின் அந்தக் கோட்டுரு "காடு" எனப்படும். ஒரு காட்டினைத் திசையற்ற சுழலாக் கோட்டுரு எனவும், திசையற்ற கோட்டுருவொன்றின் அனைத்து இணைப்புள்ள கூறுகளும் மரங்களாக இருப்பின் அக்கோட்டுருவைக் காடு எனவும் வரையறுக்கலாம்.

கோட்டுருவியலில் "காடு" என்பது பின்வரும் மூன்று விதங்களில் வரையறுக்கப்படுகிறது:
அதிகபட்சம் ஒரு பாதையால் இணைக்கப்பட்ட கணுக்களைக் கொண்ட திசையற்ற கோட்டுரு
மரங்களின்  பொதுவற்ற ஒன்றிப்பு
திசையற்ற சுழலாக் கோட்டுரு.

சிறப்புவகைக் காடுகளின் எடுத்துக்காட்டுகள்:
வரிசை-0  கோட்டுரு (மரங்களற்ற காடு)
ஒரேயொரு மரங்கொண்ட காடு
விளிம்புகளற்ற கோட்டுரு 

ஒவ்வொரு மரத்திற்கும் அதன் கணுக்களின் (V) எண்ணிக்கையானது அதன் விளிம்புகளின் (E) எண்ணிக்கையைவிட ஒன்று அதிகமாக இருக்கும். (). இதன்மூலம் ஒரு காட்டிலுள்ள மரங்களின் எண்ணிக்கையை எளிதாகக் கணக்கிடலாம். காட்டின் மொத்த கணுக்களின் எண்ணிக்கைக்கும் மொத்த விளிம்புகளின் எண்ணிக்கைக்கும் உள்ள வித்தியாசமே அக்காட்டிலுள்ள மரங்களின் எண்ணிக்கை ஆகும்.
.

மரங்களின் வகைகள் 
 பாதை கோட்டுரு
i , i+1 (i=1,...,n−1.) ஆகிய இரு கணுக்களும் ஒரு விளிம்பால் இணைக்கப்படும்வகையில் n கணுக்களும் ஒரு கோட்டில் வரிசைப்படுத்தப்பட்டிருக்கும்.

 விண்மீனொத்த மரம் 
விண்மீனொத்த மரம் "வேர்" எனப்படும் நடுக்கணு உடையது. இந்த நடுக்கணுவோடு பல பாதைக் கோட்டுருக்கள் சேர்க்கப்பட்டிருக்கும். இந்த மரம் இரண்டிற்கும் அதிகமான படியுடையதாக  ஒரேயொரு கணுவை மட்டுமே கொண்டிருக்கும்.

 விண்மீன் மரம்
ஒரேயொரு கிளைக்கணுவுடைய மரம்.

 கம்பிளிப்புழு மரம்
நடுப்பாதை உட்கோட்டுருவிலிருந்து அனைத்து கணுக்களும் ஒரு அலகு தூரத்திற்குள் அமைந்திருக்கும் மரம். 

 கல் இறால் மரம்
நடுப்பாதை உட்க்கோட்டுருவிலிருந்து அனைத்து கணுக்களும் இரு அலகு தூரத்திற்குள் அமைந்திருக்கும் மரம்.

குறிப்புகள்

மேற்கோள்கள் 
 
 .
 

 .
 .
 .
 .

வெளியிணைப்புகள் 

 .
 
 
 
 .
 .

கோட்டுருவியல்