arvutiteaduse instituudi lõputööderegister


Kvant-relatsioonilised hoare-loogika otsused
Nimi Galina Pass
Kokkuvõte Kvant- ja postkvantkrüptograafia väljatöötamisel on vajalik protokollide turbetõendite kontrollimine. Selleks töötati välja kvant-relatsiooniline Hoare Logic. Selle loogika peamine objekt on hinnangud, mis demonstreerivad kahe kvantprogrammi erinevaid seoseid. Nende abil saab otsuseid määratleda võimalike viiside abil: kvantpredikaatide või operaatoritega, eraldatavuse nõudega või ilma selleta. Selle lõputöö uurimisobjektiks on küsimus, kas sellisel kohtuotsusel on võimalik vastata küsimusele, kas see kehtib või mitte. Valitud lähenemisviis on uuritud objektide lineaarse ja kumera koonusstruktuuri kasutamine pooleldi lõpliku ja koonuse programmeerimiseks. See võimaldas rakendada lineaarsete funktsioonide optimeerimisega seotud tulemusi eraldatavate operaatorite komplekti kohal. See pakub mõlema definitsiooni jaoks tõhusat algoritmi ilma eraldatavuse piiranguta. Kahe ülejäänud kohtuotsuse tüübi puhul annab see lähenemisviis probleemi ümbersõnastamise koonuse programmeerimise ja polünoomide mittenegatiivsuse osas. See võimaldab algoritmiliselt kontrollida seoseid kvantprogrammide vahel ja jätkata uuringuid uue vaatenurgaga lahendite lahendatavuse kohta.
Lõputöö keel inglise
Lõputöö tüüp Magister - Informaatika
Juhendaja(d) Dominique Peer Ghislain Dr Unruh
Kaitsmise aasta 2021
PDF