Je ne connais que deux preuves du lemme de Schwartz – Zippel. La première preuve (plus courante) est décrite dans l' entrée wikipedia . La deuxième preuve a été découverte par Dana Moshkovitz. Existe-t-il d'autres preuves qui utilisent des idées sensiblement différentes?...
En 2012, Lipton a écrit une entrée de blog sur un nouvel algorithme pour résoudre des systèmes linéaires sur des champs finis par Prasad Raghavendra. Le lien vers le projet de document de Raghavendra sur le sujet est maintenant mort , et je ne trouve rien sur le sujet sur le site Web de...
J'ai un ensemble de nnn vecteurs binaires S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} et un vecteur cible t=1kt=1kt = 1^k qui est le vecteur tout-en-un. Conjecture: si peut être écrit comme une combinaison linéaire d'éléments de S...