给定一个 nnn 元多项式 f(x1,x2,⋯ ,xn)=∑t1=1d∑t2=1d⋯∑tn=1d(at1,t2,⋯ ,tn∏i=1nxiti)f(x_1,x_2,\cdots,x_n)=\sum\limits_{t_1=1}^d\sum\limits_{t_2=1}^d\cdots\sum\limits_{t_n=1}^d\left(a_{t_1,t_2,\cdots,t_n}\prod\limits_{i=1}^nx_i^{t_i}\right)f(x1,x2,⋯,xn)=t1=1∑dt2=1∑d⋯tn=1∑d(at1,t2,⋯,tni=1∏nxiti)。
求最小的 kkk,使得存在 nknknk 个一元多项式 gi,j(xi)g_{i,j}(x_i)gi,j(xi)(1≤i≤n1\le i\le n1≤i≤n,1≤j≤k1\le j\le k1≤j≤k),满足 f(x1,x2,⋯ ,xn)=∑j=1k(∏i=1ngi,j(xi))f(x_1,x_2,\cdots,x_n)=\sum\limits_{j=1}^k\left(\prod\limits_{i=1}^ng_{i,j}(x_i)\right)f(x1,x2,⋯,xn)=j=1∑k(i=1∏ngi,j(xi))。
n=1n=1n=1 时显然 k=1k=1k=1。n=2n=2n=2 时问题等价于求矩阵 at1,t2a_{t_1,t_2}at1,t2 的秩。n≥3n\ge3n≥3 时怎么做?