Presentation given for computer science grad students at UBC about the referendum on May 12 and how BC-STV works.

1. !quot;#$%&'()*$+,-.+/
0)1$quot;&2$'&$3(4$('5
6quot;7$89:;6<$=737>7)1,?
@)$A)1(+'()*,(+quot;71$B7-',>7
C0>.$9>&2D7#
@E>(D$FG/$HIIJ

2. K,'D()7
L+$'quot;7>7$0$E7>37-'$%&'()*$+#+'7?M
N(337>7)'$%&'()*$+#+'7?+$,+71$0>&,)1$'quot;7$2&>D1
O(>+'$P0+'$'quot;7$P&+'$:$&,>$-,>>7)'$+#+'7?
B(+':P>&E&>'(&)0D$0)1$C(471$C7?Q7>$P>&E&>'(&)0D
;()*D7$6>0)+37>0QD7$<&'7

3. 6quot;7$E7>37-'$%&'()*$+#+'7?
!quot;quot;#$%&'()*#quot;*+',-./-0'1#2*3'4quot;56*'-.789
R(%7)$'quot;7$3&DD&2()*$>70+&)0QD7$->('7>(0
1#:;<5=>?>#quot;&)5@$:$1,quot;
A:5B*quot;&?35>C$:$0DD$&,'-&?7+$0>7$E&++(QD7
D:<*@*:<*:=*'#E'Dquot;quot;*3*B?:>'!3>*quot;:?>5B*&$:$>7?&%()*$D&+7>+$
1&7+)S'$?0''7>
F#:#>#:5=5>C$:$+2('-quot;()*$'&$%&'7$3&>$+&?7&)7$-0)S'$quot;,>'$'quot;7?
1#:;5+@#&5>5#:$:$0DD$&>17>()*$&3$-0)1(10'7+$0>7$E&++(QD7$
$
'quot;7>7$(+$)&$%&'()*$+#+'7?$'quot;0'$-0)$+0'(+3#$0DD$&3$'quot;7+7$
+(?,D'0)7&,+D#T$$
$$$$$$$$$$$$!quot;#$%&'$('&quot;$%&'#quot;'()*+,'%quot;'-.##/0'12.#'3quot;)'4quot;

4. C&>7$A+73,D$9>('7>(0
4quot;#@#quot;>5#:?35>C$:$E7>-7)'0*7$&3$%&'7+$0$E0>'#$*7'+$+quot;&,D1$Q7$
+(?(D0>$'&$'quot;7(>$E7>-7)'0*7$&3$+70'+$()$D7*(+D0',>7
4?quot;>C'G#:>quot;#3$:$E&D('(-0D$E0>'(7+$+quot;&,D1)S'$quot;0%7$'&&$?,-quot;$E&27>$
'&$D(?('$-quot;&(-7+/$'quot;7#$+quot;&,D1$>7+E&)1$'&$'quot;7$%&'7$>0'quot;7>$'quot;0)$
+quot;0E()*$('
H5+@35=5>C$:$%&'()*$E>&-7++$+quot;&,D1$Q7$+(?ED7
H>quot;?>*I5='J#>5:I$:$%&'7>+$+quot;&,D1$quot;0%7$)&$()-7)'(%7$%&'7$
1(+quot;&)7+'D#$()$&>17>$'&$0%&(1$0$)7*0'(%7$&,'-&?7+T$$!quot;7)$%&'7+$
3&>$D&+()*$-0)1(10'7+$0>7$1(+-0>171$'quot;(+$()-7)'(%7$(+$%7>#$+'>&)*T

5. UD7-'&>0D$;#+'7?+
43Kquot;?35>C$VO(>+'$P0+'$'quot;7$P&+'$:$OP6PW
+()*D7$?7?Q7>$>(1()*+T$L)$70-quot;$>(1()*$'quot;7$-0)1(10'7$2('quot;$'quot;7$?&+'$
%&'7+$2()+/$?0X&>('#$)&'$>7Y,(>71$
>7?0()()*$D&+()*$%&'7+$1(+-0>171$
$
4quot;#23*+&
+77$?0E$
!0+'71$%&'7+$:$ZI:[I$&3$%&'7+$0>7$>7*,D0>D#$1(+-0>171$
2('quot;&,'$-&)'>(Q,'()*$'&$'quot;7$?0.7,E$&3$E0>D(0?7)'$+()-7
7)-&,>0*7+$+'>0'7*(-$%&'()*$'&$0%&(1$20+'()*$#&,>$%&'7$
'7)1+$'&20>1+$'2&$E0>'#$>,D7
'$
G#:=3K&5#:
'&'0DD#$+,-.+

6. UD7-'&>0D$;#+'7?+
$
L5&>'4quot;#@#quot;>5#:?3$V?0)#$%0>(0'(&)+$7*T$NS]&)1'W
%&'7$3&>$E0>'#$&>$-0)1(10'7+/$0DD$%&'7+$*&$'&20>1+$E0>'#$E>&E&>'(&)$
()$D7*(+D0',>7
D(+'+$-0)$Q7$&E7)$&>$-D&+71/$?0)#$>(1()*+$&>$&)7$)0'(&)0D$>(1()*$
V7*T$L+>07DW
$
F5M*<'F*+2*quot;'4quot;#@#quot;>5#:?3$VCCPW
&)7$D&-0D$-0)1(10'7$7D7-'(&)$^$B(+':P=$,+()*$E0>'#$D(+'+$Q0+71$&)$
'&'0D$%&'7$E>&E&>'(&)+
'>(71$'&$E0++$'quot;(+$()$K)'0>(&$0$372$#70>+$0*&/$30(D71$
$$
4quot;#23*+&
7)'>7)-quot;7+$E0>'#$E&27>
G#:=3K&5#:
&)D#$?&17>0'7D#$+,-.+

7. UD7-'&>0D$;#+'7?+
$4quot;#@#quot;>5#:?3'H5:I3*'(quot;?:&E*quot;?23*'J#>*',89:;6<W
=0).$0DD$-0)1(10'7+$3>&?$0)#$E0>'#/$+()*D7$%&'7$(+$0EED(71$()$&>17>$
&3$E>737>7)-7+/$1(%(171$(3$-0)1(10'7$*7'+$?&>7$%&'7+$'quot;0)$)77171
$
'>(71$()$>737>7)1,?$()$89$372$#70>+$0*&/$30(D71$'&$?77'$[I$
+,EE&>'$>7Y,(>71/$&)D#$*&'$Z_T
-,>>7)'D#$,+71$()$L>7D0)1$0)1$C0D'0$3&>$)0'(&)0D$7D7-'(&)+
60+?0)(0$*7)7>0D$7D7-'(&)+$0)1$@,+'>0D(0)$;7)0'7
20+$17-(171$,E&)$3&>$89$Q#$0)$0++7?QD#$&3$>0)1&?D#$+7D7-'71$
%&'7>+$VH$3>&?$7%7>#$>(1()*$()$89W$03'7>$0$#70>$&3$+',1#$0)1$17Q0'7T
$

8. ]&2$89:;6<$2&>.+
=(1()*+$,)17>$'quot;7$)72$+#+'7?$2(DD$Q7$?7>*71$%7>+(&)+$&3$
-,>>7)'$>(1()*+$2('quot;$?,D'(ED7$?7?Q7>+$7D7-'71$E7>$>(1()*T$$
FT U%7>#$%&'7>$>0).+$-0)1(10'7+$()$&>17>$&3$
E>737>7)-7T$6quot;7#$-0)$>0).$0+$?0)#$&>$372$0+$
'quot;7#$D(.7T
HT $@DD$3(>+'$-quot;&(-7+$0>7$-&,)'71$0)1$0)#&)7$2('quot;$
/%quot;)&2 $!quot;#/( $(+$7D7-'715
;&$(3$#&,>$>(1()*$quot;0+$`$?7?Q7>+$0)1$FII/III$%&'7+$
27>7$-0+'$#&,$)771$HI/IIF$%&'7+$'&$Q7$7D7-'71

9. ]&2$89:;6<$!&>.+
aT$L3$0$-0)1(10'7$quot;0%7$?&>7$%&'7+$'quot;0)$)77171/$'quot;7$>7?0()17>$
0>7$27(*quot;'71$0)1$'>0)+37>>71$'&$'quot;7(>$)74'$-quot;&(-7T
1/$&2#'5'

10. ]&2$89:;6<$!&>.+
`T$6>0)+37>$27(*quot;'+$0>7$?,D'(ED(71$'&*7'quot;7>$03'7>$70-quot;$'(?7$0$
Q0DD&'$(+$'>0)+37>>71T
ZT$L3$'quot;7>7$0>7)S'$7)&,*quot;$%&'7+$0'$0)#$E&()'$'&$7D7-'$0$-0)1(10'7/$
'quot;7$D70+'$E&E,D0>$-0)1(10'7$(+$1>&EE71$0)1$'quot;7$)74'$%&'7+$0>7$
'>0)+37>>71$2('quot;$)&$011('(&)0D$27(*quot;'()*T
PD,+$0$Q,)-quot;$&3$+E7-(0D$-0+7+TTTT$Q,'$'quot;0'S+$('$>70DD#T

11. UD7-'&>0D$;#+'7?+
$4quot;#@#quot;>5#:?3'H5:I3*'(quot;?:&E*quot;?23*'J#>*',89:;6<W
=0).$0DD$-0)1(10'7+$3>&?$0)#$E0>'#/$+()*D7$%&'7$(+$0EED(71$()$&>17>$
&3$E>737>7)-7+/$1(%(171$(3$-0)1(10'7$*7'+$?&>7$%&'7+$'quot;0)$)77171$
'>(71$()$>737>7)1,?$()$89$372$#70>+$0*&/$30(D71$'&$?77'$[I$
+,EE&>'$>7Y,(>71/$&)D#$*&'$Z_T
$
4quot;#23*+&
E>&QD7?+M$2quot;0'$E>&QD7?+M
+&?7$E7&ED7$'quot;().$('+$-&?ED(-0'71
1&7+)S'$D701$'&$1(+E>&E&>'(&)0'7D#$+'>&)*$?0X&>('(7+$D(.7$OP6PT$
(7T$b;'>&)*$R&%7>)?7)'b
?&>7$D(.7D#$'&$D701$'&$-&0D('(&)+/$X,+'$D(.7$B(+'$+#+'7?+/$+&?7$
E7&ED7$1&)S'$20)'$?0)#$E&()'+$&3$%(72$>7E>7+7)'71$()$E0>D(0?7)'
$
G#:=3K&5#:'
quot;0>1D#$+,-.+$0'$0DD

12. c,7+'(&)+M
$
UD7-'(&)$(+$F?C'-8
O()1$&,'$?&>7$0'$+'%T-0
=701$?#$QD&*$30(>%&'7,Q-T2&>1E>7++T-&?
$
O>77$':+quot;(>'$3&>$'quot;7$Q7+'$Y,7+'(&)+d
$
/6.-78/('9)/(#$quot;%(:
;quot;1'4quot;'<'2/87'70quot;-quot;#/'#2$('.-.=$%&'$4/.>
;quot;1'*quot;)84'.%3quot;%/'?/'.&.$%(#'#2$(>'