கார்ட்டீசியன் பெருக்கற்பலன் (கோட்டுருவியல்)
கோட்டுருவியலில் G மற்றும் H ஆகிய இரு கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலன் (Cartesian product) G H[1] என்பது பின்வருமாறு அமையும் கோட்டுருவாகும்
- G H இன் முனைகளின் கணமானது G மற்றும் H கோட்டுருக்களின் முனை கணங்களின் கார்ட்டீசியன் பெருக்கற்பலன்.
- V(G ) = H V(G) × V(H);
- u = v மற்றும் u' , v' இரண்டும் H இல் அடுத்துள்ள முனைகளாக
- அல்லது
- u' = v' மற்றும் u , v இரண்டும் G இல் அடுத்துள்ள முனைகளாக
- இருந்தால், இருந்தால் மட்டுமே
- (u,u' ) , (v,v' ) இரண்டும் G H இல் அடுத்துள்ள முனைகளாக இருக்கும்.
சிலசமயங்களில் கோட்டுருக்களின் பெருக்கற்பலன் "பெட்டிப் பெருக்கம்" (box product) எனவும் அழைக்கப்படுகிறது [Harary 1969].
(F G) H மற்றும் F (G H) கோட்டுருக்கள் இரண்டும் இயல்பாகவே சம அமைவியமுடையது என்பதால் அவற்றின் கார்ட்டீசியன் பெருக்கல் சேர்ப்புப் பண்பு உடையது.
- (F G) H = F (G H)
கோட்டுருக்களின் சம அமைவிய சமானப் பகுதிகளின் மீது வரையறுக்கப்படும்போது கார்ட்டீசியன் பெருக்கல் செயலி பரிமாற்றுத்தன்மை கொண்டது; G H மற்றும் H G இரண்டும் வலிமையாக சம அமைவியமுடையது. ஆனால் பெயரிடப்பட்ட கோட்டுருக்களின் மீது வரையறுக்கப்படும் செயலியாக இது பரிமாற்றுத்தன்மையற்றது.
வரலாறு[தொகு]
(Imrich & Klavžar 2000) இன் கூற்றுப்படி கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலன் 1912 ஆம் ஆண்டில் ஆல்பிரட் நார்த் வொய்ட்ஹெட் மற்றும் ரசலால் வரையறுக்கப்பட்டது. பின்னர் ஆஸ்திரேலியக் கணிதவியலாளர் "ஜெர்த் சபிதுசு"வால் (Gert Sabidussi (1960)) மீண்டும் கண்டறியப்பட்டது.
எடுத்துக்காட்டுகள்[தொகு]
- இரு விளிம்புகளின் கார்ட்டீசியன் பெருக்கல் நான்கு முனைகளுடைய சுழற்சி கோட்டுரு
- K2 K2 = C4.
- K2 மற்றும் பாதை கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் ஒரு ஏணி கோட்டுரு.
- K2 Pn
- இரு பாதை கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் ஒரு கட்டக் கோட்டுரு
- n விளிம்புகளின் கார்ட்டீசியன் பெருக்கல் ஒரு மீகனசதுரம்
- இரு மீகனசதுரக் கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் மற்றொரு மீகனசதுரக் கோட்டுரு.
- Qi Qj = Qi+j.
- இரு இடைநிலைமுனை கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் மற்றொரு இடைநிலைமுனை கோட்டுரு.
- K2 மற்றும் Cn இரண்டின் கார்ட்டீசியன் பெருக்கல் n-பட்டகத்தின் முனைகள் மற்றும் விளிம்புகளின் கோட்டுரு
- இரு முழுக்கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கல் ரூக்கின் கோட்டுரு.
பண்புகள்[தொகு]
- ஒரு இணைப்புள்ள கோட்டுருவானது கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கலாக இருந்தால் அதனை பகாக் கோட்டுருக்களின் (மேற்கொண்டு கோட்டுருக்களின் பெருக்கலாகப் பிரிக்க முடியாத கோட்டுருக்கள்) பெருக்கலாகத் தனித்த முறையில் காரணிப்படுத்த முடியும். [2] ஒரு இணைப்பில்லா கோட்டுருவையும் இரு வேறுபட்ட வழிகளில் பகாக் கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கலாக எழுத முடியும் என விளக்கப்பட்டது(Imrich & Klavžar 2000):
- (K1 + K2 + K22) (K1 + K23) = (K1 + K22 + K24) (K1 + K2),
இதிலுள்ள + குறியானது இணப்பில்லா ஒன்றிப்பையும் மேலொட்டுகள் கார்ட்டீசியன் பெருக்கலின் அடுக்கையும் குறிக்கின்றன.
- கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கலிலுள்ள ஒவ்வொரு கோட்டுருவும் முனை-கடப்புக் கோட்டுருவாக இருந்தால், இருந்தால் மட்டுமே, கார்ட்டீசியன் பெருக்கற்பலனாகக் கிடைக்கும் கோட்டுருவும் முனை-கடப்புடையதாக இருக்கும்.[3]
- கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கலிலுள்ள ஒவ்வொரு கோட்டுருவும் இருகூறு கோட்டுருவாக இருந்தால், இருந்தால் மட்டுமே, கார்ட்டீசியன் பெருக்கற்பலனாகக் கிடைக்கும் கோட்டுருவும் இருகூறு கோட்டுருவாக இருக்கும்.
- அலகு தொலைவு கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலனும் மற்றொரு அலகு தொலைவு கோட்டுரு.[4]
இயற்கணித கோட்டுருவியல்[தொகு]
கோட்டுரு இன் முனைகளின் எண்ணிக்கை ; அண்மை அணி . கோட்டுரு இன் முனைகளின் எண்ணிக்கை ; அண்மை அணி எனில்: , கோட்டுருக்களின் கார்ட்டீசியன் பெருக்கற்பலன் கோட்டுருவின் அண்மை அணி:
- ,
இதில் - அணிகளின் கிரொனேகேர் பெருக்கத்தின் (Kronecker product) குறியீடு; - முற்றொருமை அணி.[5]
குறிப்புகள்[தொகு]
- ↑ Hahn & Sabidussi (1997).
- ↑ (Sabidussi 1960); (Vizing 1963).
- ↑ (Imrich & Klavžar 2000), Theorem 4.19.
- ↑ Horvat & Pisanski (2010).
- ↑ Kaveh & Rahami (2005).
மேற்கோள்கள்[தொகு]
- Aurenhammer, F.; Hagauer, J.; Imrich, W. (1992), "Cartesian graph factorization at logarithmic cost per edge", Computational Complexity, 2 (4): 331–349, doi:10.1007/BF01200428, MR 1215316.
- Feigenbaum, Joan; Hershberger, John; Schäffer, Alejandro A. (1985), "A polynomial time algorithm for finding the prime factors of Cartesian-product graphs", Discrete Applied Mathematics, 12 (2): 123–138, doi:10.1016/0166-218X(85)90066-6, MR 0808453.
- Hahn, Geňa; Sabidussi, Gert (1997), Graph symmetry: algebraic methods and applications, NATO Advanced Science Institutes Series, vol. 497, Springer, p. 116, ISBN 978-0-7923-4668-5.
- Horvat, Boris; Pisanski, Tomaž (2010), "Products of unit distance graphs", Discrete Mathematics, 310 (12): 1783–1792, doi:10.1016/j.disc.2009.11.035, MR 2610282.
- Imrich, Wilfried; Klavžar, Sandi (2000), Product Graphs: Structure and Recognition, Wiley, ISBN 0-471-37039-8.
- Imrich, Wilfried; Klavžar, Sandi; Rall, Douglas F. (2008), Graphs and their Cartesian Products, A. K. Peters, ISBN 1-56881-429-1.
- Imrich, Wilfried; Peterin, Iztok (2007), "Recognizing Cartesian products in linear time", Discrete Mathematics, 307 (3–5): 472–483, doi:10.1016/j.disc.2005.09.038, MR 2287488.
- Kaveh, A.; Rahami, H. (2005), "A unified method for eigendecomposition of graph products", Communications in Numerical Methods in Engineering with Biomedical Applications, 21 (7): 377–388, doi:10.1002/cnm.753, MR 2151527.
- Sabidussi, G. (1957), "Graphs with given group and given graph-theoretical properties", Canadian Journal of Mathematics, 9: 515–525, doi:10.4153/CJM-1957-060-7, MR 0094810.
- Sabidussi, G. (1960), "Graph multiplication", Mathematische Zeitschrift, 72: 446–457, doi:10.1007/BF01162967, hdl:10338.dmlcz/102459, MR 0209177.
- Vizing, V. G. (1963), "The Cartesian product of graphs", Vycisl. Sistemy, 9: 30–43, MR 0209178.
வெளியிணைப்புகள்[தொகு]
- Weisstein, Eric W., "Graph Cartesian Product", MathWorld.