Skip to main content
Back to problems
#1096
Hard Algorithms

Brace expansion ii

Hash Table String Backtracking Stack Breadth-First Search Sorting
63.9% acceptance
Feb 25, 2026
506
295
Under the grammar given below, strings can represent a set of lowercase words. Let R(expr) denote the set of words the expression represents. The grammar can best be understood through simple examples: Single letters represent a singleton set containing that word. R("a") = {"a"} R("w") = {"w"} When we take a comma-delimited list of two or more expressions, we take the union of possibilities. R("{a,b,c}") = {"a","b","c"} R("{{a,b},{b,c}}") = {"a","b","c"} (notice the final set only contains each word at most once) When we concatenate two expressions, we take the set of possible concatenations between two words where the first word comes from the first expression and the second word comes from the second expression. R("{a,b}{c,d}") = {"ac","ad","bc","bd"} R("a{b,c}{d,e}f{g,h}") = {"abdfg", "abdfh", "abefg", "abefh", "acdfg", "acdfh", "acefg", "acefh"} Formally, the three rules for our grammar: For every lowercase letter x, we have R(x) = {x}. For expressions e1, e2, ... , ek with k >= 2, we have R({e1, e2, ...}) = R(e1) ∪ R(e2) ∪ ... For expressions e1 and e2, we have R(e1 + e2) = {a + b for (a, b) in R(e1) × R(e2)}, where + denotes concatenation, and × denotes the cartesian product. Given an expression representing a set of words under the given grammar, return the sorted list of words that the expression represents.

Solution

Rust
Time O(n³)
Space O(n)
LeetCode
solution.rs
impl Solution {
  pub fn brace_expansion_ii(expression: String) -> Vec<String> {
    use std::collections::BTreeSet;
    fn parse_expr(b: &[u8], pos: &mut usize) -> BTreeSet<String> {
      let mut result = BTreeSet::new();
      loop {
        result.extend(parse_term(b, pos));
        if *pos < b.len() && b[*pos] == b',' { *pos += 1; } else { break; }
      }
      result
    }
    fn parse_term(b: &[u8], pos: &mut usize) -> BTreeSet<String> {
      let mut cur: BTreeSet<String> = [String::new()].into_iter().collect();
      while *pos < b.len() && b[*pos] != b',' && b[*pos] != b'}' {
        let item = parse_item(b, pos);
        let mut next = BTreeSet::new();
        for s in &cur { for t in &item { next.insert(format!("{}{}", s, t)); } }
        cur = next;
      }
      cur
    }
    fn parse_item(b: &[u8], pos: &mut usize) -> BTreeSet<String> {
      if b[*pos] == b'{' {
        *pos += 1;
        let r = parse_expr(b, pos);
        *pos += 1; // skip '}'
        r
      } else {
        let c = (b[*pos] as char).to_string();
        *pos += 1;
        [c].into_iter().collect()
      }
    }
    let b = expression.as_bytes();
    let mut pos = 0;
    parse_expr(b, &mut pos).into_iter().collect()
  }
}