previous up next
Foregående: Rejsebrev fra Madrid Op: FAMØSmarts 1996 Næste: Det topologiske hjørne

Opgaveløsninger

Martin Jul - Rasmus Borup Hansen

Opgave 1

Opgaven går ud på at vise, at der i et land med endeligt mange byer, kun ensrettede vej og netop en direkte vej mellem hvert par af byer findes en by, der har forbindelse til alle andre byer.

Løsningen er et simpelt induktionsbevis: Lad n være antallet af byer. For n=0,1,2 er der intet problem, og induktionstrinnet er lige så nemt: lad a være den by, hvorfra der er forbindelse til alle de første n byer. Lad b være den n+1'ste by. Hvis der er en lovlig vej fra a til b, er a den søgte by, ellers er det b.

Opgave 2: Replikative funktioner

En funktion, f, af typen

equation1182

når tex2html_wrap_inline3343 kaldes replikativ.

Denne opgave stammer fra D. E. Knuths fremragende bog, The Art of Computer Programming. Volume 1: Fundamental Algorithms, 2nd ed.

tex2html_wrap_inline3345 opfylder klart formelen, når x er heltallig, og fører vi x forbi et tal af formen m/n, hvor tex2html_wrap_inline3353 , forøges både højre og venstre side med én.

Funktionen tex2html_wrap_inline3355 er replikativ, hvilket ses ved at benytte identiteten tex2html_wrap_inline3357 .

Funktionen tex2html_wrap_inline3359 er replikativ, hvilket følger af, at tex2html_wrap_inline3361 . Entydigheden af k er oplagt, hvorved det ønskede følger. At tex2html_wrap_inline3365 er replikativ ses på tilsvarende vis.

For at vise, at tex2html_wrap_inline3367 er replikativ, bemærker vi, at de kommer ud på, at

equation1196

Vi viser nu den mere generelle identitet tex2html_wrap_inline3369 . Af Eulers formler fås, at tex2html_wrap_inline3371 , og identiteten følger nu af de to formler

equation1206

hvor den sidste gælder, fordi tex2html_wrap_inline3373 er replikativ, og den første fordi vi kan sætte z=1 i faktoriseringen af polynomiet tex2html_wrap_inline3377 , hvor tex2html_wrap_inline3379 .

Summen af to replikative funktioner er klart replikativ, og det samme gælder naturligvis for en konstant gange en replikativ funktion.



famos@math.ku.dk
Thu Mar 7 23:55:45 MET 1996