在given的下面，還應該有X和Y的估值，我的體會，這兩個估值，就是Li(X,Y):=find(L)式中的X和Y應該被賦予的值。不過您在另一個文檔中沒有用預先定義函數，沒有用given，也能通過，就不好解釋了。或許系統用了某個默認值？或者截圖的前面已經有什么數據？

看了您的算式，用了Find() 。那么，在Find()的 前面應該先定義關于L的函數，看樣子，還有X和Y，函數應該是f(X,Y,L) 。先定義這個函數，然后用given，在given 的下面是f(X,Y,L)=0。這之后才會是Li(X,Y):=find(L)。