New for: D1, D2, D3, D4
My motivation for this problem stems from an interesting application in scheduling: scheduling with so-called AND/OR precedence constraints. But it has also applications in many other fields like, e.g., 2-person games on graphs etc.