OpenTally/docs/options.md
2022-06-18 02:02:00 +10:00

31 KiB
Raw Blame History

Options and advanced options

Preset

The preset dropdown allows you to choose from a hardcoded list of preloaded STV counting rules. These are:

Method Description Exceptions Validated
OpenTally WIGM Recommended set of simple STV rules designed for computer counting, using the weighted inclusive Gregory method, exact quotas and rational arithmetic.
Scottish STV Rules from the Scottish Local Government Elections Order 2011, using the weighted inclusive Gregory method.
Meek STV Advanced STV rules designed for computer counting, recognised by the Proportional Representation Society of Australia (VictoriaTasmania) as the superior STV system.
• OpenTally Meek Recommended rules for Meek STV. Operates according to the original 1987 HillWichmannWoodall Algorithm 123 specification (The Computer Journal 1987;30(3):27781), except that (a) ties are broken backwards then at random, (b) fixed-point arithmetic with 5 decimal places is used, and (c) candidates are elected on strictly exceeding the quota.
• Meek STV (2006) Operates according to Hill's 2006 revisions (Voting Matters 2006;(22):710). This is the algorithm referred to in OpenSTV/OpaVote as Meek STV, and forms the basis of New Zealand's Meek STV rules. [E1]
• Meek STV (New Zealand) Operates according to Schedule 1A of the Local Electoral Regulations 2001. [E1]
Australian Senate STV Rules from the Commonwealth Electoral Act 1918, using the unweighted inclusive Gregory method. [E2] [E3] [E4]
NSW Local Government STV Rules from the Local Government (General) Regulation 2021, using the weighted inclusive Gregory method. [E2] [E5]
Western Australia STV Rules from the Electoral Act 1907 (WA), using the weighted inclusive Gregory method. [E2] [E3]
Australian Capital Territory STV Rules from the Electoral Act 1992 (ACT), using the exclusive Gregory method.
Minneapolis STV Rules from chapter 167 of the Minneapolis Code of Ordinances, using the weighted inclusive Gregory method. [E6]
Cambridge STV Rules in force in Cambridge, Massachusetts, using random sample transfers. These rules are derived from the former chapter 54A of the Massachusetts General Laws, but have by regulation been modified to incorporate the procedures set out in Article IX of the former 1938 Charter of the City of Cincinnati. See also here.
Dáil Éireann STV Rules from the Electoral Act 1992 (Ireland), using stratified random sample transfers. [E4] [E7]
Wright STV Rules proposed by Anthony van der Craats designed for computer counting, involving reset and re-iteration of the count after each candidate exclusion.
PRSA 1977 Simple rules designed for hand counting, using the exclusive Gregory method, with counting performed in thousandths of a vote.
ERS97 More complex rules designed for hand counting, using the exclusive Gregory method. [E8] [E9]
• ERS76 Former rules from the 1976 2nd edition. [E8] [E9] [E10]
• ERS73 Former rules from the 1973 1st edition. [E8] [E9] [E10]
Church of England Rules from the Church of England Single Transferable Vote Rules 2020, similar to ERS73. [E8]

Exceptions:

  • [E1] When generating random numbers, OpenTally uses a deterministic random number generator based on SHA-256, rather than the WichmannHill(-based) algorithm.
  • [E2] When breaking ties backwards, OpenTally applies a recursive method rather than the method described in the legislation. The OpenTally developers regard the method described in the legislation as a defect. For an independent discussion, see Conway et al.
  • [E3] A tie between 2 candidates for the final vacancy will be broken backwards then at random, rather than the method described in the legislation.
  • [E4] Bulk exclusion is not performed, as the prescribed rules are more conservative than OpenTally's. See also the section on Bulk exclusion for further discussion.
  • [E5] The legislation is drafted such that a consistent interpretation is impossible see Conway for a discussion. In practice, the New South Wales Electoral Commission has applied the by parcel method of rounding subtransfers, which OpenTally follows.
  • [E6] The mathematically eliminated by the sum of all ranked-choice votes comparison is not implemented.
  • [E7] The quarter of a quota provision is disregarded when determining whether to defer surplus distributions.
  • [E8] The distribution of a surplus is not deferred if it exactly equals the difference between the 2 trailing continuing candidates.
  • [E9] No distinction is made between stages and substages (during exclusion). This affects only the numbering of stages and not the result.
  • [E10] By default, the quota is always calculated to 2 decimal places. For full ERS76 (ERS73) compliance, set Round quota to 0 d.p. when the quota is more than 100 (100 or more).

For details of validation, see validation.md.

This functionality is not available on the command line.

Quota (-q/--quota)

