SRM 594 DIV 2

一般编程题，稍加思考可以推出：

(1) 从任意一个位置开始，如果能坐上所有位置，则从其他位置开始同样可以

(2) 1的否命题也成立

指定从 ((0, 0)) 开始，编程模拟坐的过程即可判断Possible还是Impossible。

【优化】

(m)、(n) 互质的情况才可以坐上所有座位

从 ((0, 0)) 开始，到达 ((mn-1, mn-1)) 时一共坐上了 (mn) 个座位，下一个座位又回到了 ((0, 0))

若 (m)、(n) 互质则不存在整数 (p)、(q) 使得 (pm=qn<mn)，所以：

从 ((0, 0)) 到 ((mn-1, mn-1)) 中不存在 ((0, 0))

若 ((0, 0)) 到 ((mn-1, mn-1)) 中存在两个位置相同则可以推出存在另外一个 ((0, 0)) ，矛盾，所以：

从 ((0, 0)) 到 ((mn-1, mn-1)) 中不存在任何两个位置相同

综上，命题得证，以下只给出模拟法的代码

class FoxAndClassroom:
    def ableTo(self, n, m):
        row = beginRow = 0
        col = beginCol = 0
        counter = n * m - 1
        while True:
            row = (row + 1) % n
            col = (col + 1) % m
            if row == beginRow and col == beginCol:
                break
            counter -= 1
        if counter == 0:
            return 'Possible'
        else:
            return 'Impossible'

# test
o = FoxAndClassroom()

# test case
assert(o.ableTo(2, 3) == 'Possible')
assert(o.ableTo(2, 2) == 'Impossible')
print('ok')