Problem 6.2 (Equivalence of CSP and SAT)

Master / Vertiefung Künstliche Intelligenz
1

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.

2

Problem 6.2 (Equivalence of CSP and SAT)
Happy new year everyone!

Is it enough to describe what our functions f and f^-1 are doing, i.e. pseudo-code, or should we express them strictly in formal mathematical notation?

Greetings

3

For a problem like this, formal mathematical notation is appropriate.

The goal of the exercise is to understand the formal definitions and how to use them.