Una factorización es un algoritmo

Supón que R bloques suman el tensor celda por celda: T_abc = Σ_r U_ra · V_rb · W_rc. Ponlo en la suma de lectura y solo cambia el orden de la suma:

C_c = Σ_r W_rc · (Σ_a U_ra A_a) · (Σ_b V_rb B_b)      # R multiplicaciones m_r

Cada descomposición CP exacta del tensor de la multiplicación en R términos de rango uno es un algoritmo que multiplica con R multiplicaciones.

Es la CP de la sección 11 con un signo igual donde la sección 11 tenía ≈: las 64 celdas tienen que coincidir. El menor número posible es el rango del tensor. Para 2 × 2 el rango es 7: Winograd demostró en 1971 que seis multiplicaciones no bastan.