P10640 BZOJ2356 不等式
题目描述
数学中有很多不等式,比如,当 $x,y>0$ 时:
$$x^2+y^2 \geq 2xy$$
$$x^3+y^3 \geq x^2y+xy^2$$
输入两个分别齐次且系数非负的二元多项式 $f(x,y)$ 和 $g(x,y)$,判断是否存在 $A,r>0$,满足对于任意 $x,y>0$,都有 $f(x,y)\geq Ag(x,y)^r$。
输入格式
包含多组数据,相邻两组数据之间用一个空行隔开。
每组数据包含两行。
第一行包括 $n+2$ 个非负整数 $n,a_0,a_1,\dots,a_n$,其中 $a_i$ 不全为 $0$,表示 $f(x,y)=a_0x^n+a_1x^{n-1}y+\dots+a_ny^n$。
第二行包括 $m+2$ 个非负整数 $m,b_0,b_1,\dots,b_m$,其中 $b_i$ 不全为 $0$,表示 $g(x,y)=b_0x^m+b_1x^{m-1}y+\dots+b_my^m$。
输出格式
对于每组数据,输出一行,若存在则输出 `YES`,否则输出 `NO`。
说明/提示
**【样例解释】**
- 对于第一组样例,$x+y \geq \sqrt{2xy}$。
- 对于第二组样例,$x^2+xy+y^2\geq \sqrt[3]{(x^3+y^3)^2}$,展开易证。
- 对于第三组样例,反设 $x^5+x^2y^3 \geq A(x^3y^2+y^5)^r$,对于所有正数 $x,y$ 都成立。取 $x=y$,得 $2x^5\geq A(2x^5)^r$,若 $r>1$,则 $x$ 取充分大时不等式不成立,若 $r