ABC147 C HonestOrUnkind2を解く

自分の考えを整理する目的で考察と実装をまとめていく。 実装は以下のAtCoder公式の解説を見た後、Python3にておこなった。 まずはじめに問題の考察をしていく。 問題は以下のリンク先で見ることができる。 考察求めるものは何か N人のうち正直者であり得る最大人数 与えられているもの・条件は何か 正直者は本当のことを証言する。 不親切な人の証言は本当か嘘かは分からない。 人xは「人yは正直者ある」または「人yは不親切な人」という証言をする。（証言をしないこともある