Introductie
Al meer dan 40 jaar bestudeert Avi Wigderson problemen. Maar als computationele complexiteitstheoreticus bekommert hij zich niet noodzakelijkerwijs om de antwoorden op deze problemen. Vaak wil hij gewoon weten of ze oplosbaar zijn of niet, en hoe hij dat kan vertellen. โDe situatie is belachelijkโ, zei hij Wigderson, een computerwetenschapper aan het Institute for Advanced Study in Princeton, New Jersey. Hoe moeilijk een vraag ook lijkt, een efficiรซnte manier om deze te beantwoorden kan zich net buiten bereik verbergen. โVoor zover we weten, kunnen we voor elk probleem waarmee we worden geconfronteerd en dat we proberen op te lossen, niet uitsluiten dat er een algoritme voor bestaat dat het probleem kan oplossen. Dit is voor mij het meest interessante probleem.โ
Vandaag werd Wigderson uitgeroepen tot winnaar van de AM Turing-prijs, algemeen beschouwd als een van de hoogste onderscheidingen in de informatica, vanwege zijn fundamentele bijdragen aan de berekeningstheorie. Wigdersons werk heeft bijna elk gebied van het vakgebied geraakt. Zijn collega's, medewerkers en leerlingen zeggen dat hij voortdurend onverwachte bruggen vindt tussen uiteenlopende gebieden. En zijn werk over willekeur en berekeningen, dat in de jaren negentig begon, bracht diepe verbanden aan het licht tussen wiskunde en informatica die ten grondslag liggen aan het huidige onderzoek.
Madhu Soedan, een computerwetenschapper aan de universiteit van Harvard die in 2002 de Rolf Nevanlinna-prijs won (nu de Abacus-prijs genoemd), zei dat Wigdersons invloed op het veld onmogelijk te missen is. "Het is heel moeilijk om op welk gebied dan ook in de informatica te werken zonder daadwerkelijk te kruisen met het werk van Avi," zei Sudan. โEn overal vind je hele diepe inzichten.โ Eind jaren tachtig werkte Sudan bijvoorbeeld samen met Wigderson aan een artikel waarin verbanden tussen bepaalde wiskundige functies en polynomen werden onderzocht. Dat werk lanceerde de hele carriรจre van Soedan. โDit is typisch voor Aviโ, zei Sudan. "Hij komt in de ruimte, stelt de juiste vragen en gaat dan verder."
Wigderson groeide op in Haifa, Israรซl, als een van de drie zonen van een verpleegster en een elektrotechnisch ingenieur, beiden overlevenden van de Holocaust. Zijn vader hield van puzzels en was intens geรฏnteresseerd in fundamentele ideeรซn in de wiskunde, die hij met zijn kinderen deelde. โHij is de man van wie ik door dit virus ben besmetโ, zei Wigderson. Toen hij in de jaren zeventig aan de Technion in Haifa ging studeren, wilde hij wiskunde als hoofdvak studeren, maar zijn ouders stuurden hem in plaats daarvan naar informatica. 'Ze dachten dat het misschien een goed idee was dat ik een baan zou hebben als ik klaar ben', zei hij.
Introductie
Hij vond een vakgebied dat rijk was aan diepgaande, onbeantwoorde vragen met een wiskundig karakter. Een van zijn eerste baanbrekende inspanningen concentreerde zich op een schijnbare tegenstrijdigheid: of het mogelijk was iemand anders ervan te overtuigen dat een wiskundige bewering bewezen was zonder te laten zien hoe.
"De persoon die het bewijs ziet, leert niets over het bewijs zelf", zei hij Ran Razo, een computerwetenschapper aan de Universiteit van Princeton. In 1985 introduceerden Shafi Goldwasser, Silvio Micali en Charles Rackoff dit concept van zero-knowledge interactieve bewijzen, waarmee het gebruik ervan voor een paar uitspraken wordt gedemonstreerd. Wigderson heeft dit idee later, samen met Micali en Oded Goldreich, uiteengezet en de voorwaarden uiteengezet die aantonen dat als een verklaring kan worden bewezen, deze ook kan worden bewezen. heeft ook een nulkennisbewijs.
โDit is een belangrijk resultaat in cryptografie; het is extreem centraal,โ zei Raz. Met behulp van een zero-knowledge proof kan iemand bewijzen dat hij een bericht correct heeft gecodeerd of ondertekend met zijn geheime sleutel, zonder dat er enige informatie over wordt prijsgegeven. โAvi heeft een aantal uiterst belangrijke resultaten geboekt op het gebied van cryptografie, en dit is misschien wel de belangrijkste.โ
Maar misschien ligt het meest fundamentele resultaat van Wigderson op een ander gebied: het koppelen van rekenhardheid aan willekeurigheid. Tegen het einde van de jaren zeventig hadden computerwetenschappers zich gerealiseerd dat voor veel moeilijke problemen algoritmen die gebruik maakten van willekeur, ook wel probabilistische algoritmen genoemd, hun deterministische alternatieven ruimschoots konden overtreffen. In een 1977-bestendigRobert Solovay en Volker Strassen introduceerden bijvoorbeeld een gerandomiseerd algoritme dat sneller kon bepalen of een getal een priemgetal is dan de beste deterministische algoritmen van die tijd.
Voor sommige problemen kunnen probabilistische algoritmen verwijzen naar deterministische algoritmen. Begin jaren tachtig werkte Wigderson samen met Richard Karp van de Universiteit van Californiรซ, Berkeley, om het idee van willekeur te verbinden met problemen die als computationeel moeilijk werden beschouwd, wat betekent dat geen bekende deterministische algoritmen ze binnen een redelijke tijd kunnen oplossen. 'We weten niet hoe we moeten bewijzen dat ze moeilijk zijn,' zei Wigderson. Hij en Karp vonden echter een gerandomiseerd algoritme voor een bepaald moeilijk probleem dat ze later konden derandomiseren, waardoor er effectief een deterministisch algoritme voor werd ontdekt. Rond dezelfde tijd lieten andere onderzoekers zien hoe aannames van computationele hardheid bij cryptografieproblemen derandomisatie in het algemeen mogelijk zouden kunnen maken.
De onredelijke effectiviteit van willekeur bracht hem ertoe na te denken over de aard van willekeur zelf. Net als andere onderzoekers uit die tijd vroeg hij zich af hoe noodzakelijk het was voor een efficiรซnte probleemoplossing en onder welke omstandigheden het helemaal geรซlimineerd kon worden. โAanvankelijk was het niet duidelijk of dit alleen onze eigen domheid was, dat we de willekeur niet kunnen wegnemenโ, zei hij. โMaar de grotere vraag was of willekeur altijd efficiรซnt kan worden geรซlimineerd of niet.โ Hij realiseerde zich dat de behoefte aan willekeur nauw verbonden was met de rekenmoeilijkheid van het probleem.
Voor een 1994 papier, lichtten hij en de computerwetenschapper Noam Nisan dat verband toe. Ze bewezen dat als er natuurlijke harde problemen bestaan, zoals de meeste computerwetenschappers vermoeden, elk efficiรซnt gerandomiseerd algoritme kan worden vervangen door een efficiรซnt deterministisch algoritme. โJe kunt willekeur altijd eliminerenโ, zei Wigderson.
Introductie
Belangrijk is dat ze ontdekten dat deterministische algoritmen โpseudowillekeurigeโ reeksen kunnen gebruiken: reeksen gegevens die willekeurig lijken, maar dat niet zijn. Ze lieten ook zien hoe harde problemen kunnen worden gebruikt om een โโpseudo-willekeurige generator te bouwen. Het invoeren van de pseudo-willekeurige bits (in plaats van de willekeurige) in een probabilistisch algoritme zal resulteren in een efficiรซnt deterministisch algoritme voor hetzelfde probleem.
Sudan zei dat papier computerwetenschappers hielp de mate van willekeur te herkennen die kon helpen de complexiteit van harde problemen bloot te leggen en hoe deze op te lossen. "Het is niet alleen willekeur, maar percepties van willekeur", zei hij. โDat is de sleutel.โ
Sudan wijst erop dat willekeur overal lijkt te voorkomen, maar in werkelijkheid uiterst moeilijk te vinden is. โMensen vertellen je dat de cijfers van pi er willekeurig uitzien, of dat de reeks priemgetallen er willekeurig uitziet,โ zei hij. โZe zijn volkomen vastberaden, maar voor ons lijken ze willekeurig.โ De perceptie van willekeur vormt volgens hem de kern van de hedendaagse computerwetenschap. โEn dat is iets dat Avi enorm heeft gepromoot.โ
Willekeur is een krachtig hulpmiddel geworden in de complexiteitstheorie, maar het is ongrijpbaar. Het opgooien van munten en het gooien van dobbelstenen is volgens Wigderson niet echt willekeurig: als je voldoende informatie hebt over het fysieke systeem, is het resultaat volkomen voorspelbaar. Perfecte willekeur, zei hij, is ongrijpbaar en moeilijk te verifiรซren.
Maar volgens Wigerson zijn er overal voorbeelden van computergebruik โ niet alleen in smartphones en laptops en encryptie-algoritmen, maar ook in biologische en fysieke systemen. De afgelopen decennia hebben bevindingen uit de rekentheorie inzichten opgeleverd in een reeks onverwachte problemen, van zwermen vogels en verkiezingsresultaten tot biochemische reacties in het lichaam. โIn principe is elk natuurlijk proces een evolutie die je kunt zien als een berekening, dus je kunt het ook als zodanig bestuderen. Bijna alles wordt berekend.โ
- Door SEO aangedreven content en PR-distributie. Word vandaag nog versterkt.
- PlatoData.Network Verticale generatieve AI. Versterk jezelf. Toegang hier.
- PlatoAiStream. Web3-intelligentie. Kennis versterkt. Toegang hier.
- PlatoESG. carbon, CleanTech, Energie, Milieu, Zonne, Afvalbeheer. Toegang hier.
- Plato Gezondheid. Intelligentie op het gebied van biotech en klinische proeven. Toegang hier.
- Bron: https://www.quantamagazine.org/avi-wigderson-complexity-theory-pioneer-wins-turing-award-20240410/
- : heeft
- :is
- :niet
- ][P
- $UP
- 10
- 1985
- 40
- a
- telraam
- in staat
- Over
- over het
- ACM
- werkelijk
- vergevorderd
- algoritme
- algoritmen
- bijna
- langs
- ook
- alternatieven
- allemaal samen
- altijd
- bedragen
- an
- en
- Nog een
- beantwoorden
- antwoorden
- elke
- iets
- verschijnen
- April
- ZIJN
- GEBIED
- gebieden
- rond
- dit artikel
- AS
- veronderstellingen
- At
- auto
- onderscheiding
- BE
- worden
- geweest
- Berkeley
- BEST
- tussen
- Vogels
- stukjes
- lichaam
- pin
- zowel
- bruggen
- bouw
- maar
- by
- Californiรซ
- Dit betekent dat we onszelf en onze geliefden praktisch vergiftigen.
- CAN
- kan niet
- verzorging
- Carriรจre
- centraal
- zeker
- Charles
- Kinderen
- duidelijk
- Munt
- medewerkers
- collega's
- College
- compleet
- ingewikkeldheid
- berekening
- computationeel
- rekenkundig
- computer
- Computer Science
- computergebruik
- concept
- voorwaarden
- Verbinden
- versterken
- aansluitingen
- beschouwd
- consistent
- bijdragen
- overtuigt
- correct
- kon
- geheimschrift
- gegevens
- decennia
- deep
- demonstrating
- Bepalen
- vastbesloten
- Moeilijkheid
- cijfers
- ongelijksoortig
- Nee
- gedaan
- Dont
- vroegste
- Vroeg
- effectief
- effectiviteit
- doeltreffend
- efficiรซnt
- inspanningen
- Verkiezing
- elimineren
- geรซlimineerd
- anders
- loondienst
- in staat stellen
- versleutelde
- encryptie
- ingenieur
- genoeg
- Geheel
- geheel
- Alle
- alles
- overal
- Evolutie
- voorbeeld
- voorbeelden
- bestaan
- uiterst
- Gezicht
- ver
- sneller
- voeden
- weinig
- veld-
- VIND DE PLEK DIE PERFECT VOOR JOU IS
- bevindingen
- vondsten
- flips
- gericht
- Voor
- gevonden
- fundamentele
- oppompen van
- functies
- fundamenteel
- Algemeen
- generator
- krijgt
- goed
- groeide
- baanbrekende
- Kerel
- HAD
- Hard
- harvard
- Harvard University
- Hebben
- he
- Hart
- hulp
- geholpen
- verbergen
- hem
- zijn
- Honors
- Hoe
- How To
- Echter
- HTTPS
- i
- idee
- ideeรซn
- if
- belangrijk
- onmogelijk
- in
- besmet
- beรฏnvloeden
- informatie
- inzichten
- verkrijgen in plaats daarvan
- Instituut
- interactieve
- geรฏnteresseerd
- interessant
- intiem
- in
- fijne kneepjes
- geรฏntroduceerd
- onderzoeken
- onderzoeken
- Israรซl
- IT
- HAAR
- zelf
- Jersey
- Jobomschrijving:
- voor slechts
- sleutel
- blijven
- bekend
- laptops
- groter
- Laat
- later
- gelanceerd
- houdende
- LEARN
- LED
- ligt
- als
- Koppeling
- Kijk
- LOOKS
- hield
- magazine
- groot
- veel
- wiskunde
- wiskundig
- wiskunde
- Materie
- Mei..
- kan zijn
- me
- middel
- Bericht
- missen
- meer
- meest
- beweegt
- Genoemd
- Naturel
- NATUUR
- bijna
- nodig
- noodzakelijk
- Noodzaak
- New
- New Jersey
- geen
- nu
- aantal
- nummers
- of
- vaak
- on
- EEN
- degenen
- Slechts
- or
- origineel
- Overige
- onze
- uit
- resultaten
- het te bezitten.
- Papier
- ouders
- perceptie
- misschien
- persoon
- Fysiek
- pionier
- Plato
- Plato gegevensintelligentie
- PlatoData
- punt
- punten
- mogelijk
- krachtige
- Voorspelbaar
- Prime
- Princeton
- prijs
- probleem
- probleemoplossing
- problemen
- Gepromoveerd
- bewijs
- Bewijzen
- bewezen
- puzzels
- Quanta tijdschrift
- vraag
- Ondervraagd
- Contact
- willekeurige
- Gerandomiseerd
- willekeurigheid
- reeks
- bereiken
- reacties
- realiseerde
- redelijk
- recent
- herkennen
- verwijderen
- vervangen
- onderzoekers
- hulpbron
- resultaat
- Resultaten
- onthullen
- Revealed
- onthullende
- Rijk
- Richard
- rechts
- ROBERT
- rollen
- Regel
- Zei
- dezelfde
- ervaren
- Wetenschap
- Wetenschapper
- wetenschappers
- Geheim
- lijkt
- ziet
- Volgorde
- gedeeld
- vertoonde
- tonen
- Siam
- Gesigneerd
- single
- situatie
- smartphones
- So
- OPLOSSEN
- sommige
- Iemand
- iets
- Tussenruimte
- gestart
- Start
- Statement
- verklaringen
- stuurden
- bestudeerd
- Studie
- dergelijk
- Soedan
- system
- Systems
- vertellen
- neem contact
- dat
- De
- hun
- Ze
- harte
- theorie
- Deze
- ze
- denken
- dit
- gedachte
- drie
- Gebonden
- niet de tijd of
- naar
- vandaag
- vandaag
- top
- aangeraakt
- echt
- waarheid
- proberen
- Turing
- typisch
- voor
- Onderliggende
- Onverwacht
- universiteit-
- University of California
- onredelijk
- us
- .
- gebruikt
- gebruik
- enorm
- controleren
- versie
- zeer
- Bekijk
- virus
- gezocht
- wil
- was
- Manier..
- we
- webp
- GOED
- waren
- Wat
- wanneer
- of
- welke
- WIE
- wijd
- wil
- winnaar
- Wint
- Met
- binnen
- zonder
- Won
- Mijn werk
- werkte
- zou
- jaar
- opgeleverd
- You
- zephyrnet
- nul-kennis
- nul kennisbewijs