The quota dropdowns allow you to define the quota used in the election, and the quota criterion used to elect candidates. The quota may be set to:

  • Droop (default) and Droop (exact): V/(S+1)
  • Hare and Hare (exact): V/S

where V is the number of votes and S is the number of seats.

The (exact) version of each quota has effect only if Round quota to [n] d.p. is enabled. When that setting is enabled, Droop and Hare will increment the quota up to the next available rounded unit (even if the quotient is exact already), while the (exact) versions will round the quota up if and only if the quotient is not already exact.

When Round quota to [n] d.p. is not enabled, or when the exact form is used, the Droop quota is also known as the NewlandBritton or Hagenbach-Bischoff quota.

Quota criterion (-c/--quota-criterion)

The quota criterion may be set to >= (candidates are elected if they meet or exceed the quota) or > (default; candidates are elected only if they strictly exceed the quota).

Note that the combination >= Droop (exact) (or, when Round quota to [n] d.p. is disabled, >= Droop) can result in more candidates meeting the quota than there are available vacancies, hence this particular combination is not recommended.

Quota mode (--quota-mode)

This option allows you to specify whether the votes required for election can change during the count. The options are:

  • Static quota (default): The quota is calculated once after all first-preference votes are allocated, and remains constant throughout the count.
  • Static with ERS97/ERS76 rules: The quota is static, but candidates may be elected if their vote exceeds (or equals, according to the Quota criterion) the active vote, divided by one more than the number of remaining vacancies (with minor variations in details between ERS97 and ERS76). Additionally, under ERS97 rules, the quota is reduced if ballots exhaust before any candidate is elected.
  • Dynamic by total vote: The quota is recalculated at the end of each stage, according to the Quota option.
  • Dynamic by active vote: The quota is recalculated at the end of each stage, according to the Quota option, but where V is the active vote and S is the number of remaining vacancies.

When a dynamic quota is used, then unless Surplus method is set to Meek, the quota that applies to an elected candidate is the quota at the start of the stage when the candidate's surplus is distributed. Further distributions are not performed later, even if the quota is later reduced.

STV variants

Surplus order (--surplus-order)

This dropdown allows you to select in what order surpluses are distributed:

  • By size (default): When multiple candidates exceed the quota, the largest surplus is transferred (even if it arose at a later stage of the count).
  • By order: When multiple candidates exceed the quota, the surplus of the candidate elected first is transferred (even if it is smaller than another). Candidates are always declared elected in descending order of number of votes.

Some STV counting rules provide, for example, that no surplus shall be transferred before a surplus that arose earlier in the counting whether larger or not (PRSA 1977). In this case, the option By order should be selected.

Surplus method (-s/--surplus)

This dropdown allows you to select how ballots are transferred during surplus transfers. The recommended methods are:

Other Gregory methods are supported, but not recommended:

  • Unweighted inclusive Gregory: During surplus transfers, all applicable ballots of the elected candidate are examined. Transfers are not weighted, and each ballot has equal value in the calculation.
  • Exclusive Gregory (last bundle): During surplus transfers, only the ballots received in the last transfer (all of one value) are examined.

Random sample methods are also supported, but also not recommended:

  • Hare (exclusive sample): During surplus transfers, a subset of the ballots received in the last transfer, equal in size to the surplus, is examined.
  • Inclusive Hare (sample): During surplus transfers, a subset of the elected candidate's ballots, equal in size to the surplus, is examined.

A random sample method will usually be used with a Quota criterion set to >=.

Ballots to examine in surplus transfer (--transferable-only/--subtract-nontransferable)

  • Include non-transferable ballots (default): When this option is selected, all ballots of the transferring candidate are examined. Non-transferable ballots are always exhausted at the relevant surplus fractions. This is the method typically used with the weighted inclusive Gregory or Meek methods.
  • Use transferable ballots only (--transferable-only): When this option is selected, only transferable ballots of the transferring candidate are examined. Non-transferable ballots are exhausted only if the value of the transferable ballots is less than the surplus. This is the method typically used with other surplus distribution methods.
  • Subtract non-transferables (--transferable-only --subtract-nontransferable): Same as Use transferable ballots only, but the value of the transferable ballots is calculated by subtracting the value of non-transferable ballots from the progress total. This has effect only as far as concerns rounding.

(Gregory) Exclusion method (--exclusion)

