wiki_research

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

half_graphs (215B)

      1 # Half graphs
      2 
      3 A *half graph* is a [bipartite_graph] on vertices a_1, ..., a_n, b_1, ..., b_n, with edges between a_i and b_j iff i \leq j
      4 
      5 Up: [bipartite_graph]
      6 
      7 Aliases: half graph
      8 
      9 See also: [monadically_stable]