 |
| ||||
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 | |||||||||
你说的没错，当初我也很困惑，不过我的想法是In Reply To:对于Z上的区间...x<=3 和 x<4 等价...这么abnormal的序定义,题目也没有特别说明... Posted by:ArXoR at 2006-12-09 20:31:14 题目的tighten operation里似乎并没有用到变量是证书的性质，也就是说在计算结果的时候不能使用整数域上的这种变换。不过我目前为止也不知道那个“变量是整数”究竟干什么用的 Followed by:
Post your reply here: |
All Rights Reserved 2003-2013 Ying Fuchen,Xu Pengcheng,Xie Di
Any problem, Please Contact Administrator
