四色定理

GitHub_4CT_Haskell 中断します

すべての好配置をチェックしようとすると、かなりのマシンパワーが必要だと分かった。やむなく中断します。 23/02/12追記メモリリークが原因でした。 Lens の (%~)（modify）を使って対応します。

GitHub_4CT_Haskell 22/10/10の変更 C可約に伴う好配置No.3,10 の変更

すべての C可約の好配置データに追記しないといけなくなった。今回は No.3,10 を変更しました。

GitHub_4CT_Haskell C可約がうまくいかない

Haskell の四色定理のプログラムですが、 C可約チェックがうまくいかないので、しばし中断します。

GitHub_4CT_Haskell 22/09/19の変更 checkCReduce() 13

今日も checkCReduce() を書いた。前回の bug は直しました。

GitHub_4CT_Haskell 22/09/18の変更 checkCReduce() 12

今日も checkCReduce() を書いた。前セクションの値sameangle が壊れていることが分かった。

GitHub_4CT_Haskell 22/09/10の変更 checkCReduce() 11

今日も checkCReduce() を書いた。

GitHub_4CT_Haskell 22/09/03の変更 checkCReduce() 10

今日も checkCReduce() を書いた。番号が飛んでいるのは、別のバグを直していたからです。

GitHub_4CT_Haskell 22/07/31の変更 checkCReduce() 4

今日も checkCReduce() を書いた。

GitHub_4CT_Haskell 22/07/30の変更 checkCReduce() 3

今日も checkCReduce() を書いた。

論文というか読み物の構成をどうしようか、と考えている。できる事なら、小学校高学年くらいの子供にも理解できるような内容にしたい。ちゃんと書こうと思うと、いろいろ下調べする必要がでてきちゃうけど、僕自身がそれほど詳しく調べた事がないテーマを、付け焼き刃で調べて書いても、参考文献程度の情報量にしかならないと思うので、そういうのはむしろ思いきって省いてしまった方がいいのかもしれない。書く順序についても、下敷きになる部分からだんだんと突っ込んだ内容にする書き方と、逆に最初から面倒くさい内容から入って行って、予備知識的なものを後ろにまとめてしまうという書き方もあると思う。いわば、ボトムアップ方式とト…

つーわけで、四色定理の証明のまとめ

今度こそ、四色定理をエレガントに証明する。（追記：すんごい自信持って書き直したのに、間違ってる気がしてきました。ていうか間違ってる。なんか（頭が）おかしいなぁ…）（追記2024-03-26：間違いついでにせっかくだから、今日わかった事書く）辺３彩色可能な３正則グラフのサイクル頂点行列は、各行の成分の和が０になるように列の符号を変更したあと全行対角化したあとに、何と行の符号をうまく選べば、列の成分の和を全て非０にできる：別の言い方をすれば、対角化されてない部分の下の単位行列を配置して、行の符号をうまく選べば列の成分の和を全て０にできるって事。なら当然、対角化部分の下、つまり付け加えた単位…

四色定理と等価な行列の条件について

与えられた３正則グラフを、位数３の体上のサイクル頂点行列に対応させると、その行列は次のような性質を備える事になる。