Πλήθος ακολoυθιών

Συντονιστές: cretanman, Demetres, polysot, socrates, silouan

socrates
Επιμελητής
Δημοσιεύσεις: 6595
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Πλήθος ακολoυθιών

#1

Μη αναγνωσμένη δημοσίευση από socrates »

Δοθέντων k \in \{0, 1, 2, 3\} και θετικού ακεραίου n, έστω f_k(n) το πλήθος των ακολoυθιών x_1,..., x_n, όπου x_i \in \{-1, 0, 1\} για i = 1,..., n και
x_1 + ...+ x_n\equiv  k \pmod 4. Δείξτε ότι
(α) f_1(n) = f_3(n) για κάθε n
(b) \displaystyle{f_0(n) =\frac{3^n + 2 + (-1)^n}{4}} για κάθε n.
Θανάσης Κοντογεώργης
socrates
Επιμελητής
Δημοσιεύσεις: 6595
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Πλήθος ακολoυθιών

#2

Μη αναγνωσμένη δημοσίευση από socrates »

Επαναφορά το 2020! :)
Θανάσης Κοντογεώργης
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Πλήθος ακολoυθιών

#3

Μη αναγνωσμένη δημοσίευση από Demetres »

Ας γράψουμε και A_k(n) για τα σύνολα των αντίστοιχων ακολουθιών. Παρατηρούμε ότι υπάρχει 1-1 αντιστοιχεία μεταξύ των A_1(n) και A_3(n) που δίνεται από τον τύπο (x_1,\ldots,x_n) \mapsto (-x_1,\ldots,-x_n).

Παρητηρούμε τώρα ότι έχουμε f_3(n) ακολουθίες στο A_0(n+1) με x_{n+1} = 1, f_0(n) με x_{n+1}=0 και f_1(n) με x_{n+1}=-1. Άρα

f_0(n+1) = f_3(n) + f_0(n) + f_1(n) = f_0(n) + 2f_1(n).

και ομοίως

f_1(n+1) = f_0(n) + f_1(n) + f_2(n)
f_2(n+1) = f_1(n) + f_2(n) + f_3(n) = f_2(n) + 2f_1(n)

Παρατηρούμε ότι f_0(n+1) - f_2(n+1) = f_0(n) - f_2(n) άρα και f_0(n+1) - f_2(n+1) = f_0(1) - f_2(1) = 1. Επομένως

f_1(n+1) = f_1(n) + 2f_0(n) - 1

και

\begin{aligned} 
f_0(n+1) &= f_0(n) + 2f_1(n) \\ 
&= f_0(n) + 2f_1(n-1) + 4f_0(n-1) - 2 \\ 
&= f_0(n) + [f_0(n) - f_0(n-1)] + 4f_0(n-1) - 2 \\ 
&= 2f_0(n) + 3f_0(n-1) - 2 
\end{aligned}

Η χαρακτηριστική εξίσωση είναι η x^2 - 2x - 3 με ρίζες -1 και 3. Έχουμε επίσης την ειδική λύση f_0(n) = 1/2. Άρα η γενική λύση είναι της μορφής

\displaystyle  f_0(n) = A \cdot 3^n + B \cdot (-1)^n + \frac{1}{2}

και από τις αρχικές συνθήκες f_0(1) = 1, f_0(2) = 3, παίρνουμε 3A-B = 1/2 και 9A + B = 5/2 που δίνουν Α = 1/4 και B = 1/4. Άρα καταλήγουμε στο ζητούμενο

\displaystyle  f_0(n) = \frac{3^n + (-1)^n + 2}{4}
Απάντηση

Επιστροφή στο “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Juniors) - Παλαιότερες Συζητήσεις”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης