ABC147 C HonestOrUnkind2を解く

自分の考えを整理する目的で考察と実装をまとめていく。
実装は以下のAtCoder公式の解説を見た後、Python3にておこなった。

まずはじめに問題の考察をしていく。
問題は以下のリンク先で見ることができる。

考察求めるものは何か

N人のうち正直者であり得る最大人数

与えられているもの・条件は何か

正直者は本当のことを証言する。
不親切な人の証言は本当か嘘かは分からない。
人xは「人yは