 |
| ||||
Home Page
F.A.Qs
Statistical Charts
Past Contests
Scheduled Contests
Award Contest
| ||||||||||
| Online Judge | Problem Set | Authors | Online Contests | User | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Web Board Home Page F.A.Qs Statistical Charts | Current Contest Past Contests Scheduled Contests Award Contest | |||||||||
难道 {a-b<3,b<3} 只能推出 {a<6} ?....In Reply To:你说的没错，当初我也很困惑，不过我的想法是 Posted by:wywcgs at 2006-12-09 20:34:58 > 题目的tighten operation里似乎并没有用到变量是证书的性质，也就是说在计算结果的时候不能使用整数域上的这种变换。不过我目前为止也不知道那个“变量是整数”究竟干什么用的 Followed by:
Post your reply here: |
All Rights Reserved 2003-2013 Ying Fuchen,Xu Pengcheng,Xie Di
Any problem, Please Contact Administrator
