constraint satisfaction if v is not in dom(a)
A content ERROR was logged by "Christopher Roßbach" at the following url:
The issue as described by the user:
if u (or v) is not in dom(a), than (a(u), a(v)) would not be in Cuv, since it is not defined. So a would not satisfy this constraint. As a consequence only total assignments can be consistent and I think we don't want this, since the empty assignment is stated to be consistent.
The text highlighted while reporting this issue:
We say that
𝑎
satisfies
(otherwise
violates) a
constraint
𝐶𝑢𝑣, iff
(𝑎(𝑢),𝑎(𝑣))∈𝐶𝑢𝑣.
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/smglom/csp/-/blob/main/source/mod/csnet-legal.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=smglom/csp&filepath=mod/csnet-legal.en.xhtml&bindings=0_1_2 -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/csp/slides/csnet-solutions.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=csp/slides/csnet-solutions.en.xhtml