Vakioedellytys

Vakioedellytys on käsite, jota käytetään useilla tieteenaloilla tarkoittamaan ehtoa tai edellytystä, joka pysyy muuttumattomana analyysin, mallin tai ohjelman aikana. Se kuvaa tilannetta, jossa tietty ehto on tosi riippumatta muuttujien hetkellisestä tilasta.

Matematiikassa ja tilastotieteessä vakioedellytys voi olla kiinteä parametri, jota ei muuteta tutkittavassa järjestelmässä. Esimerkiksi mallissa y = a x + b, a ja b voivat olla vakioedellytyksiä, kun x vaihtelee, jolloin ne toimivat kiinteinä parametrien arvoina.

Tietojenkäsittelytieteessä sekä muodollisissa menetelmissä vakioedellytys voi viitata invariantiin eli ehtoon, joka pysyy totena ohjelman suorituksen ajan. Tällainen ehto voi olla esimerkiksi turvallisuusehto, jonka on aina pysyttävä voimassa, tai kiinteä ennalta määritelty ehto, jota ohjelmassa ei muuteta.

On tärkeää huomata, että termi on kontekstisidonnainen ja sitä käytetään eri tavoin; toisinaan puhutaankin yksinkertaisesti edellytyksestä tai ehtolauseesta, toisinaan käytetään käsitettä invariantti.

Lisäesimerkki: jos tehtävässä oletetaan, että parametri c on vakio (c = 5), niin c toimii vakioedellytyksenä. Vakioedellytyksen merkitys on siten kiinteä ja riippumaton käsiteltävän järjestelmän muista tiloista.