フォートトーク
@forttalkcom
線はどこにあるか
加入 October 2021
0 正在關注 3.6K 粉絲
四色定理の新証明では、地図の一部を簡略化できるパターンを8,202種類使う。1997年の証明の633種類より多いが、塗り分けの計算量は減った。一か所ずつ簡略化する代わりに、多数の箇所をまとめて処理し、問題の規模を一定割合ずつ減らせるためだ。
顯示更多
熱門用戶