When Surplus method is set to a Gregory method, this option controls how candidates are excluded:

  • Single stage (default): When excluding candidate(s), transfer all their ballots in one stage.
  • By value: When excluding candidate(s), transfer their ballots in descending order of accumulated transfer value. Each transfer of all ballots of a certain transfer value forms a separate stage, i.e. if a transfer allows another candidate to meet the quota, no further ballots are transferred to that candidate.
  • By source: When excluding candidate(s), transfer their ballots according to the candidate from which those ballots were received, in the order the transferring candidates were elected or excluded. Each transfer of all ballots received from a certain candidate forms a separate stage.
  • By parcel (by order): When excluding a candidate, transfer their ballot ballots one parcel at a time, in the order each was received. Each parcel forms a separate stage. This option cannot be combined with bulk exclusion.
  • Wright method (re-iterate): When excluding candidate(s), reset the count from the distribution of first preferences, disregarding the excluded candidates.

(Meek) NZ-style exclusion (--meek-nz-exclusion)

When Surplus method is set to Meek method, this option controls how candidate keep values are updated when candidates are excluded:

  • When NZ-style exclusion is disabled (default), the excluded candidate's keep value is immediately reduced to 0. This is the method specified in the 1987 and 2006 Meek rules.
  • When NZ-style exclusion is enabled, all elected candidates' keep values are first updated by one further iteration; only then is the excluded candidate's keep value reduced to 0. This is the method specified in the New Zealand Local Electoral Regulations 2001.

(Sample) Sample method (--sample)

When Surplus method is set to a random sample method, this option controls which subset of ballots is selected for transfer during surplus distributions:

  • Stratify (default): The candidate's ballots are first stratified into subparcels according to next available preference, and an equal proportion of each subparcel is transferred, with the subset transferred comprising the ballots in each subparcel most recently received by the candidate. In the calculation of proportions, the largest remainders are rounded up so there is no loss by fraction. This is the method specified by the Electoral Act 1992 (Ireland).
  • By order: The subset transferred comprises the ballots most recently received by the candidate.
  • Cincinnati: The subset is selected using the deterministic method used in Cambridge, Massachusetts (derived from Article IX of the former 1938 Cincinnati Code of Ordinances).

In any case, the subset selected depends on the order of ballots in the BLT file, and is independent of the Random seed option.

(Sample) Transfer ballot-by-ballot (--sample-per-ballot)

When Surplus method is set to a random sample method, this option controls when candidates are declared elected:

  • When ballot-by-ballot transfer is disabled (default), candidates are declared elected only at the end of a stage, as usual.
  • When ballot-by-ballot transfer is enabled, candidates are declared elected immediately on meeting the quota after the transfer of any single ballot. Consequential surpluses therefore do not arise, and surpluses only occur during the count of first preferences.

Ties (-t/--ties)

This dropdown allows you to select how ties (in surplus transfer or exclusion) are broken. The options are:

  • Backwards: Ties are broken according to which tied candidate had the most/fewest votes at the end of the previous stage. If a tie for most/fewest votes exists in the previous stage also, that tie is broken based on the next previous stage, and so on. This is the method specified, for example, by the Electoral Act 1992 (ACT).
  • Fowards: Ties are broken according to which tied candidate had the most/fewest votes at the end of the earliest stage where one tied candidate had more/fewer votes than the others, if such a stage exists. This is also known as the ahead at first difference method.
  • Random: Ties are broken at random (see Random seed).
  • Prompt: The user is prompted to break the tie.

Multiple tie breaking methods can be specified. If the first method cannot resolve the tie, the next is tried, and so on. In the web application, 4 options are available (Backwards then random, Forwards then random, Random and Prompt). On the command line, the --ties option can take multiple arguments (e.g. --ties backwards random).

Random seed (--random-seed)

This option allows you to input an arbitrary value to seed the deterministic random number generator used to break ties when Ties is set to Random. When the same seed value is used, ties will always be broken in the same way, allowing the breaking of ties to be independently verified.

The default value is the current date, formatted YYYYMMDD.

The algorithm used by the random number generator is specified at rng.md.

Constraints (--constraints)

This file selector allows you to load a CON file specifying constraints on the election. For example, if a certain minimum or maximum number of candidates can be elected from a particular category.

Constraint method (--constraint-method)

This dropdown allows you to select how constraints are applied. The options are:

Guard/doom (default):

When this option is selected, OpenTally applies constraints using the GrayFitzgerald method. Whenever a candidate is declared elected or excluded, any candidate who must be elected to secure a conformant result is deemed guarded, and any candidate who must not be elected to secure a conformant result is deemed doomed. Any candidate who is doomed is excluded at the next opportunity. Any candidate who is guarded is prevented from being excluded.

Multiple constraints are supported using the method described by Hill (Voting Matters 1998;(9):24) and Otten (Voting Matters 2001;(13):47).

Repeat count:

