Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

It is easier to change the specification to fit the program than vice versa.

devel / comp.theory / Touring Maschinen vielleicht doch beweisbar ?

SubjectAuthor
* Touring Maschinen vielleicht doch beweisbar ?Thorsten Kiefer
+* Touring Maschinen vielleicht doch beweisbar ?Thorsten Kiefer
|`* Touring Maschinen vielleicht doch beweisbar ?Thorsten Kiefer
| `- Touring Maschinen vielleicht doch beweisbar ?Thorsten Kiefer
`- Touring Maschinen vielleicht doch beweisbar ?Alan Mackenzie

1
Touring Maschinen vielleicht doch beweisbar ?

<dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=23387&group=comp.theory#23387

  copy link   Newsgroups: comp.theory
X-Received: by 2002:ac8:5e4e:: with SMTP id i14mr15881746qtx.129.1636721988778;
Fri, 12 Nov 2021 04:59:48 -0800 (PST)
X-Received: by 2002:a25:db0f:: with SMTP id g15mr16622127ybf.414.1636721988567;
Fri, 12 Nov 2021 04:59:48 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 12 Nov 2021 04:59:48 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:3038:404:2498:7610:511:9daf:634d;
posting-account=hKDGjgoAAAC77AAIHTKsFl3JLKvmZDFz
NNTP-Posting-Host: 2a02:3038:404:2498:7610:511:9daf:634d
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com>
Subject: Touring Maschinen vielleicht doch beweisbar ?
From: wesperic...@gmail.com (Thorsten Kiefer)
Injection-Date: Fri, 12 Nov 2021 12:59:48 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Thorsten Kiefer - Fri, 12 Nov 2021 12:59 UTC

Die Algorithmen sind gleich :

Ind(1) = sum(i,reward(i) * mutation(i)) / sum(i,reward(i))

vieleicht rewards ausrechnen mag alles sein was man tun muss

Re: Touring Maschinen vielleicht doch beweisbar ?

<e81743d9-279e-448a-a44b-ad9401465977n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=23388&group=comp.theory#23388

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:54f:: with SMTP id m15mr16069988qtx.365.1636722123217;
Fri, 12 Nov 2021 05:02:03 -0800 (PST)
X-Received: by 2002:a25:b317:: with SMTP id l23mr17172250ybj.338.1636722122990;
Fri, 12 Nov 2021 05:02:02 -0800 (PST)
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 12 Nov 2021 05:02:02 -0800 (PST)
In-Reply-To: <dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:3038:404:2498:7610:511:9daf:634d;
posting-account=hKDGjgoAAAC77AAIHTKsFl3JLKvmZDFz
NNTP-Posting-Host: 2a02:3038:404:2498:7610:511:9daf:634d
References: <dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e81743d9-279e-448a-a44b-ad9401465977n@googlegroups.com>
Subject: Re: Touring Maschinen vielleicht doch beweisbar ?
From: wesperic...@gmail.com (Thorsten Kiefer)
Injection-Date: Fri, 12 Nov 2021 13:02:03 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Thorsten Kiefer - Fri, 12 Nov 2021 13:02 UTC

Thorsten Kiefer schrieb am Freitag, 12. November 2021 um 13:59:49 UTC+1:
> Die Algorithmen sind gleich :
>
> Ind(1) = sum(i,reward(i) * mutation(i)) / sum(i,reward(i))
>
> vieleicht rewards ausrechnen mag alles sein was man tun muss

kann mal jemand nen busy beaver durchrechnen ?

Re: Touring Maschinen vielleicht doch beweisbar ?

<7f83d369-6a62-407a-a93b-1914e36fcf12n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=23389&group=comp.theory#23389

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:622a:54d:: with SMTP id m13mr15840330qtx.33.1636722316325;
Fri, 12 Nov 2021 05:05:16 -0800 (PST)
X-Received: by 2002:a25:157:: with SMTP id 84mr16334296ybb.4.1636722316125;
Fri, 12 Nov 2021 05:05:16 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 12 Nov 2021 05:05:15 -0800 (PST)
In-Reply-To: <e81743d9-279e-448a-a44b-ad9401465977n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:3038:404:2498:7610:511:9daf:634d;
posting-account=hKDGjgoAAAC77AAIHTKsFl3JLKvmZDFz
NNTP-Posting-Host: 2a02:3038:404:2498:7610:511:9daf:634d
References: <dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com> <e81743d9-279e-448a-a44b-ad9401465977n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7f83d369-6a62-407a-a93b-1914e36fcf12n@googlegroups.com>
Subject: Re: Touring Maschinen vielleicht doch beweisbar ?
From: wesperic...@gmail.com (Thorsten Kiefer)
Injection-Date: Fri, 12 Nov 2021 13:05:16 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Thorsten Kiefer - Fri, 12 Nov 2021 13:05 UTC

Thorsten Kiefer schrieb am Freitag, 12. November 2021 um 14:02:04 UTC+1:
> Thorsten Kiefer schrieb am Freitag, 12. November 2021 um 13:59:49 UTC+1:
> > Die Algorithmen sind gleich :
> >
> > Ind(1) = sum(i,reward(i) * mutation(i)) / sum(i,reward(i))
> >
> > vieleicht rewards ausrechnen mag alles sein was man tun muss
> kann mal jemand nen busy beaver durchrechnen ?
nd(t+1) = sum(i,reward(i) * mutation(i,t)) / sum(i,reward(i))

Re: Touring Maschinen vielleicht doch beweisbar ?

<9e085423-23e3-4e85-b739-1d6690833fe2n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=23390&group=comp.theory#23390

  copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:620a:24c3:: with SMTP id m3mr12743584qkn.301.1636722356951;
Fri, 12 Nov 2021 05:05:56 -0800 (PST)
X-Received: by 2002:a25:b809:: with SMTP id v9mr14544096ybj.56.1636722356768;
Fri, 12 Nov 2021 05:05:56 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 12 Nov 2021 05:05:56 -0800 (PST)
In-Reply-To: <7f83d369-6a62-407a-a93b-1914e36fcf12n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:3038:404:2498:7610:511:9daf:634d;
posting-account=hKDGjgoAAAC77AAIHTKsFl3JLKvmZDFz
NNTP-Posting-Host: 2a02:3038:404:2498:7610:511:9daf:634d
References: <dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com>
<e81743d9-279e-448a-a44b-ad9401465977n@googlegroups.com> <7f83d369-6a62-407a-a93b-1914e36fcf12n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9e085423-23e3-4e85-b739-1d6690833fe2n@googlegroups.com>
Subject: Re: Touring Maschinen vielleicht doch beweisbar ?
From: wesperic...@gmail.com (Thorsten Kiefer)
Injection-Date: Fri, 12 Nov 2021 13:05:56 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Thorsten Kiefer - Fri, 12 Nov 2021 13:05 UTC

Thorsten Kiefer schrieb am Freitag, 12. November 2021 um 14:05:17 UTC+1:
> Thorsten Kiefer schrieb am Freitag, 12. November 2021 um 14:02:04 UTC+1:
> > Thorsten Kiefer schrieb am Freitag, 12. November 2021 um 13:59:49 UTC+1:
> > > Die Algorithmen sind gleich :
> > >
> > > Ind(1) = sum(i,reward(i) * mutation(i)) / sum(i,reward(i))
> > >
> > > vieleicht rewards ausrechnen mag alles sein was man tun muss
> > kann mal jemand nen busy beaver durchrechnen ?
ind(t+1) = sum(i,reward(i) * mutation(i,t)) / sum(i,reward(i))

Re: Touring Maschinen vielleicht doch beweisbar ?

<smlu0j$cl3$1@news.muc.de>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=23391&group=comp.theory#23391

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: acm...@muc.de (Alan Mackenzie)
Newsgroups: comp.theory
Subject: Re: Touring Maschinen vielleicht doch beweisbar ?
Date: Fri, 12 Nov 2021 14:33:55 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <smlu0j$cl3$1@news.muc.de>
References: <dc33b6ea-ea75-40f9-b27f-5816a4eb74a8n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Fri, 12 Nov 2021 14:33:55 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
logging-data="12963"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.4.5-20201224 ("Glen Albyn") (FreeBSD/12.2-RELEASE-p7 (amd64))
 by: Alan Mackenzie - Fri, 12 Nov 2021 14:33 UTC

Thorsten Kiefer <wesperich78@gmail.com> wrote:
> Die Algorithmen sind gleich :

> Ind(1) = sum(i,reward(i) * mutation(i)) / sum(i,reward(i))

> vieleicht rewards ausrechnen mag alles sein was man tun muss

Thorsten,

dies ist eine Englisch-sprachige Gruppe. Du bekommst nur die wenigsten
Antworten auf Deutsch. Besser wäre es auf einer de.*.* Gruppe zu posten.

Schönes Wochenende!

--
Alan Mackenzie (Nürnberg).

devel / comp.theory / Touring Maschinen vielleicht doch beweisbar ?

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor