Prefer a chat interface with context about you and your work?
Certified domination
Imagine that we are given a set D of officials and a set W of civils. For each civil x∈W, there must be an official v∈D that can serve x, and whenever any such v is serving x, there must also be another civil w∈W that observes v, that is, …