Re: [CFRG] Combinitorics probabilities

Robert Moskowitz <rgm-sec@htt-consult.com> Mon, 08 August 2022 21:42 UTC

Return-Path: <rgm-sec@htt-consult.com>
X-Original-To: cfrg@ietfa.amsl.com
Delivered-To: cfrg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E04ADC15A72D for <cfrg@ietfa.amsl.com>; Mon, 8 Aug 2022 14:42:23 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.908
X-Spam-Level:
X-Spam-Status: No, score=-1.908 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, NICE_REPLY_A=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id n_VBrMIUtgMh for <cfrg@ietfa.amsl.com>; Mon, 8 Aug 2022 14:42:19 -0700 (PDT)
Received: from z9m9z.htt-consult.com (z9m9z.htt-consult.com [23.123.122.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id BE7F1C157B4B for <cfrg@ietf.org>; Mon, 8 Aug 2022 14:42:19 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by z9m9z.htt-consult.com (Postfix) with ESMTP id 2BFAE6256E; Mon, 8 Aug 2022 17:41:41 -0400 (EDT)
X-Virus-Scanned: amavisd-new at htt-consult.com
Received: from z9m9z.htt-consult.com ([127.0.0.1]) by localhost (z9m9z.htt-consult.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id sRjAEyubcivu; Mon, 8 Aug 2022 17:41:33 -0400 (EDT)
Received: from [192.168.160.11] (unknown [192.168.160.11]) (using TLSv1.2 with cipher AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by z9m9z.htt-consult.com (Postfix) with ESMTPSA id 2097A62434; Mon, 8 Aug 2022 17:41:33 -0400 (EDT)
Message-ID: <b335b074-2ca4-5313-1543-4965f9ff5ad4@htt-consult.com>
Date: Mon, 08 Aug 2022 17:42:07 -0400
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0
Content-Language: en-US
To: David Jacobson <david@dmjacobson.com>
Cc: cfrg@ietf.org
References: <20220808210614.7D708608D6@jupiter.mumble.net> <b9d8aa72-8f3b-6e6a-200d-bc152b590d3b@htt-consult.com> <4487BD0B-4D65-41B2-AACA-52DCD9DE6201@dmjacobson.com>
From: Robert Moskowitz <rgm-sec@htt-consult.com>
In-Reply-To: <4487BD0B-4D65-41B2-AACA-52DCD9DE6201@dmjacobson.com>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/cfrg/MScdWR8-nvGUBIMmMsVui9B4_Rw>
Subject: Re: [CFRG] Combinitorics probabilities
X-BeenThere: cfrg@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Crypto Forum Research Group <cfrg.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/cfrg>, <mailto:cfrg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cfrg/>
List-Post: <mailto:cfrg@irtf.org>
List-Help: <mailto:cfrg-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/cfrg>, <mailto:cfrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Mon, 08 Aug 2022 21:42:24 -0000

Now how do I put this into excel (or OF calc)?  :)

On 8/8/22 17:36, David Jacobson wrote:
> I played with this in Mathematica and got this result
>
> (Beta[p, m, 1 - m + n] Gamma[1 + n])/(Gamma[m] Gamma[1 - m + n])    This assumes that m >= 1 && m <= n.
>
> And Beta(a, b) = (a-1)! * (b-1)!  /  (a+b-1)!
>
>
> Here is the Mathematica input that got me the result:
>
> Assuming[{x, m, n} \[Element] Integers && 0 < p < 1,
>   Probability[x >= m, x \[Distributed] BinomialDistribution[n, p]]]
>
>     —David Jacobson
>
>
>
>
>> On Aug 8, 2022, at 2:17 PM, Robert Moskowitz <rgm-sec@htt-consult.com> wrote:
>>
>>
>>
>> On 8/8/22 17:06, Taylor R Campbell wrote:
>>>> Date: Mon, 8 Aug 2022 16:58:45 -0400
>>>> From: Robert Moskowitz <rgm-sec@htt-consult.com>
>>>>
>>>> Well I spent the afternoon googling, but my search foo is weak.
>>>>
>>>> I want the formula for the probablity of receiving at least m out of n
>>>> messages given the probablity of receiving any message is p.
>>> This sounds like the coupon collector's problem?
>>>
>>> https://en.wikipedia.org/wiki/Coupon_collector%27s_problem
>> Close, but I can't map this to my problem in packet reception.
>>
>> _______________________________________________
>> CFRG mailing list
>> CFRG@irtf.org
>> https://www.irtf.org/mailman/listinfo/cfrg
>
> _______________________________________________
> CFRG mailing list
> CFRG@irtf.org
> https://www.irtf.org/mailman/listinfo/cfrg