状态空间中，若问题可能具有的初始状态的集合为S，操作的集合为F，目标状态的集合为G，则其三元组表示为（）。