OK, to get references to how it is a problem of exponential difficulty to count an STV election I am told to
Google "Bartholdi STV" and you'll come up with many citations. ---- Election-Methods mailing list - see http://electorama.com/em for list info