Deciding hypergraph 2-colourability by H-resolution (Q1069951)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding hypergraph 2-colourability by H-resolution |
scientific article |
Statements
Deciding hypergraph 2-colourability by H-resolution (English)
0 references
1985
0 references
Deciding whether a hypergraph is 2-colourable is a computational problem which contains the satisfiability problem in propositional calculus as a special case. We present a method for deciding the 2-colourability of hypergraphs. This method which we call H-resolution is closely related to resolution of boolean formulas and the relation between the two is investigated.
0 references
2-colourability
0 references
hypergraphs
0 references
