Framtida miniaturization och mobilisering av datorenheter kräver energi parsimonious "adiobatic" beräkning. Detta är beroende av den logiska reversibiliteten hos beräkningen. Ett exempel är idén om kvantberäkningar som är reversibla med undantag för de irreversibla observationsstegen. Vi föreslår att kvantitativt studera utbytet av beräkningsresurser som tid och utrymme för irreversibilitet i beräkningar. Reversibla simuleringar av irreversibla beräkningar är minnesintensiva. Sådana (polynomiska) simuleringar analyseras här i termer av "reversibla" småstensspel. Vi visar att Bennetts pebblingsstrategi använder minst extra utrymme för det största antalet simulerade steg. Vi härleder en kompromiss för lagringsutrymme kontra oåterkallelig radering. Därefter överväger vi reversibla beräkningar själva. Ett alternativt bevis ges för det exakta uttrycket för den slutliga irreversibilitetskostnaden för en i övrigt reversibel beräkning utan begränsningar av tids- och rymdanvändning. En trade-off-hierarki för tidsreversibilitet i exponentiellt tidsområde visas. Slutligen, extrem timeirreversibility kompromisser för reversibla beräkningar i det fullständigt orealistiska intervallet av beräkningsbara kontra icke-utjämningsbara tidsbundna anges. * Delar av detta dokument presenterades i preliminär form i
I REF föreslog två av oss en kvantitativ studie av utbyten av dataresurser såsom tid och utrymme för antal irreversibla operationer som vi tror kommer att vara relevanta för fysiken hos framtida beräkningsutrustning.
Reversibility and Adiabatic Computation: Trading Time and Space for Energy
{'venue': 'Proc. Royal Society of London, Series A, 452(1996), 769-789', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science', 'Physics']}