Кіріспе
Сайлау жүйесі критерийі. Смитпен доминантты альтернативалардың тәуелсіздігі (ISDA, сондай-ақ Смит IIA деп те аталады) – сайлау жүйесінің критерийі, онда сайлау жеңімпазы Смит жиынтығына кірмейтін кандидаттарға байланысты болмауы керек. Егер барлық кандидаттарды екі санатқа бөліп қарастырсақ: жетекшілер және жетекші емес кандидаттар, онда жетекшілер тобындағы әр кандидат жетекші емес кандидаттар тобындағы әр кандидатты жеңеді. Осыған сәйкес, Смитпен доминантты альтернативалардың тәуелсіздігі, сайлау нәтижесін өзгертпей, жетекші емес кандидаттар тобындағы барлық кандидаттарды жоюға болады делінеді. ISDA-ны анықтаудың тағы бір жолы – жаңа кандидат қосылғанда, егер ол бастапқы жеңімпазды тікелей немесе жанама түрде (жеңімпазды жеңген кандидатты жеңген кандидатты жеңу арқылы) жеңмесе, сайлау жеңімпазы өзгермеуі керек.
Independence of Smith dominated alternatives (ISDA, also known as Smith IIA) is a voting system criterion which says that the winner of an election should not be affected by candidates who are not in the Smith set. Say we classify all candidates in an election into two categories, Frontrunners and non Frontrunners, where every candidate in the group of Frontrunners defeats every candidate in the group of non Frontrunners. Then, independence of Smith dominated alternatives says it is always possible to eliminate all candidates in the group of non Frontrunners without changing the outcome of the election. Another way of defining ISDA is to say that adding a new candidate should not change the winner of an election, unless that new candidate beats the original winner, either directly or indirectly (by beating a candidate who beats a candidate who who beats the winner).
Сәйкестікті қамтамасыз ететін әдістер
Шульце және Ранктелген жұптар Смит үстемдігіне ие баламалардан тәуелсіз. Кез келген дауыс беру жүйесін ISDA талаптарын орындауға мәжбүрлеу үшін, ең бастысы Смит жиынтығына кірмейтін барлық үміткерлерді алдымен жойып тастау керек, содан кейін толық алгоритмді іске қосу қажет.
Айқындық
Смит IIА кейде Смит жиынтығына қатысы жоқ баламалардың тәуелсіздігін білдіреді, яғни Смит жиынтығынан тыс жеңіліске ұшыраған үміткердің нәтижеге әсер ете алмайды. Бұл жоғарыдағы анықтамадан сәл өзгеше, себебі маңызды емес баламалардың тәуелсіздігін қанағаттандыратын әдістер (бірақ Смит критерийін емес) осы Смит IIА анықтамасын да қанағаттандырады. Егер критерий Смит емес баламалардың тәуелсіздігін білдірсе, олардың маңыздылығына қарамастан (яғни жеңімпаздар болатын немесе болмайтын), Смит тәуелсіздігі Смит критерийін қабылдауды талап етеді.