MacTutor

biografi

Leslie Valiants forældre var Leslie Valiant og Eva Julia Ujlaki. Han blev opdraget i England, deltager Tynemouth High School, North Shields. Denne skole blev omdøbt i 1969, flere år efter Valiant forlod, da det blev kendt som Norham High School. Valiant afsluttede sin skoleuddannelse på Latymer Upper School i King Street, Hammersmith, London. Dette var (og er stadig) en berømt selektiv uafhængig skole med et stort ry, der går tilbage til dets grundlæggelse af Edvard Latymer i 1624. Efter eksamen fra Latymer Upper School, han studerede ved King ‘ s College, Cambridge derefter, efter tildelingen af sin første grad, en BA i matematik, han trådte Imperial College, London for at studere teoretisk datalogi. Efter tildelingen af diplom af Imperial College i datalogi, Valiant gik til universitetet i datalogi, hvor han påtog forskning for en doktorgrad i datalogi med Michael Stuart Paterson som hans rådgiver.
før tildelingen af sin ph. d., Valiant tilbragte året 1973-74 i USA som Gæsteassistent ved Carnegie Mellon University i Pittsburgh, Pennsylvania. Han blev tildelt sin doktorgrad ved Universitetet i 1974 for sin afhandling beslutningsprocedurer for familier af deterministisk Push ned Automata. I samarbejde med sin afhandling rådgiver M s Paterson, Valiant havde præsenteret papiret deterministiske en-counter automata til Erste Fachtagung der Gesellschaft f den oprindelige Informatik den tidligere Automatentheorie und Formale Sprachen i Bonn i 1973. Brauer gennemgik papiret, skrivning:-

en deterministisk en-counter automat (doca) er en deterministisk push ned automat med en et-element stak alfabet. Det er let at se, at inkluderingen og ugyldigheden af krydsningsproblemerne for doca ‘ er ikke kan afgøres. I modsætning til dette giver forfatterne en beslutningsprocedure for ækvivalensen af doca ‘er og viser, at dens tidskompleksitet er afgrænset ovenfor af en funktion eksponentiel i omkring kvadratroden af antallet af tilstande i de testede doca’ er. de antager, at ækvivalensen er afgørende for klassen af alle deterministiske push-ned-automater.

Valiant offentliggjorde papiret ækvivalensproblemet for deterministisk endelig drejningsautomat i 1974. S a Greibach påpeger vigtigheden af dette papir:-

en push ned butik automat (pda) er endelig-drej, hvis der er en ensartet bundet på antallet af gange, det kan skifte fra at skubbe (øge længden af push ned butik) til popping (faldende push ned butik længde) under enhver beregning på enhver indgang. Forfatteren fastslår beslutningen om ækvivalensproblemet (accepterer to maskiner det samme sprog?) for deterministisk finite-turn pda ‘ er. Betydningen af resultatet ligger i de bevisteknikker, der anvendes til at etablere det, og i det faktum, at det repræsenterer et af de største gennembrud i retning af at afvikle den lange udestående formodning om, at ækvivalensproblemet for deterministiske pda ‘er (dpda’ er) er afgørende (det tilsvarende problem vides at være ubeslutsomt for ikke-deterministiske pda ‘ er selv i meget begrænsede tilfælde).

efter hjemkomsten fra USA i 1974 tog Valiant et lektorat ved Leeds University, hvor han arbejdede i de to år 1974-76. Lad os give et andet eksempel på hans tidlige papirer, denne igen skrevet i samarbejde med M S Paterson,. Dette papir fra 1975 deterministisk en-counter automata begynder med følgende forfatteres introduktion:-

vi præsenterer en analyse af deterministisk en-counter automata for at vise, at ækvivalensproblemet for dem er afgørende. Alle vores argumenter og resultater kan oversættes direkte til skemateoretiske termer. Den følge, der derefter følger, er, at ækvivalens er afgørende for Janov-skemaer, selv når disse er tilladt en hjælpetæller.

