Hehe... Dat word heel erg leuk... En zijn quamtum encryptie algoritmen.. De onzettend unieke eigenschap is dat de ontvanger kan zien of er iemand geluisterd heeft terwijl dit dat niet mocht.. Daarnaast lijkt het er op dat er algoritmen bestaan die aantoonbaar theoretisch onkraakbaar zijn.. (Iets wat nog bij geen enkele huidige techniek er is )..
Daarnaast zijn er zeer waarschijnlijk hashing methoden die bewijsbaar onkraakbaar zijn..
Dit is het veld van theoretisch informatie die allang quamtumalgorithmen klaar hebben liggen.. Echt super interresantte stuf...
Overigens.. wil ik nog maar eens herhalen dat quamtumcomputing onze systeem 'slechts' een kwadratische speedup gaan geven... Dit lijkt enorm veel maar vergeleken bij de orde van grote waar in de fundamentele informatica gedach word.. zet het niet echt zoden aan de dijk.
Edit : In sommige algorithmen algorithmen is er inderdaad en expoentitele speedup, echter algemeen kwadratisch.. (Ik zal even zoeken naar de bronnen)
(Slides Fundamentele Informatica Tu Delft.. Helaas kan niet de pdf link geven.. omdat die niet publiek beschikbaar 0
Opmerkingen Quantum Comp
• Quantum turing machine (qtm) zijn krachtiger dan standaard Tm’s
Commentaar:
Nee, iedere quantum computer kan gesimuleerd worden door een klassieke
Tm. Voor een aantal problemen is mogelijkerwijs een speedup t.o.v. klassieke
berekeningsmodellen te behalen.
• Quantum computers zijn sneller dan klassieke computers
Commentaar
Teruggebracht tot de vraag geldt BPP ⊂ BQP ? luidt het antwoord: dat weten
we niet. Dit zou namelijk impliceren P ≠ PSPACE en dit is nog open.
MIjn docent noemde hier de kwadratische speedup.. Maar in zijn slide kan ik dat niet helemaal terug vinden
[Reactie gewijzigd door martijnvanegdom]
Volgens mij is het best zinloos om te gaan spreken over 'QC heeft een kwadratische speedup', vermits het echt gewoon afhangt van de gebruikte algoritmes. QC is niet per definitie zo veel sneller; het is gewoon een combinatie van het algoritme en de nieuwe mogelijkheden die QC bieden die het ook mogelijk maken om sneller grotere berekeningen te maken. Misschien dat het voor de theoretische informatica geen wondermiddel is, maar er zijn toch enkele grote problemen die er kunnen uitbreken via quantum computing. Een van de stokpaardjes is momenteel toch het ontbinden in priemfactoren wat op een klassieke computer zwaar is, maar op een quantum-computer een goed algoritme heeft. Voor de mensen die niet weten wat dat inhoudt: public key cryptografie berust op die moeilijkheid dat we met de huidige computers moeilijk kunnen ontbinden in priemfactoren. Als QC dus makkelijk kan ontbinden in priemfactoren, is public key cryptografie van het ene moment op het andere onbruikbaar.
Verder nog een kleine opmerking: er bestaan wel degelijk klassieke algoritmes voor encryptie die onbreekbaar zijn: one-time-pad bijvoorbeeld. Alleen is de praktische implementatie daarvan niet simpel (je sleutel moet even lang zijn als je bericht, en die sleutel moet je ook weer veilig overdragen en elke keer veranderen). En wat quantum-encryptie betreft, eigenlijk gaat het vooral over quantum key distribution: de sleutel voor een klassieke encryptie wordt berekend uit het verloop van een transmissie over een quantumkanaal dat nadien door beide partijen wordt samengevat (en uit die samenvatting wordt de sleutel voor klassieke encryptie gegenereerd). Dat quantumkanaal afluisteren heeft weinig zin inderdaad en is ook te controleren doordat er nadien tussen beide partijen een samenvatting van de communicatie gegeven wordt over een ander kanaal.
Wat het verschil tussen qtm en tm betreft, ik ben niet zo thuis in dat vlak van de informatica; maar is het daar ook niet een beetje zinloos om te spreken van qtm <> tm, een Turing Machine is toch gewoon de abstractie van een 'computer' (om het eenvoudig te zeggen), het maakt dan toch uiteindelijk niet uit of dat gebaseerd is op lucht, qbits, klassieke bits of iets dergelijks? Of voegt de definitie van qtm echt een nieuwe dimensie toe aan het begrip tm?
Wat je andere Q&A betreft, waarvoor staan die afkortingen BPP, BQP, P en PSPACE?
(Als je trouwens toestemming hebt om die slides verder door te geven, ben ik zeker geïnteresseerd en volgens mij zal ik niet de enige zijn; dus, kun/mag je die eventueel elders hosten?)