全ての毒を含む最小の長方形領域を考えると、ゲームの途中でこの長方形領域が分割されることはありません。したがって、この長方形領域の上下左右にある毒のないマスの幅をそれぞれ \(a,b,c,d\) とすると、各操作はこれらの幅を \(1\) 以上狭めることに対応します。

これは Nim と捉えることができるので、\(a,b,c,d\) の総 \(\mathrm{XOR}\) が \(0\) なら後手必勝、\(0\) 以外なら先手必勝です。

実装例(Python3)

h, w, n = map(int, input().split())
min_r, max_r = h, 0
min_c, max_c = w, 0
for i in range(n):
    r, c = map(int, input().split())
    min_r = min(min_r, r)
    max_r = max(max_r, r)
    min_c = min(min_c, c)
    max_c = max(max_c, c)
if (min_r - 1) ^ (min_c - 1) ^ (h - max_r) ^ (w - max_c) != 0:
    print("Alice")
else:
    print("Bob")