Recomendados
Más contenido relacionado
La actualidad más candente
La actualidad más candente (20)
Destacado
Destacado (20)
グレブナー基底を食べよう
- 2. グ？
- 3. グレブナー基底 とは？ ＝ 様々な 多項式 の 計算 に 使える、数学の概念
- 7. ポ？
- 8. ポン酢 とは？ ＝ 様々な 料理 の 味付け に 使える、日本の調味料
- 14. 結論 グレブナー基底 ＝ポン酢
- 16. キーワード
- 17. 嘘
- 18. キーワード 嘘
- 20. 容疑者は３人 ■ 新井さん ■ 馬場さん ■ チェビシェフ
- 21. 容疑者は３人 (個人情報保護) ■ Aさん ■ Bさん ■ Cさん
- 22. 容疑者の証言 ■ A「Bは嘘つきだ」 ■ B「Cは犯人でない」 ■ C「AかBが犯人だ」
- 24. 容疑者の証言 (嘘=犯人) ■ A「Bは嘘つきだ」 ■ B「Cは犯人でない」 ■ C「AかBが犯人だ」
- 25. 挙手 分かった人
- 26. グレブナー基底で 嘘を見抜く
- 27. 容疑者を変数化 ■ Aさん→ 𝑥 ■ Bさん→ 𝑦 ■ Cさん→ 𝑧
- 28. 真偽をゼロイチ に ■ A=正直⇔ 𝑥 = 0、A=嘘 ⇔ 𝑥 = 1 ■ B=正直⇔ 𝑦 = 0、B=嘘 ⇔ 𝑦 = 1 ■ C=正直⇔ 𝑧 = 0、C=嘘 ⇔ 𝑧 = 1
- 29. 証言を多項式化 A「Bは嘘つき」 ⇔ 𝑥 + 𝑦 − 1 = 0
- 30. なぜなら、 𝑥 + 𝑦 − 1 = 0 の時、 𝑥 = 0 (A:正直) ⇒ 𝑦 = 1 (B:嘘) 𝑥 = 1 (A:嘘) ⇒ 𝑦 = 0 (B:正直)
- 31. 証言を多項式化 A「Bは嘘つき」 ⇔ 𝑥 + 𝑦 − 1 = 0
- 32. 証言を多項式化 B「Cは正直」 ⇔ 𝑦 − 𝑧 = 0
- 33. 証言を多項式化 C「AかBは嘘つき」 ⇔ 𝑧 − (1 − 𝑥)(1 − 𝑦) = 0
- 34. 証言の連立方程式 , 𝑥 + 𝑦 − 1 = 0 𝑦 − 𝑧 = 0 𝑧 − 1 − 𝑥 1 − 𝑦 = 0
- 37. 証言の多項式の グレブナー基底を計算 < 𝑥 + 𝑦 − 1, 𝑦 − 𝑧, 𝑧 − (1 − 𝑥)(1 − 𝑦) > ⇓ {𝑥 + 𝑧 − 1, 𝑦 − 𝑧, 𝑧2 }
- 38. 連立方程式の書き換え ⟹ 5 𝑥 + 𝑧 − 1 = 0 𝑦 − 𝑧 = 0 𝑧2 = 0 5 𝑥 + 𝑦 − 1 = 0 𝑦 − 𝑧 = 0 𝑧 − (1 − 𝑥)(1 − 𝑦) = 0 元の連立方程式 グレブナー基底
- 39. 連立方程式の書き換え 5 𝑥 + 𝑧 − 1 = 0 𝑦 − 𝑧 = 0 𝑧2 = 0 グレブナー基底
- 40. 連立方程式の解 5 𝑥 + 𝑧 − 1 = 0 𝑦 − 𝑧 = 0 𝑧2 = 0 ⟹ 5 𝑥 = 1 𝑦 = 0 𝑧 = 0 グレブナー基底
- 41. 結論 A=嘘 ⇔ 𝑥 = 1 だったので、 犯人 は A、つまり、
- 42. 新井
- 43. あらい
- 44. あ らい
- 45. a lie
- 46. 終