When this option is selected, only constraints specifying a maximum number of candidates to be elected from a particular group are supported. Other constraint groups will be silently ignored. Note that each candidate must still be assigned to exactly one group within each constraint.

The count proceeds as normal, until the point that a candidate would be elected who would violate the constraint. At this point, that candidate and all other candidates from the constrained group are excluded, and all previously excluded candidates from the non-constrained group are reintroduced.

All ballots are removed from the count, and redistributed among the candidates in the following order:

  • Any undistributed surpluses, each surplus comprising one stage
  • Any exhausted ballots, in one or more stages (according to Exclusion method)
  • The ballots of each continuing candidate from the non-constrained group, in one or more stages (according to Exclusion method), candidate-by-candidate in random order or an order specified by the user (according to Ties, with options other than Random and Prompt ignored)
  • The ballots of each continuing candidate from the constrained group, in like manner

Once all ballots have been so redistributed, the count resumes as usual.

This method is specified, for example, in Schedule 1.1 of the Monash Student Association Election Regulations (2021).

Report options

Report style

  • Votes only: The result sheet displays the number of votes held by each candidate at each stage of the count.
  • Votes (transposed): Same as Votes only, but transfers are displayed to the left of, rather than above, progress totals.
  • Ballots and votes: The result sheet displays the number of votes and ballots held by each candidate at each stage of the count.

This functionality is not available on the command line.

Display up to [n] d.p. (--pp-decimals)

This option allows you to specify to how many decimal places votes will be reported in the results report. It does not affect the internal precision of calculations.

Numeric representation

Numbers (-n/--numbers), Decimal places (--decimals)

This dropdown allows you to select how numbers (vote totals, etc.) are represented internally in memory. The options are:

  • Fixed: Numbers are represented as fixed-precision decimals, up to a certain number of decimal places (default: 5).
  • Fixed (guarded): Numbers are represented as fixed-precision decimals with guard digits also known as quasi-exact arithmetic. If n decimal places are requested, numbers are represented up to 2n decimal places, and two values are considered equal if the absolute difference is less than (10n)/2.
  • Rational (default): Numbers are represented exactly as fractions, resulting in the elimination of rounding error, but increasing computational complexity when the number of surplus transfers is very large.
  • Float (64-bit): Numbers are represented as native 64-bit floating-point numbers. This is fast, but not recommended as unexpectedly large rounding errors may be introduced in some circumstances.

Count optimisations

Early bulk election (--no-early-bulk-elect)

When early bulk election is enabled (default), the count terminates as soon as the set of winning candidates is known. Specifically:

  • At the beginning of each stage, if the number of continuing candidates exactly equals the number of remaining vacancies, all continuing candidates are declared elected in a single stage. This is typical of most STV rules.
  • If a proposed exclusion would cause the number of continuing candidates to exactly equal the number of remaining vacancies, all other continuing candidates are declared elected without transfers arising from the proposed exclusion being performed.
  • At the end of any stage, if n vacancies remain and the n-th top continuing candidate has more votes than all lower continuing candidates (plus votes awaiting transfer), the n top continuing candidates are immediately declared elected.

If an early bulk election is performed, further surplus distributions are not performed, and outstanding exclusions are not completed, even if they could change the order of election.

When early bulk election is disabled, surpluses continue to be distributed, and outstanding exclusions continue to be completed, even once the number of continuing candidates exactly equals the number of remaining vacancies. Bulk election is performed only as a final measure once there are no more surpluses to distribute, and no exclusions to complete.

In either case, candidates are declared elected in descending order of votes. This ensures that only one candidate is ever elected at a time and the order of election is well-defined, which is required e.g. for affirmative action rules.

Note that the OpenTally rules for early bulk election are aggressive, and many STV rules do not implement all 3 (if any at all). It is not possible at this time to selectively apply only some of the rules. In order to reproduce the result of a count performed by others, where not all rules were implemented, consider disabling early bulk election and comparing the results at the time a bulk election would have been made.

Bulk exclusion (--bulk-exclude)

When bulk exclusion is disabled (default), only one candidate is ever excluded per stage.

When bulk exclusion is enabled, as many candidates as possible are excluded together in each single stage, provided that sufficient candidates remain to fill the vacancies, and the bulk exclusion could not change the order of exclusion. If 2 or more candidates are tied, either all are bulk excluded or none are. The ballots of all excluded candidates are considered together, and transferred according to the Exclusion method.

Note that some rules (such as the Australian Senate rules) provide for more conservative bulk exclusion which additionally requires that the bulk exclusion cannot cause a candidate to be elected. This form of bulk exclusion accordingly cannot change the result compared with no bulk exclusion (except as far as rounding or parcelling may be concerned), and is not currently supported.

