DevAtlas
MedioEstructuras de datos#pilas#cadenas

Paréntesis balanceados

Actualizado21 jul 2026

Pista 1

"Lo último que se abre es lo primero que debe cerrarse" — ¿qué estructura de datos encaja con esa frase?

Pista 2

Al encontrar un cierre, compáralo con lo que haya en la cima de la pila.

Pista 3

Cuidado con los dos extremos: un cierre con la pila vacía, y una pila no vacía al terminar.

Dada una cadena que solo contiene ()[]{}, determina si está balanceada: cada apertura se cierra con el mismo tipo y en el orden correcto.

Ejemplos

balanceada("()")     → true
balanceada("()[]{}") → true
balanceada("(]")     → false
balanceada("([)]")   → false
balanceada("{[]}")   → true
balanceada("(")      → false
balanceada(")")      → false

Es el mismo problema que resuelve tu editor al marcar un paréntesis sin pareja, o un parser al validar bloques anidados.

La clave es una pila: cada apertura se apila y cada cierre debe casar con la cima. Refresca la mecánica LIFO antes de resolverlo:

Ver solución

El anidamiento es LIFO por naturaleza: una pila es la respuesta.

function balanceada(s: string): boolean {
  const pareja: Record<string, string> = { ')': '(', ']': '[', '}': '{' };
  const pila: string[] = [];

  for (const c of s) {
    if (c === '(' || c === '[' || c === '{') {
      pila.push(c);
    } else {
      // c es un cierre: debe casar con la cima de la pila
      if (pila.pop() !== pareja[c]) return false;
    }
  }

  return pila.length === 0;
}

Los tres casos de fallo, y dónde los captura el código:

  1. Cierre sin apertura (")"): pila.pop() devuelve undefined ≠ "(" → false.
  2. Tipos cruzados ("([)]"): al llegar ) la cima es [ → false.
  3. Apertura sin cierre ("("): el bucle acaba con la pila no vacía → el return final lo detecta.

Complejidad: O(n) en tiempo, O(n) en espacio en el peor caso (todo aperturas).

Si quieres profundizar en por qué la pila es la estructura correcta aquí, repasa el tema de pilas y colas.

Volver