Zusammenfassung
Das Problem 2-SAT besteht aus der Einschränkung des aussagenlogischen Erfüllbarkeitsproblems SAT (vgl. Abschnitt 2.6) auf diejenigen Instanzen, in denen jede Klausel genau zwei Literale enthält. Jede Klausel ist daher dann von der Form \( \{ L_i ,L_j \} \) mit \( L_i \in \{ x_i \ddot x_i \} \) und \( L_j \in \{ x_j \ddot x_j \} \).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2009 Vieweg+Teubner | GWV Fachverlage GmbH
About this chapter
Cite this chapter
Krumke, S.O., Noltemeier, H. (2009). Transitive Hülle und Irreduzible Kerne. In: Graphentheoretische Konzepte und Algorithmen. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9592-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9592-9_5
Publisher Name: Vieweg+Teubner
Print ISBN: 978-3-8348-0629-1
Online ISBN: 978-3-8348-9592-9
eBook Packages: Computer Science and Engineering (German Language)