Re: Results for Debian Project Leader 2015 Election
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
devotee@vote.debian.org writes ("Results for Debian Project Leader 2015 Election"):
> This message is an automated, unofficial publication of vote results.
> Official results shall follow, sent in by the vote taker, namely
> Debian Project Secretary
I am pleased to confirm that my software agrees with the Secretary's
devotee's interpretation of the tally sheet.
The beats graph showing tallies on both sides of each defeat can be
found here:
http://www.chiark.greenend.org.uk/~ijackson/2015/dpl-election-2015.ps
http://www.chiark.greenend.org.uk/~ijackson/2015/dpl-election-2015.ps.sig
For example we can see that Neil beat Mehdi by 203:119.
Transcript from my software is below.
I used git commit d7b1f7e0563948d004be2035c2acaf5045223b4f of
http://www.chiark.greenend.org.uk/ucgi/~ian/git/appendix-a6.git/
with this tally sheet (SHA256):
ef29b697bf8863d18fda095801ec026ac006a03984f24861e2c24d26a54fa697 tally.txt
You can see the `options' file I passed, below. I have not verified
the Secretary's quorum calculation.
Ian.
zealot:appendix-a6> ./compute -gt.ps options tally.txt
Determining default option
default option was specified: 4
Parsing devotee tally sheet ballots
Preference matrix
V(Y,X)| 1 2 3 4
- ------+------------------------
1 | 260 119 325
2 | 47 52 263
3 | 203 278 314
4 | 21 74 29
Quorum A.6(2) (quorum is 44.34)
Majority ratio A.6(3)
Defeats A.6(4)
defeat: 1 beats 2 (260 > 47 = +213)
defeat: 1 beats 4 (325 > 21 = +304)
defeat: 2 beats 4 (263 > 74 = +189)
defeat: 3 beats 1 (203 > 119 = +84)
defeat: 3 beats 2 (278 > 52 = +226)
defeat: 3 beats 4 (314 > 29 = +285)
defeats graph: 1-2,1-4,2-4,3-1,3-2,3-4
Transitive closure A.6(5) (iteration 1)
closure graph: 1-2,1-4,2-4,3-1,3-2,3-4
Schwartz set A.6(6)
not in Schwartz set: 1 because 3
not in Schwartz set: 2 because 1
not in Schwartz set: 4 because 1
set: 3
Dropping weakest defeats A.6(7)
no defeats within the Schwartz set
final schwartz set:
WINNER IS:
3 Neil McGovern
.
zealot:appendix-a6> cat options
1 = Mehdi Dogguy
2 = Gergely Nagy
3 = Neil McGovern
4 = None Of The Above [default]
quorum = 44.34
zealot:appendix-a6>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQEcBAEBCAAGBQJVLmB8AAoJEOPjOSNItQ05G/gH/2rPnEtoMOVQvHOFKB7If8A1
jLZSze74Fgm+LVoZgwOneBuvA/yK9YeSZueHFcCjmwj78Z1AThP/PlQEC0F5W4wF
lXABU/V9CPJiRduBa3+vk41ue8jvl30GmnygPscxy++2gyINe02voexJAmHr93rw
ozlY3PfAWUep8h0hg6+Oh5Ilx/pWDdokpfhpEIwyI3kTZX5D3estRA/1d5miGyuq
almlzSorcE5wCmMKdD7HAXYhAC12UB3lx3u0Rjt8Sy91chTe3JM2722Oh+6TGHm1
zGceL4kJInO//58jrOQYPgTP2cxgG52a8eDKpHMzHlD65ShcLRAV+27rZo6gW+o=
=aseI
-----END PGP SIGNATURE-----
Reply to: