Schwartz-Menge

Bei Wahlen ist die Schwartz-Menge die Vereinigung aller minimalen undominierten Mengen. Eine minimale undominierte Menge ist eine nicht leere Menge S von Bewerbern, für welche gilt:

Jeder Bewerber innerhalb der Menge S ist paarweise ungeschlagen von jedem Bewerber außerhalb von S (d. h. eine undominierte Menge).
Keine nicht-leere echte Teilmenge von S erfüllt die erste Eigenschaft (d. h. minimal).

Eine Schwartz-Menge bietet eine Möglichkeit für ein optimales Wahlergebnis. Wahlverfahren, bei denen immer ein Bewerber aus der Schwartz-Menge gewinnt, erfüllen das Schwartz-Kriterium. Die Menge ist nach dem Politikwissenschaftler Thomas Schwartz benannt.<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20141129055154

      | {{#ifeq: 20141129055154 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: SSD and CSSD Condorcet | {{#invoke:WLink|getEscapedTitle|SSD and CSSD Condorcet}} | {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20141129055154}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: SSD and CSSD Condorcet | {{#invoke:WLink|getEscapedTitle|SSD and CSSD Condorcet}} | {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2023-01-07 16:48:48 InternetArchiveBot | 2023-01-07 16:48:48 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20141129055154}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: SSD and CSSD Condorcet | {{#invoke:WLink|getEscapedTitle|SSD and CSSD Condorcet}} | {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2023-01-07 16:48:48 InternetArchiveBot | 2023-01-07 16:48:48 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: SSD and CSSD Condorcet | {{#invoke:WLink|getEscapedTitle|SSD and CSSD Condorcet}} | {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2023-01-07 16:48:48 InternetArchiveBot | 2023-01-07 16:48:48 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: SSD and CSSD Condorcet | {{#invoke:WLink|getEscapedTitle|SSD and CSSD Condorcet}} | {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}} }} (Memento{{#if: {{#if: 2023-01-07 16:48:48 InternetArchiveBot | 2023-01-07 16:48:48 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: SSD and CSSD Condorcet | {{#invoke:WLink|getEscapedTitle|SSD and CSSD Condorcet}} | {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}} }}  
                 }}}}}}}}{{#if:2023-01-07 16:48:48 InternetArchiveBot
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20141129055154|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: SSD and CSSD Condorcet
    | {{#if: {{#invoke:WLink|isBracketedLink|SSD and CSSD Condorcet}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.telematicsfreedom.org/en/project/15/ssd-and-cssd-condorcet }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref>

Eigenschaften

die Schwartz-Menge ist nie leer – es gibt immer eine minimale undominierte Menge.
zwei unterschiedliche minimale undominierte Mengen sind disjunkt.
wenn es einen Condorcet-Gewinner gibt, ist er das einzige Mitglied der Schwartz-Menge. Wenn die Schwartz-Menge nur einen Bewerber enthält, gibt es zumindest einen schwachen Condorcet-Gewinner.
enthält eine minimale undominierte Menge nur einen Bewerber, ist er ein schwacher Condorcet-Gewinner. Enthält eine minimale undominierte Menge mehrere Bewerber, sind sie alle in einem Beatpath-Zyklus miteinander, ein Top-Zyklus.
zwei Kandidaten aus verschiedenen minimalen undominierten Mengen schlagen sich nicht (unentschieden).

Vergleich mit der Smith-Menge

Die Schwartz-Menge ist immer eine Teilmenge der Smith-Menge. Die Smith-Menge ist nur dann größer, wenn ein Bewerber in der Schwartz-Menge im paarweisen Vergleich unentschieden mit einem Bewerber außerhalb der Schwartz-Menge abschneidet. Ein Beispiel:

3 Wähler bevorzugen Bewerber A vor B vor C
1 Wähler bevorzugt Bewerber B vor C vor A
1 Wähler bevorzugt Bewerber C vor A vor B
1 Wähler bevorzugt Bewerber C vor B vor A

A schlägt B, B schlägt C und A ist unentschieden mit C im paarweisen Vergleich. A ist somit das einzige Mitglied der Schwartz-Menge, während alle Bewerber Element der Smith-Menge sind.

Algorithmen

Die Schwartz-Menge kann mit dem Algorithmus von Floyd und Warshall der Komplexität <math>\mathcal{O}(n^3)</math>, oder mit einer Version des Algorithmus von Kosaraju derselben Komplexität berechnet werden.

Schwartz-Kriterium

Ein Wahlmodus erfüllt das Schwartz-Kriterium, sofern er immer ein Element der jeweiligen Schwartz-Menge auswählt. Dies ist beispielsweise für die Schulze-Methode gegeben.

Referenzen

{{#invoke:Vorlage:Literatur|f}} In einer Analyse der seriellen Entscheidungsfindung basierend auf Mehrheitsregel, beschreibt den Smith Satz und Schwartz festgelegt, jedoch offenbar nicht zu erkennen, dass die Schwartzschen Menge mehrere Komponenten haben kann.
{{#invoke:Vorlage:Literatur|f}} Führt den Begriff der Schwartz-Set am Ende des Papiers als eine mögliche Alternative zu Maxiaturisierung, in Anwesenheit von zyklischen Einstellungen als Standard rationale Wahl.
{{#invoke:Vorlage:Literatur|f}} Gibt eine axiomatische Charakterisierung und Begründung der Schwartz-Set als möglich Standard für optimale, rational kollektiven Wahl.
{{#invoke:Vorlage:Literatur|f}} Beweist, dass Schwartz-Set die Menge der undominated Elemente der transitive Schluss der paarweisen Bevorzugung-Beziehung ist.
{{#invoke:Vorlage:Literatur|f}} Erläutert das Smith-Set (mit dem Namen GETCHA) und Schwartz-Set (mit dem Namen GOCHA) als Standards für optimale, rational kollektiven Wahl.

Siehe auch

Verweise

Beispiel Algorithmen zur Berechnung von Schwartz-Set