incidence_graph (364B)
1 # Incidence graph 2 3 A [bipartite_graph] constructed from a [CNF] 4 - left vertices are [variables] 5 - right vertices are [clauses] 6 - edge connects variable to clause if variable occurs in clause 7 8 Can be defined also from a [graph], or from a [hypergraph] 9 10 Up: [graph_bipartite], [conjunctive_normal_form] 11 12 See also: [primal_graph], [dual_graph], [incidence_treewidth]