Archief - [PROG]Java sorteer algoritmen

Het archief is een bevroren moment uit een vorige versie van dit forum, met andere regels en andere bazen. Deze posts weerspiegelen op geen enkele manier onze huidige ideeën, waarden of wereldbeelden en zijn op sommige plaatsen gecensureerd wegens ontoelaatbaar. Veel zijn in een andere tijdsgeest gemaakt, al dan niet ironisch - zoals in het ironische subforum Off-Topic - en zouden op dit moment niet meer gepost (mogen) worden. Toch bieden we dit archief nog graag aan als informatiedatabank en naslagwerk. Lees er hier meer over of start een gesprek met anderen.
A

Aurora-pilot

Legacy Member
hallo,

weet iemand een goed boek of website waar je goed met java sorteeralgoritmen kan leren opstellen en ook nog correctheidsbewijzen kan leveren.
Slukes
I

Ice

Legacy Member
  1. Ga naar http://en.wikipedia.org/wiki/Sorting_algorithm voor een lijst van Sorteer algoritmen (moest je die niet hebben).
  2. Ga naar de detailpagina van een sorteeralgoritme.
  3. a) Bekijk de uitleg / pseudo code en port naar Java
    b) ofwel, kijk onderaan in de links of er geen link staat naar voorbeeld code in Java.
  4. Schrijf mini klasse dat een vaste array integers sorteert volgens al uw algoritmes en wat timed
Wat je bedoeldt met correctheidsbewijzen snap ik niet echt :p
k

killgore

Legacy Member
correctheitsbewijzen met formele logica en zo?

Das zo irritant :/.

Of bewijzen van snelheidsorde?

En ik moet zeggen dat ik van het boek algorithms in c++ vreselijk content was hoewel het een academisch boek is, denk dat ze die in andere talen ook hebben. Maar mn boek ligt in gent :(.
Q

QplQyer

Legacy Member
Aurora-pilot zei:
hallo,

weet iemand een goed boek of website waar je goed met java sorteeralgoritmen kan leren opstellen en ook nog correctheidsbewijzen kan leveren.
Slukes
Klik om te vergroten...
Moet dat perse in Java zijn?

De ideeën van sorteringsalgoritmen in het algemeen vallen te vinden in het volgende boek van Knuth:

http://www.amazon.com/Art-Computer-...3921541-9684838?ie=UTF8&qid=1183033269&sr=8-2

Of er correctheidsbewijzen instaan kan ik niet zeggen, complexiteitsbewijzen denk ik wel.

Over correctheidsbewijzen in het algemeen kan ik je een hele resem boeken aanbevelen, oa:

- The science of programming van David Gries
http://www.amazon.com/Science-Progr...9684838?ie=UTF8&s=books&qid=1183033068&sr=8-1

- A practical theory of programming van Eric Hehner
http://www.amazon.com/Practical-Pro...9684838?ie=UTF8&s=books&qid=1183033179&sr=1-1

En een pakket dat voor Java automatisch correctheidsbewijzen geeft als je de specificaties juist opgeeft (dat maakt het bewijzen van correctheid toch al gemakkelijker dan met de hand):
- JML, gecombineerd met krakatoa: http://krakatoa.lri.fr/
Het archief is een bevroren moment uit een vorige versie van dit forum, met andere regels en andere bazen. Deze posts weerspiegelen op geen enkele manier onze huidige ideeën, waarden of wereldbeelden en zijn op sommige plaatsen gecensureerd wegens ontoelaatbaar. Veel zijn in een andere tijdsgeest gemaakt, al dan niet ironisch - zoals in het ironische subforum Off-Topic - en zouden op dit moment niet meer gepost (mogen) worden. Toch bieden we dit archief nog graag aan als informatiedatabank en naslagwerk. Lees er hier meer over of start een gesprek met anderen.
Terug
Bovenaan