AtCoder题解 —— AtCoder Beginner Contest 187 —— C - 1-SAT —— 数据结构之哈希表