#ZL33004. 恒成立还是无解
恒成立还是无解
恒成立还是无解
题目描述
给定不等式ax+b op ax+d。两边未知数项相同,消去后只需判断常数关系b op d。
输入格式
一行输入a、b、op、d。
输出格式
常数关系成立输出ALL_REAL,否则输出NO_SOLUTION。
样例
输入
2 3 < 8
输出
ALL_REAL
给定不等式ax+b op ax+d。两边未知数项相同,消去后只需判断常数关系b op d。
一行输入a、b、op、d。
常数关系成立输出ALL_REAL,否则输出NO_SOLUTION。
2 3 < 8
ALL_REAL