Another common approach is to return only diagnoses that are not a superset of another diagnosis. Such diagnoses are called minimal-subset diagnoses. Unfortunately, for systems with a large number of components, even the number of minimal cardinality diagnoses is so large that even enumerating them...
Proof Consider an election E = (A, k) and let W be a winning committee accord- ing to PAV. Let N and C denote the sets of voters and candidates in E, respec- tively. We will show that for each -cohesive group of voters V it holds that 1 |V | · i∈V | A(i) ∩ W |...