在线数独解题器:三个代表是在怎样的情势和背景下形成的?