4 Queens Forward Checking

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

4 Queens Forward Checking
Does someone have the solution of exam WS1920 4.1 ?

my guess:
q2 = {1}
q3 = {2, 4}
q4 = {1,2,4}

Could you explain your guess?

see Definition 10.3.1. for more details!

If queen1 is set to row 3, we delete all conflicting rows for any other queen (in general only those variables which are “connected” via a constraint).

Thanks! Makes sense.

Do you also have a guess for 4.1.3 and 4.1.4?

4.1.2 is clear for me.

No problem. Look here https://fsi.cs.fau.de/forum/thread/18918-Solutions-for-exams