( bri | 2009. 01. 20., k – 12:44 )

A szétvágás elmélete nem hülyeség. Az tuti, hogy ha a mátrixban van egy csupanulla sor vagy oszlop, akkor annak mentén kettévágható. Az is belátható, hogy ha van olyan "navigáció", ami egy falmenti 0 mezőtől egy másik falmenti 0 mezőig tart (navigáció alatt értsük azt, hogy fel-le-jobbra-balralépés, de csak ugyanolyan értékű, azaz 0 mezőre léphetünk), akkor annak mentén is szétvágható. Következésképpen a lekapcsolhatóság ekvivalens a két új kisebb mátrix lekapcsolhatóságával, valamint a legrövidebb út, a két mátrix legrövidebb útjának tetszőleges sorrendű konkatenációja.

Teljes indukcióval beláthatjuk, hogy így bármely véges lépésben szétvágott mátrix megoldható "elemenként", és a legrövidebb út megkonstruálható az elemek legrövidebb útjainak konkatenációjaként.

A feladatunk már csak az elemi (vágásra alkalmas navigációt nem tartalmazó) "szobák" megoldása.

:: by BRI.
:: config :: Acer TravelMate // Ubuntu Intrepid
:: tothab [a] gmail [pötty] kom
:: black rose immortal's weblog