qq_45867208的博客

有一个划分为N列的星际战场，各列依次编号为1,2,…,N。有N艘战舰，也依次编号为1,2,…,N,其中第i号战舰处于第i列。有T条指令，每条指令格式为以下两种之一：1、M i j，表示让第i号战舰所在列的全部战舰保持原有顺序，接在第j号战舰所在列的尾部。2、C i j，表示询问第i号战舰与第j号战舰当前是否处于同一列中，如果在同一列中，它们之间间隔了多少艘战舰。现在需要你编写一个程序，处理一系列的指令。输入格式第一行包含整数T，表示共有T条指令。接下来T行，每行一个指令，指令有两种形式：M

在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例如，一个问题中的约束条件为：x1=x2，x2=x3，x3=x4，x1≠x4，这些约束条件显然是不可能同时被满足的，因此这个问题应判定为不可被满足。现在给出一些约束满足问题，请分别对它们进行判定。输入格式输入文