我不知道下面那个反需求函数是如何推导来的。有没有人见过？告诉我在什么书、期刊或者网站上的相关线索也十分感谢。