Valiant flyttede til Skotland i 1975 for at tage et lektorat ved University of Edinburgh. I 1977 giftede han sig med Gayle Lynne Dyckhoff; de havde to sønner Gregory John Valiant og Paul a Valiant. I Edinburgh blev han forfremmet til læser i 1981, men rejste til USA i 1982, da han var gæsteprofessor ved Harvard. Senere samme år blev han udnævnt Gordon McKay Professor i datalogi og Anvendt Matematik ved Harvard. Han forblev på Harvard, selvom han tilbragte året 1987-88 som gæstekammerat ved University of England. I 2001 blev han udnævnt t Jefferson Coolidge Professor i datalogi og Anvendt Matematik i Harvard School of Engineering og Applied Sciences.
de bidrag, som Valiant har gjort, er ganske bemærkelsesværdige, og han har modtaget den højeste ære for sine præstationer. Han var Guggenheim-stipendiat i 1985-86 og modtog Nevanlinna-prisen i 1986. Han blev valgt til stipendiat i Royal Society of London i 1991 og det følgende år en stipendiat fra American Association for Artificial Intelligence. Han blev tildelt Knuth-Prisen fra Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory og Institute of Electrical and Electronics Engineers Technical Committee on the Mathematical Foundations of Computing i 1997. Han blev valgt til United States National Academy of Sciences i 2001, modtog European Association for Theoretical Computer Science-prisen og Association for Computing Machinery ‘ s 2010 A M Turing-pris, som vil blive uddelt til Valiant ved foreningens årlige prisbanket i San Jose, Californien den 4.juni 2011. Prisen inkluderer også en pengepræmie på $250.000.
vi har ikke forklaret de bidrag fra Valiant, der har ført til, at han modtog de højest mulige priser. For at gøre dette citerer vi fra kommentaren, der ledsager meddelelsen om Turing-prisen (artiklerne i 2011, der henvises til nedenfor, citerer fra den kommentar). Kommentaren begynder: –

i løbet af de sidste 30 år har Leslie Valiant ydet grundlæggende bidrag til mange aspekter af teoretisk datalogi. Hans arbejde har åbnet nye grænser, introduceret geniale nye koncepter og præsenteret resultater af stor originalitet, dybde og skønhed. Gang på gang har Valiants arbejde bogstaveligt defineret eller transformeret Datalogisk forskningslandskab.

det fortsætter derefter med at give detaljer om flere områder, som Valiant har ydet fantastiske bidrag til. Vi giver nogle korte uddrag fra hvert af fire områder:

  1. Computational learning theory. Valiants største enkeltbidrag kan være hans papir ‘a theory of the learnable’ (1984), som lagde grundlaget for computational learning theory. … Valiant ‘s” sandsynligvis ca.korrekte ” (PAC) model leverede smukke fundamenter til selve begrebet læring.
  2. kompleksitet af opregning. I begyndelsen af 1970 ‘ erne behandlede beregningskompleksitet generelt vanskeligheden ved beslutningsproblemer, såsom om en graf har en perfekt matchning, eller om en rejsende sælger kan finde en rute med højst en vis længde. … En af Valiants mest bemærkelsesværdige opdagelser er, at tælleproblemer er meget mere subtile end tidligere erfaringer foreslået. Et tælleproblem beder om antallet af nogle kombinatoriske objekter: for eksempel, hvor mange perfekte matchninger er der i en graf? Vi spørger ikke kun beslutningsproblemet om, hvorvidt dette tal er positivt, men også hvor stort det er. Hvis beslutningsproblemet er vanskeligt, skal tællingsproblemet også være, men Valiants overraskende erkendelse var, at det omvendte mislykkes. I sit papir “kompleksiteten ved at beregne det permanente” (1979) viste han, at selv om der er en effektiv algoritme til at fortælle, om en graf har en perfekt matchning, er der ingen effektiv algoritme til at tælle perfekte matchninger (medmindre P = NP), og faktisk er det lige så svært at tælle perfekte matchninger som ethvert tælleproblem. Dette kom som et chok for det beregningsmæssige kompleksitetssamfund, som var vant til tanken om, at beslutningsproblemer let ville fange nøglefunktionerne i et problem.
  3. algebraisk beregning. Et andet vigtigt bidrag til beregningskompleksitet var Valiants teori om algebraisk beregning, hvor han etablerede en ramme for forståelse af, hvilke algebraiske formler der kan evalueres effektivt. … I sit papir “Fuldstændighedsklasser i algebra” (1979) karakteriserede Valiant vanskeligheden ved algebraisk beregning med hensyn til to grundlæggende og nært beslægtede funktioner fra lineær algebra, nemlig determinanten og den permanente.
  4. Parallel og distribueret computing. Ud over beregningsmæssig læringsteori og beregningskompleksitet er et tredje bredt område, hvor Valiant har ydet vigtige bidrag, teorien om parallel og distribueret computing. Hans resultater her spænder fra enkel, men kraftfuld og elegant, indsigt til at revurdere selve fundamentet. Et eksempel på en simpel indsigt er hans parallelle routingordning, beskrevet i papiret “en ordning for hurtig parallel kommunikation” (1982).

vi afslutter denne biografi med fuldt ud at citere konklusionen af Turing-prisen: –

sjældent ser man en så slående kombination af dybde og bredde som i Valiants arbejde. Han er virkelig en heroisk figur inden for teoretisk datalogi og en rollemodel for sit mod og kreativitet i at tackle nogle af de dybeste uløste problemer inden for videnskab.

Skriv et svar

Din e-mailadresse vil ikke blive publiceret.