グレブナー基底で嘘を見抜く

グレブナー基底大好きbot @groebner_basis 【グレブナー基底で嘘を見抜く①】 このアンケートの問題を今から、グレブナー基底を用いて機械的に解いてみたいと思うぶなっ！ みんなも一度この問題について考えてみてぶなっ！ 2015-11-24 19:41:44 グレブナー基底大好きbot @groebner_basis 【グレブナー基底で嘘を見抜く②】 一応、アンケートの問題を文字に起こすと、 問題「次のうち嘘をついているのは誰か？」 A「Bは正しい」 B「CかDは正しい」 C「Dは嘘を付いている」 D「嘘をついているのは１人だけだ」 便宜上、回答１～４をA～Dに置き換えたぶなっ！ 2015-11-24 19:43:31 グレブナー基底大好きbot @groebner_basis 【見抜く③】 まずは、この問題を「多項式」で置き換えたいと思うぶなっ！ A、B、C、Dの主張にそれぞれ

[omega314]

「多項式環の精霊ぶなっしー」

[zyzy]

難しくてよくわからないグレブナー基底よりも、嘘つき問題を多項式で表現できることに感心してしまう……。

[kwms]

#数学