http://hdl.handle.net/20.500.12128/16013
Tytuł: | Representation theorems for hypergraph satisfiability |
Autor: | Kolany, Adam |
Słowa kluczowe: | hypergraph; satisfiability problem; combinatorial problems |
Data wydania: | 1997 |
Źródło: | Bulletin of the Section of Logic, Vol. 26, no. 1 (1997), s. 12-19 |
Abstrakt: | Given a set of propositions, one can consider its inconsistency hypergraph. Then the satisfiability of sets of clauses with respect to that hypergraph (see [1], [6]) turns out to be the usual satisfiability. The problem is which hypergraphs can be obtained from sets of formulas as inconsistency hypergraphs. In the present paper it is shown that this can be done for all hypergraphs with countably many vertices and pairwise incomparable edges. Then, a general method of transforming the combinatorial problems into the satisfiability problem is shown. |
URI: | http://hdl.handle.net/20.500.12128/16013 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Kolany_Representation_theorems_for_hypergraph.pdf | 269,17 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons