Blog personnel d'Arthur Milchior

Bon, maintenant qu'on m'a bien montré que j'avais faux, je peux vous révéler la preuve, que j'avais mis dans cet article et vous pouvez vous moquez de moi !

(N'empêche que j'ai réussi à tromper au moins une personne en lui faisant croire qu'elle était juste)

Bon, pour colmater ma preuve, personne aurait un oracle E EXPtime-complet tel que P^E<>NP^E ? Ou une fonction g asymptotiquement plus grande que tout polynôme, et une classe de fonction F tel que la classe de problème C={c est décidable en temps O(f(n)) pour f dans F} possède un problème complet c sous poly-time-reduction, tel que pour toute fonction f dans F f(g(n)) est encore dans F ?

Si vous me donnez ça, sachez que je saurai être généreux dès que l'institut Clay m'aura donné mon million de dollars !

Arthur, qui retourne à ses monoïdes.