Keijzer, B. de

coalition algorithm voting voting games problem player voting game power index number representation canonical class section function banzhaf index weight ceiling design power indices finition result power index method target power index left-shift currentcoalition error output enumeration banzhaf monotonic n players theorem order polynomial gcwvg paper vector enumeration algorithm indices ceiling coalitions hop-skip-and-jump algorithm language fi rst experiment synthesis roof coalitions proof target threshold weight vector polynomial time right-shift instance runtime -first example players n threshold functions coalition c antichain point lemma lroof · · · power index problem lceil lweight relation polynomial time algorithm system gi −bit fi nding desirability subset execution synthesis problem complexity shelter