În această problemă vrem să verificăm dacă un caroiaj este sau nu _labirint_. Un labirint este un caroiaj cu o serie de proprietăţi suplimentare:

* celulele adiacente pe verticală sau orizontală pot avea maxim un perete despărţitor, definit în reprezentarea uneia din celule,

* celulele adiacente pe verticală sau orizontală pot avea maxim un perete despărţitor, definit pentru una din celule,

* fiecare celulă de pe margine are pereţi care despart caroiajul de exterior pe fiecare latură cu exteriorul,
* între oricare două celule din caroiaj există exact un drum simplu format din paşi pe orizontală şi verticală între celule adiacente şi nedespărţite de perete pe latura comună.