In aceasta problema trebuie sa verificam daca un caroiaj este sau nu un labirint. Un labirint este un caroiaj cu o serie de proprietati suplimentare:
* celulele adiacente pe verticala sau orizontala pot avea maxim un perete despartitor, definit in reprezentarea uneia din celule,

* fiecare celula de pe margine are un perete care o desparte de exteriorul caroiajului,

* fiecare celula de pe margine are cel putin un perete care o desparte de exteriorul caroiajului,

* exista cel putin un traseu format din pasi pe orizontala sau verticala intre celule adiacente si nedespartite, intre oricare doua celule din caroiaj,
* exista un singur traseu intre o celula sursa si o celula destinatie,
* nu se poate forma un patrat din 4 celule mutual accesibile.