摘要:
TautologyTime Limit:1000MSMemory Limit:65536KTotal Submissions:5306Accepted:1997DescriptionWFF 'N PROOF is a logic game played with dice. Each die has six faces representing some subset of the possible symbols K, A, N, C, E, p, q, r, s, t. A Well-formed formula (WFF) is any string of these symbo 阅读全文
摘要:
Crashing RobotsTime Limit:1000MSMemory Limit:65536KTotal Submissions:4825Accepted:2115DescriptionIn a modernized warehouse, robots are used to fetch the goods. Careful planning is needed to ensure that the robots reach their destinations without crashing into each other. Of course, all warehouses ar 阅读全文