機率可檢測證明（probabilistically checkable proofs）是2018年公布的計算機科學技術名詞。
機率可檢測證明（probabilistically checkable proofs）是2018年公布的計算機科學技術名詞。定義互動式證明的一種情形，其中證明者對驗證者的回答只跟當前所問問題有關，證明者可以把驗證者所有可...
機率可檢測證明定理（probabilistically checkable proofs theorem）是2018年公布的計算機科學技術名詞。定義 非確定性多項式時間複雜性類和一個機率多項式時間驗證者通過常數次隨機查詢證明表所識別的語言類相同。出處 《計算機科學技術名詞 》第...
機率可檢測證明驗證者（probabilistically checkable proofs verifier）是2018年公布的計算機科學技術名詞。定義 一個機率多項式時間算法 V ，它通過隨機地查一個證明表Π中的少量幾位來判定是否接受一個輸入 x 。出處 《計算機科學技術名詞 ...
由聯表中的數據算出隨機變數K^2的值（即K的平方），K^2的值越大，說明“X與Y有關係”成立的可能性越大。定義 獨立性檢驗是統計學的一種檢驗方式。與適合性檢驗同屬於X2檢驗（即卡方檢驗，英文名：chi square test）它是根據...
一般地，假設檢驗可能犯的錯誤有如下兩類：①當假設H₀正確時，小機率事件也有可能發生，此時我們會拒絕假設H₀。因而犯了“棄真”的錯誤，稱此為第一類錯誤，犯第一類錯誤的機率恰好就是“小機率事件”發生的機率α，即 P{拒絕H...
米勒-拉賓素性檢驗是一種素數判定法則，利用隨機化算法判斷一個數是合數還是可能是素數。卡內基梅隆大學的計算機系教授Gary Lee Miller首先提出了基於廣義黎曼猜想的確定性算法，由於廣義黎曼猜想並沒有被證明，其後由以色列耶路撒冷希伯來大學...
該教材可以作為高等院校非數學專業機率論與數理統計的教材，也可以為參加研究生入學考試的同學 提供參考。該教材共有9章，主要闡述機率論基礎、隨機變數及其分布、多維隨機變數及其分布、假設檢驗等機率論和數理統計的內 容。成書過程 修訂...
為了解決影像數據擁有者對雲服務平台中存儲數據丟失或篡改的擔憂問題，本項目提出了遙感雲服務海量影像數據完整性證明研究。本項目從全樣到抽樣、從確定性到機率性的方式來驗證存儲在雲平台中的海量影像數據的完整性，使得影像數據擁有者或...
常把一個要檢驗的假設記作H0,稱為原假設（或零假設） (null hypothesis) ，與H0對立的假設記作H1，稱為備擇假設(alternative hypothesis) 。⑴ 在原假設為真時，決定放棄原假設，稱為第一類錯誤，其出現的機率通常記作α；⑵ 在原...
設(Ω₁,B₁,m₁)與(Ω₂,B₂,m₂)為機率空間。若變換f:Ω₁→Ω₂滿足f(B₂)⊆B1，則T為可測變換。簡介 給定兩個測度空間Ω₁和Ω₂，映射f：Ω₁→Ω₂稱為從Ω₁到Ω₂的可測變換。是從...
恆虛警率檢測是雷達目標自動檢測的一個重要組成部分，可以作為從SAR圖像中提取目標的第一步，是進一步識別目標的基礎。虛警率是指偵察設備在單位時間內將噪聲或其他干擾信號誤判為威脅輻射源信號的機率。而恆虛警率檢測則證明了檢測算法的...
通過如上三種擬素數的定義，可以直接導出三種素性檢驗的方法，分別為：Fermat素性檢驗、Solovay-Stassen素性檢驗（基於Euler擬素數）、Miller-Rabin素性檢驗（基於強擬素數）。可以證明前兩者檢測出n為合數的機率不小於50%，後者檢測出來的...
這個事實很容易證明。首先假設有一個伯努利試驗。試驗有兩個可能的結果：1和0，前者發生的機率為p，後者的機率為1−p。該試驗的期望值等於μ= 1 · p+ 0 · (1−p) =p。該試驗的方差也可以類似地計算：σ²= ...
