据说还有图形推理