Deutsch English Français Italiano |
<vd7sss$13ohm$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Jeff Barnett <jbb@notatt.com> Newsgroups: comp.theory Subject: Re: Yet another contribution to the P-NP question Date: Fri, 27 Sep 2024 21:24:07 -0600 Organization: A noiseless patient Spider Lines: 74 Message-ID: <vd7sss$13ohm$1@dont-email.me> References: <85955d539da522cf777ab489101c0e2a@www.rocksolidbbs.com> <4b415dd5a91ac648bee8224fc3c28aa19706e06f.camel@gmail.com> <a4cacd3261a32cb9a769fbfe6ed1cd15@www.rocksolidbbs.com> <87cykqgfax.fsf@bsb.me.uk> <MWqdnZDONIeEjWv7nZ2dnZfqnPudnZ2d@brightview.co.uk> <877cawhg6g.fsf@bsb.me.uk> <AqidnfQXj44K-Gr7nZ2dnZfqnPidnZ2d@brightview.co.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Injection-Date: Sat, 28 Sep 2024 05:24:13 +0200 (CEST) Injection-Info: dont-email.me; posting-host="7f0c95e1e6ec661a4d483db47e536515"; logging-data="1172022"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/3NneCpvbPzfA53sEyGAY3qfPC9nmR9+8=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:hdUtpzI3AAs64GMXRSYtr2t9ffg= In-Reply-To: <AqidnfQXj44K-Gr7nZ2dnZfqnPidnZ2d@brightview.co.uk> Content-Language: en-US X-Antivirus-Status: Clean X-Antivirus: AVG (VPS 240927-4, 9/27/2024), Outbound message Bytes: 6883 T24gOS8yNy8yMDI0IDg6MTAgUE0sIE1pa2UgVGVycnkgd3JvdGU6DQo+IE9uIDI3LzA5LzIw MjQgMjM6NDIsIEJlbiBCYWNhcmlzc2Ugd3JvdGU6DQo+PiBNaWtlIFRlcnJ5IDxuZXdzLmRl YWQucGVyc29uLnN0b25lc0BkYXJqZWVsaW5nLnBsdXMuY29tPiB3cml0ZXM6DQo+Pg0KPj4+ IE9uIDI3LzA5LzIwMjQgMDA6MzQsIEJlbiBCYWNhcmlzc2Ugd3JvdGU6DQo+Pj4+IG5ueW1v dXMxMDlAZ21haWwuY29tIChubnltb3VzMTA5KSB3cml0ZXM6DQo+Pj4+DQo+Pj4+PiBBbHNv LCBJIGRpZCBub3Qga25vdyB0aGlzIHllc3RlcmRheSwgYnV0IGFsdGVybmF0aXZlbHksIHlv dSBjYW4gYWNjZXNzDQo+Pj4+PiB0aGUgZG9jdW1lbnQgZGlyZWN0bHkgdGhyb3VnaCB0aGUg Zm9sbG93aW5nIGxpbms6DQo+Pj4+PiBodHRwczovL2ZpZ3NoYXJlLmNvbS9hcnRpY2xlcy9w cmVwcmludC9Pbl9IaWdoZXJfT3JkZXJfUmVjdXJzaW9uc18yNVNFUDIwMjQvMjcxMDY3NTk/ ZmlsZT00OTQxNDIzNw0KPj4+PiBJIGFtIGhvcGluZyB0aGF0IHRoaXMgaXMgYSBqb2tlLsKg IElmIGl0IGlzIGEgam9rZSwgdGhlbiBJIHNheSB3ZWxsIGRvbmUNCj4+Pj4gc2lyIChvciBt YWRhbSlbKl0uDQo+Pj4+IEJ1dCBJIGZlYXIgaXQgaXMgbm90IGEgam9rZSwgaW4gd2hpY2gg Y2FzZSBJIGhhdmUgYSBwcm9ibGVtIHdpdGggdGhlDQo+Pj4+IGZpcnN0IGxpbmUuwqAgSWYg eW91IHdhbnQgdHdvIG9mIHRoZSBzdGF0ZXMgdG8gYmUgc3ltYm9scyAoYW5kIHRoZXJlIGFy ZQ0KPj4+PiBwb2ludHMgbGF0ZXIgb24gdGhhdCBjb25maXJtIHRoYXQgdGhpcyBpcyBub3Qg YSB0eXBvKSB0aGVuIHlvdSBuZWVkIHRvDQo+Pj4+IGV4cGxhaW4gd2h5IGVhcmx5IG9uLsKg IFlvdSBhcmUgZnJlZSB0byBkZWZpbmUgd2hhdCB5b3Ugd2FudCwgYnV0IGEgDQo+Pj4+IHBh cGVyDQo+Pj4+IHRoYXQgc3RhcnRzICJsZXQgMiA8IDEiIHdpbGwgaGF2ZSB0aGUgcmVhZGVy IHdyb25nLWZvb3RlZCBmcm9tIHRoZQ0KPj4+PiBzdGFydC4NCj4+Pg0KPj4+IFlvdSBtZWFu IHFfYWNjZXB0IGFuZCBxX3JlamVjdD/CoCBJdCBsb29rcyBsaWtlIHRoZXkgYXJlIGp1c3Qg dG8gDQo+Pj4gcmVwcmVzZW50DQo+Pj4gdGhlIGFjY2VwdCBhbmQgcmVqZWN0IHN0YXRlcywg bm90IHRhcGUgc3ltYm9scz/CoCBDYWxsaW5nIHRoZW0gc3ltYm9scyBpcw0KPj4+IGxpa2Ug Y2FsbGluZyBxXzAgYSBzeW1ib2wsIHdoaWNoIHNlZW1zIGhhcm1sZXNzIHRvIG1lIC0gaXMg aXQganVzdCANCj4+PiB0aGF0IHlvdQ0KPj4+IHdhbnQgdG8gY2FsbCB0aGVtICJsYWJlbHMi IG9yIHNvbWV0aGluZyBvdGhlciB0aGFuICJzeW1ib2xzIj8NCj4+DQo+PiBMYXRlciBoZS9z aGUgd3JpdGVzDQo+Pg0KPj4gwqDCoMKgIChPbWVnYSBVIHtxX2FjY2VwdCwgcV9yZWplY3R9 KSoNCj4+DQo+PiB3aGVyZSAqIGlzLCBwcmVzdW1hYmx5LCB0aGUgS2xlZW5lIGNsb3N1cmUu wqAgT21lZ2EgaXMgdGhlIHNldCBvZg0KPj4gbm9uLWJsYW5rIHRhcGUgc3ltYm9scyBvZiB0 aGUgVE1zIHVuZGVyIGRpc2N1c3Npb24gc28gdGhlc2Ugc3RhdGVzIGFyZQ0KPj4gdXNlZCB0 byBtYWtlICJzdHJpbmdzIiB3aXRoIG90aGVyIHRhcGUgc3ltYm9scy4NCj4+DQo+PiBJIGFn cmVlIHRoYXQgd2hhdCB0aGUgc3RhdGVzIGFjdHVhbGx5IGFyZSBpcyBpcnJlbGV2YW50LCBi dXQgdGhhdCB0d28gb2YNCj4+IHRoZW0gYXJlIGxhdGVyIHVzZWQgbGlrZSB0aGlzIGlzIHBy ZXN1bWFibHkgaW1wb3J0YW50Lg0KPj4NCj4+PiBJIGRvbid0IGZ1bGx5IGdldCB0aGUgbm90 YXRpb24gdGhvdWdoIC0gZS5nLiBpdCBzZWVtcyB0byBtZSB0aGF0IHRoZSBUTXMNCj4+PiBo YXZlIHRhcGUgc3ltYm9scyBhbmQgc3RhdGVzLCBidXQgSSBkb24ndCBzZWUgYW55IHN0YXRl IHRyYW5zaXRpb24NCj4+PiB0YWJsZSENCj4+DQo+PiBSaWdodCwgYnV0IHRoYXQncyBsaW5l IDIgYW5kIEkgd2FzIHN0YXJ0aW5nIGF0IGxpbmUgMSENCj4+DQo+PiBJIHRob3VnaHQgaXQg bWlnaHQgYmUgam9rZSBiZWNhdXNlIG9mIHRoZSB3YXkgdGhlIGF1dGhvciBqdXN0IHBpbGVz DQo+PiBkZWZpbml0aW9uIG9uIGRlZmluaXRpb24gdXNpbmcgYml6YXJyZSBub3RhdGlvbnMg bGlrZSBpbnRlZ3JhbCBzeW1ib2xzDQo+PiBidXQgYXBwYXJlbnRseSBub3QuDQo+Pg0KPiBO b3QgYSBqb2tlLCBmb3Igc3VyZS7CoCBTdHVmZiBsaWtlIHRoZSBpbnRlZ3JhbCBzaWduIG5l ZWRzIGV4cGxhbmF0aW9uLiAgDQo+IFBhcmFncmFwaCBbNV0gbG9va3MgbGlrZSBhIGRlZmlu aXRpb24/IG9yIGlzIGl0IHN0YW5kYXJkIGluIHNvbWUgYnJhbmNoIA0KPiBvZiBjb21wdXRh dGlvbiB0aGVvcnk/wqAgSSBoYXZlbid0IHNlZW4gaXQgdXNlZCBsaWtlIHRoYXQsIGJ1dCB3 b3VsZG4ndCANCj4gcmVhbGx5IGtub3cuDQo+IA0KPiBXaGVuIHNvbWVvbmUgdHVybnMgdXAg ZnJvbSBvdXRzaWRlIHRoZSBlc3RhYmxpc2hlZCBhY2FkZW1pYyANCj4gZXN0YWJsaXNobWVu dCB3aXRoIHRoZWlyIG93biBwcm9vZiBpdCBjYW4gYmUgaGFyZCB3b3JrIGRlY2lwaGVyaW5n IHdoYXQgDQo+IHRoZXkncmUgcmVhbGx5IHRyeWluZyB0byBzYXkgLSBzbyBtYW55IHByaXZh dGUgbm90YXRpb25zIHRvIGNsYXJpZnkgYW5kIA0KPiBzbyBvbi7CoCBNYW55IGV4cGVydHMg cmVhc29uYWJseSBkZWNpZGUgdGhleSdyZSB1bmFibGUvdW53aWxsaW5nIHRvIA0KPiBpbnZl c3QgZW5vdWdoIHRpbWUgb24gc29tZXRoaW5nIHZlcnkgbGlrZWx5IHRvIHR1cm4gb3V0IGEg bG9zdCBjYXVzZS4gIA0KPiBBbnlob3csIEkgaG9wZSB0aGlzIHRocmVhZCBnZXRzIHNvbWV3 aGVyZSBhcyBpdCdzIGxpa2VseSBJJ2xsIGxlYXJuIA0KPiBzb21ldGhpbmcgaGVyZSENCj4g DQo+IE9mIGNvdXJzZSB0aGUgcGFwZXIgaXMgdmVyeSB2ZXJ5IGxpa2VseSB3cm9uZywgYW5k IGxpa2VseSBmb3IgYSBjb21tb24gDQo+IHVuZGVybHlpbmcgcmVhc29uIGZvciBzdWNoIHBy b29mIGF0dGVtcHRzLCBidXQgdGhlIGF1dGhvciBzYXlzIGFzIG11Y2ggDQo+IGFuZCBhc2tz IGZvciBhc3Npc3RhbmNlIHJhdGhlciB0aGFuIGluc2lzdGluZyB0aGV5IGtub3cgYmV0dGVy IHRoYW4gYWxsIA0KPiB0aGUgZXhwZXJ0cyAtIHNvIGEgbWlsbGlvbiBtaWxlcyBmcm9tIHRo ZSB1c3VhbCBjbGFzcyBvZiB1c2VuZXQgY3JhbmtzIA0KPiB3ZSB0eXBpY2FsbHkgc2VlLsKg IFtQTywgV00sIEFQLCBOYW0vS0QsIEpTSCBldGMuLi4gYWxsIGR1ZmZlcnMgaW4gdGhlIA0K PiBzZW5zZSBvZiBsYWNraW5nIGJhY2tncm91bmQgKyBhYmlsaXR5IHRvIGV4cHJlc3MgdGhl bXNlbHZlcyBhbmQgcmVhc29uIA0KPiB0ZWNobmljYWxseSwgYnV0IG5vdCByZWNvZ25pc2lu ZyB0aGlzIGZvciB3aGF0ZXZlciByZWFzb25zLsKgIE9rLCBXTSANCj4gbWlnaHQgYmUgaW4g aGlzIG93biBjYXRlZ29yeSBhcyBoZSBzdXBwb3NlZGx5IGhhcyBtb3JlIGJhY2tncm91bmQg dGhhbiANCj4gdGhvc2Ugb3RoZXJzLl0uDQo+IA0KPiBJdCdzIGZ1bm55IC0gdGhpcyBncm91 cCBoYXMgaGFkIHllYXJzIGFuZCB5ZWFycyBvZiB0aGUgbGlrZXMgb2YgUE8gYW5kIA0KPiBo aXMgbm9uc2Vuc2UgY2xhaW1zLsKgIEl0IG1pZ2h0IHNlZW0gYWxtb3N0IGxpa2UgcHJvdmlk ZW5jZSB0aGF0IGp1c3QgYSANCj4gY291cGxlIG9mIGRheXMgYWZ0ZXIgUE8gbW92ZXMgb24g KGFzIGl0IGFwcGVhcnMgaGUgaGFzPykgc29tZW9uZSBzaG91bGQgDQo+IHR1cm4gdXAgd2l0 aCBhIG5ldyB0aHJlYWQgY29udGFpbmluZyAoaG9wZWZ1bGx5KSBhY3R1YWwgbG9naWNhbCBh cmd1bWVudCANCj4gcmF0aGVyIHRoYW4gYSBzdWNjZXNzaW9uIG9mIFBPLW5vbi1sb2dpY2Fs IGNsYWltIGFmdGVyIGNsYWltIHdpdGggbm8gDQo+IGxvZ2ljIcKgIEFsbW9zdCBsaWtlIHRo aXMgaXMgd2hhdCBhIGdyb3VwIGxpa2UgdGhpcyB3YXMgb3JpZ2luYWxseSBtZWFudCANCj4g Zm9yISA6KQ0KKzENCi0tIA0KSmVmZiBCYXJuZXR0DQoNCg==