Tải bản đầy đủ - 0 (trang)
A.1 Relations, Orders, and Lattices

# A.1 Relations, Orders, and Lattices

Tải bản đầy đủ - 0trang

Transitive.IfaRbandbRc,thenaRc.

Reflexive.Foranya,wehaveaRa.

Antisymmetric.IfaRbandbRa,thena==b.

Aniceintuitiveexampleofanorderis ontheintegers.

Wesaythatanorderistotalwhen,foranydistinctx,y,we

haveeitherxRyoryRx.(Again,thinkof ontheintegers.)In

contrast,apartialorderdoesnotrequirethatalldistinctpairs

beorderable.Somepairscanbeincomparable.

"IloveeachofmydaughtersmorethanIlovetheraccoon

thatlivesbehindthegarage."

"ButIcan'ttellyouwhetherIlovemyolderdaughtermore

thanIlovemyyoungerdaughter."

specialcaseofapartialorder.)

Inapartialorder,anelementcistheleastupperboundof

elementsaandbifcsatisfiestheseproperties:

aRc.

bRc.

IfaRdandbRd,thencRd.

Intuitively,thefirsttwoconditionsmeanthatcisindeedan

upperboundofaandb;thethirdconditionmeansthatitis

"smaller"thananyotherupperboundofaandb.Wecan

similarlydefineagreatestlowerbound.

Alatticeisapartiallyorderedsetsuchthatanytwoelements

havealeastupperboundandagreatestlowerbound.Infinite

transitiveclosureofasimplerelation,andwedrawitasa

directedgraph:

Anodeforeachelementoftheset

Anedgeforeachpairunderthesimplerelation

Pathsforthetransitiverelation

Theresultingstructurewillactuallylookabitlikewhatwecalla

latticeinordinaryEnglish.Eachpairofnodesneedstohavea

uniqueleastupperbound,whichforcesustohavearegular

lattice-workstructure.Thegraphitselfwillhavedistinctivetop

andbottomelements.FigureA.1sketchestheseconcepts.

FigureA.1.Thisdirectedgraphisanexampleofasimple

fromn1ton2.Weseethatnodeeisthegreatestlower

boundofnodesbandc.Nodese,h,i,andjarealllower

boundsofthesetwonodes,buth e,i e,andj e.

A.2Functions

AmathematicalfunctionffromasetDtoasetRisamapthat

takeseachelementxϵDtosomeelementf(x)ϵR.Apartial

functioncanleavesomef(x)undefined.ThesetDhereis

calledthedomainoff;thesetRisitsrange.Sometimes,this

isallexpressedmathematicallyas

f:D

R.

Sometimes,thevaluef(x)ϵRissaidtobetheimageofx

underf;thevaluexissaidtobethepreimageofthevaluef

(x).

TherearenorequirementsthatDandRbedistinct;folksoften

D=R.

Wesometimesdistinguishsomespecialpropertiesoffunctions.

Afunctionfisonetoone(orinjective)ifforanyx yϵD,

wehavef(x) f(y).Eachxgoestoitsveryownimage.

Afunctionfisonto(orsurjective)whenfhitsevery

elementinitsrangeR.

Afunctionfthatisbothinjectiveandsurjectiveisa

bijection.

Thewordhomomorphicderivesfromthephrasesameform.

Afunctionishomomorphicwhenitpreservessome

interestingformofitsdomainset,suchassomespecial

relations.

Wemightblunderandsomehowmanagetointroduceanfsuch

thatit'snotclearwhichelementofRsomexmapsto.Inthis

case,ourfunctionfisnotwelldefined.

A.3ComputabilityTheory

Givenafunctionf:D R,ourfirstreaction,ascomputer

wewouldwriteaprogramthattakesxϵDasaninputandspits

outf(x).

Thefieldofthetheoryofcomputationdevelopedprecise

mathematicalcharacterizationsofwhatthings"programs"can

result:Thereexistwell-definedfunctionsthatcannotbe

computed.

Wequicklypresentthisresult.

A.3.1ThingsCanBeUncountable

Westartwithcountability.

Recallthesetofnaturalnumbers:

={1,2,...}.

Theset isclearlyinfinite;othersetsareinfiniteaswell.

Mathematically,wesaythatasetSiscountablewhenwecan

yes.Forexample,considertherealnumbersbetween0and1:

