b***y
发帖数: 2799 | 1 ☆─────────────────────────────────────☆
foolboylei (老高卖菜) 于 (Thu Jun 19 13:18:01 2008) 提到:
现有一个问题，算是集合领域的一个应用：
Set1 = { u | u = a0*x0 + a1*x1 + a2*x2 + a3*x3 }
Set2 = { v | v = b0*y0 + b1*y1 + b2*y2 + b3*y3 }
其中 ai 和 bi是常系数，已知。 而 x 和 y 是未知数（整数），但范围已知。想知道
Set2是否是Set1的子集。
注： 未知数x的个数可以是arbitary的，但是x和y的个数必须一致，如上面的4个。也
可以是2个，如下面的例子，但在解题的时候，其个数以及各自的系数，都是已知的。
举个例子：
Set1 = { u | u = 8*x0 + 1*x1 } 其中： 0 <= x0 <= 3, 0 <= x1 <= 3
Set2 = { v | v = 1*y0 + 8*y1} 其中： 0 <= y0 <= 2, 0<= y1 <= |
|
