Kombinatoryka i ciaa skoczone - Rozwizania

Jakub Wgrecki
5 lipca 2015

Zadanie 1

1.1

Podaj, ktre z wymienionych zbiorw s ciaami:

N - nie (1 + 1 = 0, ale 1 nie naley do N ).
Z - nie (2 12 = 1, ale 21 nie naley do Z).
Q - tak
Q+ - nie (0 nie naley do Q+ )
R - tak
Z2 - tak
Z3 - tak
Z4 - nie (2 nie ma odwrotnoci modulo 4)
Uoglnienie: Zp jest ciaem, gdy p jest pierwsze.

1.2

Wielomian: f (x) = xp + (p 1)x + 1 spenia warunki zadania. Przypumy, e istnieje x taki, e

x Zp oraz f (x) = 0 wtedy:
xp + (p 1)x + 1 = 0
xp + (p 1)x + 1 px + 1 1(mod.p)
czyli sprzeczno bo 1 0(mod.p) nie jest prawd.

1.3

Zauwamy, e dla kadego wielomianu p(x) Z2 [x] zachodzi:

p(x) = q(x) f (x) + r(x)
gdie stopnie r jest mniejszy od stopnia f . Wynika to z prawa dzielenia wielomian. A zatem biorc
cao modulo f (x), widzimy, e kady wielomian moe by reprezentoway przez inny wielomian stopnia
co najwyej 1 (bo stopie f ) to 2.
Jako, e wspczynniki wielomianw z F s z Z2 to F ma cztery elementy i s to:
0, 1, x, x + 1
tabelka mnoenia :
0 0 = 0, 0 1 = 0, 0 x = 0, 0 (x + 1) = 0
1 0 = 0, 1 1 = 1, 1 x = x, 1 (x + 1) = x + 1
x 0 = 0, x 1 = x, x x = x + 1, x (x + 1) = 1
(x + 1) 0 = 0, (x + 1) 1 = x + 1, (x + 1) x = 1, (x + 1) (x + 1) = x

2
2.1

Zadanie 2
a

Udowodni najpierw, e C koryguje t bdw. Prypumy, e tak nie jest czyli, e dla pewnego y Zpn
d1
istniej x1 , x2 C takie, e: d(x1 , y) [ d1
2 ] i d(x2 , y) [ 2 ]. Wtedy dodajc stronami i korystajc z
nierwnoci trjkta mamy:
d(x1 , x2 ) d 1 < d
czyli sprzeczno bo z zaoe wiemy, e dla kadych x, y C zachodzi d(x, y) > d 1.
Rozpatrzmy teraz kule skadajce si z cigw dugoci n oraz w odlegoci Hamminga nie wikszej
ni t. rodki tych sfer to odpowiednio x1 , x2 , ..., x|C| . atwo zauway, e kazda z tych sfer zawiera
t
X

(p 1)k

k=0

 
n
k

cigw. Jak uzasadniem wyej kod koryguje t bdw a zatem sfery te nie maj punktw wsplnych.
Zatem zliczajc "objto" kazdej z tych kul otrzymamy (bo pn to wszystkie moliwe cigi):
|C|

t
X

 
n
(p 1)
pn
k
k

k=0

co byo do pokazania.

2.2

Minimalna odlego Hamminga wynosi 3. Udowodni to. Przypumy, ze jest mniejsza - i niech to
bdzie odlego hamminga cigw x1 , x2 , x3 , x4 , x2 +x3 +x4 , x1 +x2 +x4 , x1 +x3 +x4 oraz y1 , y2 , y3 , y4 , y2 +
y3 + y4 , y1 + y2 + y4 , y1 + y3 + y4 . Z oczywistych wzgldw odlego nie moe by rwna 0. Zauwamy,
e jeli wszystkie z liczb z1 , x2 , x3 , x4 oraz y1 , y2 , y3 , y4 s parami rwne to cae cigi s rwne, czyli
tak nie moe by. Analogicznie jest gdy wszystkie z x2 + x3 + x4 , x1 + x2 + x4 , x1 + x3 + x4 oraz
y2 + y3 + y4 , y1 + y2 + y4 , y1 + y3 + y4 s parami rwne. Zatem w kadej z tych grup conajmniej jedna z
pozycji jest rwna. Zatem minimalna odlego Hamminga jest wiksza bd rwna 2, ale mniejsza od 3
czyli jest rwna 2. Bez straty oglnoci x1 rne od y1 . Z tego jednak wynika, e x1 + x2 + x4 jest rne
od y1 + y2 + y4 oraz x1 + x3 + x4 jest rne od y1 + y3 + y4 . A zatem odlego Hamminga jest rna od 2.
Czyli sprzeczno. A wic wystarczy teraz pokaza, e odlego 3 istnieje. Zauwamy, e cigi powstae
z cigw: 0000 oraz 0010 maj odlego Hamminga rwn 3 co koczy dowd.
Wstawiajc do nierwnoci z a wychodzi, e n|C| 2n . Czyli skoro n = 7 to:
|C|

