目次 概要 判定不可能な言語 証明 証明 対角線論法 証明 参考資料 概要 今回は以下に示す言語が判定不可能であり、その補集合が認識不可能であることを示していきます。 その次に、証明に関連して対角線論法について説明します。 判定不可能な言語 上記の が…
久しぶりの更新です. 今回は先日 AOJ 上で開催された早稲田大学プログラミングコンテスト 2020 の D 問題の思考フローに伴い, 群論を軽くつまみ食いしようと思います. （簡単のため, 定理等の詳細な説明を省いたり, 厳密性を欠く記述が見受けられると思いま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
