Subject: Re: Version 2.25.6

From: Jean Abou Samra <[email-masked]>
Date: Sun, 25 Jun 2023 14:16:21 +0200

> Le 25 juin 2023 à 12:26, Vincent Gay <[email-masked]> a écrit :
> 
> 
> 25 juin 2023 11:18:08 Ya Gloops <[email-masked]>:
> 
> Je confirme que le bug Windows est résolu !!!
> Le bug Windows résolu ? Ça c'est du troll ou je ne m'y connais pas 🤣

Prend son air sérieux d'étudiant en informatique.

Malheureusement, je crois que nous avons affaire à un problème NP-difficile.

Théorème. Le problème de l'élimination de Windows de tous les ordinateurs du monde est NP-difficile.

Démonstration. En remplaçant Windows par Linux sur tous les ordinateurs Windows du monde, le gain d'efficacité serait tel qu'avec la puissance de calcul en surplus dégagée, on pourrait facilement résoudre le problème SAT à tous les ordres imaginables.

:-)

---

From: Martial R <[email-masked]>
Date: Sun, 25 Jun 2023 14:26:51 +0200

D'après wikipédia,
pour résoudre un problème SAT il suffit de parcourir la table de vérité du
problème, mais la complexité est alors exponentielle par rapport au nombre
de variables.
Pour Windows la variable étant égal à 1, voir /modetroll nulle modetrol/.
Je vous laisse estimer la complexité.

Le dim. 25 juin 2023 à 14:16, Jean Abou Samra <[email-masked]> a écrit :

> *Prend son air sérieux d'étudiant en informatique.*
>
> *Théorème.* Le problème de l'élimination de Windows de tous les
> ordinateurs du monde est NP-difficile.
>
> *Démonstration.* En remplaçant Windows par Linux sur tous les ordinateurs
> Windows du monde, le gain d'efficacité serait tel qu'avec la puissance de
> calcul en surplus dégagée, on pourrait facilement résoudre le problème SAT
> à tous les ordres imaginables.
>
> :-)
>
>