Lidt mere om Trawlerproblemet fra afsnit 3-2

Nu fik jeg set Afsnittet Two daughters. Charlie brugte “Trawlerproblemet”, hvor en langsom båd, lad os sige en smuglerbåd, bliver forfulgt af en hurtig båd. Smuglerbåden er pludselig væk i en tågebanke. I Charlies version giver den sig så til at sejle direkte bagud mod båden, der er efter den. Men det kan han nu ikke mene. Det, han mener, er, at den langsomme båd skifter retning og nu sejler lige ud i en anden retning. (Det kan godt være lige bagud, men det er nok ikke særlig intelligent…)

Politibåden skal så forfølge den ved at sejle i en spiral omkring det punkt, hvor man sidst så smuglerbåden – i.e., der hvor den skiftede retning, som omtalt i sidste blogindlæg. Se også Mathworld hvor der er en fin grafik med det. Se sidste indlæg om, hvordan man beskriver sådan en spiral ved matematiske formler…

Det giver Charlie anledning til at designe en ny måde at søge gennem byen på, ved at køre rundt i spiraler udfra det sted, hvor de sidst så den eftersøgte, men naturligvis langs alle gaderne. Han siger, spiralerne skal dække.

Og heldigvis fandt de jo Megan!

Hilsner
Lisbeth.

Posted in Blog | Leave a comment

3-2 To døtre

