文中提到的论文是指 这个,论文中对Sylvester结式法做了简要的介绍
Sylvester结式法,结式,消元法,ctfshow 七夕杯 LUCK7,crypto,WriteUp
对于多变元方程组,求解的主要问题归结于消元问题,通过消元法去掉其中某些变元,使复杂方程组变成一个求解简单的单变元多项式方程。
现主要消元法有
-
吴方法
-
Grobner 基方法
-
迪克逊(Dixon)结式法
-
希儿维斯特(Sylvester)结式法
-
…
其中 Sylvester 结式法是一种经典的基本消元方法。
结式(Eliminant)
定义来自百度百科
指由两个多项式的系数所构成的一种行列式,或称Sylvester行列式,结式可判断两个多项式是否有公根、是否互素,以及判断多项式是否有重根。
设
f ( x ) = a 0 x n + a 1 x n − 1 + . . . + a n g ( x ) = b 0 x m + b 1 x m − 1 + . . . + b m f(x)=a_0x^n+a_1x^{n-1}+...+a_n\\ g(x)=b_0x^m+b_1x^{m-1}+...+b_m f(x)=a0xn+a1xn−1+...+ang(x)=b0xm+b1xm−1+...+bm
将 f ( x ) f(x) f(x) 分别乘以 x x x ~ x m x^m xm,得到 m m m 个等式
同理,将 g ( x ) g(x) g(x) 分别乘以 x x x ~ x n x^n xn,得到 n n n 个等式
由此定义行列式 R ( f , g ) R(f,g) R(f,g)
R ( f , g ) = ∣ a 0 a 1 a 2 . . . . . . a n 0 . . . 0 0 a 0 a 1 . . . . . . a n − 1 a n . . . 0 0 0 a 0 . . . . . . a n − 2 a n − 1 . . . 0 ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 0 0 . . . 0 a 0 . . . . . . . . . a n b 0 b 1 b 2 . . . . . . . . . b m . . . 0 0 b 0 b 1 . . . . . . . . . b m − 1 b m . . . ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮ 0 . . . 0 b 0 b 1 . . . . . . . . . b m ∣ R(f,g)=\left| \begin{matrix} a_0 & a_1 & a_2 & ... & ... & a_n & 0 & ... & 0\\ 0 & a_0 & a_1 & ... & ... & a_{n-1} & a_n & ... & 0\\ 0 & 0 & a_0 & ... & ... & a_{n-2} & a_{n-1} & ... & 0\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots\\ 0 & 0 & ... & 0 & a_0 & ... & ... & ... & a_n\\ b_0 & b_1 & b_2 & ... & ... & ... & b_m & ... & 0\\ 0 & b_0 & b_1 & ... & ... & ... & b_{m-1} & b_m & ...\\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots\\ 0 & ... & 0 & b_0 & b_1 & ... & ... & ... & b_m \end{matrix} \right| R(f,g)=∣
∣a000⋮0b00⋮0a

本文详细介绍了Sylvester结式法,这是一种用于多变元方程组消元的经典方法。通过构建Sylvester行列式,可以判断多项式是否有公根、是否互素以及是否存在重根。文中以七夕杯Luck7挑战为例,展示了如何使用SageMath实现Sylvester结式法求解方程组,最终找到其公共零点。此外,还给出了一个CTF挑战的解决方案,通过计算Sylvester结式并求解,成功解密了给定的加密数据。

188

被折叠的 条评论
为什么被折叠?



