Solo conozco dos pruebas del lema de Schwartz-Zippel. La primera prueba (más común) se describe en la entrada de wikipedia . La segunda prueba fue descubierta por Dana Moshkovitz. ¿Hay alguna otra prueba que use ideas sustancialmente diferentes?
En 2012, Lipton escribió una entrada de blog sobre un nuevo algoritmo para resolver sistemas lineales sobre campos finitos por Prasad Raghavendra. El enlace al borrador del documento de Raghavendra sobre el tema ahora está muerto , y no puedo encontrar nada sobre el tema en el sitio web de...
Tengo un conjunto de vectores binarios S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } y un vector objetivo t = 1 k, que es el vector de todos.nnnS={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\}t=1kt=1kt = 1^k Conjetura: Si puede...