Extremal Colorings and Extremal Satisfiability
 |
|
Описание:
Combinatorial problems are often easy to state and hard to solve. A whole bunch of graph coloring problems falls into this class as well as the satisfiability problem. The classical coloring problems consider colorings of objects such that two objects which are in a relation receive different colors, e.g., proper vertex-colorings, proper edge-colorings, or proper face-colorings of plane graphs. A generalization is to color the objects such that some predefined patterns are not monochromatic. Ramsey theory deals with questions under what conditions such colorings can occur. A more restrictive versionof colorings forces some substructures to be polychromatic, i.e., to receive all colors used in the coloring at least once. Also a true-false-assignment to the boolean variables of a formula can be seen as a 2-coloring of the literals where there are restrictions that complementary literals receive different colors.Похожие книги
 | Handbook of International Electrical Safety Practices Автор: Political Economy Research Institute (PERI) Год: 2010 |
 | Basse-Terre Island Год: 2011 |
 | Introduction to Behavioral Research Methods Автор: Mark R. Leary Год: 2000 |
 | Rock Climbing Anchors: A Comprehensive Guide Автор: Craig Luebben Год: 2006 |
 | Breakthrough Management : How to Convert Priority Objectives into Results Автор: Giorgio Merli Год: 1999 |
 | English Grammar for Dummies Автор: Geraldine Woods Год: 2001 |