wiki_research

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

incidence_graph (278B)

      1 # Incidence graph
      2 
      3 [graph_bipartite]:
      4 - left vertices are [variable]s
      5 - right vertices are [clause]s
      6 - edge connects variable to clause if variable occurs in clause
      7 
      8 Up: [graph_bipartite], [conjunctive_normal_form]
      9 
     10 See also: [primal_graph], [dual_graph], [incidence_treewidth]