Professional Documents
Culture Documents
ËåõÝñçò Ì. Êõñïýóçò
×ñÞóïò É. Ìðïýñáò
áýëïò . ÓðõñÜêçò
2
åñéå÷üìåíá
1 Óïé÷åéþäçò ÓõíäõáóéêÞ 1
1.1 ÅéóáãùãÞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Äéùíõìéêïß ÓõíåëåóÝò . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 ÏìÜäåò Ìç ÄéáêåêñéìÝíùí ÁíéêåéìÝíùí . . . . . . . . . . . . . . 5
1.4 Óõíäõáóìïß êáé ÄéáÜîåéò ìå ÅðáíÜëçøç . . . . . . . . . . . . . . 7
1.5 Õðïóýíïëá . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 ÄéáíïìÝò ÁíéêåéìÝíùí óå Õðïäï÷Ýò . . . . . . . . . . . . . . . . 9
1.7 ÁóêÞóåéò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2 åííÞñéåò ÓõíáñÞóåéò 13
2.1 ÅéóáãùãÞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Éäéüçåò ùí åííçñéþí ÓõíáñÞóåùí . . . . . . . . . . . . . . . 14
2.3 ÁðáñéèìçÝò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4 ÅêèåéêÝò åííÞñéåò ÓõíáñÞóåéò . . . . . . . . . . . . . . . . . 28
2.5 ÁóêÞóåéò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Ó÷Ýóåéò ÁíáäñïìÞò 35
3.1 ÅéóáãùãÞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 ñáììéêÝò Ó÷Ýóåéò ÁíáäñïìÞò ìå óáèåñïýò óõíåëåóÝò . . . . . 36
3.2.1 Ëýóç ìå ç ìÝèïäï çò ÷áñáêçñéóéêÞò åîßóùóçò . . . . . 36
3.2.2 Ëýóç ìå ç ìÝèïäï ùí ãåííçñéþí óõíáñÞóåùí . . . . . 39
3.3 Ìç ãñáììéêÝò Ó÷Ýóåéò ÁíáäñïìÞò . . . . . . . . . . . . . . . . . 42
3.3.1 Ëýóç çò çëåóêïðéêÞò ó÷Ýóçò áíáäñïìÞò . . . . . . . . . 42
3.3.2 Ëýóç çò ó÷Ýóçò áíáäñïìÞò ðïõ ïñßæåáé ìå óõíÝëéîç . . . 44
3.4 ÁóêÞóåéò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4 Èåùñßá ÌÝñçóçò Polya 51
4.1 ÅéóáãùãÞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.2 Éäéüçåò ÁíéìåáèÝóåùí . . . . . . . . . . . . . . . . . . . . . . 54
4.3 Ôýðïò ïõ Burnside . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.4 Èåþñçìá Polya . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.5 ÁóêÞóåéò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5 Åãêëåéóìüò - Áðïêëåéóìüò 63
5.1 ÅéóáãùãÞ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.2 Ç áñ÷Þ ïõ Åãêëåéóìïý - Áðïêëåéóìïý . . . . . . . . . . . . . . . 64
5.3 ÁóêÞóåéò . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3
4 ÅÑÉÅ×ÏÌÅÍÁ
6 Âéâëéïãñáößá 69
7 Ëßóá Óõìâüëùí 71
ÊåöÜëáéï 1
Óïé÷åéþäçò ÓõíäõáóéêÞ
1.1 ÅéóáãùãÞ
1
2 ÊÅÖÁËÁÉÏ 1. ÓÔÏÉ×ÅÉÙÄÇÓ ÓÕÍÄÕÁÓÔÉÊÇ
¸íá Üìåóï óõìðÝñáóìá ïõ ýðïõ (1.1) åßíáé üé õðÜñ÷ïõí r! ñüðïé íá äéáÜîïõìå
r áíéêåßìåíá, äçëáäÞ õðÜñ÷ïõí r! áíéìåáèÝóåéò r áíéêåéìÝíùí.
Áò ðñï÷ùñÞóïõìå þñá êáé óïí õðïëïãéóìü ïõ C (n; r). áñáçñïýìå üé
P (n; r) = P (r; r) · C (n; r). Ï ýðïò áõüò éó÷ýåé äéüé ïé äéáÜîåéò ðñïêýðïõí
áðü ïõò óõíäõáóìïýò èåùñþíáò ãéá ïí êÜèå óõíäõáóìü ïõò äéáöïñåéêïýò
ñüðïõò êáÜ ïõò ïðïßïõò ìðïñïýí íá áíéìåáåèïýí á áíéêåßìåíÜ ïõ. Ìå
âÜóç ïí ýðï (1.1) þñá ðñïêýðåé:
n! n (n − 1) : : : (n − r + 1)
C (n; r) = = : (1.2)
r! (n − r)! r!
áñÜäåéãìá 1.2: Ìå ðüóïõò ñüðïõò ìðïñïýí 3 åîåÜóåéò íá ðñïãñáììáéóïýí
ìÝóá óå ìéá ðåñßïäï 5 çìåñþí, Ýóé þóå íá ìçí Ý÷ïõìå äõï åîåÜóåéò çí ßäéá
çìÝñá;
Ëýóç. ÅðåéäÞ ðñüêåéáé ãéá óõãêåêñéìÝíåò åîåÜóåéò, åßíáé öáíåñü üé Ý÷åé
óçìáóßá êáé ç óåéñÜ ðïõ èá ãßíïõí áõÝò. ¢ñá ç áðÜíçóç åßíáé P (5; 3) = 60.
r =0
r =0
1.2. ÄÉÙÍÕÌÉÊÏÉ ÓÕÍÔÅËÅÓÔÅÓ 3
− 21 :::
− 21 − r + 1 (−1) · 2−r · 1 · 3 · : : : · (2r − 1)
r
1
−2
= = =
r r! r!
(−1)r · 2−r · 2−r · (2r )! (−1)r · 2−2r · (2r )!
= =
(r!) (r!)
2 2
2r
r
= (−1) · 2−2r · :
r
1.3. ÏÌÁÄÅÓ ÌÇ ÄÉÁÊÅÊÑÉÌÅÍÙÍ ÁÍÔÉÊÅÉÌÅÍÙÍ 5
r =0
Åðßóçò ïé ýðïé (1.5) { (1.8), êáèþò êáé Üëëïé áíßóïé÷ïé ìå áõïýò, éó÷ýïõí
êáé óçí ðåñßðùóç n ∈ R. Áõü áðïäåéêíýåáé åýêïëá áí åñìçíåýóïõìå ïõò
ýðïõò áõïýò óáí éóüçåò ðïëõùíýìùí âáèìïý r çò ìåáâëçÞò n, ïé ïðïßåò
éó÷ýïõí ãéá éò Üðåéñåò éìÝò n = r; r + 1; : : : ñÜãìáé, ìßá éóüçá ðïëõùíýìùí
âáèìïý r ðïõ åðáëçèåýåáé ãéá r + 1 Þ ðåñéóóüåñåò (äéáöïñåéêÝò) éìÝò éó÷ýåé
ãéá êÜèå ðñáãìáéêÞ éìÞ.
ñïïý êëåßóïõìå çí ðáñÜãñáöï áõÞ èá áíáöÝñïõìå ÷ùñßò áðüäåéîç ïí
ýðï ïõ Stirling
n!
lim √ =1
n n
(1.13)
n→+∞ 2n e
üðïõ e ç âÜóç ùí öõóéêþí ëïãáñßèìùí.
√ n
ñÝðåé íá óçìåéþóïõìå üé ðáñÜ ï ãåãïíüò üé ç äéáöïñÜ n! − 2n ne
√ n
áðïêëßíåé óï Üðåéñï, ç Ýêöñáóç 2n ne åßíáé ìéá êáëÞ ðñïóÝããéóç ãéá ï
n = n! áêÝñáéïé n ≥ r ≥ 0,
r r!(n−r)!
n = n áêÝñáéïé n ≥ r ≥ 0,
r n−r
n = n n−1 áêÝñáéïò r > 0, ðñáãìáéêüò n,
r r r−1
n = n−1 + n−1 áêÝñáéïò r > 0, ðñáãìáéêüò n,
r r r−1
n = (−1)r r−n−1 áêÝñáéïò r ≥ 0, ðñáãìáéêüò n,
r r
n m = n n−r
áêÝñáéïé m ≥ r ≥ 0, ðñáãìáéêüò n,
m r r m−r
n n n
(x + y ) = r n−r
r xy
P
áêÝñáéïò n ≥ 0, ðñáãìáéêïß x; y ,
r=0
∞
n
(1 + x) =
P nxk ðñáãìáéêïß n; x, |x| < 1;
k
k=0
n+r+1 = P n n+ k
áêÝñáéïé r; n ≥ 0,
r k
k=0
n+1 = P n k
áêÝñáéïé r; n ≥ 0,
r+1 r
k=0
r
n+m = P n m áêÝñáéïò r ≥ 0, ðñáãìáéêïß n; m,
r k r−k
k=0
Ëýóç. ÅðåéäÞ á äéÜöïñá ïõ 1 øçößá åßíáé 9, ìå âÜóç çí ðñïçãïýìåíç ðáñÜ-
ãñáöï ïé áñéèìïß ìåáîý 0 êáé 9.999.999.999 ðïõ äåí ðåñéÝ÷ïõí ï øçößï 1 åßíáé
910 . ¢ñá ìåáîý 1 êáé 1010 õðÜñ÷ïõí 910 − 1 áñéèìïß ðïõ äåí ðåñéÝ÷ïõí ï øçößï
1. ÅðïìÝíùò, óï ßäéï äéÜóçìá, õðÜñ÷ïõí 1010 − 910 + 1 áñéèìïß ðïõ ðåñéÝ÷ïõí
ï øçößï 1.
åßíáé ìéá 1-1 êáé åðß áðåéêüíéóç áðü ï óýíïëï ùí ìç öèßíïõóùí áêïëïõèéþí ìå r
üñïõò áðü ï {1; : : : ; n} óï óýíïëï ùí ãíçóßùò áõîïõóþí áêïëïõèéþí ìå üñïõò
áðü ï {1; : : : ; n + r − 1}. Ôï óýíïëï üìùò ùí ãíçóßùò áõîïõóþí áêïëïõèéþí
r üñùí áðü ï {1; : : : ; n + r − 1} Ý÷åé ðëçèéêü áñéèìü ßóï ìå ïí áñéèìü ùí
óõíäõáóìþí ÷ùñßò åðáíÜëçøç r áíéêåéìÝíùí áðü n + r − 1 áíéêåßìåíá. Óõìðå-
ñáßíïõìå ëïéðüí åëéêÜ üé ï áñéèìüò ùí óõíäõáóìþí r áíéêåéìÝíùí áðü n
áíéêåßìåíá ìå åðáíÜëçøç åßíáé C (n + r − 1; r).
Ëýóç. Ï áñéèìüò ùí æáñéþí óï Üâëé åßíáé ï óõíäõáóìüò (åðåéäÞ äåí åíäéáöÝñåé
ç óåéñÜ ðïõ ðÝöïõí á æÜñéá) 2 áíéêåéìÝíùí áðü 6, äçëáäÞ
C (6 + 2 − 1; 2) = C (7; 2) = 21:
áñÜäåéãìá 1.9: üóåò öïñÝò èá åêåëåóåß ç åíïëÞ writeln óï ðéï êÜù
ìÞìá åíüò ðñïãñÜììáïò Pas
al;
For i := 1 to 20 do
For j := 1 to i do
For k := 1 to j do
writeln (i*j+k);
Ëýóç. Óõìðåñáßíïõìå áðü ïõò óõíáêéêïýò êáíüíåò çò åíïëÞò For üé êÜèå
öïñÜ ðïõ èá åêåëåßáé ç åíïëÞ writeln éó÷ýåé ç óõíèÞêç 1 ≤ k ≤ j ≤ i ≤ 20.
ÆçÜìå ëïéðüí íá âñïýìå ïí áñéèìü ùí ñüðùí íá óõíäõÜóïõìå á i; j; k ,
åðéñÝðïíáò åðáíáëÞøåéò, ìå éìÝò áðü 1; 2; : : : ; 20.
Áõüò åßíáé 20+3−1 = 1540. ÅðïìÝíùò ç åíïëÞ writeln èá åêåëåóåß 1540
3
öïñÝò.
1.5 Õðïóýíïëá
k=1
Þ áëëéþò
n
2n = C (n; k): (1.15)
X
k=0
¸íáò Üëëïò ñüðïò ãéá íá êááëÞîïõìå óïí ßäéï ýðï åßíáé íá ìéìçèïýìå çí
ðñþç áðüäåéîç ðïõ äþóáìå ãéá çí ðåñßðùóç ùí r äéáêåêñéìÝíùí áíéêåéìÝíùí,
ìå çí åðéðëÝïí ðáñáÞñçóç üé þñá ü÷é ìüíïí á n − 1 óçìåßá ðïõ ïñßæïõí éò
õðïäï÷Ýò åßíáé ìéá ïìÜäá áðü ìç äéáêåêñéìÝíá áíéêåßìåíá, áëëÜ åðßóçò êáé á r
áíéêåßìåíá ðñïò ïðïèÝçóç åßíáé ìç äéáêåêñéìÝíá. ×ñçóéìïðïéþíáò ïí (1.14)
Ý÷ïõìå üé ï æçïýìåíïò áñéèìüò åßíáé
(n + r − 1)!
(1.19)
(n − 1)!r!
ÔÝëïò, Ýíáò áêüìç ñüðïò åßíáé íá ðáñáçñÞóïõìå üé ï æçïýìåíïò áñéèìüò
éóïýáé ìå ïí áñéèìü ùí óõíäõáóìþí ìå åðáíÜëçøç r áíéêåéìÝíùí áðü n
áíéêåßìåíá (äçëáäÞ éò õðïäï÷Ýò).
Ëýóç. ñþá ïðïèåïýìå Ýíá áíéêåßìåíï óå êÜèå õðïäï÷Þ êáé ìáò ìÝíïõí
r − n áíéêåßìåíá. Ï áñéèìüò ùí ñüðùí íá äéáíåìçèïýí áõÜ óéò õðïäï÷Ýò
åßíáé
n + (r − n) − 1 r−1 r−1
= =
r−n r−n n−1
¢ñá C (r − 1; n − 1) åßíáé ï áñéèìüò ùí ñüðùí íá äéáíåßìïõìå á áíéêåßìåíá
÷ùñßò íá áöÞóïõìå êåíÞ õðïäï÷Þ.
éá çí ðåñßðùóç þñá çò áêñéâþò ìßáò Üäåéáò õðïäï÷Þò, áñêåß íá åðéëÝîïõìå
çí Üäåéá õðïäï÷Þ êáé íá êááíåßìïõìå á áíéêåßìåíá óéò åíáðïìÝíïõóåò n − 1
õðïäï÷Ýò, öñïíßæïíáò áõÝò üëåò íá äå÷èïýí ïõëÜ÷éóïí Ýíá áíéêåßìåíï.
¢ñá ç áðÜíçóç ãéá çí ðåñßðùóç çò áêñéâþò ìßáò êåíÞò õðïäï÷Þò åßíáé
nC (r − 1; n − 2).
Ï ßíáêáò 1.2 äåß÷íåé üëïõò ïõò ýðïõò ãéá éò äéáíïìÝò áíéêåéìÝíùí óå
õðïäï÷Ýò êÜù áðü äéáöïñåéêÝò ðáñáäï÷Ýò.
Áñéèìüò ñüðùí
áñáäï÷Ýò
(ìå äõíáüçá êåíþí õðïäï÷þí)
n äéáêåêñéìÝíåò õðïäï÷Ýò
r äéáêåêñéìÝíá áíéêåßìåíá nr
äå ìåñÜåé ç óåéñÜ óéò õðïäï÷Ýò
n äéáêåêñéìÝíåò õðïäï÷Ýò (n + r − 1)!
r äéáêåêñéìÝíá áíéêåßìåíá (n − 1)!
ìåñÜåé ç óåéñÜ óéò õðïäï÷Ýò
ìç äéáêåêñéìÝíá áíéêåßìåíá r
1.7 ÁóêÞóåéò
1.1 ÊáÜ ðüóïõò ñüðïõò 3 áñéèìïß ìðïñïýí íá åðéëåãïýí áðü ïõò áñéèìïýò
1{300 Ýóé þóå ï Üèñïéóìá ïõò íá åßíáé äéáéñåü ìå ï 3 (äåí åíäéáöÝñåé
ç óåéñÜ ùí áñéèìþí);
1.3 Ìå ðüóïõò ñüðïõò ìðïñïýí íá âáöïýí 12 ãñáöåßá Ýóé þóå 3 áðü áõÜ
íá åßíáé êüêêéíá, 2 ñïæ, 2 ëåõêÜ êáé á õðüëïéðá ðñÜóéíá;
1.5 Áðü Ýíá ìåãÜëï áñéèìü áðü êÝñìáá (áðü ìïíüëåðá Ýùò äßåõñá (äßöñáãêá)),
ìå ðüóïõò ñüðïõò ìðïñïýí íá åðéëåãïýí 6 êÝñìáá;
n2 !
1.6 Íá áðïäåé÷èåß üé ïé áñéèìïß (3n)!
(2n 3n ) êáé (n(!)n)+1 åßíáé áêÝñáéïé.
1.10 Ìåáîý 2n áíéêåéìÝíùí á n åßíáé ßäéá. Âñåßå ïí áñéèìü ùí åðéëïãþí
n áíéêåéìÝíùí áðü áõÜ á 2n áíéêåßìåíá.
1.11 Ìåáîý 3n+1 áíéêåéìÝíùí á n åßíáé ßäéá. Âñåßå ïí áñéèìü ùí åðéëïãþí
n áíéêåéìÝíùí áðü áõÜ á 3n + 1 áíéêåßìåíá.
åííÞñéåò ÓõíáñÞóåéò
2.1 ÅéóáãùãÞ
r =0
r =0
óõãêëßíåé ãéá ìéá éìÞ ïõ x = x0 , üå óõãêëßíåé ãéá êÜèå x ìå |x| < |x0 |.
Káëïýìå áêßíá óýãêëéóçò R çò äõíáìïóåéñÜò ïí áñéèìü
( ∞
)
sup |x| : ar x óõãêëßíåé :
r
X
r =0
Ôüå ç äõíáìïóåéñÜ óõãêëßíåé ãéá êÜèå x ìå |x| < R (ç éìÞ ïõ R ìðïñåß
íá åßíáé +∞ Þ 0).
13
14 ÊÅÖÁËÁÉÏ 2. ÅÍÍÇÔÑÉÅÓ ÓÕÍÁÑÔÇÓÅÉÓ
r =0
r =1
1. ñáììéêÞ éäéüçá
dr = kar + lbr
åßíáé ç
D (x) = kA (x) + lB (x) :
Ç áðüäåéîç çò éäéüçáò åßíáé åýêïëç.
br = r ar
åßíáé ç
A (x) :
Ç áðüäåéîç êáé áõÞò çò éäéüçáò åßíáé åýêïëç.
br = 0; ãéá r = 0; 1; : : : ; n − 1 êáé
br = ar−n ; ãéá r = n; n + 1; : : :
åßíáé ç
xn A (x) :
¼ìïéá, ç áêïëïõèßá ðïõ ïñßæåáé ùò
dr = ar+n ; r = 0; 1; 2; : : :
Ý÷åé ãåííÞñéá óõíÜñçóç çí
nP
−1
A (x) − ar xr
r =0
:
x n
16 ÊÅÖÁËÁÉÏ 2. ÅÍÍÇÔÑÉÅÓ ÓÕÍÁÑÔÇÓÅÉÓ
Óç óõíÝ÷åéá èá áðïäåßîïõìå ï ðñþï ìÝñïò çò éäéüçáò (ï äåýåñï ìÝñïò
åðáößåáé ùò Üóêçóç). Åßíáé
∞
B (x) br xr ⇒
X
=
r =0
n −1 ∞
B (x) br xr + br xr ⇒
X X
=
r =0 r =n
∞
B (x) ar−n xr :
X
= 0+
r =n
ÈÝù r − n = k , ïðüå:
∞
B (x) ak xn+k ⇒
X
=
k=0
∞
B (x) xn ak xk ⇒
X
=
k=0
B (x) = xn A (x) :
4. Éäéüçá ìåñéêþí áèñïéóìÜùí
ÅÜí
k
bk = ar ; k = 0; 1; 2; : : : ;
X
r =0
üå ç ãåííÞñéá óõíÜñçóç çò áêïëïõèßáò bk , áí ç ãåííÞñéá óõíÜñçóç çò
áêïëïõèßáò ar åßíáé A(x), åßíáé
A (x)
B (x) = :
1−x
Èá áðïäåßîïõìå áõÞ çí éäéüçá. áñáçñïýìå üé:
ak = bk − bk−1 ⇒
∞ ∞ ∞
ak xk bk xk − bk−1 xk :
X X X
=
k=0 k=0 k=0
r =k
2.2. ÉÄÉÏÔÇÔÅÓ ÔÙÍ ÅÍÍÇÔÑÉÙÍ ÓÕÍÁÑÔÇÓÅÙÍ 17
Ç áêïëïõèßá
k
dk = ar bk−r ; k = 0; 1; 2; : : :
X
r =0
i=1
j
Ëýóç . ÈÝù
n−i
:
aij =
j
éá êÜèå óáèåñÜ éìÞ ïõ i, èåùñïýìå ï aij ùò áêïëïõèßá ìå äåßêç ï j . Ç
áíßóïé÷ç ãåííÞñéá óõíÜñçóç åßíáé:
Ai (x) = (1 + x)n−i :
ÅìÜò üìùò ìáò åíäéáöÝñåé ç áêïëïõèßá bj ç ïðïßá ïñßæåáé ùò åîÞò:
t
bj = aij :
X
i=1
t i
Ï üñïò 1
åßíáé ï Üèñïéóìá ãåùìåñéêÞò ðñïüäïõ. ¢ñá åßíáé ßóïò ìå
P
1+x
i=1
1 − (1 + x)−t
:
x
ÔåëéêÜ:
(1 + x) (1 + x)
n n−t
B (x) = −
x x
áñáçñïýìå áðü ïí ßíáêá 2.1 üé ç áêïëïõèßá ar = nr Ý÷åé ãåííÞñéá
n
óõíÜñçóç (1 + x)n . ¢ñá ç áêïëïõèßá r+1 n
Ý÷åé ãåííÞñéá óõíÜñçóç (1+xx) −1
(1+x)n−t −1
(éäéüçá ïëßóèçóçò). ¼ìïéá ç óõíÜñçóç x åßíáé ãåííÞñéá çò áêïëïõèßáò
r +1 . Åäþ åßíáé r = j . ¢ñá:
n−t
t
n−i n n−t
bj = :
X
= −
i=1
j j+1 j +1
Óï ðñïçãïýìåíï ðáñÜäåéãìá ÷ñçóéìïðïéþíáò ãåííÞñéåò óõíáñÞóåéò ìðïñÝóáìå
êáé õðïëïãßóáìå Ýíá Üèñïéóìá, ï ïðïßï åßíáé áñêåÜ äýóêïëï íá õðïëïãéóåß
äéáöïñåéêÜ. Óçí ðáñÜãñáöï 2.3 èá äïýìå ðþò ÷ñçóéìïðïéïýíáé ïé ãåííÞñéåò
óõíáñÞóåéò óå óõíäõáóéêÜ ðñïâëÞìáá. Óï ÊåöÜëáéï 3 èá ÷ñçóéìïðïéÞóïõìå
ãåííÞñéåò óõíáñÞóåéò ãéá íá ëýóïõìå ó÷Ýóåéò áíáäñïìÞò.
2.2. ÉÄÉÏÔÇÔÅÓ ÔÙÍ ÅÍÍÇÔÑÉÙÍ ÓÕÍÁÑÔÇÓÅÙÍ 19
ar = 1 1
1−x
ar = r+1 1
(1 − x)
2
a0 = 0
1 1
ar = ;r ≥ 1 ln
1−x
r
a0 = 0
1 ln (1 + x)
ar = ; r æõãüò
r
1
ar = ; r > 0 êáé ìïíüò
r
n
ar = ; n∈R (1 + x)n
r
1
ar = ex
r!
nr
ar = ; n∈R enx
r!
ar − ar−1 (1 − x) A (x)
ÄçëáäÞ,
2r
∞
(1 − 4x) xr :
−1=2
X
=
r =0
r
¢ñá ç áêïëïõèßá ar = ; r = 0; 1; 2; : : : ; r Ý÷åé ãåííÞñéá óõíÜñçóç çí
2r
r
A (x) = (1 − 4x) .
1=2
áðëïýóåñçò ìïñöÞò.
Äå÷üìáóå ÷ùñßò âëÜâç çò ãåíéêüçáò üé ï âáèìüò ïõ ðïëõùíýìïõ P (x)
åßíáé ãíçóßùò ìéêñüåñïò ïõ âáèìïý ïõ ðïëõùíýìïõ Q(x) (áëëéþò äéáéñïýìå
á ðïëõþíõìá). Áêüìç, ãéá íá áðïöýãïõìå ï äýó÷ñçóï óõìâïëéóìü çò
ãåíéêÞò ðåñßðùóçò, èá èåùñÞóïõìå ìßá åéäéêÞ ðåñßðùóç ãéá ï ðïëõþíõìï
Q(x). Ìåëåþíáò çí åéäéêÞ áõÞ ðåñßðùóç ï áíáãíþóçò èá ìðïñåß åýêïëá
íá áíéìåùðßóåé ïðïéáäÞðïå ðåñßðùóç (ðåñéóóüåñåò ëåðïìÝñåéåò ìðïñåß íá
âñåé ï áíáãíþóçò óå ïðïéïäÞðïå âéâëßï Áðåéñïóéêïý Ëïãéóìïý Þ åéóáãùãéêÞò
ÁíÜëõóçò).
¸óù ëïéðüí üé ï Q(x) Ý÷åé ìßá ðñáãìáéêÞ ñßæá x1 ðïëëáðëüçáò 1, ìßá
ðñáãìáéêÞ ñßæá x2 ðïëëáðëüçáò 3 êáé éò äýï óõæõãåßò öáíáóéêÝò ñßæåò ±i
çí êÜèå ìßá ìå ðïëëáðëüçá 2. ÅðïìÝíùò ï âáèìüò ïõ Q(x) åßíáé 8 êáé ï
âáèìüò ïõ P (x) |óýìöùíá ìå çí õðüèåóç ìáò| åßíáé ï ðïëý 7. Åðßóçò
éó÷ýåé üé:
Q(x) = (x − x1 )(x − x2 )3 (x2 + 1)2 :
Íá óçìåéþóïõìå åäþ üé ãåíéêÜ äåí åßíáé åýêïëï, êáé ðïëëÝò öïñÝò åßíáé áäýíáï,
íá âñïýìå éò ñßæåò åíüò ðïëõùíýìïõ üáí äåí éò ãíùñßæïõìå. Ç óõíçèÝóåñç
áêéêÞ ãéá ïí õðïëïãéóìü ïõò åßíáé íá ðñïóðáèÞóïõìå íá áíáëýóïõìå ï
ðïëõþíõìï óå ãéíüìåíï ðáñáãüíùí (üáí ï âáèìüò ïõ åßíáé ìåãáëýåñïò ïõ
2).
Èá ãñÜøïõìå ç óõíÜñçóç F (x) = P (x)=Q(x) ùò:
A
F (x) =
(x − x1 )
B C D
+ + +
(x − x2 )3 (x − x2 )2 (x − x2 )
Ex + F Gx + H
+ 2 + 2 (2.4)
(x + 1)2 (x + 1)
d F (x)(x − x2 )3 P (x)
′
C=
=
:
dx (x − x1 )(x2 + 1)2
x=x2 x=x2
22 ÊÅÖÁËÁÉÏ 2. ÅÍÍÇÔÑÉÅÓ ÓÕÍÁÑÔÇÓÅÉÓ
(1 − 8x)
B (1 − 2x) = : : : = 3;
2
=
(1 − 4x) (1 − 2x) x=1=2
2
1 d (1 − 8x)
" !#
C (1 − 2x) = : : : = 2:
2
= −
2 dx (1 − 4x) (1 − 2x)
2
x=12
ÅðïìÝíùò
−4 3 2
G (x) = + + :
(1 − 4x) (1 − 2x)2 (1 − 2x)
ñïêýðåé þñá üé ç áêïëïõèßá ðïõ áíéóïé÷åß óç ãåííÞñéá óõíÜñçóç G(x)
åßíáé ç:
ar = −4 · 4r + 3 (r + 1) 2r + 2 · 2r ; r = 0; 1; 2; : : :
¢ñá ç F (x) = 4x2 G(x) åßíáé ãåííÞñéá óõíÜñçóç çò áêïëïõèßáò 4ar−2 .
ÅðïìÝíùò ç æçïýìåíç áêïëïõèßá åßíáé ç
0; r < 2
ar = (3r − 1) 2r − 4r ; r = 2; 3; 4; : : :
2.2. ÉÄÉÏÔÇÔÅÓ ÔÙÍ ÅÍÍÇÔÑÉÙÍ ÓÕÍÁÑÔÇÓÅÙÍ 23
2.3 ÁðáñéèìçÝò
r =0
êáëåßáé áðáñéèìçÞò ïõ óõíüëïõ. éá ðáñÜäåéãìá, ç ãåííÞñéá óõíÜñçóç
n
n
xr
X
r =0
r
åßíáé ï áðáñéèìçÞò ùí óõíäõáóìþí (÷ùñßò åðáíÜëçøç) r áíéêåéìÝíùí åðéëåãìÝíùí
áðü n áíéêåßìåíá (óï ðáñÜäåéãìá áõü ï óýíïëï ùí óõíäõáóéêþí áíéêåéìÝíùí
ðáñáìåñïðïéåßáé áðü ï r, åíþ ï n èåùñåßáé ùò óáèåñÜ).
Ïé áðáñéèìçÝò ÷ñçóéìïðïéïýíáé ãéá íá õðïëïãßóïõìå ï ðëÞèïò óõíüëùí
áíéêåéìÝíùí ðïõ äßíïíáé ìå óõíäõáóéêÞ ðåñéãñáöÞ êáé åîáñþíáé áðü ìßá
ðáñÜìåñï. ÊáÜ çí åöáñìïãÞ çò ìåèüäïõ áõÞò, âñßóêïõìå ðñþá Ýíáí
êëåéóü (äçë. óõìðçãìÝíï) ýðï ãéá ïí áðáñéèìçÞ £ìåáöñÜæïíáò¤ ç óõíäõáóéêÞ
ðåñéãñáöÞ ïõ óõíüëïõ óå áëãåâñéêÝò ðñÜîåéò. Óç óõíÝ÷åéá ãñÜöïõìå ïí
áðáñéèìçÞ óå ìïñöÞ äõíáìïóåéñÜò. Ïé óõíåëåóÝò çò äõíáìïóåéñÜò ìáò äßíïõí
ï ðëÞèïò ùí áíéêåéìÝíùí ïõ óõíüëïõ, ãéá êÜèå éìÞ çò ðáñáìÝñïõ.
áñÜäåéãìá 2.5: ¸óù üé èÝëïõìå íá õðïëïãßóïõìå ïí áñéèìü ùí åðéëïãþí
r áíéêåéìÝíùí (÷ùñßò åðáíÜëçøç) áðü n áíéêåßìåíá.
Ëýóç . Åßíáé åýêïëï íá äéáðéóþóïõìå áí óêåöïýìå ïí ñüðï ðïõ ðïëëáðëáóéÜæïõìå
ðïëõþíõìá üé ï áñéèìüò áõüò ðñÝðåé íá åßíáé ï óõíåëåóÞò ïõ xr óç óõíÜñçóç
(1 + x) . Áíáðýóóïíáò þñá ï (1 + x) óå äõíáìïóåéñÜ (÷ñçóéìïðïéþíáò ï
n n
ÅðåéäÞ üìùò
1
1 + x + x2 + : : : = (ãéá |x| < 1) ;
1−x
2.3. ÁÁÑÉÈÌÇÔÅÓ 25
r
ñüðïé íá ï êÜíïõìå. Ìå Üëëá ëüãéá, õðÜñ÷ïõí
n+r−1
r
ïðïèåÞóåéò r ìç äéáêåêñéìÝíùí áíéêåéìÝíùí óå n äéáêåêñéìÝíåò õðïäï÷Ýò.
Óá ßäéá óõìðåñÜóìáá åß÷áìå êááëÞîåé ìå äéáöïñåéêïýò ñüðïõò êáé óï
ðñïçãïýìåíï êåöÜëáéï. Ôþñá üìùò Ý÷ïõìå óá ÷Ýñéá ìáò Ýíá éó÷õñü åñãáëåßï
ðïõ ìáò åðéñÝðåé íá ëýóïõìå äõóêïëüåñá ðñïâëÞìáá.
áñÜäåéãìá 2.6: ¸óù üé Ý÷ïõìå ïí ðåñéïñéóìü üé üëåò ïé õðïäï÷Ýò ðñÝðåé
íá Ý÷ïõí Ýíá ïõëÜ÷éóïí áíéêåßìåíï.
ÅðïìÝíùò:
∞
n+r−1
n 2 −n
1 + x + x + ::: = 1−x x2r :
X
2 4
=
r =0
r
n+r=2−1
¢ñá, üðùò áíáìÝíåáé, ç áðÜíçóç åßíáé r=2
.
Óçìåéþóå üé
−n
1 − x2 = (1 − x)−n (1 + x)−n :
×ñçóéìïðïéþíáò éò ðáñáðÜíù ó÷Ýóåéò êáé çí éäéüçá çò óõíÝëéîçò êááëÞãïõìå
óï óõìðÝñáóìá üé ç Ýêöñáóç:
n+r−1 n+r−2 n+r−3 n+1
− n+ − :::
r r−1 r−2 2
k n + (r − k ) − 1 n+k−1 r n+r−1
+ (−1) + : : : + (−1)
r−k k r
åßíáé ßóç ìå 0 ãéá r ðåñéü, êáé åßíáé ßóç ìå
n+s−1
ãéá Üñéï r = 2s:
s
¢ñá êááëÞãïõìå óïí ýðï
2s
n+s−1 n + 2s − k − 1 n + k − 1
k
:
X
= (−1)
s k=0
2s − k k
áñÜäåéãìá 2.8 (äéáìåñßóåéò áêåñáßùí): Íá âñåèåß ï áñéèìüò ùí ñüðùí
ðïõ Ýíáò áêÝñáéïò èåéêüò áñéèìüò n ìðïñåß íá ãñáöåß ùò Üèñïéóìá èåéêþí
áêåñáßùí áñéèìþí, ÷ùñßò íá ìáò åíäéáöÝñåé ç óåéñÜ ùí üñùí óá áèñïßóìáá.
Ï áñéèìüò áõüò óõìâïëßæåáé ìå d(n). éá ðáñÜäåéãìá:
d (1) = 1 : 1
d (2) = 2 : 2=1+1
d (3) = 3 : 3=2+1=1+1+1
d (4) = 5 : 4 = 3 + 1 = 2 + 2 = 2 + 1 + 1 = 1 + 1 + 1 + 1:
i=1
(1 − xi )
i=1
(1 − xi )
üå ï óõíåëåóÞò ïõ xn åßíáé ï áñéèìüò ùí äéáìåñßóåùí ïõ n óå áèñïßóìáá
ùí ïðïßùí ïé üñïé äåí õðåñâáßíïõí ï r.
(1 + x) 1 + x2 : : : (1 + xn ) :
åßíáé 4.
28 ÊÅÖÁËÁÉÏ 2. ÅÍÍÇÔÑÉÅÓ ÓÕÍÁÑÔÇÓÅÉÓ
r =0
r!
r
äçëáäÞ ï óõíåëåóÞò ïõ xr! óï áíÜðõãìá ïõ (1 + x)n åßíáé ï áñéèìüò ùí
äéáÜîåùí r áíéêåéìÝíùí åðéëåãìÝíùí áðü n áíéêåßìåíá. Áõü ìáò ïäçãåß íá
ïñßóïõìå ùò åêèåéêÞ ãåííÞñéá óõíÜñçóç ìéáò áêïëïõèßáò a0 ; a1 ; : : : ç óåéñÜ
∞ k ∞
xr
ar xr!r (ç ïñïëïãßá ïöåßëåáé óï üé ex = r ! ).
P P
r =0 r =0
Áò êïéÜîïõìå þñá ðñïóåêéêÜ Ýíá ãéíüìåíï çò ìïñöÞò:
n
x x2 x3
1+ + + + ::: :
1! 2! 3!
xr xr
Áí áíáðýîïõìå ï ãéíüìåíï áõü óå óåéñÜ ùí r! ; ï óõíåëåóÞò ïõ r! åßíáé
r!
;
X
q1 +q2
q !q
+:::+qn =r 1 2
! : : : qn !
üðïõ ï Üèñïéóìá êõìáßíåáé ðÜíù áðü üëåò éò äõíáÝò áíáëýóåéò ïõ r óå
Üèñïéóìá n ìç áñíçéêþí üñùí (äéáöïñåéêÝò èåùñïýíáé äýï áíáëýóåéò åÜí
Ý÷ïõí äéáöïñåéêÜ óýíïëá üñùí, Þ åÜí Ý÷ïõí ï ßäéï óýíïëï üñùí áëëÜ ìå
äéáöïñåéêÞ óåéñÜ). ÁëëÜ üìùò ç Ýêöñáóç
r!
q1 !q2 ! : : : qn !
äßíåé ïí áñéèìü ùí ìåáèÝóåùí r áíéêåéìÝíùí ðïõ åßíáé ÷ùñéóìÝíá óå n ïìÜäåò
ìå qi (1 ≤ i ≤ n) ìç äéáêåêñéìÝíá óïé÷åßá ç êÜèå ìßá. ÅðïìÝíùò ç Ýêöñáóç
r!
(2.5)
X
q1 +:::+qn =r
q1 ! : : : qn !
äßíåé ïí áñéèìü ùí ìåáèÝóåùí ìå åðáíÜëçøç r áíéêåéìÝíùí åðéëåãìÝíùí áðü
n áíéêåßìåíá (ç Ýêöñáóç áõÞ åðïìÝíùò éóïýáé ìå nr ). Äåí åßíáé þñá äýóêïëï
íá ãåíéêåýóïõìå éò ðáñáðÜíù éäÝåò:
r=n 1 2 3 4 5 6 7 8 9 10
1 1
2 1 1
3 1 3 1
4 1 7 6 1
5 1 15 25 10 1
6 1 31 90 65 15 1
7 1 63 301 350 140 21 1
8 1 127 966 1701 1050 266 28 1
9 1 255 3025 1770 6951 2646 462 36 1
10 1 511 9330 34105 42525 22827 5880 750 45 1
Ëýóç. ÅðåéäÞ ìßá äéáìÝñéóç èá áðïåëåßáé áðü Ýíá Þ äýï Þ ñßá êë õðïóýíïëá,
åßíáé åýêïëï íá äéáðéóþóåé êÜðïéïò üé:
∞
Br = S (r; i):
X
i=1
2.4. ÅÊÈÅÔÉÊÅÓ ÅÍÍÇÔÑÉÅÓ ÓÕÍÁÑÔÇÓÅÉÓ 31
r=n 1 2 3 4 5 6 7 8
1 1
2 1 1
3 2 3 1
4 6 11 6 1
5 24 50 35 10 1
6 120 274 255 85 15 1
7 720 1764 1624 735 175 21 1
8 5040 13068 13132 6769 1960 322 28 1
ÎÝñïõìå üé ï åêèåéêüò áðáñéèìçÞò ùí S (r; n) åßíáé (ex − 1)n =n!. ÅðïìÝíùò,
ï åêèåéêüò áðáñéèìçÞò ùí áñéèìþí Bell Br åßíáé
(e − 1)i
∞ x
x −1
= ee − 1:
X
i=1
i!
2.5 ÁóêÞóåéò
i=0
i t−i
k=0
k=0
éóïýáé ìå (X (s))n .
2.5. ÁÓÊÇÓÅÉÓ 33
Ó÷Ýóåéò ÁíáäñïìÞò
3.1 ÅéóáãùãÞ
ýñù óá 1200 ì. ×. ï Leonardo da Pisa, ðéï ãíùóüò óáí Fibona
i, áíáêÜëõøå
êáé ìåëÝçóå çí áêïëïõèßá áñéèìþí Fibona
i. Ï Fibona
i ðáñïõóßáæå áõÞí
çí áêïëïõèßá áñéèìþí ëÝãïíáò çí ðéï êÜù éóïñßá: £Óå Ýíá íçóß õðÜñ÷åé
áñ÷éêÜ Ýíá æåõãÜñé áðü êïõíÝëéá. ÊÜèå æåýãïò êïõíåëéþí Ý÷åé ç äõíáüçá
ìåÜ áðü Ýíá ìÞíá æùÞò íá áíáðáñÜãåé Ýíá Üëëï æåýãïò áðü êïõíÝëéá ìÝóá óå
Ýíá ìÞíá. Áõü ìáò ëÝåé üé ï êïõíÝëé ãéá íá ãåííÞóåé ðñÝðåé íá åíçëéêéùèåß,
äçëáäÞ íá ãßíåé åíüò ìçíüò. åííÞóåéò óõìâáßíïõí êÜèå ìÞíá. Ôá êïõíÝëéá
ðïÝ äåí ðåèáßíïõí êáé ðïÝ äåí óáìáÜíå íá áíáðáñÜãïõí¤. Áò ðñïóðáèÞóïõìå
íá äþóïõìå ìéá ëýóç óï ðñüâëçìá ïõ õðïëïãéóìïý ïõ áñéèìïý ùí êïõíåëéþí
ìåÜ áðü Ýíá äåäïìÝíï äéÜóçìá.
Áò åßíáé an ï áñéèìüò ùí æåõãáñéþí ùí êïõíåëéþí ìåÜ áðü n ìÞíåò. Áò
åßíáé Nn á íåïãåííçèÝíá æåõãÜñéá (äçëáäÞ áõÜ ðïõ ãåííÞèçêáí óï ìÞíá n)
êáé On á ðáëéÜ æåõãÜñéá (äçëáäÞ áõÜ ðïõ ãåííÞèçêáí óïõò ìÞíåò 1; : : : ; n −1).
ÅðïìÝíùò åßíáé
an = Nn + On
Ïé êáíüíåò çò éóïñßáò ìáò ëÝíå üé ïí åðüìåíï ìÞíá èá óõìâïýí á åîÞò
ãåãïíüá:
On+1 = On + Nn = an - á ðáëéÜ æåõãÜñéá ç ÷ñïíéêÞ óéãìÞ (n + 1) Ý÷ïõí
áõîçèåß ìå áõÜ ðïõ ãåííÞèçêáí ç ÷ñïíéêÞ óéãìÞ n.
Nn+1 = On - êÜèå ðáëéü æåõãÜñé óç ÷ñïíéêÞ óéãìÞ n ðáñÜãåé Ýíá íåïãÝííçï
æåõãÜñé ç ÷ñïíéêÞ óéãìÞ n + 1.
ÊáÜ ç äéÜñêåéá ïõ åðüìåíïõ ìÞíá Ý÷ïõìå:
On+2 = On+1 + Nn+1 = an+1
Nn+2 = On+1
ÓõíäõÜæïíáò éò ðéï ðÜíù åîéóþóåéò Ý÷ïõìå
an+2 = On+2 + Nn+2 = (On+1 + Nn+1 ) + (On + Nn ) = an+1 + an
Ç ðéï ðÜíù ó÷Ýóç åßíáé ìéá ó÷Ýóç áíáäñïìÞò. Ïé áñ÷éêÝò óõíèÞêåò ÷ñåéÜæïíáé,
áëëÜ äåí Ý÷ïõí êáé ìåãÜëç óçìáóßá. éá ïõò áñéèìïýò Fibona
i óõíÞèùò åßíáé
a0 = 0; a1 = 1; Þ a0 = a1 = 1.
35
36 ÊÅÖÁËÁÉÏ 3. Ó×ÅÓÅÉÓ ÁÍÁÄÑÏÌÇÓ
Åßíáé åýêïëï íá äéáðéóþóåé êáíåßò üé ç ãåíéêÞ ëýóç ìéáò ãñáììéêÞò ó÷Ýóçò
áíáäñïìÞò ìå óáèåñïýò óõíåëåóÝò ìðïñåß íá ãñáöåß óáí Üèñïéóìá äýï ìåñþí:
çò ãåíéêÞò ëýóçò çò áíßóïé÷çò ïìïãåíïýò ó÷Ýóçò êáé ìéáò ìåñéêÞò ëýóçò
çò äåäïìÝíçò ìç ïìïãåíïýò ó÷Ýóçò. ¢ñá ï ðñüâëçìá çò åýñåóçò çò ãåíéêÞò
ëýóçò çò ó÷Ýóçò áíáäñïìÞò áíÜãåáé óï ðñüâëçìá çò åýñåóçò çò ãåíéêÞò
ëýóçò çò ïìïãåíïýò êáé ìéáò ìåñéêÞò ëýóçò çò äåäïìÝíçò ìç ïìïãåíïýò. Áò
åßíáé a(nh) ç ëýóç çò ãåíéêÞò ïìïãåíïýò êáé a(np) ìéá ìåñéêÞ ëýóç çò ìç ïìïãåíïýò.
Åßíáé
0 a(nh) +
1 a(nh−1
)
+ : : : +
r an−r
(h)
= 0
0 a(np) +
1 a(np−1
)
+ : : : +
r an−r
(p)
= f (n)
ÅðïìÝíùò
êáé
# = tan−1 (b=a) ; B1 = (A1 + A2 ) ; B2 = i (A1 − A2 )
Ìáò ìÝíåé ç ðåñßðùóç íá Ý÷ïõìå ðïëëáðëÝò ñßæåò ãéá ç ÷áñáêçñéóéêÞ åîßóùóç.
Áò åßíáé X1 k -ðïëëáðëüçáò ñßæá çò ÷áñáêçñéóéêÞò åîßóùóçò. Ôüå
áðïäåéêíýåáé üé ç ïìïãåíÞò ëýóç åßíáé
A1 nk−1 + A2 nk−2 + : : : + Ak−2 n2 + Ak−1 n + Ak X1n
êáé ïé ñßæåò
x1 = x2 = 1=2; x3 = 4
¢ñá ç ïìïãåíÞò ëýóç, ðïõ óå áõÞ çí ðåñßðùóç åßíáé êáé ðëÞñçò ëýóç, åßíáé
a(nh) = (A1 n + A2 ) (1=2)n + A3 4n
Ôá A1 ; A2 ; êáé A3 õðïëïãßæïíáé áðü éò áñ÷éêÝò óõíèÞêåò.
(Â) Åýñåóç ìéáò ìåñéêÞò ëýóçò: Äåí õðÜñ÷åé ãåíéêüò êáíüíáò. Ìðïñïýìå
üìùò íá ðïýìå ðùò ç ìåñéêÞ ëýóç £ìïéÜæåé¤ ìå çí ïäçãü óõíÜñçóç. ÄçëáäÞ,
áíÜëïãá ìå ï é åßíáé ç ïäçãüò óõíÜñçóç äïêéìÜæïõìå êáé ìéá ìåñéêÞ ëýóç. Ï
ðéï êÜù ðßíáêáò äßíåé ìåñéêÜ ðáñáäåßãìáá
ÌïñöÞ f (n) ÌïñöÞ ìåñéêÞò ëýóçò
k, óáèåñÜ C , óáèåñÜ
ðïëõþíõìï ðïëõþíõìï ßäéïõ âáèìïý áëëÜ ðëÞñåò
kn ; k; óáèåñÝò
n ;
; óáèåñÝò
Ïé óáèåñÝò çò ìåñéêÞò ëýóçò õðïëïãßæïíáé áíéêáèéóþíáò çí õðïøÞöéá
ëýóç óçí ìç ïìïãåíÞ ó÷Ýóç áíáäñïìÞò.
(6=25) B − B + B = 6=25 ⇒ B = 1
äçëáäÞ
∞
A (x) = aL xL
X
L=0
n=k n=k
Ëýíïíáò çí (3.5) ùò ðñïò A(x) êáé êÜíïíáò éò áíéêááóÜóåéò Ý÷ïõìå üé
A (x) = a0 + a1 x + : : : + ak−r−1 xk−r−1
∞
f (n) xn +
0 ak−r xk−r + : : : + ak−1 xk−1
P
1
+
0 +
1 x + : : : +
r xr +
1 n=k
ak−r xk−r+1 + : : : + ak−2 xk−1 + : : : +
r−1 ak−r xk−1
.
Ëýóç
¸÷ïõìå
6an − 5an−1 + an−2 = 6 (1=5) ; a0 = 0; a1 = 6=5
n
ÅðïìÝíùò
∞ ∞ ∞ ∞
6an xn − 5an−1 xn + an−2 xn = 6 (1=5) xn
n
X X X X
6 (1=5) x2
2
6 [A (x) − a0 − a1 x] − 5x [A (x) − a0 ] + x2 A (x) = ⇒
1 − (1=5) x
x (6 − x)
A (x) = (1=5) ⇒
[1 − (1=3) x] [1 − (1=2) x] [1 − (1=5) x]
−9 8 1
A (x) = + + ⇒
1 − (1=3) x 1 − (1=2) x 1 − (1=5) x
an = (1=2)n−2 − (1=3)n−2 + (1=5)n ; n = 0; 1; 2; : : :
áñÜäåéãìá 3.5: Äßíïíáé ïé 2 ðáñáêÜù ó÷Ýóåéò áíáäñïìÞò ðïõ ó÷åßæïíáé
ìåáîý ïõò
ar = 3ar−1 + 2br−1
br = ar−1 + br−1
ìå a0 = 1; b0 = 0
3.2. ÑÁÌÌÉÊÅÓ Ó×ÅÓÅÉÓ ÁÍÁÄÑÏÌÇÓ ÌÅ ÓÔÁÈÅÑÏÕÓ ÓÕÍÔÅËÅÓÔÅÓ 41
r =1 r =1 r =1
∞ ∞ ∞
br xr = ar−1 xr + br−1 xr
X X X
r =1 r =1 r =1
∞ ∞
ìå A (x) = ar xr ; B (x) = br xr
X X
r =0 r =0
an = 3a2n−1; n ≥ 1; a0 = 1
Ëýóç. ÁõÞ ç ó÷Ýóç áíáäñïìÞò äåí ìðïñåß íá ëõèåß ìå êáìéÜ áðü éò ìåèüäïõò
ðïõ Ý÷ïõìå óõæçÞóåé ìÝ÷ñé þñá. Áí üìùò èåùñÞóïõìå ìéá íÝá áêïëïõèßá bn
çò ìïñöÞò bn = log an (üðïõ log äçëþíåé ëïãÜñéèìï ìå âÜóç ï 2). Ôüå ç
ó÷Ýóç áíáäñïìÞò ìðïñåß íá îáíáãñáöåß ùò åîÞò
bn = 2bn−1 + log 3; b0 = 0
ÁõÞ ç ó÷Ýóç áíáäñïìÞò ìðïñåß íá ëõèåß åýêïëá ìå éò ìåèüäïõò ðïõ Ý÷ïõìå
óõæçÞóåé. Áí ç ëýóïõìå âñßóêïõìå üé
n −1) log 3 n −1
bn = (2n − 1) log 3 Þ an = 2(2 = 32
42 ÊÅÖÁËÁÉÏ 3. Ó×ÅÓÅÉÓ ÁÍÁÄÑÏÌÇÓ
Ïé ó÷Ýóåéò áíáäñïìÞò ïé ïðïßåò äåí åßíáé ãñáììéêÝò êáé Ý÷ïõí óáèåñïýò óõíåëåóÝò,
äåí Ý÷ïõí ãåíéêÝò å÷íéêÝò ëýóçò ðáñüìïéåò ìå áõÝò çò áñáãñÜöïõ 3.2.
ÓõíÞèùò êááöåýãïõìå óå åéäéêÝò ìåèüäïõò. ¢ëëïå ðÜëé ãéá åéäéêÝò êáçãïñßåò
ìðïñïýìå íá äþóïõìå ãåíéêÞ ëýóç Þ íá ìåëåÞóïõìå çí áóõìðùéêÞ óõìðåñéöïñÜ
çò ëýóçò çò ó÷Ýóçò áíáäñïìÞò. ïëëÝò öïñÝò £ìáíåýïõìå¤ ìéá ëýóç êáé ç
äïêéìÜæïõìå áí äïõëåýåé. ¢ëëåò öïñÝò ðÜëé êÜíïõìå äéÜöïñïõò ìåáó÷çìáéóìïýò.
Ìå Üëëá ëüãéá, üáí ëÝìå üé ç Ô (n) åßíáé O (f (n)), áõü óçìáßíåé üé ç
f (n) åßíáé Ýíá ðÜíù üñéï óï ñõèìü áýîçóçò çò Ô (n).
éá íá ëýóïõìå çí (3.6) êÜíïõìå äéáäï÷éêÝò áíéêááóÜóåéò óï äåîéü
ìÝñïò ãéá i = 1; 2 êáé Ý÷ïõìå
T (n) = aT (n=b) + d (n)
h n n i n n
= a aT 2 + d + d (n) = a2 T 2 + ad + d (n)
h b n b n i n b b n n n
= a2 aT 3 + d 2 + ad + d (n) = a3 T 3 + a2 d 2 + ad + d (n)
b b b b b b
:::
n X i−1 n
= ai T i + aj d j
b j =0
b
ÅÜí þñá õðïèÝóïõìå üé n = bk ìðïñïýìå íá ÷ñçóéìïðïéÞóïõìå ï ãåãïíüò üé
T bk = T (1) = 1 êáé íá ðÜñïõìå, ìå i = k ç ó÷Ýóç
n
k −1
T (n) = ak + aj d bk−j
X
j =0
Åßíáé áñêåÜ åíäéáöÝñïí íá äïýìå ïõò äéáöïñåéêïýò ñüëïõò ðïõ ðáßæïõí ïé äýï
üñïé óçí (3.7).
Ï ðñþïò üñïò, ï alogb n , ïíïìÜæåáé ïìïãåíÞò ëýóç óå áíáëïãßá ìå çí
ïñïëïãßá ðïõ ÷ñçóéìïðïéÞóáìå óéò ãñáììéêÝò ó÷Ýóçò áíáäñïìÞò ìå óáèåñïýò
óõíåëåóÝò. ñïöáíþò áí ç ïäçãüò óõíÜñçóç d(n) åßíáé 0, üå ç ïìïãåíÞò
ëýóç åßíáé ç áêñéâÞò ëýóç ãéá çí çëåóêïðéêÞ ó÷Ýóç áíáäñïìÞò.
Ï äåýåñïò üñïò ïíïìÜæåáé ìåñéêÞ ëýóç êáé åßíáé äýóêïëï íá õðïëïãéóåß
áêüìá êáé áí îÝñïõìå áêñéâþò çí ïäçãü óõíÜñçóç d(n).
ÕðÜñ÷ïõí ëïéðüí ïäçãïß óõíáñÞóåéò d(n) ãéá éò ïðïßåò ìðïñïýìå íá ëýóïõìå
çí (3.7) áêñéâþò êáé õðÜñ÷ïõí êáé Üëëåò ãéá éò ïðïßåò ìðïñïýìå íá ðÜñïõìå
Ýíá êáëü Üíù üñéï.
ËÝìå üé ìéá óõíÜñçóç f ùí áêÝñáéùí åßíáé ðïëëáðëáóéáóéêÞ åÜí f (xy ) =
f (x)f (y) ãéá üëïõò ïõò èåéêïýò áêÝñáéïõò x êáé y.
Áí ç d(n) åßíáé ðïëëáðëáóéáóéêÞ üå
d bk−j = (d (b))
k −j
j =0
d (b)
k
a
d(b) −1
= (d (b))
k
a
d(b) −1
a k
− (d (b)) k
X = a (3.8)
d(b) − 1
(á) ÅÜí a > d(b), üå ç ó÷Ýóç (3.8) åßíáé O(ak ) Þ O(nlogb a ) áöïý k = logb n.
Óå áõÞ çí ðåñßðùóç ç ìåñéêÞ êáé ç ïìïãåíÞò ëýóç åßíáé ßóåò óå Üîç
ìåãÝèïõò êáé åîáñþíáé ìüíï áðü á a; b êáé ü÷é áðü çí ïäçãü óõíÜñçóç
d(n).
T (n) = O ak = O nlogb a (3.9)
(â) ÅÜí a < d(b), üå ç ó÷Ýóç (3.8) åßíáé O d (b)k Þ O nlogb d(b) . Óå áõÞ
Áöïý a = d(b), ðáñáçñïýìå üé ç ìåñéêÞ ëýóç åßíáé êáÜ logb n Üîç
ìåãÝèïõò öïñÝò ç ïìïãåíÞò ëýóç. ¢ñá ç ìåñéêÞ ëýóç õðåñâáßíåé êáé ðÜëé
çí ïìïãåíÞ ëýóç. ËÝìå ëïéðüí üé
Ëýóç . Óå êÜèå ìéá áðü éò ðéï ðÜíù Ý÷ïõìå ãéá çí ïìïãåíÞ ëýóç a = 4; b = 2
Üñá ç ïìïãåíÞò ëýóç åßíáé n2 .
(1) Åßíáé d(n) = n ⇒ d(b) = d(2) = 2 êáé a = 4 ⇒ d(b) = 2. ¢ñá êáé ç
ìåñéêÞ ëýóç åßíáé n2 . ÅðïìÝíùò Ô (n) = Ï (n2 ).
(2) Åßíáé d(b) = 4 = a Üñá ç ìåñéêÞ ëýóç êáé åðïìÝíùò êáé ç Ô (n) åßíáé
O(n2 log n).
(3) Åßíáé d(n) = n3 ⇒ d(b) = d(2) = 8 êáé a < d(b). ÅðïìÝíùò ç ìåñéêÞ ëýóç
êáé åðïìÝíùò êáé ç Ô (n) åßíáé O nlogb d(b) = O n3 .
l=0
ç ïðïßá éó÷ýåé ãéá n ≥ k , üðïõ k êÜðïéïò áêÝñáéïò. ¼ðùò êáé óçí ðáñÜãñáöï
(3.2.2) èá äå÷èïýìå üé k ≥ r.
3.3. ÌÇ ÑÁÌÌÉÊÅÓ Ó×ÅÓÅÉÓ ÁÍÁÄÑÏÌÇÓ 45
n=k n= k
Ç (3.13) åßíáé ìéá áëãåâñéêÞ åîßóùóç 2ïõ âáèìïý ùò ðñïò A(x), ç ïðïßá ìðïñåß
íá ëõèåß. Ç A(x) åßíáé ç óõíÞèçò ãåííÞñéá óõíÜñçóç êáé Üñá ìðïñïýìå íá
âñïýìå ðïéá áêïëïõèßá Ý÷åé çí A(x) ãåííÞñéá óõíÜñçóç.
ÄçëáäÞ
an = an−1 a1 + an−2 a2 + : : : + a2 an−2 + a1 an−1 ⇒
n −1
an an−k ak ãéá n ≥ 2
X
=
k=1
ñïöáíþò a1 = 1.
n=2 n=2
k=0
ç ïðïßá éó÷ýåé ãéá n ≥ k , üðïõ k êÜðïéïò áêÝñáéïò, êáé k ≥ r.
ïëëáðëáóéÜæïíáò êáé á äýï ìÝñç ìå xn êáé áèñïßæïíáò áðü n = k ìÝ÷ñé
n = ∞, Ý÷ïõìå
∞ ∞
bn xn = (an−r b0 + an−r−1 b1 + : : : + a0 bn−r ) xn ⇒
X X
n=k n=k
B (x) − b0 − b1 x − : : : − bk−1 xk−1 =
= xr [A (x) B (x) − a0 b0 − (a1 b0 + a0 b1 ) x − : : :
− (ak−r−1 b0 + ak−r−2 b1 + : : : + a0 bk−r−1 ) xk−r−1
ÅÜí þñá ç A(x) Þ ç B (x) åßíáé ãíùóÞ ìáæß ìå éò êáÜëëçëåò áñ÷éêÝò óõíèÞêåò
(êáé áõÝò ãíùóÝò), üå ìðïñïýìå íá õðïëïãßóïõìå åßå çí Á(x) åßå çí Â (x).
3.4. ÁÓÊÇÓÅÉÓ 47
3.4 ÁóêÞóåéò
(â)
:::
2 1 0 0 0 0 0 0 0 0 0
:::
1 2 1 0 0 0 0 0 0 0 0
:::
0 1 2 1 0 0 0 0 0 0 0
:::
0 0 1 2 1 0 0 0 0 0 0
..
.
:::
0 0 0 0 0 0 0 1 2 1 0
:::
0 0 0 0 0 0 0 0 1 2 1
:::
0 0 0 0 0 0 0 0 0 1 2
(ã)
1 + 2 :::
0 0 0 0
1 + 2 :::
0 0 0
1 + 2 :::
0 0 0
..
.
::: 1 + 2
0 0 0 0
::: 1 + 2
0 0 0 0
48 ÊÅÖÁËÁÉÏ 3. Ó×ÅÓÅÉÓ ÁÍÁÄÑÏÌÇÓ
3.3 Óï ðéï êÜù êýêëùìá íá õðïëïãéóåß ç Üóç V (n). Äßíåáé V (0) = 1.
V 1 1 1 1 1 1
3.4 ¸óù üé óñßâïõìå Ýíá íüìéóìá n öïñÝò. ÕðÜñ÷ïõí ðñïöáíþò 2n áêïëïõèßåò
ðéèáíþí áðïåëåóìÜùí. ïéïò åßíáé ï áñéèìüò ùí áêïëïõèéþí ùí áðïåëåóìÜùí
óéò ïðïßåò ðïÝ äåí åìöáíßæåáé £êåöáëÞ¤ óå äéáäï÷éêÜ óñéøßìáá;
3.5 Íá ëõèïýí ïé ó÷Ýóåéò áíáäñïìÞò
(á) T (n) = 8T (n=2) + n3 ; T (1) = 1
(â) T (n) = T (n=2) + 1; T (1) = 1
(ã) T (n) = 2T (n=2) + n; T (1) = 1
(ä) T (n) = 3T (n=2) + 2n1:5 ; T (1) = 1
(å) T (n) = 2T (n=2) + n log n; T (1) = 1
(ó) T (n) = 2T (n=2) + log n; T (1) = 1
3.6 ¸óù ar íá åßíáé ï áñéèìüò ùí ñüðùí íá åðéëÝîïõìå (ìå åðáíáëÞøåéò)
r ãñÜììáá áðü ï áëöÜâçï {0; 1; 2}, ìå ðåñéïñéóìü üé ï ãñÜììá 0 èá
åðéëåãåß æõãÝò öïñÝò. Âñåßå ìéá ó÷Ýóç áíáäñïìÞò ãéá ï ðñüâëçìá êáé
ëýóå ç (Ýíáò Üëëïò ñüðïò åßíáé íá ÷ñçóéìïðïéÞóåå ãåííÞñéåò óõíáñÞóåéò).
3.7 ¸íáò ðáÝñáò äßíåé óï ãéï ïõ n ÷éëéÜñéêá. Ï ãéïò ìðïñåß íá îïäÝøåé á
ëåöÜ ìå ïí åîÞò ñüðï:
3.9 ¸íá äõáäéêü äÝíñï n êïñõöþí åßíáé åßå Üäåéï áí n = 0 åßå ìéá ñéÜäá
(Ti ; r; Tn−i−1 ) üðïõ r åßíáé Ýíáò äéáêåêñéìÝíïò êüìâïò (n ñßæá), Ti åßíáé
Ýíá äõáäéêü äÝíñï i êïñõöþí êáé Tn−i−1 åßíáé Ýíá äõáäéêü äÝíñï n − i −1
êïñõöþí (áñéóåñü êáé äåîéü õðïäÝíñï). üóá äõáäéêÜ äÝíñá n êïñõöþí
õðÜñ÷ïõí;
3.10 üóåò áêïëïõèßåò ìÞêïõò n ìðïñïýí íá ó÷çìáéóïýí áðü á a; b;
; d ìå
Ýïéï ñüðï þóå á a êáé b íá ìçí åßíáé ðïÝ ãåéïíéêÜ;
3.11 Ìå ðüóïõò ñüðïõò an , ìðïñïýìå íá ïðïèåÞóïõìå ðáñåíèÝóåéò óï ãéíüìåíï
x1 ; x2 ; x3 ; : : : ; xn âÜæïíáò ðáñÝíèåóç óå êÜèå 2 üñïõò ïõ ãéíïìÝíïõ, Ýóé
þóå íá ðïëëáðëáóéÜæïíáé 2 üñïé êÜèå öïñÜ;
3.12 Íá âñåèåß ï áñéèìüò dn ùí ñéãùíéóìþí åíüò êõñïý n-ãþíïõ. Ôñéãùíéóìüò
åßíáé Ýíá óýíïëï áðü n − 3 äéáãþíéåò ìå êÜèå äõï áðü áõÝò íá ìçí
Ýìíïíáé óï åóùåñéêü ïõ n-ãþíïõ.
3.13 (á) üóåò áêïëïõèßåò n øçößùí áðü á øçößá 0,1,2,3 Ý÷ïõí ìïíü áñéèìü
áðü 0;
(â) Íá âñåèåß ï áñéèìüò ùí áêïëïõèéþí n øçößùí áðü á 0,1, óéò ïðïßåò
ï äåßãìá 010 åìöáíßæåáé óï n øçößï.
3.14 Íá âñåèåß ï áñéèìüò ùí áêïëïõèéþí n øçößùí áðü á 0,1, óéò ïðïßåò ìéá
åìöÜíéóç ïõ äåßãìáïò 010 áêïëïõèåßáé áðü çí åìöÜíéóç ïõ äåßãìáïò
110.
3.15 Íá ëõèåß ç ó÷Ýóç áíáäñïìÞò an = 10a2n−1 ; n ≥ 1; a0 = 1
50 ÊÅÖÁËÁÉÏ 3. Ó×ÅÓÅÉÓ ÁÍÁÄÑÏÌÇÓ
ÊåöÜëáéï 4
4.1 ÅéóáãùãÞ
•
@
@
@
@
• •
@ @
@ @
@ @
@ @
• • • •
51
52 ÊÅÖÁËÁÉÏ 4. ÈÅÙÑÉÁ ÌÅÔÑÇÓÇÓ POLYA
M M M
@ @ @
@ @ @
M A A M M A
@ @ @ @ @ @
@ @ @ @ @ @
M M M A M M M A M M A A
v1
@
@
@
@
v2 v3
@ @
@ @
@ @
@ @
v4 v5 v6 v7
2 = vv1 v2 v3 v4 v5 v6 v7
v2 v3 v5 v4 v6 v7 :
1
Óéò ðáñáðÜíù éóüçåò, êÜù áðü êÜèå êïñõöÞ ãñÜöåáé ç åéêüíá çò ùò
ðñïò çí áíéìåÜèåóç. Ç åëÜ÷éóç (ùò ðñïò ç ó÷Ýóç ïõ ðåñéÝ÷åóèáé) ïìÜäá
áíéìåáèÝóåùí ðïõ ðåñéÝ÷åé êÜðïéåò äåäïìÝíåò áíéìåáèÝóåéò ïíïìÜæåáé ïìÜäá
ðïõ ðáñÜãåáé áðü éò äåäïìÝíåò áíéìåáèÝóåéò. ñïêýðåé áí óõíäõÜóïõìå
åðáíáëçðéêÜ ìÝóù çò äéìåñïýò ðñÜîçò çò óýíèåóçò éò äåäïìÝíåò áíéìåáèÝóåéò
êáé éò áíßóñïöÝò ïõò êáÜ üëïõò ïõò äõíáïýò ñüðïõò.
Áí þñá f åßíáé Ýíáò ÷ñùìáéóìüò êáé ∈ G, üå (f ) åßíáé Ýíáò íÝïò
÷ñùìáéóìüò ðïõ ïñßæåáé áðü ïí ýðï:
(f ) (v) = f ( (v)) ; ∀v ∈ V: (4.1)
ÄéáéóèçéêÜ, (v ) åßíáé ç êïñõöÞ ðïõ áíéêáèéóÜ çí v üáí ç óõììåñßá
äñÜóåé óï V . ËÝìå üé ç êïñõöÞ (v ) åßíáé ç óõììåñéêÞ çò v . Åðßóçò (f )
åßíáé ï ÷ñùìáéóìüò ðïõ ðñïêýðåé üáí üëåò ïé êïñõöÝò áíéêááóáèïýí áðü
éò óõììåñéêÝò ïõò. ¸óù þñá × Ýíá óýíïëï ÷ñùìáéóìþí ðïõ åßíáé êëåéóü
ùò ðñïò éò äñÜóåéò ùí óïé÷åßùí ïõ G, äçëáäÞ áí f ∈ × êáé ∈ G, üå
(f ) ∈ × . ÅéóÜãïõìå óï × çí áêüëïõèç ó÷Ýóç éóïäõíáìßáò:
f ≡G g ⇔ (∃ ∈ G) ( (f ) = g) (4.2)
Åßíáé åýêïëï íá áðïäåé÷èåß üé ðñüêåéáé ðñÜãìáé ãéá ó÷Ýóç éóïäõíáìßáò. ¸óù
þñá X=G ï óýíïëï ùí êëÜóåùí éóïäõíáìßáò ïõ × ùò ðñïò çí ≡G . To
54 ÊÅÖÁËÁÉÏ 4. ÈÅÙÑÉÁ ÌÅÔÑÇÓÇÓ POLYA
v1 v4 v6 v7
′
=
v4 v6 v7 v1
ìå ðåäßï ïñéóìïý ï óýíïëï {v1 ; v4 ; v6 ; v7 }. ÁíéìåáèÝóåéò üðùò ç ′ , ãéá éò
ïðïßåò ç áêïëïõèßá (v; ′ (v ); ′ ( ′ (v )); : : :) êáëýðåé üëï ï ðåäßï ïñéóìïý ïõò
ãéá ïðïéïäÞðïå óïé÷åßï v êáëïýíáé êõêëéêÝò áíéìåáèÝóåéò Þ áðëþò êýêëïé.
ÅðéóñÝöïõìå þñá óçí áñ÷éêÞ áíéìåÜèåóç êáé áò èåùñÞóïõìå ï ðñþï
óïé÷åßï ïõ V ðïõ äåí êáëýöèçêå áðü ïõò üñïõò çò áêïëïõèßáò (v1 ; v4 ; v6 ; v7 ),
äçëáäÞ ï v2 . Áò ó÷çìáßóïõìå ìå ïí ßäéï üðùò ðñïçãïõìÝíùò ñüðï çí
áêïëïõèßá (v2 ; v3 ). ÅðáíáëáìâÜíïíáò á ßäéá ãéá Üëëåò äýï öïñÝò ðáßñíïõìå éò
äýï áêïëïõèßåò (v5 ) êáé (v8 ), ðïõ Ý÷ïõí áðü Ýíá üñï ç êÜèå ìßá. Ïé áêïëïõèßåò
áõÝò áíéóïé÷ïýí åðßóçò óå êõêëéêÝò áíéìåáèÝóåéò. Ìå çí ðáñáðÜíù äéáäéêáóßá
ëÝìå üé áíáëýóáìå çí áñ÷éêÞ áíéìåÜèåóç óå ãéíüìåíï êõêëéêþí áíéìåáèÝóåùí
îÝíùí ìåáîý ïõò êáé ãñÜöïõìå:
Óçí ðáñÜãñáöï áõÞ èá äþóïõìå êáé èá áðïäåßîïõìå Ýíáí ýðï ãéá ïí ðëçèÜñéèìï
ïõ óõíüëïõ X=G. Ï ýðïò üìùò áõüò, ãíùóüò óáí ýðïò ïõ Burnside,
äåí åßíáé ðÜíïå åýêïëï íá åöáñìïóèåß óçí ðñÜîç. é' áõü óçí åðüìåíç
ðáñÜãñáöï èá ðáñïõóéÜóïõìå ìßá óõíÝðåéá ïõ ýðïõ ïõ Burnside, ãíùóÞ ùò
Èåþñçìá ïõ Polya, ðïõ èá åðéñÝøåé íá õðïëïãßæïõìå ï |X=G| ðéï åýêïëá.
4.3. ÔÕÏÓ ÔÏÕ BURNSIDE 55
Èá äþóïõìå þñá óçí áðüäåéîç ïõ ðáñáðÜíù ýðïõ. Óçí áñ÷Þ èá áðïäåßîïõìå
üé:
|I ( )| = |J (f )|: (4.6)
X X
∈G f ∈X
|J (f )| = |J (g )|: (4.7)
X X X
f ∈X [f ]∈X=G g ∈[f ]
|J (f )| = |E (f; g ) |: (4.8)
X X X
f ∈X [f ]∈X=G g ∈[f ]
56 ÊÅÖÁËÁÉÏ 4. ÈÅÙÑÉÁ ÌÅÔÑÇÓÇÓ POLYA
ÁëëÜ üìùò
G= E (f; g) (4.9)
[
g ∈[f ]
g ∈[f ]
f ∈X [f ]∈X=G
Áðü çí åëåõáßá ó÷Ýóç êáé ç ó÷Ýóç (4.7) áðïäåéêíýåáé ï ýðïò Burnside.
1 1
2 : @ @
@ @
2 3 → 2 2 (1)(2)(3)(45)(6)(7)
@ @ @ @
@ @ @ @
4 5 6 7 5 4 6 7
|Im ( )| m = mf : (4.16)
X X
m∈M f ∈I ( )
Óç óõíÝ÷åéá èá äþóïõìå óï Üèñïéóìá f ∈I () mf ìéá ðéï åý÷ñçóç ìïñöÞ.
P
¸óù üé áíáëýïíáò çí áíéìåÜèåóç óå ãéíüìåíï îÝíùí ìåáîý ïõò êýêëùí,
èá ðñïêýøïõí bi êýêëïé ìÞêïõò i, üðïõ 1 ≤ i ≤ |V | = n. Åßíáé öáíåñü üé áí
f ∈ I (), äçëáäÞ áí (f ) = f , üå ï ÷ñùìáéóìüò f ðáßñíåéPçí ßäéá éìÞ óå
üëá á óïé÷åßá åíüò êýêëïõ. ÅðïìÝíùò, åðåéäÞ ï Üèñïéóìá f ∈I () mf åßíáé
ï Üèñïéóìá ùí ìïíùíýìùí ãéá üëïõò ïõò ÷ñùìáéóìïýò f ∈ I ( ), ðñïêýðåé
üé:
b2
mf = (x1 + : : : + xr )
b1
x21 + : : : + x2r : : : (xn1 + : : : + xnr )bn : (4.18)
X
f ∈I ( )
éá íá äþóïõìå þñá ïí åëéêü ýðï, áðïìÝíåé ìüíïí íá äþóïõìå Ýíáí åðéðëÝïí
ïñéóìü ðïõ áðëþò áðëïðïéåß ï óõìâïëéóìü. Êáëïýìå äåßêñéá óõíÜñçóç ãéá
ç óõììåñßá ∈ G ç óõíÜñçóç
Æ (y1 ; : : : ; yn) = y1b : : : ynbn :
1
Ç ó÷Ýóç (4.19) åßíáé ãíùóÞ ùò èåþñçìá ïõ Polya. Áí êáé èá äéáöáíåß êáëýåñá
óá ðáñáäåßãìáá, ðáñáçñÞóå üé ï õðïëïãéóìüò ïõ äåîéïý ìÝñïõò ïõ ýðïõ
åßíáé ó÷åéêÜ áðëüò, åðåéäÞ ç äåßêñéá óõíÜñçóç ìéáò óõììåñßáò õðïëïãßæåáé
åýêïëá.
ÈÝïíáò x1 = x2 = : : : = xr = 1 óç ó÷Ýóç (4.19) ðáßñíïõìå çí ðéï êÜù
ó÷Ýóç ðïõ ëýíåé ï ðñüâëçìá ðïõ èÝóáìå óçí áñ÷Þ ïõ êåöáëáßïõ.
1 X
|X=G| = Æ (|V | ; : : : ; |V |): (4.20)
|G|
∈G
Ëýóç .
ÁíéìåÜèåóç ÊõêëéêÞ ÁíáðáñÜóáóç Äåßêñéá ÓõíÜñçóç
e (1)(2)(3)(4)(5)(6)(7) y17
1 (1)(23)(46)(57) y1 y23
2 (1)(2)(3)(45)(6)(7) y15 y2
1 2 1 (1)(2)(3)(4)(5)(67) y15 y2
1 2 1 2 (1)(2)(3)(45)(67) y13 y22
1 2 (1)(23)(4657) y1 y2 y4
2 1 (1)(23)(4756) y1 y2 y4
2 1 2 (1)(23)(47)(56) y1 y23
Å÷ïõìå ëïéðüí üé
1 X 1
mf Æ (y1 ; : : : ; y7 = y17 + 2y1 y23 + 2y15 y2 + 2y1y2 y4 + y13 y22 :
X
=
|G| 8
f ∈X=G ∈G
4.5 ÁóêÞóåéò
âÜøïõìå çí êÜèå ÷Üíñá ðñÜóéíç Þ êüêêéíç. Ôá äýï Üêñá çò äéÜáîçò äåí
îå÷ùñßæïõí ìåáîý ïõò (äçëáäÞ ç ãñáììéêÞ äéÜáîç ìðïñåß íá ðåñéóñÝöåáé
êáÜ 180◦ ãýñù áðü ï ìÝóï çò). Âñåßå ðüóåò îå÷ùñéóÝò äéáÜîåéò
ìðïñïýìå íá Ý÷ïõìå.
4.7 ¸íá ñáðÝæé êõêëéêü Ý÷åé ðÝíå èÝóåéò. Áíéðñüóùðïé ñéþí ðïëééêþí
êïììÜùí Á,Â, èá êáèßóïõí óï ñáðÝæé (ïõëÜ÷éóïí Ýíáò áðü êÜèå
êüììá). üóïé äéáöïñåéêïß ñüðïé íá êáèßóïõí õðÜñ÷ïõí; (Äýï ñüðïé
êáèßóìáïò åßíáé éóïäýíáìïé áí ç ðåñéóñïöÞ ïõ åíüò äßíåé ïí Üëëï.)
4.8 Ïêþ Üíèñùðïé ó÷åäéÜæïõí íá êÜíïõí äéáêïðÝò ìáæß. ¸÷ïõí õð' üøç ïõò
ñåéò ðüëåéò. ÁíÜìåóá óïõò ïêþ áíèñþðïõò õðÜñ÷ïõí ðÝíå ðïõ áíÞêïõí
óå ìéá ïéêïãÝíåéá êáé Üëëïé ñåéò ðïõ áíÞêïõí óå Üëëç ïéêïãÝíåéá. ÅÜí
ïé Üíèñùðïé çò ßäéáò ïéêïãÝíåéáò ðñÝðåé íá ðÜíå ìáæß, íá âñåèåß ï áñéèìüò
ùí ñüðùí ðïõ ìðïñïýí áõïß ïé ïêþ Üíèñùðïé íá ó÷åäéÜóïõí á áîßäéá
ïõò.
4.9 Âñåßå üëïõò ïõò äõíáïýò ñüðïõò ãéá íá âÜøïõìå ñåéò ìðÜëåò üáí
Ý÷ïõìå ñßá ÷ñþìáá.
4.10 Íá äåé÷åß üé ï áêÝñáéïò n8 + 17n4 + 6n2 äéáéñåßáé áðü ïí 24, ãéá êÜèå
áêÝñáéï n. Õðüäåéîç: Âñåßå ïõò ñüðïõò ðïõ ìðïñïýìå íá ÷ñùìáßóïõìå
éò áêìÝò åíüò êýâïõ ìå n ÷ñþìáá.
4.11 Íá ðåñéãñáöåß ðñïóåêéêÜ ç ïìÜäá óõììåñéþí ïõ åñáãþíïõ êáé íá
õðïëïãéóèïýí ïé äåßêñéåò óõíáñÞóåéò ùí óõììåñéþí.
4.5. ÁÓÊÇÓÅÉÓ 61
Åãêëåéóìüò - Áðïêëåéóìüò
5.1 ÅéóáãùãÞ
Ëýóç . Åäþ ç éäéüçá åßíáé, üé êÜðïéïò ìáèçÞò Ý÷åé óáí åðéëïãÞ ï ìÜèçìá
£ÄéáêñéÜ ÌáèçìáéêÜ É¤. ¢ñá ï áñéèìüò ùí ìáèçþí ðïõ ï Ý÷ïõí õðï÷ñåùéêü
åßíáé
63
64 ÊÅÖÁËÁÉÏ 5. ÅÊËÅÉÓÌÏÓ - ÁÏÊËÅÉÓÌÏÓ
N ci c j
N ci
N cj
N ci c j
Ý÷ïõìå üé:
N (
i
j ) = N − [N (
i ) + N (
j )] + N (
i
j )
Åßíáé åýêïëï íá ðÜñïõìå ç ðéï ðÜíù ó÷Ýóç, áí ÷ñçóéìïðïéÞóïõìå ï Íüìï ïõ
de Morgan.
áñÜäåéãìá 5.2: Óå Ýíá ó÷ïëåßï õðÜñ÷ïõí 100 ìáèçÝò êáé áðü áõïýò ïé
50 ìéëÜíå áëëéêÜ, ïé 40 ËáéíéêÜ êáé 20 ìéëÜíå êáé éò 2 ãëþóóåò. üóïé
ìáèçÝò äåí ìéëÜíå êáìéÜ ãëþóóá.
N FL = N − (N (F ) N (L)) + N (F L) = 30
i , 1 ≤ i ≤ t, åßíáé:
N = N (
1
2
3 : : :
t ) üðïõ
N = N − [N (
1 ) + N (
2 ) + N (
3 ) + : : : + N (
t )]
+ [N (
1
2 ) + N (
1
3 ) + : : : + N (
1
t ) + N (
2
3 ) + : : : + N (
t−1
t )]
− [N (
1
2
3 ) + N (
1
2
4 ) + : : : + N (
1
2
t ) + N (
1
3
4 ) + : : :
+ N (
1
3
t ) + : : : + N (
t−2
t−1
t )] + : : : + (−1) N (
1
2
3 : : :
t )(5.1)
t
Þ
N N− N (
i ) + N (
i
j ) − N (
i
j
k ) + : : :
X X X
=
1≤i≤t 1≤i<j ≤t 1≤i<j<k≤t
+ (−1)
t
N (
1
2
3 : : :
t ) (5.2)
Áðüäåéîç: Åßíáé åýêïëï íá áðïäåé÷èåß ï èåþñçìá ìå åðáãùãÞ óï t. Åìåßò üìùò
èá äþóïõìå ìéá óõíäõáóéêÞ áðüäåéîç. Èá äåßîïõìå üé ãéá êÜèå x ∈ S , ðùò
áõü óõììåÝ÷åé ï ßäéï, åßå 0 Þ 1, óå êÜèå ìÝñïò çò (5.1).
ÅÜí ï x äåí éêáíïðïéåß êáìéÜ áðü éò óõíèÞêåò, üå ï x ðñïóìåñéÝáé ìéá
öïñÜ óï N êáé ìéá öïñÜ óï N , áëëÜ êáìéÜ öïñÜ óå êÜèå Üëëï üñï çò (5.1).
ÅðïìÝíùò, ï x óõììåÝ÷åé ìéá öïñÜ ìå 1 óå êÜèå ìÝñïò çò ó÷Ýóçò.
Ç Üëëç ðåñßðùóç åßíáé ï x íá éêáíïðïéåß áêñéâþò r áðü éò óõíèÞêåò, ìå
1 ≤ r ≤ t. Óå áõÞ ç ðåñßðùóç ï x äåí óõììåÝ÷åé óï N . ÁëëÜ óï äåîéü
ìÝñïò çò (5.1), ï x ðñïóìåñéÝáé.
1. Ìéá öïñÜ óï N .
2. r öïñÝò óï N (
i ) (Ìéá öïñÜ ãéá êÜèå ìßá áðü éò r óõíèÞêåò).
P
1≤i≤t
3. r
ÖïñÝò óï N (
i
j ) (Ìéá öïñÜ ãéá êÜèå æåýãïò óõíèçêþí ðïõ
P
2
1≤i<j ≤t
åðéëÝãåáé áðü éò r óõíèÞêåò, éò ïðïßåò éêáíïðïéåß).
4. r
öïñÝò óï N (
i
j
k ).
P
3
1≤i<j<k≤t
:::
r+1. r
N (
i
i : : :
ir ).
= 1 öïñÜ óï
P
r 1 2
Sk = N (
i
i : : :
ik ); 1≤k≤t
X
1 2
Åßíáé:
N ( ðåñéÝ÷åé ï äåßãìá
ar ) = N (
1 ) = 24!
N ( ðåñéÝ÷åé ï äåßãìá dog ) = N (
2 ) = 24!
N ( ðåñéÝ÷åé ï äåßãìá pun ) = N (
3 ) = 24!
N ( ðåñéÝ÷åé ï äåßãìá byte ) = N (
4 ) = 23!
Áêüìá Ý÷ïõìå üé:
N (
1
2 ) = N (
1
3 ) = N (
2
3 ) = 22!
N (
i
4 ) = 21!; i 6= 4
êáé
N (
1
2
3 ) = 20!; N (
i
j
4 ) = 19!; 1≤i<j <3
N (
1
2
3
4 ) = 17!
ÅðïìÝíùò
N (
1
2
3
4 ) = 26! − [3 (24!) + 23!] + [3 (22!) + 3 (21!)] − [20! + 3 (19!)] + 17!
áñÜäåéãìá 5.4: éá n ∈ Æ + , áò åßíáé (n) ï áñéèìüò ùí èåéêþí áêåñáßùí
m, üðïõ 1 ≤ m < n êáé (m; n) = 1, äçëáäÞ m; n åßíáé ó÷åéêÜ ðñþïé. ÁõÞ
ç óõíÜñçóç åßíáé ãíùóÞ óáí óõíÜñçóç ïõ Euler1 . Åßíáé åýêïëï íá
äéáðéóþóïõìå üé (2) = 1; (3) = 2; (4) = 2; (5) = 2 êáé (6) = 2. éá
êÜèå ðñþï áñéèìü p åßíáé (p) = p − 1. Íá âñåèåß Ýíáò ýðïò ðïõ íá ìáò äßíåé
ï (n).
Åðßóçò åßíáé:
N (
i
j
k ) = n= (pi pj pk ) ; 1≤i<j <k≤4
êáé
N (
1
2
3
4 ) = n= (p1 p2 p3 p4 )
ÅðïìÝíùò
(n) = S0 − S1 + S2 − S3 + S4 =
n n n n n
= n− + :::+ + + + :::+
p1 p4 p1 p2 p1 p3 p3 p4
n n n
− + :::+ + =
p1 p2 p3 p2 p3 p4 p1 p2 p3 p4
1 1 1 1 1
= n 1− + :::+ + + + :::+
p1 p4 p1 p2 p1 p3
p3 p4
n
1 1
− + :::+ + =
p1 p2 p3 p2 p3 p4 p1 p2 p3 p4
n
= [p p p p − (p2 p3 p4 + p1 p3 p4 + p1 p2 p4 + p1 p2 p3 )
p1 p2 p3 p4 1 2 3 4
+ (p3 p4 + p2 p4 + p2 p3 + p1 p4 + p1 p3 + p1 p2 )
− (p4 + p3 + p2 + p1 ) + 1] =
n
= [(p − 1) (p2 − 1) (p3 − 1) (p4 − 1)] =
p1 p2 p3 p4 1
p1 − 1 p2 − 1 p3 − 1 p4 − 1 4
1
n =n
Y
= 1−
p1 p2 p3 p4 i=1
pi
Åßíáé åýêïëï íá ãåíéêåýóïõìå êáé íá êááëÞîïõìå üé: (n) = n
Q
1− 1
p ,
p=n
üðïõ ï ãéíüìåíï ðáßñíåáé ðÜíù óå üëïõò ïõò ðñþïõò ðïõ äéáéñïýí ï n.
5.3 ÁóêÞóåéò
Âéâëéïãñáößá
1. Aho Á., Hop
roft J., Ullman J., "The design and analysis of
omputer
algorithms", Addison-Wesley 1974.
2. Aho Á., Hop
roft J., Ullman J., "Data stru
tures and algorithms", Addison-
Wesley 1983.
3. Behzad M., Chartrand G., Lesniak-Foster L., "Graphs and Digraphs",
Wadsworth International Group 1981.
4. DeBruijn N., "Polya's Theory of Counting", In Applied Combinatorial
Mathemati
s, ed. Be
kenba
h, John Wiley 1964.
5. Feller W., "An Introdu
tion to Probability Theory and its Appli
ation",
Vol. I. 3rd ed., John Willey 1968.
6. Harary F., "Graph Theory", Addison-Wesley 1972.
7. Graham R., Knuth D., Patashnik O., "Con
rete Mathemati
s", Addison-
Wesley 1989.
8. Grimaldi R., "Dis
rete and Combinatorial Mathemati
s An Applied in-
trodu
tion", Se
ond Edition, Addison-Wesley 1984.
9. Liu C, "Elements of Dis
rete Mathemati
s", Se
ond Edition, M
Graw-Hill
1985.
10. Liu C, "Introdu
tion to Combinatorial Mathemati
s", M
Graw-Hill 1968.
11. Lovasz L., "Combinatorial Problems and Exer
ises", North-Holland 1979.
12. Lueker G., "Some Te
hniques for Solving Re
urren
es", Computing Sur-
veys, Vol. 12, No. 4, De
ember 1980.
13. J Marshall H., "Combinatorial Theory", Se
ond Edition, John Wiley and
Sons, 1986.
14. Polya G., "Kombinatoris
he Anzahlbestimmungen fur Gruppen, Graphen
und Chemishe Verbindungen", A
ta Informati
a 68, 1937, pp. 145-254.
69
70 6. ÂÉÂËÉÏÑÁÖÉÁ
15. Read R., "Polya's Theorem and its Progeny", Mathemati
s Magazine 60,
No. 5, De
ember 1987, pp. 275-282.
16. Reingold M., Nievergelt J., Deo N., "Combinatorial Algorithms: Theory
and Pra
ti
e", Englewood Clis 1977.
17. Riordan J., "An Introdu
tion to Combinatorial Analysis", John Wiley
1958.
18. Ross K.A., C.R.B Wright, "Dis
rete Mathemati
s", Prenti
e Hall, 1985.
19. Tomes
u I. and Melter R., "Problems in Combinatori
s and Graph The-
ory", John Wiley and Sons, 1985.
20. Townsend M., "Dis
rete Mathemati
s: Applied Combinatori
s and Graph
Theory", Benjamin/Cummings Publishiny Company, 1987.
21. Tu
ker Á., "Applied Combinatori
s", Se
ond Edition, John Wiley and
Sons 1984.
22. "Topi
s in Combinatorial Mathemati
s", Mathemati
al Asso
iation of Amer-
i
a, 1972.
7
Ëßóá Óõìâüëùí
Óýìâïëï Óçìáóßá
n! áñáãïíéêü
C (n; r) Óõíäõáóìïß n áíÜ r
Ñ (n; r) ÄéáÜîåéò n áíÜ r
S (r; n) Áñéèìïß Stirling 2ïõ åßäïõò
s (r; n) Áñéèìïß Stirling 1ïõ åßäïõò
X=G Óýíïëï êëÜóåùí éóïäõíáìßáò ïõ óõíüëïõ × ùò ðñïò çí =G
N (
i ) Áñéèìüò óïé÷åßùí åíüò óõíüëïõ S ðïõ éêáíïðïéïýí çí óõíèÞêç
i
71