Exam expectations: Zielonka Algorithm

Question

Given 

________________________________________________________________

• Is the following solution verbatim accepted as solution in the exam? 
• If not, what else needs to be added? 
• Do you have any tips to save time while solving Zielonka?

Game 0

 

________________________________________________________________________________

h = 6 , Q_h  = {s₄}  i=0 

A := attr₀{s₄} := {s₁,s₄}

G_\A : game 1

From game 1: win'₀,win'₁={{s₀,s₂,s₃},{}}

win'₁={} 

So, the solution of game 0:

{win₀,win₁}={{s₀,s₁,s₂,s₃,s₄},{}}

Game 1

________________________________________________________________________________________________________________________________

h = 4 , Q_h  = {s₂}  i=0 

A := attr₀{s₂} := {s₀,s₂,s₃}

G_\A : Trivial

win'₁={} 

So, the solution of game 1:

{win₀,win₁}={{s₀,s₂,s₃},{}}

Answer 1

Well to explain how the Zielonka algorithm works to solve an example, yes, I think you need to describe the above steps more or less with the same details. However, the example may be one that requires less recursive calls than this example that is quite challenging and has been chosen to see the algorithm at work. You may expect fewer recursive calls in the exam.

Comments

Thank you, Professor! so, there is no need to write the attractor formula and show how we got these states?

---

Hmm, I hesitate to say yes here, since the exam problems are not yet made. Maybe there will be an problem part that will exactly ask for this. But if not, I would say that the print out of the teaching tool should be sufficient.

---

Ok, yes I understand. Thank you!