wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

alpha_elimination_order (373B)

      1 # Alpha elimination order
      2 
      3 An [elimination_order] which iteratively removes [alpha_leaves]
      4 
      5 cf [irwin2016branching] Theorem 1.15
      6 
      7 A [hypergraph] is [alpha_acyclic] iff it admits an alpha elimination order
      8 
      9 Up: [alpha_acyclic], [elimination_order]
     10 
     11 Aliases: alpha-elimination order, alpha elimination ordering, alpha-elimination ordering
     12 
     13 See also: [beta_elimination_order]