recursion

    3熱度

    1回答

    我想通過Coq中的兩個參數定義一個嵌套的遞歸函數。 Require Import List. Import ListNotations. Fixpoint map_sequence2 {A B C : Set} (f : A -> B -> option C) (xs : list A) (ys : list B) : option (list C) := match xs, y

    1熱度

    1回答

    我有點瘋狂尋找這個問題的解決方案: 我有這樣的表: 表數據 而且我要查詢來獲取所有通過條件的元素和所有父母,我的意思是,這個結果: 查詢結果 我一直在思考上查詢: SELECT a.* FROM table a JOIN table b ON b.id = a.id WHERE a.id IN (SELECT DISTINCT c.parent_id FROM table c

    0熱度

    1回答

    我想創建一個算法來以遞歸方式和以功能方式進行網絡爬蟲。 我知道如何使用for循環,var變量並累積它。 但我很努力地遞歸做它。 關於我的代碼的一些問題: 1.爲什麼def loop返回Any? 2.有一些URL形式爲http://..../example.zip,其中getLinksPage引發異常,返回None並中斷循環。我該如何處理它? 3.我如何用一些Scala框架測試來測試這段代碼? de

    2熱度

    2回答

    我想弄清楚如何在count和sum規則上使用遞歸。 我通常用list,findall和length或findall和sum_list來做,但我不確定這是否是我所有情況下的最佳選擇。 這是我的做法與列表: %person(name, surname, age) person('A', 'H', 22). person('B', 'G', 24). person('C', 'F', 20).

    0熱度

    3回答

    問題:重複從字符串s中刪除子串t,並打印執行相同操作的步驟數。 實施例:t = ab,s = aabb。在第一步中,我們檢查t是否包含在s之內。這裏,t包含在中間,即a(ab)b。因此,我們將刪除它,結果將爲ab並將計數值增加1。我們再次檢查s是否包含t。現在,t等於s,即(ab)。所以,我們從s中刪除它並增加計數。因此,由於t不再包含在s中,因此我們停止並打印計數值,在此情況下爲2。 我試圖解決

    3熱度

    4回答

    我有一個遞歸函數,我正在測試,但是我在測試期間難以限制遞歸調用。例如,下面是遞歸函數的一個簡單示例,它調用bool_function(n)來檢查它是否應該中斷遞歸循環。 def factorial(n): if bool_function(n): return 1 else: return n * factorial(n-1) 什麼將是檢驗的最好方式

    1熱度

    1回答

    該函數導致堆棧溢出超過大約2000步,有什麼方法可以輕鬆優化它以使用更少的內存嗎? (defun randomwalk (steps state) (displaystate state) (if (equal steps 0) nil (if (solved? state) t (let ((nrmlstate (normalize state)))

    0熱度

    3回答

    我的數據結構是這樣的: var tree = [ { id: 1, children: [] }, { id: 2, children: [ { id: 3, children: [] } ] } ]; 可以有一個分支任意數量的節點或兒童。 我

    0熱度

    3回答

    我使用response節點庫發出http請求,並試圖遞歸調用它(如果用戶在某一天做了提交,請檢查前一天。 ,計算所有的日子來獲得連勝)。 的問題是該行 const githubResponse = await request(options); 吐出來的是錯誤 Unexpected token o in JSON at position 1 await request(options)似乎

    0熱度

    2回答

    我必須編寫一個重複的函數來複制鏈表的每個元素並返回一個鏈表,如果L = [2,3,4],則重複(L)= [2,2,3,3,4 ,4]。我必須遞歸地做這件事。我意識到下面不是正確的解決方案,但我感到困惑。 =( public class MyList { int value; MyList next; public static MyList duplicate(My