P vs NP 是千禧年大问题之一, M的theoretical CS 在数学系,IAS 的长聘教授里也有Avi Wigderson. 做theoretical CS 和做discrete math 的人重合度极高,有的在数学系,有的在CS系。数学系做为整体不歧视CS。