3
3.1

256
37
7

Zadanie 3
a

Wyka najepierw, e przez kady punkt przechodzi dokadnie q + 1 prostych. Wemy sobie dowolny
punkt P z X. Niech przechodzi przez niego k prostych. Wwczas wszystkich punktw lecych na tej
prostej jest kq + 1 - poniewa na kadej prostej ley q + 1 punktw i wane jest to e adnego nie liczbymy
dwa razy bo wtedy istniay by 2 proste ktre przechodz przez P i jeszcze jaki punkt. eby nie liczy
punktu p q + 1 razy - mnoymy przez q i dodajemy 1. Zauwamy, e kade dwa punkty le na prostej
a wic w ten sposb zliczylimy wszystkie punkty czyli:
kq + 1 = q 2 + q + 1
czyli k = q + 1 co koczy dowd. Poka teraz, e prostych jest q 2 + q + 1. Zrbmy sobie graf dwudzielny
w ktrym wierzchoki pierwszej grupy to punkty, a wierzchoki drugiej grupy to proste. Krawd czy

punkt z prost jeli dany punkt ley na danej prostej. Z warunkw zadania z kadej prostej wychodzi
q + 1 kawdzi (na kadej prostej ley q + 1 punktw). Przed chwil pokazaem jednak, e z kadego
punktu wychodzi q + 1 krawdzi. A wic zliczmy sobie krawdzie na dwa sposoby. Z jednej strony liczba
krawdzi grafu to (q + 1)(q 2 + q + 1). Z drugiej x(q + 1) gdzie x to ilo prostych. Widzimy zatem, e
x = q 2 + q + 1 co byo do pokazania.
Poka teraz, e dowolne dwie proste przecinaj si w dokadnie jednym punkcie. Przypumy najpierw, e istniej proste, ktre nie tn si w adnym punkcie. Wemy teraz dowolny punkt A lecy na
jednej z tych dwch prostych. Zauwamy, e z kadym z punktw z tej drugiej prostej ley na jakiej
prostej. Ponadto s to rne proste, bo wtedy dwa punkty leay by na dwch prostych. A wic A ley
na q + 1 prosych przechodzcych przez punkty z drugiej prostej oraz ley na tej ktra nie ma przecicia
z drug prost a wic w sumie ley na q + 2 prostych co jest sprzeczne z tym co udowodniem powyej.
Zatem kade dwie proste maj punkt przecicia. Przypumy teraz, e dane proste tn si, ale w wikszej liczbie przeci ni 1, czyli conajmniej w 2. Jeli dwie proste przecinaj si w dwch punktach to
oznaczmy te punkty jako A, B. Wtedy A, B le na dwch prostych - tych ktre si tn w A, B a zatem
sprzeczno z zaoeniam. A zatem zachodzi teza.

3.2

Przykad paszczyzny rzutowej rzdu 2:

7 punktw ponumerowanych od 1 do 7.
7 prostych nazwanych od A do G i teraz tak: Na prostej A le punkty: 1, 4, 5
Na prostej B le punkty: 2, 3, 5
Na prostej C le punkty: 5, 6, 7
Na prostej D le punkty: 1, 2, 7
Na prostej E le punkty: 3, 4, 7
Na prostej F le punkty: 1, 6, 3
Na prostej G le punkty: 2, 4, 6
atwo zauway, e tak zdefiniowana paszczyzna spenia wszystkie warunki zadania.

Zadanie 5

Rozpatrzmy wielomian f (y) = x+a1 y+...ak1 y k1 gdzie a1 , a2 , ..., ak1 s losowymi wspczynnikami
z Zp . Kademu gociowi dajemy pewn warto wielomianu w danym punkcie-np. gociowi i-temu dajemy
warto f (i + 42). Zauwazmy teraz, e kady wielomian jednoznacznie jest wyznaczony przez dokadnie
n+1 punktw, gdzie n to stopie tego wielomianu. Zatem w tym przykadzie kadych k goci bdzie sobie
mogo x wyliczy ze wzoru interpolacyjnego Lagranga. Ponadto mniej ni n + 1 punktw wielomianu
nie wyznacza, a wic jeli zbierze si mniej ni k goci to sekretu odtworzy nie zdoaj, co koczy
rozwizanie zadania.