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.