限制性搜索表述（constrained search formulation; Levy constrained-search formulation; Levy-Lieb constrained-search formulation），理学-化学-物理化学-计算与理论化学，可以描述所有N-可表示性密度的广义泛函的理论。是密度泛函理论的简化与推广，解决了霍亨伯格-科恩定理的v-可表示性问题。限制性搜索表述最早由M.利维[注]和E.H.利布[注]提出。密度泛函理论是一种研究多电子体系电子结构的量子化学计算方法，建立在1964年P.霍亨伯格[注]和M.科恩在巴黎研究均匀电子托马斯-费米（Thomas-Fermi）模型的理论基础时提出的两个定理。定理一指出，不计自旋的全同费米子系统非简并基态的所有性质都是粒子密度函数的唯一泛函。定理二给出了密度泛函理论的变分法，即一个给定的外势，真实电子密度使能量泛函取得最小值。人们普遍认为基态密度不仅决定了波函数，还唯一决定了外势。研究表明，对于包含自旋密度或者流密度的密度泛函理论并不成立。