მათემატიკაში დოჯსონის კონდენსაცია ან კონტრაქტორების მეთოდი ეწოდება კვადრატული მატრიცის დეტერმინანტის გამოთვლის ალგორითმს. მას თავისი გამომგონებლის, ჩარლზ ლუტვიჯ დოჯსონის სახელი მიენიჭა, რომელიც უფრო ცნობილია ფსევდონიმით ლუის კეროლი, როგორც ავტორი ნაწარმოებისა „ალისას თავგასავლები საოცრებათა ქვეყანაში“. დოჯსონმა აღნიშნული მეთოდი პირველად აღწერა 1866 წელს თავის ერთადერთ მეცნიერულ ნაშრომში[1]. შემდგომში ეს მეთოდი შევიდა დოჯსონის მიერ დაწერილ სასწავლო წიგნში სათაურით: An Elementary Treatise on Determinants, with their application to simultaneous linear equations and algebraical geometry (ყვებიან, თითქოს დედოფალ ვიქტორიას ისე მოსწონებია „ ალისას თავგასავლები საოცრებათა ქვეყანაში“, რომ მოუთხოვია აუცილებლად მიეცათ წასაკითხად ლ. კეროლის ყველა ახალი ნაწარმოები და რომ მის გაკვირვებას საზღვარი არ ჰქონდა, როდესაც სულ მალე აღნიშნული სასწავლო წიგნი მიართვეს[2]).

დოჯსონის კონდენსაციის ალგორითმი მდგომარეობს შემდგომში: თუ გვაქვს მატრიცა , მისი ელემენტებისგან გარკვეული წესით აიგება მატრიცა , ხოლო და მატრიცების ელემენტებისგან აიგება მატრიცა , და ა.შ. პროცესი დასრულება მატრიცის აგებით, რომელის ერთადერთი ელემენტიც იქნება მატრიცის დეტერმინანტი.

ზოგადი მეთოდირედაქტირება

ახლა უფრო დაწვრილებით აღვწეროთ ეს ალგორითმი:

  1. ვთქვათ მოცემული გვაქვს  -ური რიგის   მატრიცა, რომლის შიგა ელემენტებიც განსხვავებულია ნულისგან, ანუ     . საწინააღმდეგო შემთხვევაში ელემენტარული გარდაქმნებით, დეტერმინანტის მნიშვნელობის შეუცვლელად, გადავალთ ახალ მატრიცაზე რომლის შიგა ელებენტებიც ნულისგან განსხვავებული იქნება. მაგალითად, რომელიმე სტრიქონს გავამრავლებთ არანულოვან რიცხვზე და მივუმატებთ ჩვენთვის სასურველ სხვა სტრიქონს.
  2.   მატრიცის ელემენტებისაგან შევადგენთ   რიგის  მატრიცას, შემდეგი წესით  
  3. ახლა   და   მატრიცების ელემენტებისგან შევადგენთ ახალ   რიგის   მატრიცას შემდეგი წესით   .
  4. თუ  , შემოვიღებთ აღნიშვნებს   და აღნიშნულ ალგორითმს იმდენჯერ გავიმეორებთ სანამ არ მივიღებთ   მატრიცას, რომლის ერთადერთი ელემენტიც აღმოჩნდება  .

მაგალითირედაქტირება

ნულების გარეშერედაქტირება

განვიხილოთ მატრიცა

 

რომლის ყველა შიგა ელემენტიც არანულოვანია და გამოვთვალოთ  .

ამისათვის ჯერ   მატრიცის მეორე რიგის მინორებისგან შევადგინოთ მატრიცა

 

ამ უკანასკნელისა და   მატრიცის შიგა ელემენტებისგან 3. პუნქტის მიხედვით შევადგინოთ მატრიცა

 

ბოლოს ისევ 3. პუნქტის მიხედვით მატრიცებისგან

 

შევადგინოთ მატრიცა

 

და მაშინ  .

ნულებითრედაქტირება

აღნიშნული ალგორითმი ჩიხში შეგვიყვანს თუ რომელიმე ეტაპზე მივიღეთ მატრიცას, რომლის შიგა ელემენტებს შორისაც არის ნულები, რადგან ასეთ შემთხვევაში პროცესის გასაგრძელებლად 3. პუნქტის ძალით ნულზე გაყოფა მოგვიწევდა. ასეთია ვთქვათ შემდეგი მატრიცი

 

ამიტომ ასეთ შემთხვევაში თავდაპირველ მატრიცას სჭირდება ელემენტარული გარდაქმნებით (რათა დეტერმინანტის მნიშვნელობა არ შეიცვალოს) ისეთ სახეზე მიყვანა, რომ ნულოვანი შიგა წევრები არცერთ ეტაპზე არ გავიჩნდეს და მხოლოდ ამის შემდეგ შიძლება ალგორითმის გამოყენება. მაგალითად

 

დოჯსონის კონდენსაციის ალგორითმის დამტკიცება და გამოყენებებირედაქტირება

დოჯსონის კონდენსაციის ალგორითმი მტკიცდება დესნანო-იაკობის (Desnanot – Jacobi (1841)) ან უფრო ზოგადი სილვესტერის დეტერმინანტის იგივეობაზე (1851)[3] დაყრდნობით. დესნანო – იაკობის იგივეობა ეწოდება ტოლობას

 ,

სადაც   არის კვადრატული მატრიცა,   არის მატრიცა, რომელიც მიიღება   მატრიციდან  -ური სტრიქონისა და  -ური სვეტის ამოშლით, ხოლო   არის მატრიცა, რომელიც მიიღბა   მატრიციდან  -ური  -ური რიგების და  -ური  -ური სვეტების ამოშლით.

კონდენსაციის ალგორითმის დამტკიცებით დაინტერესებულ მკითხველს ვთავაზობთ გაეცნოს სტატიას[4] და იქ მითითებულ ლიტერატურას.

დოჯსონის კონდენსაციის საინტერესო გამოყენება წრფივ ალგებრულ განტოლებათა სისტემების კრამერის წესით ამოხსნისას მოყვანილია ნაშრომში[5] .

ლიტერატურარედაქტირება

  1. C. L. Dodgson, Condensation of Determinants, Being a New and Brief Method for Computing their Arithmetical Values. Proceedings of the Royal Society of London, 1866–1867, Vol. 15, pp. 150–155.
  2. A. Rice, E. Torrence, Lewis Carroll’s Condensation Method for Evaluating Determinants. Math Horizons 14(2) (2006):12-15. DOI: 10.1080/10724117.2006.11974674
  3. Sylvester, James Joseph (1851). "On the relation between the minor determinants of linearly equivalent quadratic functions". Philosophical Magazine 1: 295–305.

    A. G.; Akritas, E. K.; Malaschonok, G. I. (1996). „Various proofs of Sylvester’s (determinant) identity“. Mathematics and Computers in Simulation. 42 (4–6): 585. doi:10.1016/S0378-4754(96)00035-3
  4. M. Main, M. Donor, R. Harwoodan, Elementary Proof Of Dodgson’s Condensation Method For Calculating Detyerminants. arXiv preprint arXiv:1607.05352, 2016
  5. O. Ufuoma, A New and Simple Method of Solving Large Linear Systems: Based on Cramer’s Rule but Employing Dodgson’s Condensation. Proc. of the WCECS 2013 Vol I.