WolframAlpha computational knowledge AI
bicolorable graphs