[OGR-24] hitparade van 16 augustus

[Pim.]

We staan nog steeds op 100% en ondertussen op 1130 days working maar we zijn er net nog niet:

code:

:: 16-Aug-2003 17:43 CDT (Saturday) ::
No, it's not done yet!

OGR-24 stats are indeed showing 100%, but that's due to rounding. 
As of last  .night, 24 stubs had 0 valid results, and 350 stubs had 
only 1 valid result. Since each stub requires 2 valid results to be 
considered done, we're not. quite there yet. Hopefully tonight..

Nog even afwachten dus
Ondertussen pakt Patrick nog even een mijlpaaal mee (gefeliciteerd), mooi man !

DPC top 30 van 16 augustus 2003

1.	(1)	18.233	Stappel	3.126.729	(3)
2.	(1)	11.395	JiveY [24#3 25#19 64#92 72#147]	3.218.805	(2)
3.	(1)	4.039	Digital Pizza Crew	512.307	(7)
4.	()	3.819	#Rulende_Bikkels	154.902	(22)
5.	(67)	2.870	Graasland	109.283	(26)
6.	(2)	2.380	Elteor-Borislavj	474.047	(8)
7.	(1)	2.004	Erik & Kevin	542.375	(6)
8.	()	1.621	Pixilated NetphreaX	10.512	(111)
9.	(4)	1.421	Team ColdFusion	3.378.682	(1)
10.	(7)	1.174	The Fonz	330.565	(13)
11.	(1)	830	#marijse united	201.054	(20)
12.	()	818	Memendo	14.523	(90)
13.	(3)	817	Cows Taskforce	47.093	(42)
14.	()	726	paul.sinnema	1.924	(281)
15.	()	694	...ScoutLink DPC-Force...	84.800	(30)
16.	(2)	668	HeinZ	86.130	(28)
17.	()	651	Foul Smelling Pig	5.038	(169)
18.	(5)	536	De Unie's	1.251.789	(4)
19.	()	450	Team KillEmAll graast voor goud	5.864	(153)
20.	(2)	433	JelmA	61.686	(36)
21.	(1)	428	Peter 'MathFox' Roozemaal	78.956	(32)
22.	()	428	Unreal	7.486	(133)
23.	(2)	378	bepaalde_iemanden	13.673	(93)
24.	()	359	Conceit	2.529	(245)
25.	(12)	270	Dijkhuis	33.892	(53)
26.	(33)	240	Zonar	46.942	(43)
27.	()	205	M. Ashwin	649	(429)
28.	(23)	179	Tom Goos -aka- TheGrimReaper	5.244	(163)
29.	(32)	174	Mark Rotteveel	8.557	(126)
30.	()	168	RuBy	26.020	(64)

Top 15 teams

1.	()	60.274	Dutch Power Cows	21.407.750	(1)
2.	()	58.818	Team Ninja - The Counts of Crunch	3.022.883	(10)
3.	()	33.009	Slashdot.org 1365	9.644.741	(2)
4.	(14)	21.006	Prof. James Challis' Most Excellent UK Team	1.634.697	(21)
5.	(7)	19.923	SEGA Users Group	2.127.984	(15)
6.	(1)	17.808	BugTraq.Ru Team. United power of xUSSR.	5.569.226	(4)
7.	(2)	15.205	Ars Technica Team Beef Roast	3.769.238	(7)
8.	(2)	14.754	The Amiga RC5 Team effort	5.501.362	(5)
9.	(5)	12.700	Team Warped (OS/2)	2.859.324	(11)
10.	(14)	12.041	fcsm : fr.comp.sys.mac	207.404	(144)
11.	()	11.482	Team EvangeLista (Macs Rule! :-)	3.257.841	(8)
12.	(29)	11.398	Big Pond Cable Dominance	805.320	(44)
13.	(217)	11.264	ENO/REO	844.235	(40)
14.	(4)	11.081	moomin	2.752.690	(12)
15.	(1)	10.859	Winbiff Users Group	2.005.544	(17)

Mijlpalen

Patrick

20.000

Leden

Aantal leden	786
Verschil met vorige dag	0
Nieuwe leden	0
Retirements	0

Huh?? Niemand joinde gisteren DPC!!! Boehoehoehoeeeee.... :'(

[Verwijderd]

Als het dan morgen inderdaad is afgelopen...

MOET iedereen vandaag dus zijn buffers legen

Ben benieuwd wat dat voor scores gaat opleveren

[stappel_]

vandaag

As of last night, there were 374 stubs that were still incomplete

(uit de mailinglists)

[Mobster]

De laatste stubjes....

[Cow_tipping]

En wat heeft dit project nu bewezen? (naast het feit dat DPC hier heeft geroeld?)

[MarkB]

Cow_tipping schreef op 17 August 2003 @ 17:00:
En wat heeft dit project nu bewezen? (naast het feit dat DPC hier heeft geroeld?)

OGR-24 is een zoektocht naar de Optimale Golomb Liniaal (ruler) met 24 markeringen. Een Golomb ruler is een manier om merktekens zo op een lijn te zetten dat ieder paar merktekens een unieke lineaire afstand hebben. OGR's hebben veel toepassingsmogelijkheden waaronder sensorplaatsing voor Röntgenkristallografie en radio astronomie. Ook kunnen Golomb Rulers een significante rol spelen in de combinatiekunde, de coderingstheorie en de communicatie.

Uit de 123-FAQ

[Cow_tipping]

Leuk een zoektocht.
Maar hebben we die lineaal dan gevonden, of niet?

* Cow_tipping slapt MarkB around a bit with a fermented herring (zelluf FAQ)

[Pim.]

En voor nog meer uitleg (niet dat het na de post van MarkB nog nodig is denk ik )

http://www.distributed.net/ogr/

[Verwijderd]

Cow_tipping schreef op 17 augustus 2003 @ 17:23:
Leuk een zoektocht.
Maar hebben we die lineaal dan gevonden, of niet?

Uiteraard
De zoektocht bestond er niet in om een golomb ruler te vinden met 24 markeringen(want die kan ik je zo genereren) maar om een optimal golomb ruler te vinden met 24 markeringen. Dus van alle golomb rulers met 24 markeringen deze die het kortste zijn. Helaas is daar nog geen snelle methode voor gevonden, vandaar deze 'brute force' methode. En na een exhaustive zoektocht moet er eentje (of een aantal in het beste geval) de kortste zijn geweest natuurlijk. Misschien hadden we die vorig jaar al gevonden, of vorige maand. Dat zou best kunnen. Maar je weet niet of er nog een kortere bestaat als je niet verder de hele range afzoekt, vandaar dat men alle mogelijkheden moest proberen. En dat is nu gebeurd

Je kunt OGR eigenlijk een beetje vergelijken met het kleinste getal zoeken in een hele lange rij getallen. Je kan na een stukje van die rij of halfweg of whatever wel een klein getal tegenkomen en denken 'hey, dit is nou veruit het kleinste getal wat ik al zag, dus misschien is dat wel het kleinste uit de hele rij', maar je zult nooit zeker weten dat dit het kleinste was tenzij je de hele rij doorzoekt. Zoiets dus

[Cow_tipping]

Dankje _piranha_
Maar hebben we nu een lineaal gevonden die korter is dan 425 of niet?
zie ook: http://www.research.ibm.com/people/s/shearer/grtab.html#rb voor de tot nu toe bekende linealen.

[Mobster]

Dat zal hopelijk in de .plan van vandaag of morgen te lezen zijn. Als het niet zo is (dat de door dnet gevonden ruler langer is) dan kunnen we gelijk het project wel schrappen imho

[Blistimo]

Ik dacht dat er al één of andere wiskundige was geweest die de meest optimale 24-Golomb ruler had gevonden, en dat wij het bewijs aan het leveren waren dat hij gelijk had. Ik ben benieuwd of dat ook het geval is geweest

[Verwijderd]

Mobster schreef op 18 August 2003 @ 09:07:
Dat zal hopelijk in de .plan van vandaag of morgen te lezen zijn. Als het niet zo is (dat de door dnet gevonden ruler langer is) dan kunnen we gelijk het project wel schrappen imho

Idd

Het zou ook wel aardig zijn als ze die 24 getalletjes ff neerzetten in een nieuwsbericht, weten we ook waar we voor gewerkt hebben

[Blistimo]

Krijgen wij als "winnaar" van het project niet allemaal zo'n lineaaltje dan?

[Verwijderd]

Blistimo schreef op 18 August 2003 @ 09:13:
Krijgen wij als "winnaar" van het project niet allemaal zo'n lineaaltje dan?

Nee, enkel jij en de andere bouwvakkers onder de DPC'ers

[ Voor 8% gewijzigd door Verwijderd op 18-08-2003 20:39 ]

[Verwijderd]

Cow_tipping schreef op 18 augustus 2003 @ 08:51:
Dankje _piranha_
Maar hebben we nu een lineaal gevonden die korter is dan 425 of niet?
zie ook: http://www.research.ibm.com/people/s/shearer/grtab.html#rb voor de tot nu toe bekende linealen.

Wel, er zijn maar 3 mogelijkheden natuurlijk:

- dnet vond een kortste lineaal die langer is dan 425, en in dat geval mogen we OGR wel schrappen en dnet uitlachen want er is al een lineaal bekend die korter is dan hun oplossing
- dnet vond een kortste lineaal met lengte 425, en dat zou het bewijs zijn dat de destijds gevonden lineaal een OGR is
- dnet vond een kortste lineaal met een lengte kleiner dan 425, en dat zou betekenen dat de reeds gekende lineaal geen OGR was...

En het zou idd leuk zijn om de resultaten es in een .plan te lezen ja

[Mobster]

Vooral dat laatste zou geweldig zijn, maar dnet kennende (en hoe ze tot nu toe OGR behandeld hebben) staat is jouw volgorde ook gelijk de volgorde van waarschijnlijkheid

[Cow_tipping]

Stel dat het 1 wordt (en d.net niet de korste lineaal vindt met OGR-24) wat zou dit dan inhouden voor de geldigheid van OGR-25? Dan ben je dus waarschijnlijk al 2 jaar bezig geweest met niks met weinig hoop op een goede afloop.

Laten we maar hopen op een OGR van lengte 425 (of kleiner).

[Verwijderd]

Cow_tipping schreef op 19 August 2003 @ 00:12:
Stel dat het 1 wordt (en d.net niet de korste lineaal vindt met OGR-24) wat zou dit dan inhouden voor de geldigheid van OGR-25? Dan ben je dus waarschijnlijk al 2 jaar bezig geweest met niks met weinig hoop op een goede afloop.

Als zou blijken dat de kortste lineaal die dnet vond inderdaad langer was dan 425 dan mag je alle resultaten van OGR wel schrappen ja, en dan hebben onze koetjes al die tijd voor niets staan rekenen.
Aan de andere kant is het algoritme achter de OGR zoektoch nu weer zo eenvoudig dat ook dnet dit niet om zeep kan helpen (I hope ).

[Dijkhuis]

Als ik het me goed herinner was de wiskundige onderbouwing van ogr-24. Er waren wel wat vraagtekens bij de manier waarop ogr-24 was aangepast naar ogr-25.