2016年3月，阿尔法围棋程序（AlphaGo）对战世界围棋冠军、职业九段选手李世石，以4∶1的总比分获胜。阿尔法围棋程序的工作原理基于下列哪项技术（）。