Reikniritahönnun

Reikniritahönnun er grein innan tölvu- og reiknivísinda sem fjallar um hönnun og mat lausna fyrir vandamál sem hægt er að útfæra með reikniritum. Markmiðið er að búa til lausnir sem eru skilvirkar, bæði í tíma og minni, og sem geta veitt rétt svar eða ágæta nálgunað svar fyrir tiltekna aðgerð eða verkefni.

Ferlið í reikniritahönnun hefst oft með nákvæmri lýsingu vandamálsins: hvaða inntak er til staðar, hvaða úttak þarf að gefa, og hvaða takmörk gilda. Síðan er lausn hönnuð með það að markmiði að uppfylla þessi skilyrði og oft með formlegri ferla- eða prófunargögn sem staðfesta réttmæti og árangur. Að loknu hönnunarferli er lausnin metin með kønum flækjum og raunprófunum til að meta tíma- og minniflækju og tilætlaðan árangur.

Reikniritahönnun byggir á rökfræði, stærðfræði og hugmyndum úr tölvu- og forritunarverkfræði. Hún snertir einnig spurningar um réttmæti lausna, flækjurrit og áreiðanleika, og oft þarf að gera samruna milli formlegra staðhæfinga og raunprófunar. Markmiðið er að veita kerfi og aðferð sem er bæði greinanleg og endurtekin í mismunandi aðstæðum.

Notkun reikniritahönnunar skiptir máli í mörgum greinum, svo sem röðun gagna, leit að stystu leiðum í netkerfum, útreikningi stærðfræðilegra vandamála og mörgum hagnýtum lausnum í hugbúnaðar- og tækniheimum. Hún er grunnur að skilvirkum forritum og lausnarmyndun í daglegu lífi tölvuverks.