努力尋找冪循環不變性 function
[英]Struggling to find loop invariant in power function
我正在努力為以下 function 找到一個好的循環不變式，它返回 a^b，其中 a 是實數，b 是自然數： 我已經用幾個例子遍歷了循環，我看到它有兩種情況； 當 b 為偶數或奇數時。 我也明白在第 k 次迭代中，a = a_0^(2^k)，但我正在努力尋找合適的不變量，因為沒有真正的迭代變量可供 ...
斷言語句的最佳放置以確保使用不變量的正確性
[英]Optimal placement of assert statements to assure correctness using invariant
我試圖通過用 Python 編寫的真實示例來理解編程中的不變量。 我很困惑在哪里放置assert語句來檢查不變量。 我的研究顯示了在何處檢查不變量的不同模式。 舉些例子： 對比 下面我為數學書中的一個不變的例子放了代碼。 有兩個版本，一個使用 function，一個不使用。 我希望這沒有什么區別，但 ...
給定兩家銀行之間的轉賬清單，確定進行給定轉賬所需的每家銀行的最低初始賬戶余額
[英]Given a list of transfers between two banks, determine the minimum initial account balance of each bank required for the given transfers to be carried
我有一個我試圖解決的問題。 一些測試用例是成功的，而另一些則不是。 要求： 您將獲得兩個銀行之間的 N 次轉賬（編號從 0 到 N-1）的列表：銀行 A 和銀行 B。第 K 次轉賬由兩個值描述： R[K]（“A”或“B”）代表收款人（匯款被發送到的銀行）； V[K] 表示通過傳輸發 ...
C++ 運算符重載，表達式中的空格規則
[英]C++ operators overload, rules for spaces in expression
我想了解有關使用空格編寫正確的運算符重載的規則（如果有的話）。 我見過不同的 forms：T operator+(T t1, T t2) /* etc. */ T operator+ (T t1, T t2) /* etc. */ T operator +(T t1, T t2) /* et ...
為什么 switch 語句不向應用返回信息？
[英]Why does the switch statement not return information to the app?
<.DOCTYPE html> <html> <head> </head> <body> <input type="textArea" id="textSpot"> <button onclick="changeHtml ...
程序和后置條件中帶有未知變量的 Hoare 三元組的有效性？
[英]Validity of Hoare triple with unknown variable in program and post-condition?
我不確定x在這個 Hoare 三元組中的值： { a = 0 } while (x > a) do (x:= x − 1) { x = 0 } 。 關於如何證明這個 Hoare 三元組是否有效，我有 2 個潛在的想法： 假設x為 0，則 Hoare 三元組有效，或者假設x是任意值，我們將其分 ...
這個鏈表分區算法是如何工作的？
[英]How does this linked list partitioning algorithm work?
我現在正在閱讀《 Cracking the Coding Interview 》一書，它提出了一個鏈表分區問題： 給定一個鏈表和一個值 x，圍繞一個值 x 划分一個鏈表，使得所有小於 x 的節點都在所有大於或等於 x 的節點之前。 假設鏈表不為空。 該解決方案取自 GeeksForGeeks 網 ...
階乘數系統算法的形式證明
[英]Formal proof for a factorial number system algorithm
我提出了一種算法，用於在階乘數字系統中查找給定數字的表示。 我很難以正式的方式證明它的正確性。 這是 Python 中的代碼（注意 k: = s）： ...
循環迭代程序正確性示例 - 循環不變量和程序終止
[英]Loop Iterative Program Correctness Example - Loop Invariants and Program Termination
我需要幫助證明迭代程序的正確性： 我知道我需要以某種方式找到一個循環不變量並通過對循環的歸納來證明它。 問題是這里的 if/else 語句讓我不知道如何想出一個。 我還必須證明程序在那之后是否終止。 我對分步過程是什么有一個大致的了解，但我不知道從作業中從哪里開始這個例子。 任何建議將被認 ...
Sonarqube 錯誤：Class 定義了一個不等於計算值的計算 serialVersionUID
[英]Sonarqube error: Class defines a computed serialVersionUID that doesn't equate to the calculated value
正確性 - Class 定義了一個不等於計算值的計算 serialVersionUID 這個可序列化的 class 定義了一個看似計算值的 serialVersionUID，但是該值與計算值不匹配，因此失去了它作為版本指示符的值。 創建自定義值，如 1、2、3、4.. 等，或使用 IDE 重新計算 ...
使用 java 挑戰問題在森林中查找和格式化視覺上美觀的樹木圖案
[英]Find and format visually aesthetically pleasant pattern of trees in a forest using java challenge question
最近面臨一個有上述問題的面試代碼挑戰。 有一個人擁有他的森林，樹木以行的形式種植。 每行都應以視覺上令人愉悅的方式包含一棵樹。 例如。 如上圖所示： 圖像1 圖2 上面的樹形圖案在視覺上永遠不會令人愉悅： image3 這里每列代表行中的樹及其高度。 沒有兩棵彼此相鄰的樹應該具有相同的高度，以使行在 ...
排序算法正確性驗證
[英]Sorting algorithm correctness verification
我正在嘗試驗證排序算法S的正確性，該算法對至少 4 GB 的大數組A進行排序。 假設S以非遞減順序排序，僅檢查A[i - 1] <= A[i] for 1 <= i < n是不夠的。 這是因為S生成的鍵，即使已排序，也可能包含一個或多個不屬於原始A鍵。 我至少可以想到兩種簡單的方法 ...
是 HTML<div id="text_translate"><p> 我在下面發布了一些代碼，這些代碼為網站制作了一個非常基本的導航欄。 它使用表格進行布局，使用 CSS 進行間距。 但是，我不確定這是否被認為是“最佳”方式。</p><p> 將<table>用於元素周期表或其他數據以外的其他內容是否不正確？</p><p> 太感謝了！</p><p> <strong>HTML 代碼</strong></p><pre><table class="navigation"> <tr> <td>Home</td> <td>About</td> <td>Products</td> <td>Store</td> <td>Contact</td> </tr> </table></pre><p> <strong>CSS 代碼</strong></p><pre>.navigation { margin: 0 auto; background-color: transparent; color: #666666; border-spacing: 60px 10px; letter-spacing: 2px; }</pre></div>用於導航欄的標簽不正確或不正確？<table> </table>
[英]Is the HTML <table> tag improper or incorrect to use for navigation bars?
我在下面發布了一些代碼，這些代碼為網站制作了一個非常基本的導航欄。 它使用表格進行布局，使用 CSS 進行間距。 但是，我不確定這是否被認為是“最佳”方式。 將<table>用於元素周期表或其他數據以外的其他內容是否不正確？ 太感謝了！ HTML 代碼 CSS 代碼 ...
三次排序程序的程序正確性
[英]Program correctness for a cubic sort program
我需要一些幫助來證明我的 python 三次排序程序的循環不變性。 到目前為止，我發現了包含兩部分的循環不變量 0 <= i+1 <= 長度（L） L[0:i+1] 已排序。def cubicSort(L): i = 0 while i + 1 < len(L): ...
二叉樹和的循環不變量
[英]Loop invariant for the sum of a binary tree
我想為下面的一段代碼找到一個循環不變量，我似乎無法弄清楚這段代碼中呈現的任何類型的關系。 該算法的目標是找到二叉樹中所有元素的總和。 它將節點存儲在一個名為s的堆棧中。def TreeSum(root): res = 0 s.push(root) while s.size & ...
拆分、分組和均值：使用 arrays 進行計算
[英]Split, group and mean: computation with arrays
A是給定的N x R xT陣列。 我必須將它水平拆分為N個大小為L x M的子數組，然后將每個z組合在一個數組K中並取一個平均值。 例如： A是數組 rand(N,R,T)= rand( 16, 3,3); 現在我要拆分它： 我有 16 片。 下一步是每 3 個組合在一起（例如）。 現在我將創建K ...
證明歸並排序輸出輸入的排列
[英]Prove that merge sort outputs a permutation of the input
我開始研究計算邏輯，作為練習，我想證明歸並排序算法的正確性。 目前，我很難證明該算法的 output 將始終對應於給定輸入的排列。 如果有人可以幫助我，我會很高興。 非常感謝 ...
請告訴我 貪心算法 時間分析 對於一個問題
[英]Please tell me Greedy algorithm Time analysis For a problem
假設您正在經營一家運輸網絡公司。 假設您有 M 名司機和 N 名乘客，這樣一名司機只能選擇 1 名乘客，而 1 名乘客一次只能乘坐 1 名司機。 為方便出行，司機不得接載學歷相差2年以上的乘客。 請用 devise 的算法來最大限度地匹配司機和乘客的數量。 ...
區間划分問題不同的方法 - 在最少數量的教室中安排講座
[英]Interval partitioning problem different approach - arrange lectures in minimum number of classrooms
在最小數量的教室中安排講座的問題如下：找到最小數量的教室來安排所有的講座，這樣就不會在同一個房間里同時發生兩堂課。 我在書中找到的常用算法是： 現在，我正在考慮另一種方法，我通過按升序完成時間對我的講座進行排序，每次我檢查講座 j 是否與某個教室 k 兼容並且有多個教室與該講座兼容時，我將其安排在那 ...
如何推斷互斥量組成的正確性？
[英]How to reason the correctness of mutex composition?
我正在嘗試使用互斥量實現信號量，以了解有關並發基元和模式以及如何編寫正確的並發程序的更多信息。 這是我找到的資源： http : //webhome.csc.uvic.ca/~mcheng/460/notes/gensem.pdf 第9頁上的解決方案＃1標記為“不正確”。我在此處實現 ...