Defer surpluses (--defer-surpluses)

When deferred surpluses is disabled (default), all surpluses must be transferred before candidates can be excluded.

When deferred surpluses is enabled, the transfer of all surpluses is deferred if doing so could not change the next exclusion (including a bulk exclusion, if that is enabled).

Immediate election (--no-immediate-elect)

When Surplus method is set to a Gregory or random sample method, this option controls when candidates are elected:

  • When immediate election is enabled (default), a candidate is declared at the end of the stage once reaching the quota. This is typical of most STV rules.
  • When immediate election is disabled, a candidate is declared elected only once their surplus is transferred. This is the method specified by the Minneapolis rules.

Likewise, when Surplus method is set to Meek method:

  • When immediate election is enabled (default), a candidate meeting the quota interrupts a surplus distribution. The candidate is immediately declared elected, before the distribution of all surpluses of all now-elected candidates continues. This is the method specified in the 2006 Meek rules.
  • When immediate election is disabled, all current surpluses are distributed and keep values finalised, before any candidates exceeding the quota are then declared elected. This is the method specified in the 1987 Meek rules.

Minimum threshold (--min-threshold)

When candidates are first to be excluded, all candidates with votes less than or equal to this threshold are excluded at once. The default value is 0, i.e. all candidates with no votes are excluded at once.

Rounding

Round quota/votes/surplus fractions/ballot values to [n] d.p. (--round-quota, --round-votes, --round-surplus-fractions, --round-values)

When rounding is enabled, the specified values are rounded to the specified number of decimal places. This enables, for example, votes to be counted only in integers, while ballot values and surplus fractions are calculated to higher precision (according to the Numbers option).

When enabled, the quota is incremented or rounded up (according to the Quota option). When Surplus method is set to a Gregory method, votes, surplus fractions and ballot values are always rounded down.

In relation to Round surplus fractions to [n] d.p. note that surplus fractions are used in STV in calculations of the form A × (B/C), where (B/C) is the surplus fraction. The order of operations depends on this setting:

  • When this option is disabled (default), (A × B) is calculated first, then divided by C. This minimises rounding errors.
  • When this option is enabled, (B/C) is calculated separately first and rounded to the specified precision, before being multiplied by A. Many STV rules designed for hand counting prescribe this method of manipulating surplus fractions.

Surplus fractions are often known as transfer values; however, the term value is reserved in OpenTally for referring to the values of votes.

When Surplus method is set to Meek method:

  • --round-values instead controls the rounding of candidate keep values
  • --round-surplus-fractions instead controls the rounding of each intermediate product when computing candidates' votes
  • --round-votes controls the rounding of the final number of votes credited to each candidate
  • Keep values, intermediate products and candidate votes are rounded up

(Gregory) Round subtransfers (--round-subtransfers)

When Surplus method is set to a Gregory method, this option allows you to specify how the numbers of votes credited to candidates in a surplus transfer/exclusion is calculated. In each case, votes are grouped according to the next available preference for a continuing candidate. Subsequently:

  • Single step (default): The total value of all votes expressing a next available preference for that candidate is multiplied by the surplus fraction. The product (rounded if requested) is credited to that candidate.
  • By value: The votes expressing a next available preference for that candidate are further divided according to value. For each group of votes at a particular value, the total value of all such votes is multiplied by the surplus fraction. The product (rounded if requested) is credited to that candidate.
  • By value and source: The votes are further divided according to value, and according to who they were received from by the elected/excluded candidate. Then as per By value.
  • By parcel: For each parcel of votes, the total value of the votes in the parcel expressing a next available preference for that candidate is multiplied by the surplus fraction. The product (rounded if requested) is credited to that candidate.
  • Per ballot: For each individual vote expressing a next available preference for that candidate, the value of the vote is multiplied by the surplus fraction. The product (rounded if requested) is credited to that candidate.

This option affects the result only as far as rounding (due to use of fixed-precision/floating-point arithmetic, or an explicit rounding option) is concerned.

(Meek) Surplus tolerance (--meek-surplus-tolerance)

When Surplus method is set to Meek method, this option allows you to specify when the distribution of surpluses will be considered complete. The tolerance may be specified either as a percentage (ends with a %) or absolute number of votes (no %):

  • Percentage: Surplus distributions will be considered complete when every elected candidate's surplus exceeds the quota by no more than the specified percentage. This is the method specified in the 1987 Meek rules.
  • Absolute number of votes: Surplus distributions will be considered complete when the total surpluses of all elected candidates, when summed together, is no greater than the specified number of votes. This is the simpler method specified in the 2006 Meek rules.