function Resolver($pos)
{
if ($pos == 22) {
$this->flag = $this->flag + 1;
$this->Resolver(1);
}
if ($this->flag == 10) {
$this->Mostrar();
}
$minodo = new nodo();
$posHijoIzq = log($pos, 2) + $pos + 1.05;
$posHijoIzq = round($posHijoIzq, 0, PHP_ROUND_HALF_UP);
$posHijoDer = log($pos, 2) + $pos + 2.05;
$posHijoDer = round($posHijoDer, 0, PHP_ROUND_HALF_UP);
if ($minodo->vacio($pos, $GLOBALS[$pos]) == 1) {
$minodo->ResolverPadre($pos, $posHijoIzq, $posHijoDer);
$this->Resolver($pos + 1);
} else {
if ($pos == 1) {
$minodo->ResolverHijo($pos, $GLOBALS[$pos]);
$this->Resolver($pos + 1);
}
if ($pos < 17) {
$minodo->ResolverHijo($pos, $GLOBALS[$pos]);
$this->Resolver($pos + 1);
} else {
$this->Resolver($pos + 1);
}
}
}