Jeg er på vinterferie i næste uge, så jeg skriver ikke noget på onsdag, men I kan få lidt om den matematik, der bliver brugt.Charlie foreslår, at de leder efter Megan ved at bruge en særlig version af Pursuit Evasion:En smuglerbåd og en (meget hurtigere) politibåd er på en ø. Om natten stikker smuglerne af, og politiet ved ikke, hvilken retning, de sejlede i. Hvad vej skal politiet sejle? igen kan man ikke svare fornuftigt på det, hvis ikke man ved noget mere, men hvis vi nu antager, at smuglerne vil så langt væk fra øen, de kan komme, så hurtigt som muligt, så vil de sejle lige ud radialt ud fra øen, som vi antager er cirkulær.Svaret er, at politiet skal sejle rundt om øen i en spiral, så de hele tiden er lige så langt væk fra øen, som smuglerne må være.Hvis smuglerne sejler med konstant hastighed v, og øens centrum er lagt i (0,0) i et koordinatsystem, så skal politiets forfølgelseskurve være
[tex]x(t)=vt cos(u(t))[/tex]
[tex]y(t)=vt sin((u(t))[/tex]

hvor [tex]u(t)[/tex] er den vinkel, politibåden er nået rundt til tiden t. Hvis nu politibåden sejler med konstant fart, kan man vise, at [tex]u(t)=K ln(t)[/tex] hvor K er en konstant, der afhænger af politibådens fart og [tex]ln(t)[/tex] er den naturlige logaritme. Faktisk er politibådens hastighed kvadratroden af [tex]v^2(1+K^2)[/tex]

En lidt anden version kan ses her på Mathworld, hvor det er en trawler, der sejler ind i en tågebanke. Men princippet er det samme. 

Personnumre I dette afsnit bruges personnumre eller rettere Social Security Number. Der er faktisk også fin matematik i CPR-numrene. Se Indenrigsministeriets forklaring af, hvordan man ikke bare kan tage hvad som helst som de sidste fire cifre i et personnummer. Det vil jeg muligvis forklare mere om en anden gang, men lige nu vil jeg holde vinterferie.

Posted in Blog | 1 Comment

Genudsendelse af Spree

På søndag klokken 22 genudsendes afsnittet fra i går. Jeg ved ikke, om de så har mere styr på teksterne, men det kan man jo håbe.

Jeg har stadig tekniske problemer med at sætte billeder ind, så I må vente lidt på dem fra i går.

Lisbeth.

Posted in Blog | Leave a comment

3-1 Spree. Lystmordtogt (frit oversat…)

 Hej Numb3rs fans.

Nu var der problemer med de danske undertekster på det meste af dette afsnit, men mon ikke de fleste kunne følge handlingen. Ellers bliver det nok genudsendt.

Den gennemgående matematik idag var forfølgelseskurver – Pursuit Curves. Om det bidrog fundamentalt til opklaringen, kan man nok diskutere; men det er i hvert fald ret interessant matematik. Charlie fandt et ekstra punkt på røvernes rute, som FBI ikke havde fundet, og han kunne ikke rigtig selv forklare, hvordan. Det gav ham og Larry anledning til at snakke om, hvor man får sine videnskabelige ideer fra – Larry havde drømt sig til en, og matematikere har generelt også intuition om det felt, de arbejder i, så ideerne kommer ud af det blå, når man har tænkt længe nok og så slapper af.

Forfølgelse og undvigelse, Pursuit and evasion.

Vi har haft flere versioner af forfølgelse og undvigelse tidligere på bloggen. I afsnittet om mørkt stof var det et antal rovdyr og byttedyr, og i Hund og Kat jager en hund en kat ved hele tiden at løbe imod det sted, hvor katten er. Den slags matematik har mange anvendelser – f.eks. militært.

Jeg vil fortælle mere om problemer, der ligner hund og kat problematikken. Et klassisk problem, som skyldes Pierre Bouguer (1698-1758), drejer sig om et handelsskib, der sejler lige ud med konstant hastighed og et sørøverskib, der forfølger det. Sørøverskibet følger en “ren forfølgelsesstrategi” (pure pursuit), idet det hele tiden sejler hen mod handelsskibet. Spørgsmålet er nu: Hvilken kurve i planen følger sørøverskibet? (Vi regner her med, at Jorden er flad…)

Pure pursuit er realistisk for eksempel for falke, der jager et bytte og den kurve, forfølgeren følger, kaldes hundekurven efter den måde, en hund vil løbe efter sin herre (jeg har lige fået hund, og det passer nu ikke….) En smartere strategi kan være at sigte mod et sted, hvor byttet er på vej hen, altså lige foran byttet, som Charlie nævner det under billederne af fly, der jager hinanden. Det overordnede er, at man kan finde forfølgerens vej hvis man kender hans strategi og byttets kurve.

Et andet klassisk problem, som blev stillet i magasinet “Ladies Diary” i 1748, drejer sig om en edderkop, der forfølger en flue, der kravler rundt i en cirkel. Senere (i American Mathematical Monthly, 1920) er det en hund der svømmer efter en and, hvor anden svømmer rundt i kanten af en cirkulær dam.
Der er også en del klassiske undvigelsesproblemer, hvor vi nu ser det fra den forfulgtes synspunkt. For eksempel damen i søen (Scientific American 1965): En ung dame bliver forfulgt af en mand. Hun ror ud på midten af en cirkulær sø. Manden beslutter sig til at vente, til hun bliver sulten. Han løber 4 gange hurtigere, end hun kan ro, så han regner med, han sagtens kan fange hende, når hun når land. Kan han mon det?

Et andet undvigelsesproblem beskriver en hare, der løber fra en ræv på en mark med et træ. Harens strategi er at holde sig bag træet, og ræven løber langs en linie. Hvilken kurve løber haren efter?

Den kvikke læser har nok regnet ud, at det i alle tilfældene vil være vigtigt, hvor hurtigt forfølger og forfulgt løber i forhold til hinanden, og man kan tilføje spørgsmål om, hvad det forhold skal være, hvis man skal undslippe eller fange byttet, alt efter synspunkt.

Hvordan bliver det nu til matematik?( Ynder man ikke formler, så spring ned og se på animationerne)

Vi beskriver en kurve i planen ved en parameterfremstilling: (x(t),y(t)), hvor t er tiden. Man kan altså løbe på en linie ved f.eks.

x(t)=t

y(t)=2t+3

Så er man i punktet (2,7) til tiden t=2, og man er i (0,3) når t=0, og man løber med konstant fart. Man kan løbe på den samme linie med f.eks.

x(t)=t^3

y(t)=2t^3+3

hvor t^3 betyder t i tredie.

Her er man stadig i (0,3) når t=0, men man er i (8,19), når t=2. Man løber ikke med konstant fart.

Kald nu forfølgerens kurve

F(t)=( f1(t), f2(t))

og undvigerens

U(t)=(u1(t),u2(t))

Betingelsen om “ren” forfølgelse – pure pursut – siger, at vektoren

U(t)-F(t)=(u1(t)-f1(t),u2(t)-f2(t))

er parallel med forfølgerens hastighedsvektor

F'(t)=(f1′(t),f2′(t))

og man får således en differentialligning, som beskriver forfølgerens hastighedsvektor udfra forfølgerens position og undvigerens position. Hvis forfølgeren løber med konstant fart k, bliver ligningen

F'(t)=k(U(t)-F(t))/|U(t)-F(t)|

eller rettere

f1′(t)=k(u1(t)-f1(t))/|U(t)-F(t)|

f2′(t)=k(u2(t)-f2(t))/|U(t)-F(t)|

hvor |U(t)-F(t)| er længden af vektoren. Hvis vi nu kender U(t) – handelsskibet sejler lige ud, fluen løber i en cirkel etc. kan vi opstille ligningen. Vi har også resultater, der siger, at den slags ligninger har løsninger (under passende forudsætninger om U(t)), men generelt kan vi ikke skrive en løsning op med pæne formler.

 Til gengæld kan vi få en computer til at regne en løsning ud stepvis: Man lader forfølgeren gå et lille stykke langs linien, der peger mod undvigeren. I mellemtiden har undvigeren flyttet sig, så man får en ny linie, man løber et lillebitte stykke ad. Og så fremdeles. Man laver altså en kurve af små bitte stykke linie. Det kan gøres lidt mere intelligent, end beskrevet her, og man kan få en løsningskurve, der er så tæt på den rigtige, som man vil have det.

Fra mathworld.wolfram.com, Eric Weisstein’s Mathworld har jeg hentet følgende animationer:

OBS: Jeg har tekniske problemer lige nu, men I kan se de animationer på Mathworld om Pursuit Curves

Der er en, hvor U(t) er en linie gennemløbet med konstant hastighed, og der er fire forskellige, hvor U(t) er en cirkelbevægelse og forfølgeren starter forskellige steder og med forskellig fart.

Løsningen til de andre problemer kan man f.eks læse om i bogen “Chases and Escape, The mathematics of Pursuit and Evasion.” Damen i søen ror f.eks. ud ved i et stykke tid at holde sig diametralt modsat af manden, mens han bevæger sig rundt om søen. Når hun er langt nok ude, og han ikke har tid til at løbe hele vejen (den halve cirkel) rundt, ror hun direkte ud mod bredden. Hendes hastighed skal være mere end 0,241453 gange mandens hastighed, for at det lader sig gøre. (Det underlige tal er 1/(1+pi)) Hvornår, hun skal skifte og ro direkte, afhænger af forholdet mellem hastighederne. Man må håbe, hun løber hurtigere end ham, eller at der ikke er langt til sikkerhed, når hun er kommet i land – ellers duer det jo ikke. Men nu er det jo også et teoretisk problem…

Biller i en polygon:

Et andet klassisk problem er problemet om de 3 hunde  – en i hvert hjørne af en ligesidet trekant, eller de fire biller i hvert hjørne af et kvadrat eller … Hver bille forfølger den bille, der er nærmest ved i retning mod uret. Det giver et flot spiralmønster, faktisk logaritmiske spiraler. Den slags kombinationer af individer, der forfølger hinanden, bruges også til at forklare, hvorfor “myrens fodsti” bliver sådan en pæn kurve – den rettes ud af, at myrerne hver især forfølger myren foran dem. Et eksempel på flokopførsel, som vi også har haft tidligere på bloggen.

Der er animationer af billeproblemet på Mathworld (hvor det i øvrigt er mus, der forfølger hinanden). Og på Science News i Ivars Petersons klumme kan man læse om hvordan man laver flotte mønstre udfra billeproblemet. Charlie havde et problem med en hund, der jager en kat, der jager en mus, hvor hunden bør gå efter musen, for så kommer katten. Det gav Don og Co. ideen til at forsøge at være foran – den havde de nu nok fået alligevel, men pyt. Til gengæld er det da ret spændende nu, hvor Megan er kidnappet! Så en fin start på Numb3rs for foråret, bortset fra de manglende tekster – det må være irriterende for folk, der ikke behersker engelsk/amerikansk.

Posted in Blog | Leave a comment

Sæsonstart 13/2

Nu starter Numb3rs igen. Onsdag 13/2 klokken 20.00 er Kanal 5 klar med Crime Scene, og de starter med Numb3rs.
Det er første afsnit i amerikanernes Sæson 3, og de første to afsnit hænger sammen, så spændingen bliver først udløst onsdag 20/2.
God fornøjelse på onsdag!
Lisbeth

Posted in Blog | Leave a comment

Et par gode links – på engelsk

Mens vi venter, kan jeg anbefale to fremragende matematikblogs. De er ganske vist på engelsk, men for dem, der kan læse det, er der virkelig noget at hente.

Den ene er Terence Taos blog. Terence Tao vandt Fieldsmedaljen, som nærmest svarer til matematikkens Nobelpris, i 2006. Han har lavet en blog, hvor han bl.a. har en del med “Career Advice”, han diskuterer sin forskning, der er et indlæg om kvantemekanik og Tomb Raider, der er diskussion af, hvad god matematik er, hvordan man skriver matematik og meget mere.

En anden Fieldsmedaljemodtager, Timothy Gowers, har også en blog. Den er ikke sat så smart op som Taos, men der er diskussioner af pædagogik, af matematikkens filosofi (og om der er behov for filosofi om matematik) og meget mere. Han har og så en side om diverse emner dels fra kurser og dels overordnet om beviser m.v.

Jeg synes, det er en gave til matematikken, at f.eks. Tao orker at lægge sine overvejelser frit ud på nettet og deltage i diskussioner om, eksempelvis hvordan man underviser begavede børn, som han selv var det. At delagtiggøre andre i egne forskningsemner er bestemt ikke noget, alle vil. Man risikerer jo, at andre løser dem. Så i visse miljøer er der en stor protektionisme. Jeg tror heller ikke, Tao lægger ting frem, han er tæt på at løse, men alligevel.

Jeg ved godt, dette måske er lidt ved siden af Numb3rs bloggens formål, men nu kan dem, der vil, jo følge linksene. Andre må vente på nye Numb3rs afsnit!

Posted in Blog | Leave a comment

Juleferie

Numb3rs holder juleferie, så vidt jeg kan se af programmet og af Kanal 5‘s hjemmeside. Og det betyder formentlig, at vi må vente til sidst i februar, før vi får nye Numb3rs afsnit.

I mellemtiden kan I for eksempel læse i bogen “The Numbers Behind Numb3rs” af Keith Devlin og Gary Lorden.

Jeg fortalte tidligere, at jeg har købt den, og jeg har faktisk også læst den.

Bogen beskriver dels episoder fra serien og dels tilsvarende virkelige kriminalsager og matematikken i dem.

Numb3rs episoderne er både fra sæson 1, 2 og 3, så der er et parstykker, der endnu ikke har været vist i Danmark, men jeg synes nu sagtens, man kan følgemed i bogen alligevel. Matematikniveauet er ikke særlig højt. Lavere end det, vi leverer her på bloggen, så vidt jeg kan se.

Det er en interessant bog, både for Numb3rs fans og for folk, der måske er interesserede i matematikken bag opklaring af kriminalitet.In der Mehrheit der online Casinos casinos sich das Blackjack Spiel gegen das Croupier Casino einzig, das die Karten gibt und also das Casino beschreibt. Man får også en del indblik i det amerikanske retssystem. Og der er en del cases om forsøget på at gardere USA mod terrorister, det såkaldte “Homeland Security”. Hvis jeg får tid i løbet af januar, vil jeg fortælle mere om det. Der er f.eks. en ret interessant artikel om sikkerhed i lufthavnene, skrevet af to studerende ved MIT, Carnival Booth: An algorithm for defeating the Computer Assisted Passenger Screening System af Samidh Chakrabarti og Aaron Strauss. Artiklen er fra 2002 og har, så vidt man ved, fået indflydelse på, hvordan man nu udvælger folk til nærmere eftersyn i lufthavnene. Så to kvikke studerende kan altså få stor indflydelse.

Posted in Blog | Leave a comment

2-24 Hot Shot

Matematikken i denne sidste episode i sæson 2 lå i Charlies analyse af ofrenes daglige rutiner, der var noget om kaos, og Charlie tilbød at analysere det skud, Don affyrede til sidst.Eftersom Don affyrede sit skud ret tæt på offeret, er det nok ikke projektilets bane, Charlie vil analysere, men måske blodpletterne. Altså en blodstænksanalyse.Når en dråbe flyver genem luften, vil den være udsat for dels tyngdekraft, dels luftmodstand. Dråber holdes sammen af overfladespænding; og når de rammer noget, vil de lave en plet, hvis facon afhænger af, om de ramte “lige på”, eller det, de rammer, er skævt i forhold til den bane, dråben er i.Jeg er, som flittige læsere ved, overhovedet ikke ekspert i den slags, men her kommer en forklaring, som jeg har samlet sammen rundt omkring på nettet:Lad os sige, vi gerne vil rekonstruere, hvor blodpletterne kommer fra; altså hvor offeret var i rummet, da han/hun blev skudt. Dråberne bevæger sig på parabler, som er bestemt ved udgangshastigheden (både retning og fart, så altså en vektor) og naturligvis tyngdekraften. Eksperimenter viser, at bloddråber er tæt på at være kugleformede, når de flyver.Hvis en blodplet er cirkelrund, ved vi, at den flade, den sidder på, er vinkelret på dråbens bane. Andre pletter vil være ellipseformede,

bpa_ellipse_example.jpgHer er et billede fra Wikipedia hvor man kan læse mere om blodstænksanalyse.Man ved, at indfaldsvinklen kan findes ved sin(v)= width/length på billedet ovenfor, altså ellipsens bredde divideret med dens længde. Vi kan altså finde blodplettens hastighedsvektors retning, men ikke dens længde (farten). Og vi kan ikke umiddelbart regne baglæns.Skal man kende banekurven for dråben, skal man kende mere. Men man kan være lidt mere smart: Ser vi det hele ovenfra, vil parabelbanerne ligne linier. (Man kalder disse linier for “strings” på engelsk fordi man førhen spændte snore ud langs dem og så, hvor de skar hinanden.) Så vidt jeg har kunnet finde frem til, skyldes denne ide, eller i hvert fald det tilhørende computersoftware en canadisk fysiker: Fred Carter I kan se eksempler på hans hjemmeside, men dem tror jeg ikke, jeg må kopiere.Men vi kan jo selv regne: Lad os sige, vi har en blodplet på en væg. Ellipseformen giver indfaldsvinklen, som er den vinkel, hastighedsvektoren danner med en linie vinkelret på væggen. Vi kan også se, hvilken vinkel, pletten danner med lodret, ved at lægge en lodlinie ind (det skal man huske at markere ved gerningsstedsanalysen)bpa_aoi.jpgPå tegningen ovenfor fra Wikipedia er væggen Y-Z-planen, og linien vinkelret på er så X-aksen. Lodlinien kaldes plumb line på engelsk. Den røde vektor V har komponenter Vx, Vy og Vz. Vi kan finde vinklerne [tex]alpha[/tex] (indfaldsvinklen) og [tex]$gamma$[/tex] (vinklen med lodlinien) som beskrevet ovenfor, og nu er opgaven så at finde [tex]$beta$[/tex].Kig på tegningen. Der er en retvinklet trekant dannet af den røde linie, den grønne (Vx) og den stiplede (kald dens længde c). [tex]$alpha$[/tex] er en afvinklerne i den trekant, og vi kan se, [tex]$tan(alpha)=c/Vx$[/tex].Fra trekanten med sider Vy, Vz og c, finder vi, [tex]$sin(gamma)=Vy/c$[/tex].Endelig kan vi finde [tex]beta[/tex] i en retvinklet trekant med kateter Vx og Vy, hvor vi ser [tex]tan(beta)=Vx/Vy=sin(gamma)tan(alpha)$[/tex].Nu kan man altså lave en vandret linie med vinkel [tex]beta[/tex] med væggen.Har man mange blodpletter, får man mange vandrette linier, og det område, hvor de skærer hinanden giver XY-koordinaten for, hvor blodet er kommet fra. Man finder ikke et enkelt punkt, for der er usikkerhed på beregningerne og målingerne, men man får et mindre område. Ved at regne mere på indfaldsvinklerne, kan man få en vurdering af, hvor højt oppe, det er kommet fra, altså Z-koordinaten. Man får, ifølge Carter, en øvre grænse på højden.Man kan finde mere information om blodstænksanalyse på International Association of Blood Pattern Analysis For eksempel er der en beskrivelse af ovenstående metode i deres nyhedsbrev fra september hvor man får opskriften på at lave et regneark til netop den analyse. I øvrigt nævnes blodstænksanalyse som et af de vigtige værktøjer for fremtidens politi i rapporten her fra 2005.I øvrigt kan man læse om opklaring af forbrydelser i et rollespil designet til Folkeskolens ældste klasser. Man skal betale for at spille det, men der er en demoversion via EMU, og der er bl.a. en “Kriminalteknisk håndbog“.

Posted in Blog | 1 Comment

2-23 Understrømme (Undercurrents)

Charlie analyserede strøm langs kysten, han og Larry forsøgte at dekryptere den tatovering, den ene af pigerne havde under foden, og det viste sig, at Charlie havde været med til at lave den algoritme, havnen i Los Angeles bruger til at vurdere risikoen ved de containere, der kommer igennem havnen.

Kryptering har vi haft noget om tidligere på bloggen. Der blev denne gang bl.a. snakket om Kasisky test. Men det viste sig jo, at tallene ikke var en kode, men et telefonnummer.

Risikovurdering:

Man har brug for at vurdere risiko i mange situationer: Forsikringsselskaber vurderer deres kunder, banker deres låntagere, flyselskaber deres kunder etc. Bygherrer vurderer risiko for, at forskellige ting går galt i byggeprocessen (tænk på DR-byen…) og hvad det vil koste. Man kan så vurdere, hvad man vil gøre for at undgå det, man mener, det kan svare sig at prøve at undgå.

Matematikken bag det er sandsynlighedsteori og statistik, og der findes mange forskellige metoder.

Det, Charlie snakker om her, er en afvejning af hvor alvorlig en trussel er og hvor sandsynlig den er. Hvis man f.eks. ved, at det er ret sandsynligt, at containere fra Kina indeholder kattemad, som gør katte syge, vil man nok ikke gennemse alle containere fra Kina. Ved man, at det er ret sandsynligt, at de indeholder noget, der vil gøre mange mennesker meget syge, vil man nok gøre mere for at undgå, de kommer ind.

Man lave en “Omkostninger”/sandsynligheds matrix for alle de forskellige “farer”, man kunne forestille sig at finde i containerne. Omkostninger kan f.eks. være, hvor mange penge, det vil koste det amerikanske samfund. Man kan så regne ud, hvad den forventede omkostning er ved ikke at holde øje med netop den type containere. Det skal afvejes mod omkostningerne ved at forsøge at finde dem. Altså en cost-benefit analyse.

jeg har fundet en risikomatrix i tysk wikipedia

http://de.wikipedia.org/wiki/Bild:Risikomatrix_wiki.jpg

risikomatrix_wiki.jpg

Jo højere oppe i højre hjørne, en begivenhed er, jo mere kan det betale sig at gøre noget, for skadevirkningerne er stigende mod højre, mens sandsynligheden er stigende opad.

Lad os f.eks. sige, at der er 10% risiko for at en container, der kommer fra Langtbortistan indeholder en atombombe. (langt mod højre, og ikke så højt oppe). Så vil man nok godt kigge alle de containere efter. Men hvis der er 50% risiko for, at den indeholder dårlig kattemad (ikke ret langt mod højre, men midt i på den lodrette akse) gør man det ikke.
I Numb3rs ændrer Charlie ved forudsætningerne, idet han nu tilføjer, at der er en større risiko end man hidtil har antaget for, at en af containerne indeholder fugleinfluenza. Det giver et andet resultat for, hvilke containere, man burde kigge efter – der må være andre variable end oprindelsesland: Hvem er importøren, hvem er eksportøren, hvad vejer containeren, hvad vej er den sejlet, hvem ejer skibet, …

Og så er havnens sikkerhedschef villig til at lade rigtig mange containere gennemsøge. At man ikke vil det, selvom der er en betragtelig risiko for, at der er handlede kvinder i en container, siger noget om prioritering og værdisætning… Hvilket Megan jo også påpeger.

Matematikken bag strømning skrev jeg lidt om her. Det drejer sig om partielle differentialligninger, og den type ligninger er meget vanskelige at have med at gøre. Et af de syv “Milleniniumproblemer”, som man kan får en million dollars for at løse, er at forstå Navier-Stokes ligningerne bedre. Og de beskriver netop strømning og turbulens.

Posted in Blog | 1 Comment

2-22 Backscatter

Matematikken var pakket ret godt væk i dette afsnit, men måske var Charlie for chokeret til at forklare om matematik.

Jeg så noget om spilteori og en hel del algoritmer til at overvåge netadgang. Den metode, der hedder backscatter, kan man se en animation af under Caida. Jeg kan ikke se, hvordan det hænger sammen med, hvad Charlie og Amita gjorde, men måske er der en læser, der kan belyse det? Det er noget med at analysere spam.

Forbryderne bruger phishing teknikker til at skaffe sig folks bankkontonumre etc. Man beder simpelthen folk om at sende kontonumre og passwords under påskud om, at der er sket en fejl i banken eller noget lignende. Og rigtig mange mennesker hopper på den. Desuden bruger forbryderne en teknink med at læse kommunikation over usikre trådløse forbindelser. Men i sidste ende er de nødt til at tiltvinge sig adgang til bankens centrale computer rent fysisk for at lave det helt store nummer.

Det skyldes, at den type kryptering, der bruges, rent faktisk ikke kan brydes. Man kan ikke gætte sig frem – og det er fordi brydning af moderne kryptering kræver, at man løser et svært matematisk problem.

Spilteory og samarbejde (Cooperative Game Theory, CGT)

Spilteori har vi haft i bloggen før. Men denne gang er det en særlig afart af spilteori, Charlie henviser til, nemlig “Cooperative Game Theory”. Jeg fandt en artikel her i en rapport fra Verdensbanken. Og en oversigtsartikel om spilteori og terrorisme skrevet af Todd Sandler.

Charlie siger, han bruger spilteori til at se, at russernes trusler mod Eppes’erne er en afledningsmanøvre – tjah, det kan godt være. Jeg kan ikke lige se hvordan, men pyt.

Spilteori med flere spillere “Multiplayer Game theory”

Nu fik jeg set bedre efter, og faktisk bruger Charlie Multiplayer Game Theory. Og han kommer frem til en posterior fordeling, som giver ham, at truslerne er en afledningsmanøvre. Se det lyder mere som noget, jeg kan (få nogen til at) forklare: Jeg tror, han bruger Bayesiansk statistik. Bayesianere starter med en a priori sandsynlighedsfordeling for det problem, de studerer. Den kan være lavet på mange måder, men er selvfølgelig bygget på, hvad man mener at vide i forvejen. Efterhånden som mere data tilføjes, ændres modellen, og resultatet er en posterior fordeling, som tager data i betragtning.
Michael Kearns hjemmeside kan man finde en tutorial om bl.a. grafiske modeller for “multiplayer game theory”, og det er formentlig det, Charlie bruger.
Jeg vil se, om jeg kan finde ud af mere i morgen, for jeg har faktisk kontor midt i et af Bayesianernes hovedkvarterer…

Svære problemer

Når man skal lave kryptering, der er svær (umulig) at bryde, benytter man sig af svære matematiske problemer. Og her tænker man på, at det skal være svært at løse på en computer. Hvis det f.eks. vil tage længere end universets levetid på en stærk computer, vil man mene, det er ret sikkert. men man skal selvfølgelig være varsom med den slag, for noget, der var svært på en computer for 10 år siden, er jo ikke nødvendigvis svært nu. Alene fordi computerne bliver hurtigere.

Det er altså godt at have et arsenal af opgaver, det er svært at løse. Et eksempel på den salgs opgaver er primfaktorisering. Mange af de moderne krypteringer kan brydes, hvis man kan skrive meget store tal som produkt af primtal, i.e., primfaktorisere. Et andet eksempel er det diskrete logaritme problem:

Hvis vi får givet, at [tex]5^k[/tex] giver rest 8 ved division med 17, hvad er k så? (Der er uendelig mange svar, men vi vil normalt gerne have det mindste positive). Her er det k=2, hvis jeg har regnet rigtigt. Vi kender ikke effektive algoritmer til at faktorisere eller løse det diskrete logaritmeproblem, men vi ved omvendt heller ikke, om der findes sådanne algoritmer.

Det er problemer af typen, hvor vi nemt kan teste, om noget er en løsning. Et stort spørgsmål er så, om der altid nødvendigvis findes en effektiv algoritme til at finde en løsning. Det er det, man spørger om i P versus NP, som Hans har skrevet om tidligere på bloggen.

Posted in Blog | Leave a comment