Talk:Smith set

message: The Smith criterion article has essentially all of the information here, and a fair amount not in this article.  I think we should delete this article and redirect to the other. CRGreathouse 03:55, 20 July 2006 (UTC)
replies: text: I would have thought it better to add it all in one place, since I can't imagine the conceptual difference between Smith set and Smith criterion, but very well.  I withdraw my suggestion until that time.  In any case, Schwartz set could certainly use some work!  Thanks. CRGreathouse 23:35, 20 July 2006 (UTC)
replies: text: Thanks for waiting.  I've added my material and cleaned up the article for what I think would be a good separate article.  If we keep them separate, some of the redundancy in the Smith Criterion article could be cleaned out.  I'm neutral on merging this into the Smith Criterion.  I see some value in keeping the two separate, one focused on the definition and structure of the Smith set, the other looking at the interrelation of the Smith criterion to other criterion.  But I also recognize some value to merging this into the Smith criterion article.  I'll volunteer to do the merge if there is still some interest in that and no objections otherwise.  Or if someone else wants to do it, go for it.   DCary 21:17, 18 October 2006 (UTC)
thread_title: Smith criterion vs Smith set

message: What did Smith call the Smith set originally (say, in his 1973 paper)? CRGreathouse 22:10, 21 July 2006 (UTC)
replies: text: Heh, that's funny -- Smith's paper doesn't actually give the so-called "Smith criterion" at all, but a stronger condition he calls the "Condorcet criterion" (p. 1038, although he acknowledges that it's a generalization of Condorcet's original). CRGreathouse (talk | contribs) 04:06, 16 August 2006 (UTC)
replies: text: As far as I know, the terms "Smith set" and "Schwartz set" have been introduced by Fishburn in his paper "Condorcet Social Choice Functions" (SIAM Journal on Applied Mathematics, vol. 33, p. 469--489, 1977). Markus Schulze 13:10, 16 August 2006 (UTC)
replies: text: Thanks!  I actually have that one, but I haven't gotten around to reading it yet. CRGreathouse (talk | contribs) 16:22, 17 August 2006 (UTC)

text: OK, I read the paper.  Fishburn does use the term (actually "Smith's Condorcet Principle"), but he uses it in the same strong sense as Smith. CRGreathouse (talk | contribs) 04:51, 18 August 2006 (UTC)
replies: text: That will be great in the article. --Homunq 22:53, 18 August 2006 (UTC)
thread_title: Original terminology

message: The article uses the jargon term "beat" without defining it, and never mentions majorities. It neglects the synonyms "top cycle" and "GETCHA set" used in some of the literature of social choice theory. The article doesn't include any helpful examples. (I suggest a 3-candidate example in which Instant Runoff defeats a Condorcet winner and a 4-candidate example in which Minmax defeats the entire Smith set.) The article could compare the Smith set to other subsets of the Smith set besides the Schwartz set, such as "uncovered" sets and the (Jeffrey) Banks Set (which is the set of alternatives that can win assuming strategically sophisticated voting using the sequential pairwise elimination voting method of Robert's Rules) as in the paper The Banks Set and the Uncovered Set in Budget Allocation Problems by Dutta, Jackson and Le Breton. And it would help if the article distinguishes between the sincere Smith set and the voted Smith set, since electing a candidate in the sincere Smith set is considered more desirable than electing a candidate in a set manipulated by strategic voting. SEppley (talk) 15:36, 22 November 2012 (UTC)
replies: text: Even Google can't tell you what GETCHA and GOCHA stand for. John Moser (talk) 13:39, 28 August 2018 (UTC)
thread_title:  Article omissions 

message: has added a ‘hand algorithm’ to the ‘Copeland score algorithm’ previously present. (I’m afraid I missed this change at the time through not receiving a notification.) I can see his reasoning but I think his addition is misleading: he has provided a vaguer and more digestible description of a slight variant of the Copeland method rather than a separate algorithm.
The algorithm works because of a property proved earlier in the article: dominating sets are nested by Copeland score. It follows that by adjusting the Copeland threshold you can work through the nested sets in increasing order of size until you come to a dominating set; and this set is necessarily the Smith set. There’s a nice description at the top of p 10 of Darlington’s Are Condorcet and minimax voting systems the best? (v8).
You can avoid mentioning the Copeland score by using other statistics which work as well; but unless you prove the necessary property, you’ve reduced the intelligibility of the algorithm. And you can avoid sorting an array by scanning it repeatedly rather than working through it once sequentially; but this is no real gain either. 
Now it seems to me that the ‘Copeland algorithm’ goes into so much detail that it conceals the simplicity of the underlying idea – and still doesn’t make clear the connection with the logical properties proven earlier. I wanted to go into detail (a) so that the reader would feel confident that he or she could implement the algorithm by hand or software, and (b) to make its quadratic cost explicit to avoid the need to discuss alternatives on efficiency grounds. 
So I suggest that rather than offering two supposedly different algorithms, the Copeland algorithm should be preceded by a short description explaining the principles, and saying that a precise algorithmic specification follows. And I propose deleting reference to fancy algorithms such as Floyd-Marshall which don’t add anything. Colin.champion (talk) 08:43, 25 June 2021 (UTC)
replies: text: I have done this. If my explanation is too short, by all means amplify it. Colin.champion (talk) 09:50, 1 July 2021 (UTC)
thread_title:  Algorithms again 

message: "Smith set, but without counting ties" doesn't seem to be notable enough to deserve its own wiki article. –Maximum Limelihood Estimator 03:38, 23 April 2024 (UTC)
thread_title:  Merge into Smith set