AIっていうけど、力任せ、総当たりってことでしょ。
あの四色問題を解いたのと同じことをやるわけね。