Retourner au contenu associé (journal : Debian adopte systemd comme init par défaut)
Posté par Diagonale de Cantor (site web personnel) le 12 février 2014 à 15:16. En réponse au journal Debian adopte systemd comme init par défaut. Évalué à 3. Dernière modification le 12 février 2014 à 15:16.
Pour plus de précision, vue qu’ils utilisent (1) l’ensemble de Shwartz pour trancher (l’ensemble des imbattus), c’est à dire dans le scénario où O est en tête l’ensemble {U D O} qui ne contient pas F. Donc, en fait, mettre O en têtes fait gagner D.
C’est beau Condorcet, c’est intuitif :)
(1) https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=727708#6729
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Mon avis personnel
Posté par Diagonale de Cantor (site web personnel) . En réponse au journal Debian adopte systemd comme init par défaut. Évalué à 3. Dernière modification le 12 février 2014 à 15:16.
Pour plus de précision, vue qu’ils utilisent (1) l’ensemble de Shwartz pour trancher (l’ensemble des imbattus), c’est à dire dans le scénario où O est en tête l’ensemble {U D O} qui ne contient pas F. Donc, en fait, mettre O en têtes fait gagner D.
C’est beau Condorcet, c’est intuitif :)
(1) https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=727708#6729