Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: Re: =?UTF-8?Q?=E2=84=99=E2=89=A0=E2=84=95=E2=84=99?= proof
Date: Sat, 18 May 2024 20:18:45 +0800
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <1977b1a397a014fa436e3db5e4959331ee50f31f.camel@gmail.com>
References: <c551b89c7c198516140458a38018e1a9a80a80fa.camel@gmail.com>
	 <v2a0bu$2o9to$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Sat, 18 May 2024 14:18:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="778fe0d5d58a1a1b8ec520553f4f0ab2";
	logging-data="2920989"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+awDn0ivl5RwLwKLf8a6u9"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:ZbWYVv/UJqP/8AqYyfuE79LmKZk=
In-Reply-To: <v2a0bu$2o9to$1@dont-email.me>
Bytes: 1495

On Sat, 2024-05-18 at 12:36 +0200, immibis wrote:
> On 18/05/24 12:10, wij wrote:
> > If no more information of the
> > key is given, the computation of key_exist(..) can only be done by
> > visiting each one of O(2^|ctext|) possibilies of the key.
>=20
> prove it

You cut off the relevant phrase. "Every key has to be visited", though phra=
sed differently