Sylvester结式法求解多项式方程

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

文中提到的论文是指 这个,论文中对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+a1xn1+...+ang(x)=b0xm+b1xm1+...+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)= a0000b000a

评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值