R={rϵ :0

SinceeachelementofRisbetween0and1,wecanwriteeach

numberofdigits,perhapsanonterminatingsequenceofthem.

somethingverydifferent:

WecanshowthatRisnotcountable,usingsomethingcalled

Cantor'sdiagonalizationtechnique.IfRwerecountable,we

couldenumerateitasr1,r2,...andhittheentireset.Wecould

usethisenumerationandthedecimalrepresentationtobuilda

table:Rownwouldcontainrn,andcolumnkwouldcontainthe

kthdecimaldigit.(SeeFigureA.2.)

FigureA.2.Iftherealnumbersbetween0and1were

countable.wecouldenumeratethemasr1,r2....

Fromthistable,wecanconstructanotherelementofR(callit

s)bygoingalongthediagonalbuttwistingthingsateachstep

—weletthenthdigitofsbeTwist(d),wheredisthenthdigit

ofrn.(SeeFigureA.3.)ThisnewnumbersisclearlyinR.Butit

alsocannotbeinthistable—forifs=rmforsomem,what

wouldthemthdigitofsbe?Cool,eh?

FigureA.3.Bymovingalongthediagonalandtwisting

thedigittheresoit'sdifferent,weproducearealnumber

sthatcannotbeinthisenumeration.

A.3.2ThingsCanBeUncomputable

Wecanusethesameprincipletoshowthatthereare

uncomputablefunctions.LetPbethesetofpossibleprograms

andIbethesetofpossibleinputstotheseprograms.Whenwe

arecountable.So,wecanusethesefactstobuildatable:Row

whenwerunprogramsoninputik.Inentryn,k,wewriteHalt

orNotHalt,dependingonwhetherPn(ik)haltsorrunsforever.

(SeeFigureA.4.)

FigureA.4.BecausetheTuringmachinesarecountable,

wecanenumeratethem(downtherowshere).Because

theirpossibleinputsarecountable,wecanenumerate

themaswell(acrossthecolumnshere).Eachmachineon

eachinputeitherhaltsordoesn't;inthistable,weshow

whathappens.

WecandefineanewTwist()function:

Fromthistable,wecanconstructafunctionfbygoingalong

thediagonalbuttwistingthingsateachstep:

f(in)=Twist(pn(in)).

(SeeFigureA.5.)

FigureA.5.Bymovingalongthediagonalandtwisting

theentrytheresoit'sdifferent,weproduceafunctionf

thatcannotbecomputedbyaTuringmachineinthis

enumeration.

Semantically,thisfunctionfreturnsHaltoninexactlywhenPn

doesnothaltoninputin.Consequently,noprogramcan

computef!Allpossibleprogramsappearinthistable.So,iff

werecomputable,itmustbecomputedbypmforsomem.

However,howcanpm(im)behavethesameasf(im)?Ifpm(im)

halts,thenf(im)mustsayNotHalt,sopm f;ifpm(im)does

nothalt,thenf(im)musthalt,sopm f.Cool,eh?

Theuncomputableproblemofdeciding,yesorno,whethera

givenprogramhaltsonagiveninputiscalledtheHalting

Problem.Onecanusethisideaasaspringboardintoaworldof

fascinatingtheoreticalandpracticalworkanduncomputable

functions.(Sipser'sIntroductiontotheTheoryofComputation

coverstheseproblemsindetail[Sip97].)Asayoungpostdoc,

PostalService)thatessentiallysolvedtheHaltingProblem.

CitingAlanTuring'sclassic1930spaper[Tur37]inourfinal

report[Smi05]wascauseformuchmirth(atleastamongthe

authorsofthereport).

A.4Frameworks

SectionA.3showedhowfunctionsexistthatcannotbe

computed.Thisexistencecanbeusefulwhenwewanttotalk

isanexampleofacomputation-theoreticargumentframework.

Amongcomputablefunctions,wecanstartrigorouslyreasoning

computationaldevices)ittakestocomputethem.Thistheory

problems.Informally,wesayaproblemhascomplexityO(f

(n))iftheresourcesitrequirestosolveaninstanceofsizen

growsbynotmorethanf(n),asymptotically.Aproblemhas

complexity (f(n))iftherequiredresourcegrowsbyatleastf

(n)asymptomatically.(Notehowever,thatcomplexitytheory

usuallyassumesthattheproblem'sparametersarewritten

downinbinary.)

doingafunctionthat,althoughcomputable,takesmore

resourcesthanisfeasible.Thisisanexampleofacomplexitytheoreticargumentframework.

Manyaspectsofcryptographyareevenweakerthan

complexity-theoretic.Foroneexample,noclearcomplexitytheoreticboundunderliesthesecurityofSHA-1.Foranother

example,everyonesuspectsthatfactoringishard,butnoone

reallyknows;furthermore,breakingRSAmightbeeveneasier.

Wealsothussometimesseeatacit"cryptographic"framework

—whereonesimplyhopesthatcertainkeyfunctionsare

intractable.(Wethenarguethatbreakingourschemerequires

breakingoneofthesehopefullyintractablefunctions.)

Chapter7discussedyetanotherframework:theuseof

informationtheorytocharacterizetherawinformationpresent

can'tgetit.However,iftheinformationisthere,thatdoesn't

consideringcomputationintherealworld,informationtheory

hasaglaringdeficiency—itneglectstotakeintoaccountthe

feasibility(oreventhepossibility)ofactuallyextractingthe

informationfromthemessage.

Conundrum

Alicewantstosenda20-characterASCIImessageMtoBob.

Shecanchoosemanyencodings:

M1.SheencodeseachbitofMasaninstanceofthe

satisfiabilityproblem,overanumberofvariablespolynomial

in|M|.(Satisfiablemeansthatthebitis1.)

M2.SheencodeseachbitofMasaninstanceoftheHalting

Problem.(Haltsmeansthatthebitis1.)

M3.SheencryptsthemessagewithTDES.

M4.Shesendsthemessageinplaintextbutdeletesthe

least-significantbitofeachbyte.

(Thesatisfiabilityproblemcomesfromcomplexitytheory:One

isgivenaBooleanformulaconsistingofANDsandORsof

truthassignmenttothevariablesthatsatisfiesthisformula?)

formats?InformationtheorytellsusthatM1,M2,andM3

containalltheinformation.However,decodingM1isintractable,

anddecodingM2is,ingeneral,notevencomputable.IfAlice

wantstominimizeinformationexposedtoaneavesdropper,she

shouldchooseM4—eventhoughthatgivesawayhalfthe

### Tài liệu bạn tìm kiếm đã sẵn sàng tải về

A.1 Relations, Orders, and Lattices

Tải bản đầy đủ ngay(0 tr)

×