Witsenhausen证明最佳函数formula_17和formula_18不会是线性函数。
Witsenhausen所得的结果.Witsenhausen所得的结果如下：
问题的重要性.此反例是在控制理论及信息论的交集。因为此问题的难度，找最佳控制律的问题也受到理论计算机科学社群的关注。此问题的重要性在2008年在墨西哥Cancun举行的47届IEEE决策及控制研讨会（CDC）可以看出，其中有一整个会议就是了解此一反例，而当时距Witsenhausen