Constraint Satisfaction Probleme (CSP) sind eine große Teilklasse von NP, die unter anderem 3SAT, 2SAT, 2-Färbbarkeit und 3-Färbbarkeit enthält (sogar k-SAT und k-Färbbarkeit für jedes k). Wir sehen uns an, wie CSPs definiert sind, wie sie als Homomorphismenproblem aufgefasst werden können, und erwähnen einige Dichotomie-Resultate.
Смотрите видео Constraint Satisfaction Probleme онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь NLogSpace 31 Июль 2022, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 882 раз и оно понравилось 22 людям.