2019年12月27日

摘要: 地址 https://www.acwing.com/problem/content/240/ 有一个划分为N列的星际战场,各列依次编号为1,2,…,N。 有N艘战舰,也依次编号为1,2,…,N,其中第i号战舰处于第i列。 有T条指令,每条指令格式为以下两种之一: 1、M i j,表示让第i号战舰所在 阅读全文
posted @ 2019-12-27 21:07 itdef 阅读(332) 评论(0) 推荐(0)
摘要: 地址 https://www.acwing.com/problem/content/239/ 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本:假设x1,x2,x3,…x1,x2,x3,…代表程序中出现的变量,给定n个形如xi=xjxi=xj或x 阅读全文
posted @ 2019-12-27 14:04 itdef 阅读(255) 评论(0) 推荐(0)

导航