Not logged in. · Lost password · Register

Baum
Member since Jul 2014
16 posts
Subject: Frage zu LCV
Folgendes Szenario:
-    Es gibt die Variablen V1, V2, V3
-    Die erste zu belegende Variable ist V1
-    Für diese gibt es nur die Werte 1 und 2
-    Wenn ich V1 auf 1 setze, hat V2 noch 2 Möglichkeiten und V3 noch 4
-    Wenn ich V1 auf 2 setze, hat V3 noch 3 Möglichkeiten und V3 noch 3
-    Sind die beiden Werte 1 und 2 nach der Least Constraining Value Heuristik gleichwertig?

Noch ein anderes Beispiel
-    Wenn ich V1 auf 1 setze, hat V2 noch 2 Möglichkeiten V3 noch 4
-    Wenn ich V1 auf 2 setze, hat V2 keine Möglichkeiten mehr, V3 aber 10
-    Würde dann die Heuristik V1 auf 2 setzen (2+4<0+10)?
Jazzpirate
Member since Oct 2016
803 posts
lässt sich nicht sagen - die LCV sucht sich die variablenbelegung, die am wenigsten werte *ausschließt*; nachdem du mir nur sagst wie viele übrigen bleiben, aber nicht wie viele werte es ursprünglich waren... ;)
Baum
Member since Jul 2014
16 posts
nehmen wir an, V2 und V3 haben in beiden Fällen eine Domain der Kardinalität 10
Jazzpirate
Member since Oct 2016
803 posts
Dann würde ich #({e \in (D_u\dom(a)) | C_uv \in C and (e,d) \notin C_uv}) so interpretieren, dass er die werte zählt, die ausgeschlossen werden. Für V1=1 schließen sich also 10-2=8 Werte für v2 und 10-4=6 Werte für v3 aus, also heuristikwert = 14. Für v1=2 sind es für v2 10-3=7 und v3=10-3=7 also ebenfalls =14, läuft der Heuristik nach auf's selbe hinaus ^^
Baum
Member since Jul 2014
16 posts
Beim zweiten Beispiel würde ich bei V1 = 1 10 Werte ausschließen und bei V2 =2 14 Werte ausschließen. Wählt dann die Heuristik dann V1 = 1, obwohl die Constraints somit unerfüllbar werden?
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen