多个约束合并器
多个约束合并器
题目描述
给定n个线性不等式ax+b op cx+d，求全部条件的公共实数解集。恒成立条件不限制区间；任一无解条件使整体无解。
输入格式
第一行输入n；接下来n行各输入a、b、op、c、d。
输出格式
输出有限区间、半轴、单点、ALL_REAL或NO_SOLUTION。端点的严格性取所有约束交集。
样例
输入
4
1 0 > 0 -5
1 0 >= 0 -2
1 0 < 0 10
1 0 <= 0 7
输出
-2 <= x <= 7
给定n个线性不等式ax+b op cx+d，求全部条件的公共实数解集。恒成立条件不限制区间；任一无解条件使整体无解。
第一行输入n；接下来n行各输入a、b、op、c、d。
输出有限区间、半轴、单点、ALL_REAL或NO_SOLUTION。端点的严格性取所有约束交集。
4
1 0 > 0 -5
1 0 >= 0 -2
1 0 < 0 10
1 0 <= 0 7
-2 <= x <= 7