lilypond-user-fr
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Version 2.25.6


From: Martial R
Subject: Re: Version 2.25.6
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 <jean@abou-samra.fr> a écrit :



Le 25 juin 2023 à 12:26, Vincent Gay <vgay@vintherine.org> a écrit :



25 juin 2023 11:18:08 Ya Gloops <yagloops@yahoo.fr>:

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.

:-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]