Professional Documents
Culture Documents
G.P. Gavrilov, A.A Sapozhenko: Selected Problems in
G.P. Gavrilov, A.A Sapozhenko: Selected Problems in
A Sapozhenko
Selected Problems in
DISCRETE
MATHEMATICS
Preface 7
1111
111
1110
110 1100
01
100 001 0001
000
83
- Fig. 1
..... ~
n
"'
al ~~ V tn Bn
fly ,., ..... ,.,., f'Y f"V
n u u n- n
I"W ~ ~
~ ~
+
l"J f'V ,...,
>
,-.v
(4) II a. tB ~ E9 y II = o, II a EB ~ EB y II = n - 1.
..... "' "'
1.1.8. Let a, ~ and y be the vertices of a cube Bn. Show
that:
,..., ,..., roJ - t"J
(3) a n (au ~) = a;
a. u (a n ~) = a;
1"'<1 ,..., """' ,...,
(4)
(5) <; u (3) n <~ u Y> = <~ n Y'> u ~;
((a. n '\') u ~> n -v = n u n
,.., - I"W "' ,..., ,..., ,...., -
ny;
,...., """' f'V
(9) (a ~) u (~ y) u (y a) = (au ~) ~
n <:Y u ~).
14. CH t: liOOLLAN FUNCTIONS
2
1 I 9 How many vecto1s (a 1 az as 2) 1n B. sattsfy
the relation ~ a.1 ~ m/2 Ior all m 1 121
~~ ~m ..,._
f 1 10 F1nd the number of' ectors a. ln B~ 1 ~ J.. ~ n/2
1 =:;; r~ (n __../..)/(A 1) whtch 11ave at least r zero
coordinates between tv.o un1t coord1nates
i \ t 1 (t) S1~ow that R contat.ns a set -ccns1st1ng of
( ) pauwtso wcomparabl~ vectors
111121
(2) Sl1ow that any subset conta1n1ng not less
th.an n +
2 vectors Includes a patr of tncornparable
\ec.tQrs
;ow
(1) C ~ A (rz) B~ a E B( ~
n Bi
~ ~
(2) C - A (a.) a E B~
1"¥ f".rr
a 10 B~ 1s equal to k1 (n ~ k)J
I t 15• (1) Show that the power of any subset of
pa1rw1se 1ncomparable tuples o1 cuhe _Brt does not exceed
( r r/2J )
(2) Show that If tlle subset A ~ nn conststs
.-.I ,.,.,..
t ~1.23.
~ ,....,
Let a E B; The set AI% (a)=== {y v (1')~
v (a.) 1 E B~} lS c.alled the 1»lttal segment of the stra.
tum B~ ,_, Let A £ n•, we denote by Z7 (A) the set oi all ~
s ut h t}l at f. .s;,; a.
~
a,
,....,
~ = 0 n
,..., ""
and aU ~ = y. Let ak = I A n
B~ I . Show that
possesses the
propc1ty l, and J r (A) l~ l f (A) l
(3} \Ve s1tall say that tlte set A ~ possesses the nn
property II if for all I, j (1 ~ l < J~ n) It follows from
#IW .....,.
> ~ ~
(4) cp (n, k) == ~
, . . .
n+k
:aTT 57
2
1.1. UOOI.P..AN YP..CTORS 19
•
m
'~"'
(n, k) = n+k-1
n-1 + h (1i1) for odd n+k.
? . n+k+1
- 1= ?
~ ( ~).
h=O
(2) For odd n and r = (n - 1)/2, give an example of a
set A E Fr(n) which is not a ball of radius r, and for
which I A I = IPr (n).
1.1.29*. The subset A s B" is said to possess the
property 1 if any two vectors in A have a common unit coor-
~
(2) L (n, n - 1) ~ 2,
(3) L (n, 2) ~ (2"/31.
(4*) m~ L (n, n- 2)~ m + 2t where m IS the smal
lest mt@ger for wb1ch ( {rn.~l } ;;;.: n;
U. BOOLEAN VECTORS 21
{n/lt]
k}~ ~ ( ~ i
1
(5) L (n, ) ;
i=O
(6) L (n, k)~2PI-T>L (r, k), k~r~n. .
11
1.1.37. Show that tuples in B can be expanded mto
"" "" ""
a sequence a 1 , a 2 , • • • , azn which is a cycle.
1.1.38. Show that Bn does not contain cycles of odd
length. .
1.1.39. The binary vector {a 0 , a 1 , • • • , aN_1) ts
called n-universal if for each vector (~ 0 , ~ 1 , • • • , ~n-1)
.in sn there exists a number k such that ~i = aMH (i =
0, n - 1), where k EB i = k + i (mod N). Will the
vector a"" be n-universal if
-
(1) a= (0011), n -- ?·... ,
(2) -
a = (01011), n - - ...?·,
""
(3) a = (00110), n = 2;
""
(4) a = (00011101), n = 3?
1.1.40. Prove that for each natural number n there
exists an n-universal vector of length 2n, and no n-univer-
sal vector having a length smaller than 211 •
11
1.1.41. The cycle Z of the cube B is called a 2d-cycle
""
if I Z nS:l (a) I = 2d + 1 for all a EZ, i.e. if for
""
any vertex ""a in the cycle Z the set of vertices of the cycle
situated at a Hamming distance not exceeding d coin-
cides with the set of vertices at a distance not exceeding
d "along the cycle" .
. (1) Let l (n) be the maximum length of a 2-cycle in
11
B • Find the value of l (n} for n = 2, 5.
11
(2) Let Z he a 2-c.ycle in 8 • Show that any face of di-
mension 4 does not contain more than 8 vertices of the
2-cycle Z.
(3)* Show that the maximum length of a 2-cycle in
sn does not exceed 211 -1, n > 3.
"" ""
1.1.42. The pair (ah aH 1) formed by two consecutive
vertices of the cycle Z in cube B 11 is called an edge of the
cycle. Show that B 5 contains a cycle of length 32, any
four consecutive edges of which have pairwise different
directions.
]
I
s
"'• rn 1 2:,.,. I(:.:, z,. "=n 1 zJII}
0 0 0 0 f (0 0 0 OJ
0 (} fl \. 1 \0 \)
0 0 t 0 I (O
Q
{l
"J 0)
i 1 l 1 J {1 1 1 l)
'""11
lowing, we shall defmo tho function I (x ) through the vee~
~211 • , •
tor (J../ = (rl 0 , (J.. 1 , ••• , (J.. 2n_ 1 ) m wh1ch the coordmat e
is the value of the function f
Ct.t
number i (i = 0, 1, ... , 211 -1).
on tho tuple with <:;h a
,..., ,..,
The symbol N 1 will be used to denote the set {0': (<1 E
,...,
B 11 ) & (f (<1) = 1) }.
~
0 0 • • • a,,+l • • • i
0 0 • • • C1h+3 • • • 1
• • • • • • • • • • • • • • •
0 1 • • • CTn • • • 1
xl X~ • • • XII
•••
I
0 0 • • • 0 I
••
0 0 • • • 1 •I•
••
• • •
•
• • • •
a1 Oz • • • Oh .,., ...•.•....... "'
I (o)
• • • • • • •
1 1 • • • 1
X 0 1 ,, t.
0 0 1 0 1
1 0 1 1 0
CH t BOOLEAN FUNCTIONS
fable 4
-X':~ ~. I; t. f, t. 11
'•
,,
0 0 0 0 0 t i t t
0 t 0 1 t 0 t 1 0
{\ (\ 1 t \} (\ 1. {\
1
1 1 I I 0 i t 0 0
of junctio nal symbo ls, where the supers cripts indica te the
numbe r of sites where the symbo ls can be placed . Some-
times the supers cripts are omitte d if the arity of the
functi onal symbo ls is assum ed to be known .
Defini tion 1.1. A formul a generated by the set cD is
such (and only such) expres sion as
(1) h.. and fi (xi 1 , xi,• ... , Xi 11 ), where In and fi are
functi onal symbo ls of zero and n argum ents respec tively,
and xi 1 , xi~• .•• , xin are variab les in the set X;
(2) /m (~I 1 , W2 , • • • , WJ, where f mis a functi onal sym-
bol of s argum ents and \">I; is either a formu la genera ted
by (J> or a variab le in X, i = 1, s.
In order to accent uate the fact that formu la ~I con-
tains only variables in X (or only junctio nal symbo ls in cD),
we shall write \){ (X) (resp. l2f [CI>]).
Somet imes, formu las of the type f (x, y are writte n
iii the form (xjy) or xfy, and formu la f (x in the form
(fx) or jx. The symbo l f is called a connective.
Usuall y, conne ctives are denote d by symbo ls from the
set Ei = {l, &, V, ffi, ""'• ~. I, t }.
Defini tion 1.2. A formul a generated by the E is such
(and only such) expres sion as
(1) x, i.e. any variab le from the set X;
(2) <l\10, (12f & m), (12f vm>. (\">I EB m), (\"lf""' m),
(\"lf ) Q3), (\">I I !8), (\){ t !8), where \)( and !8 are for-
mulas genera ted by @).
The follow ing conve ntion is usuall y adopte d for ab-
brevia ting. the notati on of formu las genera ted by the set
@) of connec tives:
(a) the outer bracke ts in the formu las are omitte d;
(b) formu la (l \)f) is writte n in the form §f;
(c) formu la (\">I & m) is writte n in the form (\)£.!H) or
(\)Im);
(d) it is assum ed that the conne ctive lis stronger than
any conne ctive of two variab les in @);
(e) the conne ctive & is assum ed to be stronger than any
of tl~e connec tives V, ffi, ""'• ) , j, t·
W1th the help of this conve ntion, we can write, for
~nmple, the formu la ((lx) J>o ((x&y) Vz)) in the form
x ) (xy V z).
"il!ixe if' form of notati on is also used , for examp1e,
X ffi f (y, z) or X1f (x 2 , 0, X3) V xtf (1, ~~ X3).
26 Cl:1 f BOOLE.AN FUNCTJO'\S
(ll.l)
Suppose that each funettonal symbol f, tn the set
(nt)
¢1 has a corresponding funct1on F 1 B -.. ,. B !he con-
cept of the junctlon fPw~ represented by j&rmula '}I gep.era-
ted by the set ¢Jt IS defined by Induction
(1) rf ~ ==- h (X"Jti x 1••
{n i) h
, zJ.,.. ), t en /or each tup e
1
1
((tl ~ ., a.n ) of values of the v.artables x, 1,
1
x; 1 x; the value of the funet1cn (fm lS equal
"' u
to F1 (aI a2 , ctn 1)'
am,,_)= F (~t;
am21 , , ~tt~ ~ O.:m)
(het"e F ts the functiOn correspond1ng to tho iunct1onal
symbol f)
If 'i'l = f~n~ 1 (x11 , XJ1 , . , ZJn ), '+'0' 1s usua.Uy denoted by
1
F, (x; 1 , Z 32 , , ZJn. ) If, llO\\ever,
I
""-
tUtJon (
l 2
IJ i•
n}
ln
r-.1
equaiJt:t
,..,
tr a" U= U~,. J1 leads to the equal1 ty f (ex") ===
I(~"}
(2) Ftnd the number of symmelr1t funct1ons tn P'J (Xn)
~
Ym)~ m = 2 1 S(a.'") ~
11
S(yi, !12
,.., ~
where
.!lw
-
/ (~ )
11
1f Uam Jl = v (~n) Prove that
S lxh ' :J:,, Zt,
.. _ I
, x2, , zl F
'II' 2
Z times
1. 2.9. 'Vh1ch of the followJng expressions are form u
)as genera ted by the set of sen tent 1al connect 1\ es
<l~ &~ v~ l •f -,
(1) :r • y, (5) (x - • (y & (l x))),
(2) (x &) ly, to) {x & y) l:,
(3) (z "' - y) (7) ( l z - . _ z)?
(4) (y .- (x))t
t .2 10 In l~ow many V\.a')~ can brac~e's be arranged
1n the e>..press•on A :so that a formula generated h) the set
{l, & V ~ } of sen tent tal connect1 ves IS obt.a 1ned e8ch
lime tf
(t) A = lz -• y & z;
(2) A ::::: X & y & l l % x; v
(3) .A = x .. • lv __.. z & lx?
1412 1 t .. The complexllJJ oj a formula geoerated by the
set ofsententtalconnect\\ rs 6 ls defined as the number nf
1.2. METHODS OF DEFINING BOOLEAN FUNCTIONS 2!)
= (100101 tO) )1
t .2 20. Depth of a formula '! generated by the set W
(notat1on dep4l (~) 1s determtned by Indl.lctton
(I) 1f ~ 1s the s-ymbol of a var1able or a functional s3-m
bol of 0 arguments~ then dep¢t w ::.-= at
• Here and below~ while presenting a ru.nctlOD lD the vector
f"W #"'t.J ,..,
~ (x V y) & (z v y)
(3) 2{ == z J.r (.r & y .._ ((.r -~ y) - :. y) & z)
my -· =:;:: (z = ,_ z)
I 2 28 Let ~ and 23 be formulas generated by the
~et {l V m ,...., -Jt= 1 ~ J and~.= (2! __ ,. ~) _,
&
58 ~., -- '21 _.., (~ -a-- l (tt -• ~ )) Prove that 11 ....... m==
1 t[ and only tf l (ill. 1 ~ ~~) --- t
I 2 29 Prove that formula 121 contaan1ng only the con
nectl\ e,..., IS tdent1cally truth 1f and only tl any varra
ble from formula £{ appears 111 tt an even number o(
tlmes
i 2 30 By S~2I ~ \\e denote the formula obtained
[rom formula ~ as a result o[ a s~multaneous rep~ace
l.:l. SPECIAL FORMS OF FORMULAS 33
,.,., ~
{6)
-
I ("'n)
X = & (Xta, v a. v v
X2 , •,
0
X 11 n) • (7)
7?1: j{;J 11 )"'0
An elementary conjunction is called monotonic if it
does not contain negations of variables. The formula
,..,
P (x") = K 1 $ K 2 $ ... $ K8 , {8)
where K 1 {i = 1, s} are pairwise different elementary mo-
notonic conjunctions generated by the set X", is called
Zhegalkin's polynomial or mod 2 polynomial. The highest
rank of elementary conjunctions appearing in a polyno-
mial is called the degree of this polynomial. The numbet·
s is called the length
,.., of polynomial (8). For s = 0, we
assume that P (x") = 0.
1.3.1. Using equivalent transformations, reduce the
following formulas to d.n.f.:
(1) F = (x1 V x 2"X3 ) (x1 V x 3);
_(2) F = ((x1 V x;i3x 4) ((x 2 V x4) ~ x1"Iax4) y XzXs) V
(xl V xl); '
(3) F = ((xl )o XJXs) {x2x4 $ Xa) ~ xlx4) v xl.
1.3.2. Present the following functions as a perfect
d.n.f.:
-
(1) I (x ) = (x1 ED Xz) )o X2Xs;
3
"' = (01101100);
(2) 1 (r)
"'3) = (10001110).
{3) f (x
:!•
CR I BOOLEAN FUNCTlO'lS
S~gi+i(x") S 0g 11 (x ) 1),
in other words, the x?-component of the superposition
of the functions I, g 1, ••• , g 1_ 1, g 1, gi+l• ... , g 11 is
-
equal to the superposition of the x?-components of the
CH f BOOLEAN ll1NCTIO'JS
I= i:--
n, lor all It k {1 :s=;/ < k~n) and f1J~
jllllfll
al from
{0, 1} Prove: that h { z") 1s a constan l
1 3~18 . . Find the number of monotonte elementary eon-
JUn<:tton.s of ttle rank r generated by the set X"
l 3.f9. Ftnd the number of polynom1als of power r
generated by the set of variables X"'
1 3 20 F1nd the number of d1fferent polynomials of
length k generated by the set Xn, vanlShtng at the tuples
,.., ill.,;
The veetor ~P = (~ 0 ~ 1 , ~ n
2 1
) 1s called the
,-w
n•
tion I (a) === P (a) The solut1on of these equat1ons g1ves
1-¥
"' ......2
Example. I (x 2) = x 1 l- X2, P (x ) = ~o ED ~txt ED
~2x1 ED ~aXtXz.
I (0, 0) = 1 = ~o ED ~~ ·0 ED ~2 ·0 ED ~3 ·0;
I (0, 1) = 1 = ~o ED ~~ ·1 ED ~ 2 ·0 ED ~3 ·0;
I (1, 0) = 0 = ~o ED ~ 1 ·0 ED ~ 2 ·1 ED ~ 3 ·0;
I (1, 1) = 1 = ~o ED ~ 1 ·1 ED ~ 2 ·1 ED ~ 3 ·1.
We obtain ~ 0 = ~~ = ~3 = 1, B1 = 0. Hence x 1 ) x2 =
1 ED x 1 ED x1x 2 •
1.3.21. Using the method of indeterm inate coefficien ts,
find Zhegalkin 's polynom ials for the following functions :
,..,
(1) f (x 2
,..,
) = (1001);
;zl:t2: m.:tr $ 1
t 3 24 Construct the polynomtals lor the followtng
funCtlODS
t
~
(1) f(r)
.......
= (x1 l z"l) x3-.
(2} f (x ) == {x 1
3 7
XJ) {x 2 ~ x3),
...
IV -
(3) 1 (.tt) .= ((xt +- x2) V Z3) 1X1
t 3 25~ Any Boolean funct1on I cs.n he wr1tten ln the
form of a polynomial by us1ng conventional arit}lmettc
operations of mult1pltcat1on, add1t1on and subtr.actron
For th1s purpose 1t JS sufficient first to express /tn terms
of a cOnJunctton and a negat1on and then replace ~ub-
formulas o.f the type A by 1 - A and open the brackets
Us\ng the arlthme\lc opetat1ons find the expression:! for
the following functtons
~
(1) f (r) -= ~l e x2
(2) 1 (r)
,.,
~
1; (.rn))}...... ~ /~ {%11 )
~
III'W' ,.,
m d~~~) ~~~~.,
.,., .,., fl'v .,.,
,.,.
{b) d~(~) =0 1-l and o-nly 1f ~~ does not appear expllc.
Zl
....
1tly in the Zl1egalk1n polynomtal of the function f (~"').
,.,;
I (x )
,..,..,
3
-
~ (.rl V x 2) (xl V x, V x,)
After opening the parentbesest we get
!:IJ1 = - .X1X1
-
V XtZJ V x1x, V .t2x1 V x.~rz V X2X3
Applying the ab-ove me-nt1oned rules,. we obta1n
9J = XtX.3 V .Xt
t .4.3. Construct the contracted d n I by us1ng the
c n I._.s
followtng g1 ven ..... _,.. -
(1) (xl V x, V Xa) (xt V X2 V X3) (.tz V x3),
(2) (xl V .x,) (x~ vZ:~
- .....
V X, V z3),
- vx4) (x, -
(3) (.x1 V z.,. V xJ) (z, V x,} (x, V .ra V ..x,)
i &4 4 Let N I be a set of tuples a E an such that
I"W
~ ~ ~
tuple a.
(2) Show that the length of the contracted d.n.f. of
the function I "'
(x11 ) is equal to (nk) (n-mk).
1.4.7. Suppose that the functions f (x") "' "'
and g (ym)
do not have common variables, K is a prime implicant
of the function/, and La prime implicant of the function g.
Show that K & Lis the prime implicant 111
of the function I & g.
Each elementary conjunction gener-
ated by the set of variables {x1 , x 2 , ••• , ~ 1 011
x 11 } has a one-to-one correspondence
100 001
with the face of the cube B" formed
"'
by the vertices a. at which the e.c. he-
comes equal to unity. This allows us
to construct a contracted d.n.f. from Fig. 2
the geometrical representation of a
Boolean function. Vertices of the set N 1 of the function
fare marked on the cube B 11 • The faces contained in N 1
and not contained in any other face formed by vertices
from the set N 1 are written down. Each such face is as-
signed a prime implicant.
Example. Let the function I "'
{x3 ) be defined by the vee-
~
"jjllljjj
.rl 0 0 1 ,
.r4
x, x2 0 1 1 0
•r . ., ,.,. ..... ... --~
0 0 . ~\_,) ~
0 I\. ....' __ ~
~~-
. --..
0 1 0 \ 1\ 0
I
~ I
..
~ ...... ~
1 1 {,..... ~~1 ~ .
~ ~ ._.1_, J 0
~
1 0 0 ..._1.-~ 0 0
-
U. MINI!IlJZAT ION OF BOOLEAN FUNCTION S 4i
Xa x,
x, 00I I x, 00I I
0I I 0 0 I I 0
x,x, x,x.
0 0 11 10 0 0 0 0 0 110
0 1 01 1 1 () 1 1 l) 1 1101
1 1 1 0 11 1 1 10 11
l 0 I 11 01 1 0 1 0 0 11 I)
functJons
~
t ~4 .24 ~ For haw many func tton.s f (x11 ) are the fol--
lowing rela t1ons v a ltd
lV ~
I N t I = 2m (m > 2).
1.5. Essential and Apparent Variables
_The variab le x 1 of the functi on I (x1 , x 2 , ••• , X 11 ) is
'""' ,..,
called essential if there exist tuples a and f) such that ~
~
1f the sets of their essent ial variab les coinci de and on any
two tuples, differi ng perhap s only in the values of appar-
ent variab les, the values of the functi ons are identi cal.
Let 1.~ i 1 < i 2 < ... < ia ~ n. We shall say that the
funct1on q> (x1 , • . • , X;,_1 , x, Xi,+l! • •• , Xi,- ..., 1 , Xts+ll ••• ,
4-0636
CH J BOOLEA' FU\CTIO\lS
(f) /! (x ) =F f: (J:n),
11
.. -
(2) there are va.rtables .:r,;Lt , x •._ ('J ::fo ,, I == t, k)
and constants o 1 , o" suth that the funet.1on
h 1Jt
f 01 «-. r-
(zn) depends. cssenttalty on z 1
1 .. 5 2. Enumerate the essenttal variables of the fol·
low tn g tunc.
,..,
t 1.nus
(1) I (:x3)
,., === (x 1 • (x 1 V Zz)) - ,.. X :a
(2) I (z 2) ~ (x1 V X2) -)- X2,
,., - ..... -
~
-
(3) I (r) = ((x1 V ;r2) (x1 V x 3 ) :jjl- (.x1 ,.. z 2xs)) Z:~
I ~5.4 lnd1cate the apparent varJables of the funct1on
,.,
(t) I (zS)
....,
= (11110000)
(2) 1 (r)
,..,
= (001 toot1),
(3) t (r) ~ (001111.00)
,y
find the vari able s on which the func tion I depends essen-
tiall y:
N
(1) f (x~) = (1011100111001010);
,...,
(2) f (x~)
,...,
= (0011110011000011 );
(3) f (x~) = (0111011101110111);
,...,
(4) f (x~) = (0101111100001010). •
1.5. 9. For each func tion in Pro blem 1.5.8. con stru ct
an equ al func tion that depends esse ntia lly on all its
vari able s.
1.5.10. Find the valu es of n (n "> 2) for whi ch the fol-
lowing func tion s dep end esse ntia lly on all thei r vari ab-
les:
~
& ( . . V -- -
X;,x ;, •.• x;[n / 2]) ) (x 1 EB x 2 EB
1~t 1 <1 1 < . , ·<i[n/2]~11
••• EB Xn)·
,..., ,....,
1.5. 11. Let the func tion s I (x 11) and g (ym) dep end es-
sent ially on all thei r vari able s and let the vari able s
xl, · .. , Xn, Y1 , • • • , Ym be pair wise diff eren t. Sho w
that the func tion f (x1 , . . • , X 11 _ 1 , g (y 1 , • • • , Ym)) de-
pends esse ntia lly on all its vari able s.
1.5. 12. Let Pc(X") be a set of all Boo lean func tion s
depending, and that too esse ntia lly, on the vari able s
xl, X2, ••• , Xn.
(1) Enu mer ate all func tion s in pc (X2). •
/ {x~}
have an apparent dependent on z 1?
,..,
1.5 . 17. Show that any symmetric funct1on f (xn) otl1er
than a constant depends essenttally on all tts vartable.s
f"'IJ
1 .5.21. Show that for any function I (xn) "" that depends
.
essentially on n variables there exists .a ,...,variable ,..,x 1 and
a constant a such that the function I~ (xn) = I (x 11 • • • ,
x 1_ 1 , a, x 1+1 , • • • , Xn) depends essentially on n- 1
variables. ,..,
1 .5.22. Let 1 (xn) depend essentially on all its varia-
bles. Check the validity of the following statements:
(1) there exists an i such that for any j there exist con-
stants whose substitution into I (xn) for variables other "'
than x 1 and x1 leads to a function depending essential-
ly on x 1 and xi;
(2} for any two variables x.....,1 and XJ there exist constants
whose substitution into I (xn) for variables other than
x 1 and x 1 leads to a function depending essentially
on x 1 and x 1.
1.5.23. Enumerate the functions in P 2 (X 2 ) that can be
obtained by identifying the variables of the following
functions: ....., .....,
(1) I (x f ) = (11111101);
3 3
.....,
) = (10010110); (2) (x
(3) I (x ) = x1x 2 V x 2x 3 V XaX1;
3
"'
(4) I (x3) = x 1x 2x 3 EB x 2x 3 E9 X 3 X1 E9 X 2 EB 1.
1.5.24. Show that ~he identity operation on the func-
,.., "' ""
tion I (xn) can lead to a constant if and only iff (0)= I (1).
1.5.25. Find the number of functions I (x"'2 ) for which
the identification of variables cannot lead to a function
'
depending essentially on one variable.
1.5.26. Can ,.., the identity operation on the symmetric
function I (xn) lead to a function that depends essentially
on all its variables and that is not symmetric?
....., ....., "'
1.5.27. Let a, ~. y be three vertices in Bn such that
,..., """' ,..., ,..; ,..., f"'tJ
l tl .. 33~ Let n
........
> 1 and let the funct1ons I (x"'n) and
At/
(3) A = {x ~ y, x $ y $ z};
(4) A = {x ) y, (1100001100111100) };
(5) A = {0, m (:t, y, z), xll EB z}l;
(6) A = {(1011), (1111110011000000) }.
2.1.9. Which of the relations::::>, c, 2, s=, = , ~
is satisfied for the sets 2 K 1 and K 2 (the relation ~means
that none of the relations:::l, c, 2, s;, = is satisfied)?
(1) Kt = [Mt n lvl2l, K2 = [Mtl n lM2l;
(2) K 1 = [Mt '-.,1vl2], K2 = (Mtl'-JM21;
(3) K1 = [Mt U (M2 n
M:~}l, K2 = [Mt U M2l n
[Mt U M3l;
(4} K1 = [Mt n(M2 U M3)], K2 = lMt M2l U n
[Mt M3]; n
(5) K1 = [Mt '-.,(Jvft n
M2)), K2 = [.Mt)'-.,[Mt Mzl. n
2.1.10. Let M 1 and 1vf 2 be closed classes in P 2 , such
that M 1'-.,M 2 =I= 0. Give examples of concrete classes lv/1
and M 2 that also satisfy the following conditions:
(1) .MtnM2=0, M2'-.....Mt=F0, U\tlt UM2l=
Mt U M2;
[Jv!l uM2J =
M1 U M2;
(3) Mt";:) M 2 , UV!t '-.....M2] =/= lv/ 1 '-.....M 2 ;
(4} M1 n M2 =1= 0. M2 "MI =1= 0. [M1 '-.,M 2 1=
Mt '-.,M2;
(5) M1 n M2 =I= 0. M2 '- Mt =/= 0, [Mt $ M2l=
M 1 $ M 2•
2.1.11. Isolate the basis from the set A that is com-
plete for the closed class Jvl = [A I.
(1) A = {0, 1, x, x};
(2) A = {1, X EB y EB z $ 1 };
(3) A= {xVy, x·y·z, xVy·z, (xVy)·z};
(4*)A = {xED 1, x $ y EB z, m (x, y, z)};
(5)A={xVyV z, x·y·z, (x )y) )z,
(xVy) )oz};
(6) A = {(x ) y) )- (y ) z}, x V y V (y $ z} };
(7} A = {x ·y, x V y, x , y, x $ y ED z $ u }.
2.1.12. Show that any precomplete class in P 2 is
a closed class.
1
By m (x, y, z) (or h2 (x, y, z)) we denote the function xy V
X% V yz called the median (or majority junction).
2
The sets 11re taken in P ~·
.58 CU .2 CLOSED CLASS£5 ,Al"r.~ COl\JPLETE"'lESS
11 )
--
if g (x 1, x 2 , ••• , X 11 ) = f (x 1 ,
~ •... , X,,). By definition, the dual function for con-
stant 0 is constant 1 and, conversely, constant 0 is a func-
tion dual to constant 1. The function dual to I (x1 ,
x 2 , • • • , X 11 ) is denoted by/* (xi, x 2 , • • • , X 11 ).
The following statement, called the duality principle,
is true: if <D (xi, x 2 , • • • , X 11 ) = f (f 1 (x1 , x 2 , • • • , X 11 ),
••. , fm (x 1 , x 2 , • • • , X 11 )), then <D* (x 1 , x 2 , • • • , X 11 ) =
f* (f~ (xi, Xz, • · ., Xn), • .. , /in (xll Xz, ••• , Xn)).
Let M be a set of Boolean functions. By Jv!* we shall
denote the set of all functions that are dual to the func-
tions in the set M. The set 111* will be called dual to the set
M. If ill* = M, the set Jl{ is called self-dual.
The function I (x1 , :r 2 , • • • , x 11 ) is called self-dual if
f* (xl, X2, ••• , Xn) = f (x 1 , X 2 , • • • , X 11 ). The set of all
self-dual functions is denoted by S.
It follows from the definition of self-dual functions
that a function is self-dual if and only if it assumes oppo-
site values on any two opposite tuples of values of vari-
ables.
The following statement, called the lemma of non-self-
dual function, is valid: if the function f (;h
is non-
self-dual, the substitution of the functions x and x
for
its variables will lead to a constant,
60 CR 2 CLOSED CLASSES AND CO"!PLETENESS
(2) f = (x ) y) ) xz ;. (y ;. z);
- --
(3) f = (x V y V z) t V xyz;
-
(4) 1 = (0001001001100111?);
(5) I = x1 $ .r 2 ffi ... EB Xzm+l ffi a,,...,where a E {0, i }?
2.2. 10. Prove that the function f (x") is self-dual if
~ -
its xc
and only if its x 1-component /~ (x") is dual to
~
(4) f (x 11
) = . . V . x;,x;, ... x; 11112 r
· · · <•Jn/2[~11
1
~••<•s< .
~ere the disjunction is taken over all monotonic conjunc-
ttons of length ln/2[ formed by variables x 1 , x 2 , • • • , x 11 •
2.2.16:.., Let f (;.') = x 1 $ x 2 E9 . . . E9 X 111 gf (xm) =
~
lowing relat1on
f (Zt• X t.t Z 1.. X4.t ~ X n}
=I (z1, m (x1, x 1 , .x,)'t m (.ttt Xt, z 1 ] .. x 1 ,. , .rnJ
2.3. LINEARITY 63
function I (x11 )?
2.2.28. Enumera te all functions dependin g essential ly
on the variables x 1 , x 2 , x 3 , x 4 , any x?t-comp onent of which
is a self-dual function.
2.2.29. Is the set j}J self-dual in the following case:
(1) l'ri = {x E9 y ED z, m (x E9 y, X......, z, y......, z)};
(2) J}f = {x·y, x V y, xED y ED m (x, y, z)};
(3) JU = {(x ) y) ) y, (x V y) ED x E9 y, (x V y V z)
-
tV xyz}; ·
(4) iVI = S'-., {x ED y ED z, m (x, y, z) }?
i, g for --
the variables can lead etther lo xy or to ry
If ( (t L~~. f JS called nonltnear
2 3 .. t.. Expand 1ng the functton f tnto a Zhegalktn poly-
nom1al, lind 1f 1t lS l1near
~ ~-
(4) I (xn) =::: (.t1 -l- x,) (z 2 -,.. J:l)f!l (z2 =+- X~) (X' 3 ... xj) e
ij) (Zn--1 __ ., r 1)) (Xn - ~ Z,_ -1)
2.3.9. F1nd out 1f the functton :z _., y_ can be represent-
ed by a formula generated by the set r}l, where
2.3. LINEARITY 65
{1) tD = L U {xy V xz V zy };
(2) cD = L"S;
(3) ell = (L U {xy V yz V zx }),S;
(4) <D = (L U {xy})" S. ~
2 3 28 Let I (xn) E L n S I (0 0 0) =
f (0 0 0 1) and J (o. 1 a.i a.n) ~ 0 F1nd "\he
value of the functton I (al a-2 I Cln) an
2 3 29 For wl\at '"al\tes of n r-an tile ltr..cat fl1ncttnn
r-.1
(4} J(; = 1 ED 11
) E Xi,Xi,Xi,?
i~i,<ia<h~n
2.4.3. For what values of n does the recurrently defined
function
•
f (;11) belong to the set (T 0 "'-..T1 ) U (T1 "'-..To):
~·
at '2 CLOSED CLASSES. AND COMPLETENESS
,..,
2~4~2111 Let I (x 4) E snLn T 0 , I (i, 1, 0, 1) = 1~ and
1'¥
let f (t•) depend essentially on at least two var1ables
;.,/
F1nd I (.~:')
2~4..22• ~ Prove that the classes L nTa• L n T1 , L nSt
[0, x]
are the only preeomplete classes In L
2 4.23~ Prove that I E (TfJ n .rl, If and only If us
not a Slngle constant can be obta1ned from I by carry1ng
out the superpos1t1on operat1on
any two tup1~s « and ~ 1n B"' such that a~~' the 1ne
~ ~
tton a<~)
"'
2.5.2. For what values of n is the function f (xn)
•
monotomc:
(1) I (;'n) = E xl:cl;
II > II a II, I
"-J ,...., ,...., "' "' '"""'
tton, such that N 1 .=;= {a, Ua. U;;>- k, a, E 8 )4r For \vhat
11
tions I (x 11
) dependin g essential ly on n variables for
n = 1, 4.
2.5.26 *. Prove 1 < I S" I for n ~ 4.
11
that I Jv/
2.5.27. What is the number of monoton ic self-dual
""
functions I (xt) that depend essential ly on all their
variables ?
2.5.28 *. Using the fact (see problem 1.1.18) that a cube
11
B" can be divided into { [n/2) ) non-inter secting ascendin g
.
chams, prove that
•
where c is real and a 1 ~0.
""' be a generalized monotonic func-
2.5.37*. Let rp (xn)
tion and qh (rp) = ( ~ ) -I ~ rp (~). Show that gh-l (rp) <
~
et.EB]:
qh (rp), k= 1, n.
""'
2.5.38*. Show that if /(xn) ~ Jv!(n~4), an identi-
fication of variables in it can lead to a non-monotonic
function depending on not more than three variables.
2.5.39. Is it possible to obtain from x xyz
V t (xy ~ z):
(1) by identification of variables; .
(2) by identification of variables and substitution of
the constant 0 for certain variables;
(3) by identification of variables and substitution of
constants?
2.5.40*. Show that if I "'
(xn) ~ M U S (n ~ 3), Lhl'
identification of variables in it can lead to a non-mono-
tonic non-self-dual function that depends essentially on
two variables.
2.5.41. Show that if I EM, I* EM.
2.5.42. Show that any monotonic function is contained
in not more than two classes in T 0 , T 1 and L.
2.5.43. Show that none of the classes T 0 , T 1 , S or L
contains M.
2.5.44. Can the function xy V yz V zx lead to the
function xy with the help of the superposition operation?
2.5.45. Is it possible to obtain 0 from the functions
xy, x V y and 1?
2.5.46. Show that the set {0, 1, xy, x V y} forms
a basis in M.
2.5.47. Isolate all subsets from the set {0, 1, xy,
x V y, xy V z, xy V yz V zx} which are bases in Jltf.
2.5.48*. Show that any basis in M contains not more
than four and not less than three h•nctions,
76 CU 2 CLOSED CLASSES AND COMPLETENESS
that rN
1J = ~Jf•l ,.,
-""-'~
a
dx.
( / x.
( • . . ( a.
dx,
I (;·") ) . . . ) )
lt lJ 1{
is a Sheffer function.
2.6.20. Let the function/ be monotonic with exactly two
lower unities. Prove that f is a Sheffer function.
2.6.21. Prove that any self-dual function not belonging
to the set 1' 0 U 1' 1 U L U i1I forms a basis in the class S.
2.6.22. (1) Prove that any function in class L belongs
to at least one of the classes T 0 , T 1 , S and iV[.
(2) Give examples of linem· functions contained exactly
in one of the classes 1' 0 , T 1 and S. .
2.6.23*. Give example of a function in class T 0 that
does not form a basis in T 0 and does not belong to the
set T 1 U L U S U Jvf.
80 tl-1 2 CLOSFD C.LAS~~S AND. C0\1PI FifE.hES~
.....
2 ~6~24.. G1 ve example of a noulltlear f tUlC ~!ott I (.c,•)
that depends essentially on the smallest posstble number
of var1able.9 and sat1sfies the follow1ng cond1tton for any
l"V
'
6-0636
Chapter Three
k·Valued Logjcs
3" t. Representation ol Functions
of k-Valued Logics Through Formulas
J, (x)
mod k sum: x +
y (mod k) (read as "mod k x plus y") ;
1
(x + y) ·z = (x ·z) + (y ·z)
called distributivity of multiplication with respect to
addition; ·
max (min (x, y), z) = min (max (x, z), max (y, z)}
called the distrihutivity of the operation max with respect
to the operation min;
min (max (x, y), z) = max (min (x, z), min (y, z))
called the distrihutivity of the operation min with respect _
to the operation max;
max (x, x) = x, min (x, x) = x
called idempotency of the operations min and max; and
min (-x, ......... . y) =,..,max (x, y), max (--x,,..,.. y)
= ,..,min (x, y)
•
called the analogs of De Morgan's rules (laws) in P2 •
.
1
Unless otherwise stated, the symbols + and . in this chapter
will denote mod k sum and product.
6•
CU ' Jr-VALUED LOGICS
z g
(15) v" (rt y) + •J~t-t (y) + Jil-l- (.:r) ~ max {i y),
(16) max (z, y) + /o (g - z) + J~c -1 (.t) y = max c.t, g)t
(1 7) min (x, y) + J 0 (y -- x)- ll-t (x) -~y = min (.i:' y),
(18) 1 o (max (J o (.z), J 1 (.r)t , J k 2. (x))) = J 11 1 (.x).
(19) J 1{max {z, 1. / 1 (x), J 1 (z), ., J 11. -a (x))) =
JfJ(z),
(20) z •Jo Vt (x)) + Jo (z) •Jt (z) = x + Jo (z) -- It (x),
(21) 1 0 (z-1)---J 0 (z-(t-1)) = J,(z), t ~
t, 2t ., k - 1.
(22) (,-w(("-'.X)- t))- ( (((k-t)-
(~ x))- (~ x)) ----- - (.-wx)) ~X;
~-\ t.~mu
(23) ( (((k- 1) lo (x}) / 1 (x - 1)) -
It (:t- (k- 3})) ........ ((k- 1)/9 (~ z)) ~ ~.
... tl-
3.1. REPRESENTATIO!Il 85
.....,
Here the max1mum lS taken over all tuples (u1 cr ~
O:u , an) of values of the vartables r 1 .zt, , zn t
y
0 1 -
?
0 1 0 l)
1 0 1 -1
')
-
•) 0
-
•)
f (xfl) ~ m1n
,.;
(max UCat, 0'2,
(J
preserve the partltEon D tf for any tuples ttn and ~" the
~ ~
3.2~3~ (i) Let. t; s;; EJt Prove that T (~)* p._ tf and
only 1f t 1S a proper S\tbset of the set E ~ (1 e 'Q. ::::fo 0
and r-=/:
E~)
(2) Determ~ne tlte number of dlffetent closed classes 1n
Pk whlen preserve tl1e sets'
(3) Let ~ ~ E k Calculate the number o( functtnns
tn P~t contatned tn tlte tlass T (~) and dependtrlg on
tiLe var1ables .r1 , x~"t , x n (n ~ 0)
3~2 4~ (1) Let D = {W 1 ~ ~ 3 } be it part1tton of
the set Ek Prove that U (D) ;:/:: P~a;. 1f and only 1f 1 <
s<A
(2) Fori.- 3, 4 and 5. calcuJate the number of differ-
-===
ent c]osed clas.s~s 1n Ph whtch preserve the part1t1on.s
(3) Let D :;: : : : {t1 , , 'I, } be a part1 t1on of the
set E~t Calculate the number of functtons 1n P1 con
tatned 1t1 the class U (D) and depending on the variab1es
z1, x 2 , Xn (n~ 0)
3~2 5. Let ~ be non empty subset tn E~t other than
the enltre E" and Jet D = {~. E" 'WJ Calculate the
number of luncttons tn Pt~ \VhLch depend on the vartables
x1 z 2 , Zn (n;a: 0) and are conta1ned 1n the set
(1) T (6)" U (D), (2) U (D)' T (~)t (3) T (~) U
U (D)
3 2.6 By S • we denote the set of all dlfJerent valued
junctzons zn P,. whEth depend on a Slngle tartable (t e g (x)
belongs to 5 11 1f and only 1f g (E 11) == E 1 ) Let p~t~ be the
set of all junctlons of the k talued logtc Pit~ whrch depend
on a .s~ngle va.rtable and CS 11 ~ P~11 'S It
(1) Prove that the sets S,. and CS ~ are closed cla.5ses
(2) Caleulate the number oi funet1ons de:pend1ng on
the Varlable X and belongtng to the tlass S l n U ( {0
k--- 2) {1, k-- 3], {k-- i}) (Fnr k ~ 3, we
assume that {1, " k - 3) ~ 0 )
3~2~7 ~ Expand a funct1on f 1n P-. 1nto a mOO k poly-
nomtal
(t) f = 2 r - x1 ! === 5.
(2} f = m1n (.x 2 .t3 } k = 5~
(3) I = max (2 x - 1~ x 2 )~ k 5~ =::;;
fm, ] where
Xm)
1 for z 1 = =.%1-t =Xt+t =
= x 1 ~1(i=1, ,. m}
0 otherw1se
m~ 2 The set {/2 , fm, } Is a basts 1n A,._ Us1ng
>
t.be elass A 1.., prove that there ex1st.s 1n P k (k 3} a conttn
ual famtly {Bv} of closed classes whtch form a chain
upon lneluSlOD, l e only one ol the lDCluslODS Byl c: n,..
or B-v t c. B~t 1 1s valtd for any two classes B~"I and B~, t
1 1
1n the fam1Iy {B v}
Chapter Four
1
4.1. Basic Concepis in ihe Graph Theory
Let l' be a finite non-empty set and X be a tuple of
pairs of elements in V. The tuple X may contain both
pairs with identical elements and identical pairs. The
set V and the tuple X define a graph with loops and multi-
ple edges (to make it short, a pseudograph) G = (V, X).
The elements of the set V are called vertices, while the
elements of the tuple X the edges of the pseudograph.
The edges of the type (v, v) (v EV) are called loops. A pse- •
IL-f h
(1) Prove that if d 0 (G) ~ 2
, t e graph is con-
nected.
(2) Can [
11
;-
1
J he substituted for (n-1)/2 in the
previou~ statement?
4.1.6. Prove that any closed walk of an odd length
contains a simple cycle. Is a similar statement valid for
walks of an even length?
4.1.7. Prove that a connected graph with n vertices
contains at least n - 1 edges.
4.1.8. Prove that a connected graph with n vertices
and c connected components has a number of edges not
exceeding !- (n- c) (n - c + 1).
4.1.9. Prove that any non-trivial connected graph
c.mtams a vertex which is not a separating vertex.
4.1.10. Prove that any two simple chains of maximum
length in a connected graph have at least one vertex in
common. Do they always have a common edge?
4.1.11. Prove that if an arbitrary edge contained in
a simple cycle is removed from a connected graph, the
latter will remain connected.
4.1.12. Show that if a graph with n vertices contains
no cycles of an odd length and if the number of edges
exceeds (n- 1)2/4, the graph is connected.
4.1.13. Determine the number Ph. (n) for which any
graph with n vertices and Ph. (n) cycles of length k is
connected.
4.1.14. Let graphs G and H be isomorphic. Prove that
(1) for every d~ 0, the number of vertices of degree
d in the g1·aphs G and H is the same;
(2) for every l, the number of simple cycles of length
l in graphs G and H is the same.
4.1.15. Prove that conditions (1) and (2) in Problem
4.1.14 are insllfficient for the graph G and H to be iso-
morphic.
4.1.16. Indicate the pairs of isomorphic and non-iso-
morphic graphs among those shown in Figs 3-6. Justify
your answer.
4.1.17. Let graphs G and H be 2-connected, have six
vertices and eight edges each. The graph G has exactly
two vertices of degree 2, while the graph H has four ver-
100 CH ' G.R.APUS .AND NETWORKS
(a) (b)
(a)
(a) (b)
4.1. BASIC CONCEPTS 107
•
(a) (c)
Fig. 7
(a) (c)
Fig. 8
•• •
(a)
Fig. H
where
xi= (a 1, bi), i = 1, n;
Yi=(ah bi+t),
::, = (ai, bi+:J, i= 1, n-2,
(1) X (G)~ d 1~ +
(2) X (G) ~ d + 1
4 2 39 Let p be the maximum number for '\\h1cb there
ex1st.s a subgraph of a graph G tsomorphlc to the graph
Kp Prove that X (G)> p
4. 2 4.0 Prove that for a graph G with n \ erttces the
follow1ng Inequalities are val1d
(1) ~ 0 (G) X (G)~ nt
(2} x (G) 1 (G)# n
4.2 41 \Vhat 1s the smallest number n for whJch there
ex1sts an n vertex non planar graph w1th a non planar
complement?
4 2 4.2. Determine the thickness ol the graph K,
4 2 43 Prove that
a. 0 (G) 1 Po (G) -= a 1 (G) + ~1 (G) = n
for an arbitrary connected graph G w1th n (n > 1) \Cftl
c.es
4 2.44. (1} Gtve an example c.ontradtttlng the follow
1ng .statement a.ny vertex co\ er1Ilg conta1ns the minimum
vertex covertng
(2) Prove that any vertex cover1ng containS a tenntnal
vertex cover1ng
4..2.45 Determine the number of tern11nal and mint
mum edge cover1ngs Cor
(1) a cha1n of length m.
(2) a cycle of length n,
(3) Petersen s graph (Ftg 7a)
4~2 46 Prove that for any graph G the tnequallt,es
a, (G)> P1 (G} and et 1 {G)> ~ 1 (G) are valid
4.2.47 Prove that. for any graph G the 1nequal1t}T
a 00 (G)~ a. 1 (G) ts valid
4~2 . 48 Prove or refute the follov.-1ng tnequallty
p., (G)~ aoo (G)
4 2 .. 49. Let U ~ V be a subset ol vertiCes of a graph
G= (V, X) and let v (U) be a number of \ettlces v E v,u
wh1ch are not adJactnt to any vertex 1n U Let
- 1
k v=:v lU f--.\
Here w~ assume that two trees are different if they are non-
1
.
Isomorphic d1rected trees with labelled (numbered) vertices.
124 CH ' GRAPHS Al\D l\ETWOR:h..S
C1 0 b
c
(a) (b) (c)
r(r)
r
a
(a)
r(r')
r'
a
(a)
Fig. 12
(c) G = Kn 1, n~·
(2) Prove that any tree contains not more than two
centres.
4.4. 7. Prove that a tree has one centre if its diameter
is an even number and two centres when the diameter is
odd.
4.4.8. (1) Let D (G) be the diameter and R (G) the
radius of a gt·aph G. Prove that R (G)~ D (G)~ 2R (G).
(2) Prove that if G is a tree, then R (G) = J D ~G) [ •
(3) Give example of a graph G for which R (G) = D (G).
4.4.9*. Prove that a tree can be uniquely reconstructed
(correct to an isomorphism) if pairwise distances between
its pendant vertices are specified.
4.4.10. Prove that any two simple chains of maximum
length in a tree with an odd diameter have at least one
edge in common.
4.4.11. An infinite tree is the term applied to a graph
with a countable set of vertices satisfying the following
condition: for any two vertices u and v of the graph, there
exists a unique simple (u-v)-chain with a finite length.
Prove that if the degree of each vertex of an infinite tree
is fmite, there exists for any vertex a simple chain of
infmite length, which contains this vertex.
4.4.12. Let P = {v1 , v 2 , • • • } be an infinite simple
chain. Let G = K 2 X P. What is the power of the set of
all spanning trees of the graph G?
Let G = (V, X) be a multigraph with a set of vertices
V = {v11 V 2 ••• , v 11 }, and M (G) = II a 11 II be a quadratic
matrix of order n, where
for i = j;
for i =I= j and (vh v1) EX;
for i =I= j and (vh v1) ~X.
It is well known [23] that the number of pairwise different
spanning trees of the graph is equal to the minor of any
element of the principal diagonal of the matrix M (G).
4.4.13. Determine the number of the spanning trees
of the graphs shown in Fig. 4a, b and Sa, b, if the vertices
of the graphs are labelled.
4.4.14. What is the chromatic number of a tree with
n ~ 2 vertices?
9-0636
130 CU .l GRAPHS A~D NETWORkS
(a) (b)
Ftg 13
that tl)e total number oi vert 1tes of \he tree does not
exceed 2n- 1
4 .4,. f8. Construe t the codes of plane rooted trees shown
tn F1g 13a and b
~
{3) tt ~ (0001010110011011)
4~4 20. (1) Determtne the number of pa1rwtse non
tsomor-phtc rooted trees wtth four edges
(2) Determlne the number of pa1rw1se dtflerent plane
rooted trees w1th four edges
,..., ,.., ~ ~
"' ,..,
(0010101101),
,...
a 2 = (0100101101),
,...
ct 3 = (0101001011),
a 4 = (0100101011), a 5 = (0010110101).
,...
4.4.22. Prove that the code a = (ct 1 , ct 2 , • • • , ct 2 n)
of a plane rooted tree with n edges possesses the follow-
ing properties:
2n
(1) ~ ct; = n;
i=i
k
(2) for any k (1::;;:; k::;;:; 2n), the inequality ~
i=1
k/2 is valid. ,..,
4.4.23. Prove that any binary vector a of length 2n,
which satisfies conditions (1) and (2) of the previous
problem, is a code of a plane rooted tree with n
edges.
4.4.24. (1) Prove that the following recurrence
,.., rela-
tion is valid for the number tjJ (n) of vectors a EB 211 that
satisfy conditions (1) and (2) of Problem 4.4.22:
11
3n~ 2m+ 2~ n (n 1)
U. TREES AND DIPOLAR NETWORKS i33
3
(2) Prove that for any nand m such that m ~ 2 n - 1,
n~ 4, there exists a non-decomposable network with n
vertices and m edges.
1
a b
(a) 5 (b) 6
a b
3
(c)
Fig. 14
b b
a
(a) (b)
Fig. 16
s (a)
Fig. 17
ao • ob a
a b c d a-.c
2 X 3n (n ~ 1)
4 .. 4.52~ Is 1t true that among all the networks With
m edges, the n networks have the maxtmnm number of
s1mple chains.,
4.4.53. F1lr e:aeh n >-
51 1nd1c.ate an H network With n
verttces,. whtth has the maxtmum number of chaJns
connecttng the poles For eath k (1 ~ k < n), calculate
the number ol cha1ns of length k between the poles
4 4 54~ Pro-ve that for a network w1th .m edges hav1ng
a length l and w1dth t the 1nequal1ty m ~ l X l IS
val1d
4.4~55. Prove that 1n a n network the 1ntersect1on
of any Simple eha1n between poles w1tb any tetmlnal
cut conta1n.s exactly one edge
4.4~56·. The set of chatns lD a network r
J5 called a
defin~ng .set lor a vertex v 1f {v) 1s the Intersection ol
the sets of the 1nterna.l vertlces of these eha1ns Pro-ve
or d1sprove the followJng statement the necessary snd
~.5. ESTIMATES 137
n
k 2
t;") •
(n/~l ( ~)
~ ( k- I)
~ ( ~ ) kk-~ (n-k)ft--'-z L} 2
l-t J~l-l J-k+t~ m-J-n+k+t
~ .5.21. Show that the number of k con nee ted graphs
+
tn '<J n m wh1cb are not (h. 1) connected (J.. ~ n - 2)
does not exceed
1
["2 1
( ~} +k (n-k) }l (n;k)
1 r-.=1
Y n-k}
( 2 -r (tt- k--r)
m.-1
U. ESTIMATES 141
n-1)
Obviously, g 11 (i) = 2 ( 2 for all i = 1, n. Hence
p (n)=
n· 2-n. Putting e= 1/2 in (1) I we find that the fraction
of graphs G in rl 11 , for which p (G)~ 112. does not
142 CU t. 0 R A PllS Alrrr. D N Et\VOR K S
- (p (n))1
Let us label all pa1rs o! the type (t, l} 1 ~ l <
r ~ n by numhe:rs from t t() { ~} , and let B (\I, i-ll 00 g
the number of graphs G tn Yn~ 1n whJch pa1rs w1th num
hers v and 1-4 are edges Then
4.5.26.
111
- •
in graphs G of '!J n. m·
4.5.27*. Using the Chebyshe v inequalit y (2), show
that nearly all in (n, m (n))-grap hs, where m (n) =
[n/ln (n Inn)], the number of isolated vertices is equal
to n (1 - e (n)), where lim e (n) = 0.
n-oo
4.5.28*. Let k be an integer (k~ 2). Show that if
~
2- -
m = m (n) = 'P (n) ·n h.-1(where cp (n) oo for
n ).. oo), nearly all (n, rn)-graph s contain a complete sub-
graph with . /;: vertices.
4.5.29. Find the average number of /;:-vertex indepen-
dent sets in g1·aphs G in ,'rJ,..
4.5.30. Let k be a natural number. Calculate the aver-
age numbe1· of vertices of degree k in g1·aphs G of .'9,.. m·
4.5.31. Let p (G) be an integral non-nega tive parame-
ter and let p (n) be its average value for graphs G in f) n.
Show that if lim p
(n) = 0, then p (G) = 0 for almost
all graphs. n-oo
a a
(a) (b)
b
(c)
F1g 19
(2) j ~X )
3
-:=. X1Xz $ 2a%J $ X3X1i
4 6. REPRESE~TATIONS OF BOOLEA~ FUNCTIONS 147
~
z
(c)
Fig. 20
4.6.10. Construct a contact scheme with a complexity
not exceeding L for a function j, after simplifying its
formula if:
"' -- -
(4) I (x") = x 1x 2 •.• Xn V x 1x 2 ••• Xn;
- 11
(5) f (X 11
) = V X1 ••. Xj-tXi+l ••• Xn•
t=l
~
,..., - - -
(3) f (x ") = X1X2 • • • X3n V X1X2 • • • XznXzn+tXz~+2
3
.. • X3n
- - - -- -
~
For each code word ex, construct the set of words ,...,
which
can be obtained as a result of the transmission of ex through
the channel:
(1) c= {01100, 00111, 1'1010, 10001 };
(2) c= {11110, 10100, 01011, 11001 }.
2d + 1} code 1~ r;.n ~ j (; )
1-0
.5.1 .. 12,. Does there extst a compact {nt 3) code for
n = 147?
5,.1 l3. Prove that for n > 7, there eXIsts no compact
(n, 7 )-codes
5.1.14 .. Pro\e that a code C ~ Bn 1s not maximum 1f
J C I= 3
5. t 15 Prove tha l 1f there exIsts a compact (n... 3) code
In nn 't there ex•sts a partJtlOD of the cube Bfl+l Into dlS·
)o1nl spheres of tadlus 1
5 .. 1. 16. Let C be a compact (n, 2d + 1) code Prove
n
th~t tn thts case ts exactly dlVtstble by
d+1
2d+f
d
5.1.17 Prove that there ex1st no equtdtstant (n, 2d +
1} codes of power exceedlng 2
5. t .. 18.. Prove that for an even d there e.xtsts an eq u 1
dtstant code of power l2n/d)
5.1 .. 19. Prove that m (n t d) 1s a non decreasing func
tton of parameter n.
5.1. CODES WITH CORRECTIOXS 159
m (n, k, -:--:--....:.-~--.
~ {~) (n-;k)
i=O
m(n, k, nd
d)~ [ 2k 2 -n(2k-d ) J
'
1
The definJtJons of mod 2 sum of vectors and mod 2 product
of a .sea lar by a vee tor are g1 ven 1n the see t lon Boo Iean \ ee tor!
tr.nd a Un1t n drrnens~Dna.l Cube
5 2. LINEAR CODES 161
Here H 1! an {n X n) matr1x,
(4) H = (J ~tP). where 1A ts a untt (k X k) matriX a.nd
P :LS an arbitrary b1nary (k X (n - k)) matru:~ formed by
dtfferent rows~ each of which cc.nta1ns at least two uni·
\1es, and k ~ 11 .......
log1 (n + 1),
(5) H =- (I 1Q)t where 1 1 l! a (5 X 5) un1t matrix and
1110110010
0111100101
Q== 1 1 0 1 t 0 1 1 1 0 41
0110011111
1101011101
5.2. LINEAR CODES 163
vectors.
5.2.17. Prove that the code distance of an (n, k}-code
does not exceed [n2"- 1 /(2h - 1)1.
5.2.18. Prove that for n = 2d - 1, the power of a
linear (n, d)-code does not exceed 2d.
5.2.19. (1) Prove that the maximum possible power
g (n, d) of a linear (n, d)-code satisfies the inequality
g(n, d)~ 2g (n- 1, d).
(2) Using the result obtained by solving Problem 5.2.18,
prove that g (n, d) ~ d. 2n-2d+2.
5.2.20. Let a code C be a zero space of a matrix H.
Prove that the code distance of the code C is not smaller
than d if and only if any combination of d - 1 or a
smaller number of columns of the matrix H is linearly
independent.
d-2
5.2.21. Prove that if ~ { n-; 1
) < 211., there exists
i=O
a (k X n) matrix consisting of zeros and unities, in which
any d - 1 columns are linearly independent, and hence
there exists an (n, n - k)-code with a code distance
equal to or longer than d.
5.2.22. Let H h, n be a (k X n) matrix, where k =
llogll (n + 1)[ 1 in which the i-th column is a binary de-
11•
164.: CH 5 FUNDAMENTALS OP CODING TBEORY
ceo
(a)
Flg 22
alphabet A = {a1 , a 2 t , a01 } It IS assumed that the
emergence of letters of the alphabet A 11 stat1st1cally
Independent and obeys the probability d1.str1button
m
P ={Pit Pt~ , Pm}t PI> 0, ~ p~ ~ 1 Any binary
i-l
alphabet code C = (w 1 , w2 t , Wm} can be assoe1ated
Wllh a number
tn
•
l
•
168 Cll 5 FUNDAJ.lENTALS OF CODING THt:ORY
tD"'
t 04 t 00 4 0 t 0010 tto
2 02 01 Ot 5 0 t 0011 tit
3 02 000 to
l~l
that the Jengths A:(w 1), h.(w 2), , h. (rom) of the -vwords
of an ar h1 trary htoary pre:fix code C ~ {w1 Wz, , Wm}
,.,.
satlsfy the condttton ~ 2-Mwi)~t
a-1
(2) Prove that a complete prefix code satJsfies the
1D
equal1ty ~ 2-u~,~== 1
1~1
m
(3) Prove that J f ~ 2-l., ~ 1.. where 1 1 are nat ural
__.........,...__ "(::;;;: t
numbers. ':==: 1., mt there exJsts a prefi:t code wtth
words of Iengths,.A1 , l 2 , , Am
5 3~23 .. (1) 18 1t true that the nuntber of code words
of max1mum length 111 an optimal b1nary code ts even?
(2) Is 1t true that tbts number IS a pol\ er of two?
5.3.24. . Let C -.= {wt, w 2 , t wm) he a complet-e
prefix h1nary code and let h (w 1) ;;=: h (w 1 +1 ) for all
i ==: 1, m - 1 Prove that for m ~ 2 and ail t :=:
t, m - 1 the lnCqua1tty 1 (wl+.rl - l (w 1) ~ 1og2 m - 1
IS valid
5 ~3 .25 • Let Lm be the smallest 1nteger for which
there e1: tsts a btnary prefix code of poVt er m, WJ th the
sum of the lengths of the code "ords equal to Lm Prove
that Lrn ~ m (Jog1 mJ lor m ~ 2
5.3 .26.. Pro' e that the lengths of the code words A(w1} 't
F1n1fe Automatons
6. f,. Determtnate
and Boundedly Determ1nate Fu nct1ons
Let A he a non empty f1n1le alpl)abet Th.e elements o!
the alphabet are called letters (or symbols) A word tn an
alphabet A 1s a sequence formed by the letters of th1s
alphabet The length of a uord lo (the number of letters 1n
.1'¥
for
,_
any s ~ 1 the s th symbol y (s) 1n a word y(iJ =
f9 (~) JS a stngle valued functton of ,..,the first s syrnboJs
x (1} z (2} z (s) of the word zlll
..,.
[( the "ords zOl and
~
r:
have identical prefixes of length
("¥ #¥ ~ ,.,;
If A = A 1 X A 2 X ..• X An and B = B1 X B2 X
••• X Bm, then the mapping cp: All) ,. Bill induces
m functions each of which depends on n variables, the
variable X1 running through the set Aj (i = 1, 2, ... ,
n). These functions are defined as follows. Let ,...,xlll =
-
x (1) x (2) . . . .c: (t) . . . be a word in A Ill and yll) =
cp (xlll) = y (1) y (2) ... y (t) . . . . In this case, x (t) =
"'Ill
(x1 (t), x 2 (t), ... , Xn (t)), XJ (t) E A}t xi =
1
,...., ,..., ""'J ,...,
- - ,..., ,...,
!pt (x~, x~, ... , x~) = yf.
By proceeding in the reverse order, we can. construct
the mapping <p from the functions cp 1• •
The concept of a d-function of n arguments arises natur-
ally upon a consideration of d-functions of the type
<p: (A1 X A2 X ••• X An)lll >- 8"'.
The variable X 1 of a function <p (X 1 , X 2 , ••• , Xn):
(A 1 X A 2 X . . • X An )Ill - Bill is called essential if
,...., "' ,...., ,...., ,...,
(x~11 x~11
... , x~,) and (x~2 , x~11
-
there are two tuples
.
. . . , x~,) of values of the variables X 11 X 2 , • • • , Xn
which differ only in their first components and such
f"tJ ,...., I'V ,..., ,..., ,...,
,..., *' 1
f"'V
(xw) ;;;:::
-r.p 1 (J:M) 1s satisfied for any Input word zw tl1en fP 1 and rp 2
are called equfvalent or tndlstlngulshable d juncttona
Let tp E$A s and t E $A n If there extsts a word
,.,.,.. ,...., ,..., ,.. ,...,
X: E A • sucl:t that t rp (x~) = cp (:c:) 1p: (ZW) for any word
i"W'
J'v
'(~~.w)
G.l. DETERM INATE FUNCTIONS 177
•
••
Fig. 24 Fig. 25
the .subtrees gro\\ tng from these vert tees are also called
equivalent The we1ght of a tree representing a d funct1on
IS equal to the we1gbt of thts functJon and hence to the
max1mum number of pa1rw1se non equ1valent vert1ce.s
(or subtrees) of the g1 ven tree
,., n t 01fS
other\\ 1se,
tf v <r:l + 1J (.z:) ~"(XC:}~
,_ ,..,.,; ,..., i/flllW
~ ~ ~ lw
(4) fP (z~t 3.~, x~) =:=: ~
otberw1se z:
6. t .,5. The partial fune ttons cp {0, 1 }~ - )' {0, 1) b)
f"'J
{1) 4Jl (~) = f of the word zi'l lS not less than the
num ~~ a,{ un\\,\t:"S,
~
1n~ otherwtse•
..,.
(2} <p (~J == y (1) y (2) y (t) • where
0, tf 3s ((s~t) & (x (s) ;=;f)),
y (t) = 1 otherw•se,
.f/'¥
word ~ E {0, 1 J0 .,
'P (X1 .r:) 1s a d-funct1on, the func·
J:
{0, 1 }(I) satisfy the follow ing condit ion: for any words
~ ~ ~
x~ and x~ in (0, 1}(1), the functi ons rp (X 11 x~) and
~
s first levels for the functi on y(l) = rp (x(l)) belong ing to the
set <1> 2 :
(1} y (1} = 1 and y (t} = x (t - 1) for t ~ 2, s = 3;
(2} y (1} = 0 and y (t} = x (t) EB y (t - 1) for t ~ 2,
s = 4; .
(3) cp (;;(I)) = <~) , s = 3;
(4) cp (';(I))=--< ~ ) , s = 4.
~
i"W ,.,.
(2) ~ (xw) ~ iS ~
(1) ~
6.1. DETERMINATE FUNCTIONS 183
of'tJ ,;tV
Tahle 7
lJ 1 F(a J) G (1 J)
lt!IO 0111
.x,
x1 Y1 x2
~2 . • Y2
•
:Cn %n
F1g 26 F1g 27
At!'
•••
•••
• ••
•• •
!Jm
!J,
Fig. 28
x, x,
••• •••
••• • ••
!Jm
Fig. 29
Xn
.... .. .....
F1g 30
r-
I
--
•••
--- ---
• •• -.I
I I
:E<j> : I Yl1 Yl2 I
I I
I I
••• •••
L.- -- --- --- _.J
Fig. 31
I'
I
\
'' r
i
I }
I ~ • • ~r
I I
~t.+ri1 Ym~-';;,_ 1
a
I
'I
~
411 •
'
r
~
~
I '
I
'
I
_____ ___ __
r
I
L_ """"'~~- ,__ .. ..
...., to
...... _.-~,_ ..,.J
0
~lg 32
tl10 lnpul poles Wlll he the \nput poles of tl\e scheme I_,1
and the 1nput poles of the scheme I, 1 not parttc1pat1ng
1n tl1e above 1dentlflcat10:n proce-d\1[0 (b) the output poles
arc a]l output. poles of the scheme 1:., and those output
:a
poles of tlte scheme ~., whtclt were not tdenttfted wtlh
1
llUY urtltc Input poles of the sclteme l:q-1 The ldenllfied
poles are call-ed t.l~e lnternal vert 1ces o.[ the scl1eme Z. -t
fhe- scheme 1: • 1s called tl1e superpost llon of schemes l: fP;~
and k~ 1 (1n variables .x; -
11 1• 1.. YI+J , , .r~1 t - x; --
6.2. REPR ESEN TATI ON OF• DETE RMIN ATE FUNC TION S 195
q~l (t) = c;l (x; (t),... ' x~. (t), q~ (t- "1)1
... ' q;l (t-1 ))1
q: (0) = q(ll, ... , q; 1 (0) = qiJr 1 1
• • • • • • • • • • • • • • • • • • • • • •
q;2 (t) = c;2 (x; (t), .. 'I x~. {t), q; (t -1) ,
• • • 1 q;2 (t- '1)),
q~(O)=qo11 ···1 q;2 (0)=qor 2 •
13*
196 CH 8 FINITE AUTOMATONS
q,.l(t-1) ) (5)
l
where
J =:;.l + 1 1 i' m1
6.2. REPRESENTATION OF DETERMINATE FUNCTIONS 197
y (t)= q(t-1),
q (t) =X (t), (6)
q (0) = o.
A
::x:(t)
d
y(t)
o( 1}, 1(0) o(o)
1( 0)
Fig. 33 Fig. 34
0 0 1 1
(\ 1 0 1
1 0 0 1
1 1 0 0
y(t)=x(t)·q(t-1),
q(t)=x(t)Vq(t-1),
g (0) =0.
198 CS 6 FINITE AUTOMATONS
.,.,.
F1gure 34 shows a scheme representing this operator
Thls d1agram has been constructed by us1ng an element of
...
un1t delay and an operator 10 <I>! ', generated by a S)mbol
of Jotnl negattonz. y Here., the operator generated by the
JOint negation symbol 1s represented through the scheme
....
Every b d operator In ill~ 1"ft. may be represented by a
scheme generated by a set conta1ntng (1) schemes repre·
sent1ng an element of un1t delay; (2) schemes represent1ng
Opera\ors generated Dy lunC\lDnS from a certalD se\ tha\
ts complete tn Ptt In other words,. lhe set of b d ~ope
rators formed by the element fPd and the operators gen·
erated by functions from a certain set complete 1n P"
form a set that ts complete 1n U ¢.r"' wttb respect. to
n.m
the operations 0 1 , 0 1 , 0 3 -r o., and S
Remark. Henceforth~ wb1le constructing a scheme of
any b d opera tor q:> genera ted by a certa1n gt ven set M
ot b d -operators, we :shall adopt the follow1ng procedure
the scheme Itt of the operator 41' 1S constructed by nstng
only single output schemes representJng operators In the
set Af (ln th1s case unless stipulated othenv1se, we can
only carry out the operattons 0 1 ~ O~., 0 3 0 4 ~ and S)
'4
(1) cp:
I qdt)=x (t)qt(t- 1}Vx(t} q2 (t-1},
q2 (t} = x(t} q (t-1) Vx (t)q (t-1) q
2 1 2 (t-1),
q1 (0) = q2 (0) = 0;
y(t)=x(t ) ED q1 (t-1) ED q2 (t-1),
qt (t) =X (t) ~ qt (t-1),
(2) cp:
q x q
q2 (t) = (x (t) ) 1 (t -1)) >- (t) 1 (t-1),
qt(O)=q2 (0)=1;
(3) cp is defined by the cannonic al equation s of the pre-
ceding problem, but with different initial condition s:
ql (0) = 0, q2 (0) = 1;
• y(t)=(x( t) ~ g2 (t-1)) > qdt-1),
(4) cp: qt (t) = qt(t -1) >- (x (t) >- q.
(t-1)),
qz (t) = q2 (t -1) >- x (t),
qt (0) = q2 (0) = 0.
A
111
lD the set ((Jll' , x1 .. XI. ,. X.,., Yl. Yl, t y m)
does not exceed (wkm)wl,.,.
6 2 5 Let the operator 'P tn a>; "' be defined by (2)
.and let. the funet1ons G1 , G1 , , Gr be canneeted through
0(1)
1(1) 0(1 1(0)
___0(1} 1(0)
---o(o)
10
F1g 35
x(t)
x(t)
d d
d d
z(t) z(t)
(a) (b) (c)
Fig. 36
Y2 (t)=x2(t) 61 q2 (t-1),
rp 2: q2 (t) = X2 (t) V q2 (t--1},
q2 (0)=1;
(2)
the operator w1 J.S defined by l\.foore' s d1agram shown 1n
Ftg 37~
,.,., y(f)~Ot
(3) lJ'i (~)
y(t)~y<t '"=t) e z(t~t), t>2,
y (f):;;:: 1,
y(t}~x{t) _,_ :J:(f .. ·-1}, t'#2..
y{1)==1t
y(t)= y{t-1) ~ z(t}~ t~2~
~
1{o)
1{--.;.0)........
0 (1 ) ______ 1( 1 } o( 1) 1( 1 )
o( 1} o( 1}
(a) (b)
•
Fig. 38
q1 (O)~O
The opera tor fP 10 rs called autonomous (constant
til A B
;w
1"¥
the .set {cro (X 1 t x2t X 3' 'Pd (X t)) }t where Cfd IS a Ulllt
A A
lJ ~~
d>cu = U m-0p-Q
m and ll>cli) = U m-0
n--0
U tbA ,.)~
Is the set AI a closed class rela t1 ve to the set
6~3.1.
of operat1o.ns G?
(1) 1\f cons1sts oi a.ll k-valued b d funct1ons Wl\)J.O\lt
(llj). QC ....
n tJmes
t FT 4 2a r
m IJm~,a.
U U
:n==l m-1
Q;)
in cD 2 does not belong to the class [<p 0 , IPct lt) if <3 = { S}.
6.3.4. A periodic word xw"' of period 3 is supplied at the
A
' The cIesure and precom p le tton ate ta k.eu rela tl ve to the set
of operatJons {01 0~, o,, 0", S}
t
6.3. CLOSED CLASSES AND COl\IPLETENESS 211
classes in <D<kl?
6.3.16*. Prove that the power of the set of all closed
~
(2) precomplete
A
class in <D(kl? _
I 00 A
6
See footnote on p. 210.
Chapfe r Seven
1
Th1s should be understood a.s follows at each 1nstant the tape
J s lin1 te (con tatns a fin.t te number o ( sq tlates l, but the ~ tength~ of
the tape (the number of squares Jn 1t) can be Jncre-ased (•f requtred)
7.1. TURING'S MACHINES 2i3
q. • • • q. • • • qr-1
'
•
•
ao
•
• • •
aj • • • qiJa•ldii • • •
• • •
•
an-1
•
•
214 CII 7 FUNDAl'-lENtAtS OF THE ALGORlTHJ\.1 THEORY
sume that (t) the tnJtial word IS non dummy (2) at the
Jnittal :moment the head 1s against the extreme left non
blank square on the tape and {3) the ma~h,ne starts to
operate v,hen 1t 1s tn the state qL
The zone of operatlon of the mach1ne T (on the uord P 1l
1s the set ol squares wh1cb are scanned by the head at
least once durtng the operation
\Ve shall often use the notatton (pJm for words of the
form P P P (m t1mes) If P -= a 1s a word of length t
v.e shall Wille am Instead of aa a {m tltnefi) and (a.lm
\Ve shall denote by JV art arbttrary fin1te word 1n the
external aJphahet of a Turing machtne (1n particular
a dummy word l e that cons1St1ng of dummy symbols
of the external alphabet)
\Vhtle descr1b1ng the operation of a Tur1ng mach1ne 1n
terms of contiguratJon language we shall use an ex
presston stmllar to
q\1 ~otrOJJ f- f 110q6lV
x~ l and y ~ 1 The express1on should be understood as
follov.. s the machine erases the word 1iX and stops at the
f1rst symbol oi the word lV If ho\vever lV IS a dummy
word the mach1ne stops at the seeond 0 (ze:ro) follJ)Wlng
the word tv
Tur1ng s machrnes 1 1 and T 1 are called equzvalent (1n
alphabet A) 1f for any tnput word P (tn alphabet A) the
rei a tton T1 (P) ~ T, (P) hoi ds Th1s express ton has the
foil o w1ng rncan1ng T 1 (P) and T z (P) are etther both
spec1fied or both not spec1f1ed2 and II they are spettfi.ed
then T1 (P) = T~ (P) The symbol~ 1s called the sym.
bol of condttwnal equaltty
Let maChlnes T I and T J have programs Ill and n.
respect1vely \Ve shall assume that the 1nternal alphabets
of these machtnes do not Intersect and that qa ts a final
state of the machine T 1 wh1le g1 IS an IDlt1al state of the
r
m aehlne 2 We shall replace the state q1 by the state q1
throughout the program fit and combrne the oblatned
program Wl th nJ The new program ll determines the
mach1ne T called the compos1twn of the machmes T1
and T 1 (over the palr of states (q1 q,)) and denoted by
Let ct ~ (a 1 , a 2 , >
, an), n 1, he an arbitrary
tuple of non neg a t1 ve tn tegers The word 1 et, 01 ~;t+ ~ 0 +'
Ot ~n +I lS called the baszc machlne code (or Just a code) of
,..., ,/IIIJt,l
the tuple a (1n the alphabet {Ot 1}) and IS denoted by k (a)
ln part1cular, the word fa.+l IS the baste machtne coda
af the number a
Henceforth, we shall ma1nly cons1der partt.al numerltal
junctl.ons !he fnnctton I (x1 ~ x 2 , , :rn ), n> 1, 1s
a parttal numericaljunctlon 1f the vartables z, assume the
values In the natural scale N == (0, t, 2, , m, },
.,...,
and 1f I (a) E N when the funct1on J ts denned on the
I"W
th e ex tr em e le ft un it y on th e ta pe .
q10q 20 R
q11q 11R
q20q 30R
( 1) IT: qz1qt1 L (a) P = 1302 12,
q30q 00S (b) P = P O P ,
2 1.
q31q21R (c) P = 10 [01]
r q 0q 1R
1 2
I q11q30R
IT: qz0qa1L (a) P=1~01,
(2)
q2 1q21S (b) p = !3012,
6
q3 1q 11R (c) P = 1 •
( q10q 11R
q 1q20 R
I q 0q 1R
1
(a) P = 1012,
(3) IT: { 2 1 2 02 1,
q2 1q3 1L (b ) p = 1
q30q 11L (c) P = { 1 0 ] 21.
ab et {0 , 1 }, co ns tr uc t a T ur in g m a-
7 .1 .2 . In th e al ph sy m bo l
g pr op er ty (f or du m m y
chine ha vi ng th e fo ll ow in
we ta ke 0): w or d
is ap pl ic ab le to an y no n- du m m y
(1) th e m ac hi ne
in th e al ph ab et {0, 1 }; in th e
ap pl ic ab le to an y w or d
(2) th e m ac hi ne is in or d is
th e zo ne of op er at io n in ea ch w
al ph ab et {0, 1 }, an d
infinite;
in ap pl ic ab le to an y w or d in th e
(3) the m ac hi ne is d by th e
an d th e zo ne of op er at io n is li )l li te
al ph ab et {0, 1} nd on th e
re s, w hi ch do es no t de pe
same nu m be r of sq ua
chosen w or d;
ne is ap pl ic ab le to w or ds of th e fo rm
(4) th e m ac hi e fo rm
an y w or d of th
P " (n ~ 1) an d in ap pl ic ab le to
1 3
n+ cx, w he re a = 1, 2 an d n ~ 1;
hi ne is ap pl ic ab le to w or ds of th e fo rm
(5) th e m ac if a =F ~
1cx0 11 3
1cx01cx, where a.~ 1, an d in ap pl ic ab le to
(a.~ 1 an d ~~ 1) . it ia l
n T ur in g m ac hi ne T an d an in
7 .1 .3 . Using a gi ve ig ur at io n
in e th e te rm in al co nf
configuration K 1 , de te rm
(qo is th e final st at e) :
220 Ch 7 tuNDAME~T.ALS OF THE .ALGORI'tU\1 ,.HEQR...,
q, \1'1
t q;2DR q1tL
t1• q. Ql
1 q 1 1R qsOR g10R
~
q, <h 'II q,
0
I q1 1R q1 fR
I q1 2L j q1 3R
t q.,1L
I q,1R
I q~i.R
I q,1.R
~
2 qt2L
J
q10R
I q1 2R -
3 - I q,3JI
t q30R q:t3L
7.1. TURING'S ;'.IACHINES 221
'
(1) Prove that starting the operation with a blank tape,
the machine T will construct a word of the form P 11 =
110102 103 • • • 1011 1 (n is an arbitrary positive integer) in
t (n) steps, and at any instant t;;;: t (n) (for n;;,: 3) the
head of the machine will be to the right of the word P 11 _ 2 •
(2) Construct a machine possessing the same property
and having the set {0, 1} as an external alphabet.
(3) Provo that if the program of a Tul"ing machine does
not contain the symbol L (naturally, it may contain
symbols S and R), the machine, starting the opl'ration
with a blank tape, cannot construct a pre1'1x of the word
110102103 1 ... 0 11 1011 +1 1 .... however long.
7 .1. 7. Prove that for any Turing machine T (in an
alphabet A) there exists a countable set of machines
T1 , T2 , • • • , T 111 , • • • equivalent to it (in the alphabet A)
and diffedng from one another in their programs.
7.1.8. Let A = {a 0 , a 1 , • • • , a 11 _tJ he a certain alpha-
bet containing at least two letters. We shall encode its
characters as follows: the code of a; is the word 1Qi+11 in
the alphabet {0, 1 }. Accordingly to !his coding, the code
of an arbitrary word P = a;,a;, . .. a; s (s;;,: 1) in the
alphabet A will have the form 1Qi,+111Qi,+l1 . . . 10i~+11.
Prove that irrespective of the type of a Turing machine
T with the external alphabet A there exists a Turing
machine T 0 with the external alphabet {0, 1 }, which
satisfies the following condition: for any word P (in the
alphabet A) the machine T 0 is applicable to the code of
this word if and only if the machine T is applicable to
the word P. Moreover, if T (P) is specified, the code of
the word T (P) coincides with the word which is a result of
application of the machine T 0 to the code of the word P.
? .1.9. Construct the composition T 1 T 2 of Turing rna-
dunes T 1 and T 2 (for the pair of states (q10 , q:n)) and de-
termine the result of application of the composition T 1 T 2
to the word P (q 20 is the l'mal state of the machine T 2 ).
II q .. q" 'lu q.,
(a) p = 130212
'
2:22 CH 1 FUN OA~fE'lTALS OF THE ALGORJTII\f THEORY
q l ll • Qu V:t t.u
--- - ,.. I
- .... ., £&I
q:~ 4• q. q., q.
1 q;gO.R fa OR q10R - -
(3) i = 3, T:
1 q1ZR q~lR - q~lR q;,iL qslL
2 - q3 1R - - - q0 1R
P=F0lY(x~1, y~1).
I
q.,
I q,.
1 q31lR q 31lR
0 q100L 3 3
() q~ 0R q~ 0R q2 0 iL 0 qazOL q; 00R
?
~
- •)
~ q!~lR - - '}
~ - qao1R
(2) f (z) = ( ! ]- · 0
not defined
If
If
x~2,
x=O,
JS
t ion J (x"")
.,...,
1! ...... ~
operate from the lefl unlty of the code k (an) does net
.stop
1. t .15. Pro-ve that for any com pu 1able f unct 1on, there
extsts a Tur1ng machine that correctly computes th1ot;
functton
7.1. TURING'S l\IACHINES 22i
'Iii 9u o••
0 q~ 0 0R T~ 0 q~ 00L 0 "•~os
~
q~ l flu.
0 fJ.'HIOS 0 q 10fS
f q1 t1L 1 g,~os
an l multl ple code of the tuple a/' -== (cc1 , a -a., .. a 11-l
7. t .. 24. (1) Prove that a machtne transforming the bas-
~
11(a1+1)Q111(a2+1)Q! • •• Ql1!(o:n+l) .
I• q20
(2) Construct the programs of the machines T 3 , T 4 , • •• ,
T11 using the following description:
the machine T 3 , which starts to operate from the last
unity of the array of unities, "shifts" the array by one square
to the left (without changing the "remaining content"
of the tape 4 ); the head stops against the first unity of the
"shifted" array;
for a given l ~ 1, the head of the machine T 4 , which
starts to operate from an arbitrary square containing
unity, moves to the right until it passes through an array
of l + 1 zeros; the head stops in the first square behind
this array and prints 1 on it;
for a given l ;;;;::: 1, the head of the machine T 5 , which
starts to operate from any square and moves to the right,
prints l unities in succession and stops at the last unity;
the machine T 6 starts to operate at the extreme
left non-blank square; for a given l;;;;::: 1, the first left
array of l + 1 zeros is "detected", and the head stops at
the last of these zeros ("the content of the initial piece
of the tape" remains unchanged);
the machine T7 starts to operate from the extreme left
non-blank square, and detects the unity to the left of the
first array consisting of three zeros "bordered" by unities,
the head stops at the unity detected ("the content of the
initial piece of the tape" remains unchanged);
the machine T8 prints 0 in the initial square, and the
head stops after shifting to the left by a square;
the head of the machine T 9 is shifted to the right by
two squares of the "initial" square, and the machine stops
at the state q90 if the new square contains 0 and at the
q;
state 0 if the "new" square contains 1 (the content of
the tape remains unchanged);
the head of the machine T10 is shifted to the left by
one square (after that the machine stops, and no changes
occur in the tape);
• Jf un1 t Y 1s recorded lD the .., D1tia Itt .sqll a.re. the he.ad stops a t
the ne1t. square: ta the t1ght
7.2. COliiPUTABLE AND RECURSIVE FUNCTIONS 233
a" and F (an) = f (gi (a"), ... , gm. (a")) if and only
if each function gi (1 ~ i~ m) is defined on the tuple
~
an_1 , y) IS defi.nedt and 1ts values d1fier from a,. . , "e as-
,.,;
analyt1c" form
(1} g (zl} == .rl h (Zt Z1 Z,t) = Zt + Za
(2) g (x1) = .r1 h (XI Zt x 3 ) -= Z 1 + %1
(3) g (z1) - 2% h (x1 z2 .r3 ) = z: (we put oo === t)
(4) g {x1) = 1 h (x1 Z 1 Z.t) =
:r 3 (t + sgn I x 1 + 2 2x 3 I )
h (.l\ :r'l. z 3} = (.r3 + 1} sgn (1 + =f)
•
~ g (x1, ..• 'Xn-t• i)
t=y
(3) f (xt, · · · r Xn-1• y, z) = for y:::;;;;, z,
0 for Y> z;
z
•
11
t=V
g (xl, ... , Xn-t> i)
(4) f (xl, ... 'Xn-1• y, z) = for y~z,
1 for y>z;
(in the case when the upper limit of the product is smal-
ler than the lower limit, the product is assumed to be
unity).
238 C1I 7 FUND AI'c-fC 'l TALS OF TIJ.I: .ALGOR l TIJ 'l TO .tORY
functions 11 and 12 ? •
(2) Let a machine T compute a primitive recursive
function f (x). Is it always true that if an iteration of the
rn~chine T computes a function g (x) defined everywhere,
tlus function is necessarily primitive recursive?
240 CH 1 JUNDJ.."M.ENtAt ~ O"F THF AlMORlnf~t 't'HrGRY
1
A machine recognlting a property of an input word has two
fmal stalest q; and. q; The mach1ce stOpl at the state q; 11 \he
property i.s observed, and at the Btate q0 if It is not
7.3. CO:\IPUTADILITY A1'\D CO:\IPLEXlTY 24i
p (n, r) = nr,
C (n, r) = ( ~ )
1
,
,...,
8.1.4. Find the number of vectors a = (ct. 1 , • • • , ct.n)
whose coordinates satisfy the following conditions:
(1) a 1 E{O, 1, ... , k-1}, i=1, ... , n;
(2) a. 1 E {0, 1, ... , kl-1}• i = 1, ... , n;
(3) a 1 E {0, 1 },i = 1, ... , n, and a. 1 + ... +au =r.
8.1.5. (1) Find the number of matrices having n rows
and m columns with their elements in the set {0, 1 }.
(2) Find the same, provided that the rows of the matrix
are pairwise different.
8.1.6. Given n objects of one type and m objects of
another. Find the number of multisets containing r objects
of one type and s objects of the other type.
8.1. 7. Words are formed by using n letters, of which a
and b appear a and ~ times respectively, while the re-
maining letters are pairwise different. How many differ-
ent r-lettered words can be formed, so that the letters a
and b appear h and k times respectively?
8.1.8. A deck containing 4n (n ~ 5) cards has n cards
each of four different suits, numbered 1, 2, ... , n. In
how many different ways can five cards be chosen, so
that they contain
(1) five consecutive cards of the same suit?
(2) four of the five cards with the same value?
(3) three cards with one value and two cards with
some other value?
(4) five cards of the same suit?
(5) live successively numbered cat•ds?
.2S2 Clf 8 EL.E)[EJrr. TS OF COlm I~ A TOR IAL A "'l A. LYSIS
n
8
<> ~
r=h
(~J=GtD·
8.1.14. Prove that
(1) ( ~ ) increases with n for a· fixed k;
(2) (~=~) decreas'es with r for fixed n and k;
(3) if n is fixed, then ( ~ ) increases with k for
k < ]n/2[ -1 and decreases for k~ ]n/2[;
(4) max (
o,;;;;k,;;;;n
~ ) = ( [nj21 ) ;
(5) the minimum value of the sum ( nk 1
) + ( ~2 + )
•
. . . + ( n; ) provided that ~ n; = n is equal to (s-r) X
i=1
(~)+r(qti), where q=[n/sJ, r=n-s[n/sJ;
(6) the maximum value of the sum ( ~ ) + (; + 2
)
For example, 1f n. -= (3., 4t 2,. 1), then C£n {0, 2t 3), ::%.
(1 + w= ~ ( ~) t". (1)
h=O
equaiJtles
n n-k
(13) J: (- f)ll r { ; } :--~ ~ ( -1Y' ' r { ; ) ,
,.~Jrt Jl"::zD
S.t. PERMUTAT IONS AND COl\!BJNATIONS 257
n-k
(14) ~ (k~r ) {~t) m+n).
( 11-k '
r=O
( ")
.q
~
LJ
(
4k+ r
It ) 1 (2
= 4
n+ 22f+t cos n (n-2r)) ,
4
k
~ ( 1-(m-1 )cos
11
~ )~~ (mt+r)
h
k
mk+r v=O
(4) ~ ( _ t )k 31t ( n ) ( 2k + 1 )
k
2k+ 1 r •
17-0636
258 CU & EI.E:'iiEl\ TS OF CO 'lDI'VATOR I A L .A' AL\'SIS
<~) <Vt;+V2) ~
10
(4) (Vi2'+ Ya>3a
8 1 22 F1nd the coeffictent of l 4 Jn the elpanstons
(t) (t + 2t - 3t 1) ' h = fJ
(2) (1 - t +
2t1 )l0 k ~ 7
(3) (2 + t - 2t 3 ) 20 h = f0
(4) (2 t1 + +
t 7) 1' h. == 17
8 l 23 Show that the follow1ng Identlties are valJd for
1ntegral m ~ 0 and n 0 >
n m
(2) ~ (m+:-t }_. ~ ( n+: t }
k~G ~-~
(4}
"'~ (4J--;k)-- {:t!)- (~+~)
..\;eO
.,..
(5) :E (~ ) ( ~ k) ·-- c•t b)
n (add1t lOll tlleorem)
A~D
Jl
•
00
~
2
~:rv (1 +be ~"' r,
1 2
= e- 1 b I < 1.
v=O
8.1.25. (1) Find the number of all words of length Jnn
in an n-lettered alphabet, in which each letter is encoun-
tered m times.
(2) In how many ways can a set of n elements be decom-
posed into s subsets the first of which contains k 1 ele-
ments, the second k 2 elements, and so on?
(3) With the help of combinatorial analysis, prove that
the following equality holds for any non-negative inte-
gers k 11 k 2 , • • • , k 8 , n,. such that k 1 k2 ks = + + ... +
n:
ks
• . • ts •
Fig. 40
----
X {6
z z -
z z
..........
S,. = ~ ( ~=:
11\~J\.
}N m (6)
8.2. INCLUSION AND EXCLUSION FORMULAS 263
•
(5) Prove that ~
P:i,.
p,.
r
IS taken over all poss1bJe k tuples of pow.ers a 1 ~ , o:,
of Vthlch exactly k powers ate equal to i, whlle the re ..
matntng po\\ers are equal to rero
(6) Find then umber of prtm a numbers not e.xceedtng 100
8.2~7~ Let V be a set of n (n~ 3) elements
(t) F1nd the number of pa1rs (X, Y) of subsets oi the
set U sat1sfyrng the condttion X n
Y === 0
(2) F1nd the number of pa1rs (X, Y)t such that X~ U,
Y ~ U, \ (X,Y) U (Y".X} i ~ i
(3) Ftnd the number of tr1ads (X, Y, Z) for wh1ch
X s;; U ~ Y £; U, Z £ U, X U (Y f1 Z) X UY =
(4) Find the number of patrs (X, Y} of subsets of the
set U for v.l11cb X n Y ~ 0 f I X r ~ 2, t Y I~ 3
(5) F1nd the nJ.Imher of pa1rs (X, Y) for wh1ch X ~ U,
Y G V, I (X,Y) U (Y,X) J == ft J X (# 2
1y 1> 2
{6) Flnd the J)lllD her of tr1ads (X 1 Y, Z). snch that
X ~ U Y s U, Z s;; U, X U (Y 0 Z) = X UYf
( X J ~ 1 , ~ lF ' ~ t, I Z I ~ 1
8~2.841 Butler s problem n pa1rs of warrtng kn1ghts
(n~ 2) are 1nvtted to dtnner ShQw that there are
n
2 (- f}rt ( : ) 2" (2n - k-1}! ways of .seatwg them by
1~o
nl
+ D'ntn +
The operations of addl
t1on mult1pl1cat1on, and multlpltcatton by a constant
ran be defined ro~ generatlng Cunetlons by treat.tng them
as formal serJes Let A (t) and B (t} be the generattng
functions lor tl1e sequences {an} and {bn.} respectively
and let a and ~ he constants In th1s case,
aA {t) + PB (t) + ~b 0 + (<W + l!b1)t
~ a.a& 1
+ + (ctan + ~b.n)tn +
A (t) B (t) == a btl + (a b + a b )t
0 0 1 1 0
+ + (a bn + a bn- +
0 + artb )tn +
1 1 0
If E 6 (t) and Eb (t) are exponent1al geDerat1ng functton.s
for the sequences {an} and {bn} respect1velyt the oprra
ttons of addttton and mult1p11cat•on by a constant are
defined 1n the same way as for normal generating func-
tions, wh1le thetr product IS defined as
+
Ett (t} Eb (t) = c0 + c,t
(3) an = n;
(4) an = n (n - 1);
(5)an = (m)n;
(6)an = n2 •
8.3.10. Using the identities connectin g generatin g
functions , derive the following identities for binomial
coefficients:
+ +11 111
(1) (1 t) (1 t)rn = {1 t) + ;
11
+
k
h (~) (k:s)-Cztm);
s=O
• •
2k
h (- 1)•(n;s) (n+!k-s)=(ntk);
s=O
(5) (1 + t)n (1- t2ttl = ('1- tt11 ;
[k/2]
2} (k~2s) (n+;-t)-(n+z-1);
s=O •
(6)
•
(1 + t)n (1- t) 11
= (1- t 2t; .
k is even,
s=O 0, k is odd.
~.3.11. Find the general term a 11 in the sequence for
whtch the function A (t) is a generatin g function.
{1) ,A (t) = (q pt)m; +
(2) A (t) = (1 - t)-l;
(3) A (t) = V 1-t;
{4) A (t} = tm (1 - t)m;
2.70 CJI 8 ELEhiZ::frr.TS OF CO\fiiJNATORIAL ANALYSIS
(13)
'
A (t) = ) e-z:l dz,
fJ
(14) A(t)=(t+'trJS
8.3~12. Derrve the follow1ng tdent1t1es2
{l) ~(- i)-•(;)(:t;) (n:.t)'
'
(2) ~(-1)'(~ }(2n~s)=(-Hn(;:),
...
(3) h (~ 1)' ( m~+•) { n~') ={m-;-t) •
'
(4) 2 ~ ( ~) ( 1m~21) ·-= (
.
t }+ (-i)"' ( ; }•
0, n < j,
(n)i, n~j.
"
(a+ b)n, h = :6 ( ~ ) (a)n-k, h (b)k, 11·
h=O
+ ... + (k+;:-1) bo
and we put «n.-=--=- S"- (bn) tl1e~1 A (t) ~ (t - t) h B (t)
(7) a11 = b2" then A {t) =-}
(B (t 1n.) + B {- til 2 ))
(8) an==b&+b 1 +bJl~ + a 0 =0 then A(t)--
8 (t) t (1 ~ t) J
8 3 t6 Let A {l) and B (t) be the generaltng functlons
of tlte sequences {an J and {br.} respectlvely and let
A (t) B (t) == 1 Ftnd {b n } and B (t) from the g1 ven se
que~~ce {aJL} lf
m
(t} an ~
n
~ (2) al) = a 1' (J) an = n + 1-.
(4) a0 = a 2-= 1 an ;:::=: 0 for n ~ 0 2
(5) lln=(-1)'~, (6) a~=(-i)" e:}4 tl
an = ~ (n;j 1 } , n-=0 1 2,
J 0
(2) A (t) =: II
l-1
(f + qt2hJ
Hant. Prove that a,. = gbn, where b11 1S the number of
un1t1es 1n the b1nary expan:s1on ol tho number n
8 3~26~ Let
Prove that
(1.) S {n + +
1. k 1) = S {n, k, 1 1) ... S (n, k, l),
(2) S (n. k. l + 1) = S (n, 1, l) - S (n + 1, kt l),
•
1 2~ 3~ 4 1t 2' 3,
rf n 1 = , n1 = then
2t 4,
3, 1 1' 4, 3, 2
t t 2 3, 4
"-1tlt =-
4 2 3 1
, It can be eas,l:y venf1t:od \hat
the m ul tlpltca tton opera lt on 1s assoc1a t1 ve :n (at) ;: : : :
(na) t The unLt element of a groLlp ts tlte tdenttty pef""
1 2., ,n
mutation The permutation Inverse to
l,. 2t n
2, ,n ltt 1 2,
ts grven by
ltt l' ln 1' 2' n
The pet1nUta\}on group on the set Zn lS called a symn1etry
group of n th degree and IS denoted by S n. The order of
a symmetry group of n th degree (the number of 1ts
elements) 1s equal to n'
If the permutation on a .set N 11 JS represented as a prod
uct of b1 cycles of length 1, b2 cycles of Jength 2, .and
so on, and b n C) cles of length n the permutatton IS satd
to be of the type (b 1 ~ b1 .. bn} For example the per
1, 2, 3, 4
mu.tat1on 1s o1 the t;ype (1 o. 1, 0}
3' 2t 4 1
)f G ts a subgroup ol the group Snt the polynomial
PG=PG(tl t,.)~IGJ- 1 ~1~ 1 t:n,
1t~G
(6) G = Sa,
(7) G ~ A._~ where A, ts an alternating group of po~er
4., I e a Subgroup of group 84. 1 formed by permutatlons
r~presentab]e as products ol an even number of transpos1
ltons.,
(8) G 1s a group of permutatlons of the faces of a cube,
wh1ch are obta1ned as a result of rotatton, and
(9) G IS a group of permutations of the verttces an or
octahedron
8.4 4~ (l) Pro'\Te that the group G defined 1n Prob
lem 8 4 3(1) specifies one orb1t on the set N 4
(2) Ftnd the number of orbtts 1n the set N 4 , wh1ch are
defined by the group G and formed by the perm.utat1ons
tr 1 = (f 2, 3, 4), .n2 ~ (t t 2t 4t 3), n, = (2, 1 3, 4) t
and 1t 4 === (2 t t , 4 , 3)
8 .. 4. 5. Prove
_,..
Berns1de,s lemma
8 . 4 . . 6 . . Let b = (h1't b 2 ~ , b~} be a vector corre-
spon d1ng to the de-com pos1 t1on of the number n~ 1 e
b1 + 2b 1 + +
nb" = n, where b-' are
......
non negatt\e
1nteger:s (t ~ k ~ n} \Ve denote by H (b) the se:t of a.1l
permutations of the symmetry group s n whose type
...... ..... ....;.
COIDCides Wtth b, and let h (b) = r H (b) f Prl1Ve that
..... 11
(t) k {o)~nt ( l' 6
k AbAt}-J,
~~·
n
g (t) ~ )J gnt 71 ,
:n-J
be the correspondtng generat1ng funct1ons Prove that
~
g (t) := 2J
n~t
G!J
n
(l (t),
~ p (nl k) t 1
be the correspond lng gei1erat1ng functton
-n~o
Prove that
~-1.
( ~/} (211-1)!!
? )II < 1 ., (10) (1 +ct)n ~ 1 +ctn, ct~- 1·,
( -n ·· 11 3n+ 1 11
(8) (2n-1)!!<n", n>1; (n+21n+1) +t>(n+iln)".
(9) n! > e-11 n 11 •
8.5.2. Prove the following inequalities:
~ +~ r < ( ~ ) < ( r ' n > k > 1;
3
( 1) ( 2 ;
2vn n v 3n+1
1
k~l
~ (; )+ ~ (; )~ (:e;*
o~~i -tVii i . . ,~.;~·~n
8.5. ASYMPTOTIC EXPRESSIONS AND INEQUALITIES 283
k=l
8.5.7. Using Stirling's formula, show that
(1) if k ) oo and k- = 0 (n 31~) for n -. oo, then i
II ) """' 211+1 e-(2k-n)'/2n;
(
k V2itii
(2*) if a>O, k -. oo and k- a~t = O(n213) for n -. oo,
n+ 1 (lt(a+i)-an)'
then ( ~) 1
k
ah = (i+a)
V2nna
e- 2an (1 +0 f..!..+
\ n
(k (a+i)-an)3)).
n2 '
lilt '
(4*) if a>O, k ... oo and k- a+i =O(nZ/3) as n ... oo,
t'
then ~ (
11
) av"""' .:_ e- z (1 +a)".
v' V2n t
v> na +t V""iiii
a+1 a+1
8.5.8. Let 0 < '}, < 1, A11 be an integer, f.1 = 1- 'J., and
A.- A.n - J.Lll
let G (n, 'J.) = V 1.1. • Using formulas (12) ·and (13),
2n:A.!ln
show that
(1) ( ;,t),..,. G(n, 'J.) as n -. oo;
(2) G (n, 'J.) exp ( - 1; 11 ( i+i)) < ( ;,t )< G (n, 'J.);
(3) ~i G (n, 'J.)::;;;:; ( ; 11 ) ;
for
CH 8 ELE\fENTS OF COMBJN.ATO.R.I.AL .ANALYSIS
n
(5) 2} (~)<A -l.nl,-pn for ;\>{, n~3
-'-~"
8.5~9. Let k and n be natural numbers (/,. < n) Show
that
00 h--1
{1) (n), ~ n-. exp - ~ iv ~ i'~ •
-vn.
v~t .,-1
(2) 1f for n- ~ oo k ~ 0 ( J/n), tben (n)~c ~ nJe,
{3) 1f k~ o(n) as n ~ oo~ then for any m> f
n--- ')
( k--1
( n }
k ~
}~
( }c
n ~p -
~ ,~+ ( f
1
kJ v (v+ 1) ·kv -
1 )
n.V
'¥~1
(2) Y,
~
11
k = 1
n+1
m'~+t + 0 (m 11) ' n > 1;
11=1
m
~ kl!2k=c+ 1 a m+O(nd~em),
1
(5) cis a constant;
11=1
m
a 11 - -
1
--t)(~ }f 11 11
-
1
, w lu~re P' (A.J) --;;: .:, · P (t) It-At'
(2) If A1 1s a real root of multtplu~tty r') th.en for n -,. oo
-~ ( -t)r ,r 1.J (J. 1} { r+ n.-- t) ( 1,1~ )n+r
a" Ptr) (.11.) r- { t
(t) A{O=at•:_~:+t;
t
(2 } .A (t)= 6a'+SJ~ 6'
1Zt1 +1<k1
(J) A (t) = 6t'+5t- 6;
8.5. ASYMPTOTIC EXPRES SIONS .AN}) INEQUA LITIES 28i
t
(4) A (t) = 4t2+ 1;
2t3
(5) A (t) = 6t~-11ta+ 35t2 - 22t 4; +
1-3t
(B) A (t} = +
(8t3 -1) (t 2 1);
1
(?) A (t) = (t2+ 2t- 2)2;
t3-1
(S} A(t)= (2t 2 +1) (t 2 -J-i.4t+ 0.49) ·
8.5.19 . Find the asymp totic behav iour of an for n ) oo
from the follow ing recurr ence relatio ns and the corre-
spondi ng initial condit ions:
(1) an+ 2+ 3an+t +
2an = 0, a 0 = 1, a1 = 2;
(2) an = qan-t + P (1 - an-t)r a 0 = 1, P q = 1, +
p, q > 0;
(3) an+ 2 + 2an+t + 4an = 0, a 0 = 0, a 1 = 2;
(4) an+J - 9an+ 2 +
26an+t - 24an = 0, a 0 = a1 =
1, a2 = -3;
(5) an+ 4 - 4an+ 2 + 4an = 2", a 0 = 1, a~= 0,
a 2 = 2, a 3 = 0.
8.5.20 *. Find the limit of the sequen ce {an}, given by
the recurre nce relatio ns
(1) an+t = (an +
bla 11 )12, b > 0, a 0 > 0.
(2) an+l = (2a 11 + blaW3 , b > 0, a 0 > 0.
(3) an+t = (b - a;i), 0 < b < 1, a 0 = b/2.
8.5.21 . Suppo se that an satisfi es the relatio ns
an~2-n- 1 + (n -1) 4-n- 1
, (14)
an+2 ~ 2-n-3 + (n + 1) 4-n-3
+an ( ( { r+ 2
+ (n + 2) 2 +
11 2
+4an )' (15)
a1 = 0, a2 = 1/16.
Show that
(1) an~ 1/8;
(2) an ~ 9 (3/4)n;
(3} an = 2-n-1 (1 + 0 ((3/4)n}).
8.5.22 . Suppo se that the sequen ce {an} satisfi es the
Condition an+m ~ an + am, a 1 > 0. Prove that an <
a1n for n ~ 1.
8.5.23 . Let k and n be intege rs. Calcul ate k = k (n)
to the neares t intege r, for which the functi on f (n, k)
fll 8 F'Lr.r--IENT~ OF COMBIN'ATORJAt ANALYSIS
CHAPTER ONE
1.1.
1.1.1. {1) (: ; (2) 2n. 1.1.2. (1) n, 13, 50; (2) (010011).
n-1 It 2n-1.
1.1.3. • 1.1.5. (1) n2n-1; (2)
k-1 k
m n-m k m
{2)1 k+m-r k-m+r •
I (3) 1 ~ i+m-r X
2 2 i=O 2
n-m
J+r-m •
2
~
1.1.9. Hint. Prove that the number 1jl (11) of vectors a E B~11
m
such that ~ ai ~m/2 for all m=i, 2n satisfies the recurrence
1=1
n
relation 1jl (n) = ~ 1jl (i-1) 1jl (n- t), 1jl (0} = 1jl (1) = 1. Using this
i=i
relation, prove that 1jl (6) = 132.
n-r (k-1)
1.1.10. •
k
1.1.11. (1} Hint. Consider the stratum B[n 121 . (2} Hint. Among
n + 2 tuples in Bn, there always exist two tuples of the same
weight .
•
n-l k
1.1.12. (1) k-l ; (2) ; (3) 2k+211 -k-1.
l
1.1.13. Assuming that 0 ~ l < k ~ n, we calculate the number
f"'J ...... ....., i""J
1 n
For a non-integral a, is assumed here to be equal tn 0.
a
'
19-0636
SOLUTIO~S ANSWERS AND Rll\lTS
>[m;;-]'X];[ X:E \A 1
- lA\ Y(-~ )t X }~-(t
1~0
11:
Hence lA J :r; (2) H1Dl for '~ k ~ nJ2 tbe 1nequal1ty
(n/21
,, (n-- J) r ;a: k' (11- v.al1d
k) I IS
B~tl a .. } obtained
from z. by substitUting
,., un1ty for zero at the (n t} th coordUJate +
lP each tuple ctt In Zo belongs to a partltlOD of the face Br-~" 1 n+l
AtJ ~ ~
z. ~ {at
./"ttl .,...; ,..,
by omitting the v~tex a.;. We proceed in th~s way wi~h: each pair
of isomorphic chams. As a result, we obtam a partitiOn o_f. the
cube Bn+I into non-intersecting chains. The fulfilment of conditiOns
(1) and (2) can be easily verified.
r
"'V 11- k
1.1.19. 2k ~ . •
!
t=O
1.1.20. (2) We prove that the stratum Br is a complete set for
n :::::. 2. Let a."'1 be a vector in Br•. in which the i-th coordinate is
~ ~
have II P.t U= P (0. ~~) = P (~ (0) $ ~ (OJ~ cp (0) ffi rp (a,)} :.:;
~ ~
..... oN
p (CJ' (0}, cp ((Xi}) = p (01 a 1) = 1 Let 1 (1) be the number of the
~
~ ,. n----f--{lt--1}
we ohvtously have ~At~ (a.}~~ ~At~-~{~)\:;;:: 1 + k +
+ n-1-(ht-'l) __
l ~ 1 -r
n-f 1
k + + n-iJt} If a 1 ~ I
1
~ n--t t .... n-f
then JM~ (tL){ ::: k + }M~:i {a.')\ =- k +1+
n-i-(1 1 -1) n-i-{lA-1) n---11 +
k-f + + I =f+ k +
n -- 'lt """' l"'ftJ
Mi
,..,
(p) or, whleh the same, (MA (~)) ~ (y 1'1 (l) ~ f'I (~))
JS
l'a.l
zr n ~ .....,
.......
~
.......
ri'Y
We .first pro"Ve that for .any y EBlsuch that l'l (y) < 1-'4 (~}, there
CHAPTE R ONE 293
exists a tuple '& E B~ such that < 6' and Ilk (o) ~ Ilk (;:;:), We
~
y ~
the last k - l zero coordin ates. We must prove that Ilk {o) ~
~ ~ "'
[lit {et). If Ill! {0) > Ill! {et}. there exists a t such that Ctt = oi for
i < 1, at = 0, Ot = 1. Consid ering the tuples "'
a' and "'
o' obtaine d
from(; and by ~ubstituting zeros for the last k - 1
Brespect ively
~ "'-J ,...., ,...., ,...., '
unit coordin ates, we have Ill (a') ~ Ill (o'), a' = ~. !l! (o') ~ ~
~
Ill (y}. We arrive at a contrad iction to the inequa lity Ill (~}>
~ "'
Ill (y). Similar ly, we can prove that for any y E Bl1 such that
rt. rJ
v.
""""' ""'J ,_
!lt (y} > 1 {~) there does not exist a Luple o E Mk (a} such that
~ "' n
y o.
< {3) It follows from (1) and {2). {4) Let A s Bk and A be
other than the initial segmen t of the stratum B~. We
1} v (~ < ,..,~ v (~.
constru ct the set F .s B~ such that IF 1=1 A I, ,..,
aEF aEA
I ZL1 (F) I ~ 1 zL1 (A) 1. Thus, the statem ent is proved . We
~
denote by K (a) the set of the number s of unit coordin ates of the
11 """"
tuple a. Let a E B k "-A and ~ E A be the tuples on which
,...., f'V
~ ~
over all pairs (o, -r) such that a E Bk"-A, -c E A, v (a}< v (-r}. ,...., ,...,
n
,..., f'V
f'V
.....,
=
a"-~ and W= ~"-a· Clearly , v (ex'} < v {W\. We put
,...., ,...., ,...., ,..., ,...., ,...., ,...., ,..., ,...., "'
D = {y : y E A, ex' n y = 0, ~· < y; <Y"-Wl U a' ~ A},
,_ ,...., ,...., 1"0.1 ,...., ,....,
E = { o : o = <v"-Wl U ex', y E D },
F = E U (A"'-D) .
,.., "'
Obviou sly, F .s B~, I F I = I A I and 1} v (ex) < ~ v (ex),
~ ,..,
. ,...., ,...., ,...., cxEF"..
aEA
smce v ((y"'-Wl U a') < v (y} for all y ED. It remain s for us to
prove that I ZL ZL 1 (F) I ~ I 1 (A) I· We shall just give a hint
prove that if a E Z~_ 1 (F)"'-
~
It 1s clear that
cs;B{
min
l C t =-m
!Z~ (C)~ s:;
CSI:l/
)UID
l Cl >m
I zr (C) I
By tnduct1vehypotbes•s mLll J Zf+t (At+ 1) 1 14 atlaaned when each
z~ (A) , > l 1 1! an 1n1t1al segment ol the stratum B~ But
lh m &ceord l ng to {2) the 5e-t Zf+1 (A l +1) IS an ln1 t1 a.1 y.gm-en t By
an approprlate eh.otce of A 1 the set Zf (A)= Zf (Zf+ 1 (A z+ t }) UAt
can he made an 1Dit1al segment of the st-ratum Bi Th.Js
1eads to the stat em en t
1 1 24 For each I= 0 n \\e suppose that A,::;::
J"'ffl ,_
An ~i ~
\\e
denote by t (n m k) the number of p~urs (a ~) such that cxEAm.
~ ,..,.. ~ ~ l"'tJ ~ ,[[''ljJ l'fii.J .......
~ E A } l s. the teil u 1red s-e-t {2) \\ e ean assume that 1n v u~w o! (i)
.....
0 1s the cent~~ ot A In ord-er to eons truet A 1\ 1s &"Uf fte1-en. \ 1-rtr
each i
-
=::: i. t
-n. tO: subsll u le th'S! t up te ,.... a fc.r -e-ae b tuple
Q. a. 1n A~ !ot
~
JIAi .......
wh1c.h a.i il A (3} H1nt Let A ~ B 11 ha.ve \b~ tent-er 0 and poss-ess
the property (1) Let S t J he,., a transform a t1 on cons1
,...,
st 1n g J n that
:G'
~
,.... each a E A
for such that ai J E A the tuple a 1s replaced by
a 1 J Let us arrange tbe pa1rs (r 1} !uch thst 1 -::::; , < 1 ~ n as
follo\\""S
(t n) (f n - i} (1 2} (2 n) (2 n -- f)
(2 3} (11 - f n)
+
the: .set {tX ~~ d !~ ~ {n. i)/2) On the o th~r hand ~f \ A \ rtJ >
2• 1 there ex.15t t n A two oppcSl te tup1es w be s.e 1nle ts.ec.t1on l& 0
~ ~
11 a: 11 is even}.
' .
11 11
.
1.1.31. (1) Each face B 0 ' ' 0···• 'k of direction I= (i;, ... , ih.}
1 •• • II
can be put in one-to-one correspondence with its rode, viz. a vector
(y 1 , • • • , Yn) with coordinates Yi E (0, 1, - }, i = 1, n, such that
. = o 1, • • • , y. = o, , the remainin 0rr coordinates being blanks.
Yt( lll "
The fixed k places can be filled with zeros and unities in 2" ways.
(4) The required number is equal to the number of vectors (y 1, • • • ,
Yn) with k coordinates in the set (0, 1} and n - k blanks. The k
places from n for significant symbols (i.e. for 0 and 1) can be chosen
in ( ~) ways, and the fixed k places can be filled by zeros and unities
in 2h ways. (6) The code of the k-dimensional face containing a given
vertex (a. 1 , • • • , a.n) can be specified by arranging k blanks instead
of certain k coordinates of the vector (a: 1 , • • • , a.nl· (8) The inter-
section of two faces is a face. A j-dimensional face can be chosen
in the face of dimensionality l in ( ~) 21-j ways. Thus, l coordinates
have already been fixed in the code of the k-dimensional face.
Among the remaining n - l coordinates, we must arrange k - j
blanks. This can be done in (
"' ~ ~
1
~= /) ways.
nates of at least one of the codes y1 and y.,. If /) is the code of the
intersection of the faces g 1 and gz and the face g3 has no vertices
in common with this intersection, there exists an i such that the
"' "'
i-th coordinates of the vectors /) and y 3 are significant and do not
~
coincide. Then the i-th coordinate of the vector y 3 does not coincide
. ,.., ~
il
~
I I 36 (I) MaJOr I z.a t IOD Hint Consl d er N ~ Cl E t
;::$. { on
rl ~ I~J ls even lf1uonzat1oD Let N G B"'* ~ N ~ < 2" 1 There
t:us\.3 (see 1 1 31 and l 1 34} a par\1t1on of the cube Bulnlo tLDDln
tersect1ng faces of dJmens1onal1ty t The number of facet~ ID such
a part J t1on 1s .211 1 Hence J t fallows that at Jeast one of the ,..,
faces
;v
'V = (t1 ~ Yn.) (see sol uuon of Prohle m. l t 3t) l\t th Sl gn 1fican t
coord tna t e-s 1n the places , and 1 11 1 t 1.S n e-eessary 1hat a 1 ~ 1~ and
aJ ~ ?1 Lel N s B'tl.ll ) N l ~ m. be a set ,.., .such that Jls eacb ( n- 2r
dlmens1onal face- c-onta\n! the -..;ertr::x a frmn N Lt\ us r:oll!ldH
a b1nary matrJx .AI ,.,hose l1nes are vectors JD N The abo\eremar.k:
1mpl1es that for each patr of numbers (l,. JJ t ~ 1 < 1 ~ n. and
.......
each pa1r (0' 1") a T € {0 f) tbere e.JJsts a ltne a ~ (a1 an)
such. that «-t = «, a,J == 't Hence any t'Ao columna of the mat
nx M are pau-v.Jse Incomparable The number of pa1N1.se 1ncozn
parable bmary ,~;ets of length m does Mt exceed ( , ; ) Hence
1 21
;<r- " Ma)on~abf)n L-e\ rn be the mmlmum mtegeuu~b
({m7:ZJ}
that ( (m7 ) ~ 11 \\e coru:truet a btllary matru: ftl \1o Ith ndmes
21 ,.., ~
cr 11 ) and a' = (a;, ... , cr~) are comparable, then one of the sums
n n ,
~ (- l)ai ai and 2j (- 1) aiai is greater than unity in
1=1 i=i
absolute value.
1.2.
.,n-1
1.2.1. 2w (n;;;:,: 1). 1,2,2, 2 (n;;;:,: 1). 1.2,3, qn + C}n +
... + c~-i' where rn = 2n (n;;;;:,: i, k;;;;:,: i).
1.2, 7. (2) 2 11 +1 (n;;;;:,: 1). 1.2.10. (1) In five ways. (2) In
nine ways.
1.2.12. (1) Basis of induction. If the complexity of a for-
mula is unity (generated by the set of connectives M = {-,, &; V,
-+}), thi5 formula has one of the following forms: ( lx), (x & y),
(x V y) or (x-->- y) (within the notation of variables). Therefore,
the statement is obvious for formulas of complexity 1. Induction
stC'p, Let the statemPnt be valid for all formulas (generated by
the set of connectives M) of complexity not exceeding a number
l (l;;;;. 1). We take an arbitrary formula '2! (generated by M) of
complexity l + i. We assume for the sake of definiteness, that
ca' = (!B V C£) (remaining cases are considered similarly). The
connective V between formulas !B and G: has an index equal to
unity. Further, if the connective in formula !B (or <l:) treated as
a connective of formula \8 (resp. G:) has an index greater than 1,
the index of this connective in formula '2! cannot be lower. If,
however, the connective in \0 (or f,n has an index equal to unity,
its index in formula Ill will he equal to 2 (the index increases since
formula '2! contains a left parenthesis before subformula !8).
1.2.15, (3) (0 1 0 0). 1.2.18. (3) Ill......, \B. 1.2.19. (2) / 1 (x, y) ==
0, !2 (x, y) = x, / 3 (x, y) = y, ! 4 (.r, y) = xED y. 1.2.20. (1) ((x t
y) t (x t y)). (2} ((x t y) t ((x t x) t (y t y))). 1.2.21. (1)
((x I y) I (x I y)). (2) ((x V (x V y))- y}. (3) No, it cannot.
1.2.22. (2) The function represented by a formula generated
by the set f-+} assumes the value 1 on at least half the tupt~s of
values of its arguments. The function xy does not satisfy this
condition.
1.2.23. In general, it is impossible. For example, for S =
x
{I}. the function cannot be represented by a formula of even
depth generated by S.
1.2,24. If only constant functions can be represented by a for-
mula generated by the set S, the statement is obvious. Let a cer-
tain function f ~n) ¢ const be represented by a formula generated
by S. Identifying all the variables in the function f (;n) and in
298 SOL UTIO~S ANSWERS A.l\D JIJt..jTS
the Iorm ula re pres en tt tJ g It we ob ta 111 a f unc t1on iF (:1) (and the
form u Ia W (z) r orres pond 1n g to it) "\\ e must eon.!U der the f ollowmg
three eases (a) ~ (:r) Js a constant {h) 'fP (z) ~ s and {c) 'F (x) ===
Ha v Lng o b ta lned (Ln cases (.a) and (c \} a !orm u1a representtng the
z
function x (and h.avlng a depth not less than 1) we tan construct
a formula tlf a.n 1ndefi nt te Iy large depth for each speetfic fur.tct\Qn.
represented by a formula generated by S Let <p (2') ~ 0 Then
"""
there ex1sts a tuple a - (a 1 ctl an) on •htch the functton [
1s equal to f Subs.t1 tut1ng ~ or all ~l. corresponding to at
and rp (.r) s 0 for the remaiDtng z 1 we obtain a Iunct1on $ (z) = ~
=
-
If howev-er <p {.t) ~ t the fun-ell on :r. ~~ u be a h tat n-ed 1n a Sl. m\W
¥a-a.y
t 2 26 (2) :J: V 11 ~ {z ....... y) ..- !I (3) ~ ft# y~(.t......,.. y) &. ~~}
I 2 30 (2} In general 1t cannot For example W y ~ z 19 =
a fcrmula wb1eh 15 nnt ldtn\1cally thlt However the Iormu[a.
8: 1
=
... Wt,W ( I/1-..... (YI -F- Y1) HI Jdentlca.ffy true
t 2 31 (I) II 11.e assume that 1 (0 0) .._ 0 then putllog :r = lJ=
z - 0 "e oh laJn I (! (0 t(0 0)l f U (0 0) t (0 0}}) = t (J (0 Ol
t (0 0)) = 0 wh1 ch contra dJc ts the cond 1t1 oru: of the prob le rn
Thus I (0 0) :=::; 1 Putt1ng f (0 i \ = Q we aht.aln ([ot ~ :::::: J ~
.: ~ 0) U (0 I (0 0}) I (j (0 0) I (0 on) = I U (0 1) I (I t)) ----
1 (0 t (1 1)) and hy hypothf!~l! th'2; t~la t" oo. J (l 1} - () must bt
satJ:sfied However considering that z = 0 y == 1 = f we .see
t h.a lf U ~o f f\ 1}} I (J (0 i.} 1 (0 t)}} ~ 1 (I (0 0} I (0 G)) -- 0
whLch lS Jn eon tradJet1on to the condttJons of'fhe problem Thus
I {0 1) = 1 F1nttlly assuming that t {t t) = 0 and putt1ng ~ ==
!1= 0 and • = t "e get I (I (0 I (0 t)) 1 (f (D 0} t (0 t) J) ==
1 U (U t) / (t t)) .==:: 1 (1 0) Tak1ng tnto account the condt tron
of the problem v. e ohta.Jn f (t 0) 1 But ID thts ca:,e I (/ (I
I 11 ! )) I (/ (l l) I (t t))) = I f/ (1 0) t (0 O)) = t (1 t) = 0
wh lch con trad 1cts the cond 1t1 on of the probIeill Consequently
I (t t) = t ~s well Thus f (0 0) = f (0 t) == 1 (t t) == I Hence
I (x g) = ~-+ y or I (z v) ~ f The equivalences (a) (e) are verr
.tied d Irec tl y (for e.xa m p le by usJ n g the hast c eq ni valences) (2)
No they do not It 1s su fficJent to consider the runctton f (z y} ==
~,.., g
t 3
f 3 6 2n I 3 1 ( t) 2n 1 (2) 2n-- 2 (3) 2n 1 J 3 8 (I) It X l
(2) k X 2m+ l X 2n..._ k X l (3) k (21D-lJ+ I (2,.~k) I 3 9 (2)
1~ (;I)=~~~., 11 (~) ;1 1~ 1 3 {;s) = :z, I 3 1~ 2( l/4. l 2." t 3 12
It
8
2 ;.~2SJ; S~= h
1
12 f 3 16 4 I 3 IS f 3 19 n
t i
~--o
--
1.4.11. (1) x2x3V-x1x~ V x 2x 3 Vx1x 4• - i=O
n
f427 (t)01fkif:;.O k+m<n If k=O
rrt
(2) On t" o functtons for even ~~o and on four
odd n
j 5
1 5 2 (t} X;~ (2) :J!1 Zt <J} ~f. (4.} .t'1 1 !j 4 (f) .t51: .2:~ (2} Zl
Jl (3) ~a 1 5 7 m 1 5 8 (1) x 1 ~~ ~~ .:r, (2) ~~ z 1 z 1 (3} z 1
('"t) ~ z,
t 5 tu
.z,
(t} n ~ a
(2) No values. o( .n (i} n # 3 (4) £,eo. r.r.
2' ..
Let a: and p d1fler tn the i tb. and ~ and "l 1n the l tb -place Then
the vartahles z 1 and x 1 are essent1al _
I 5 i:t H1nt Jt JS sufftctent to prave that 1I r 1 or ZJ appear
Ln a PrLme tmpllc..ant K of the funet1otl I then l' 1 lS an ~~Ullal
'ar1ahle Delf'tJng .z~ from K we o.bla1tt an elementary cOnJUDC
t1on A that 1snot an 1mphcant Hence Jl follows that there e.:rJSt.!l
~
1"'fJ-
l"'W
CJJAPTER T\VO
2 f
Z t 2 No Jt does not We assume {by detinltJ.on) that [AJ]
P I or any set JJJ 1D P • 1 e J n lrDd uce .such a closure opera tlon
T~en .re}atJons (1) t3) in Problem 2 t t t are obvtous1y s&tu;fied
wh1fe relat1on (~) k& not val1d
2 'l 3 (1} Yes (2) No (3} No (4) Y~s (5} Y~s (6} No (7} No
rf"'',J
the Iu nct 1ons J n the cl tJ.sed cJ a.ss {x _...... r;l If there l s one occurrence
of the conneettve ~ ID a formula the formula (accurate to nota
tton of \arJables) has vne of the !ollow1ng forms Z-flr z or :: ....... "
In th1:s casl? the sla temen t 1s ohvtous Further Jf it= ft ........ It w~
must consJder two posslble ca.ses
(a} The formula correspond1ng til the function f 2 has at 1rast
one otcurrence oJ th-e ~oDnKt~-...~...... Then 1:~ = ~J V <pt {Y"'~ and
~
-
~ -- II v I i" - yJ v ~J I v ~'!}
'b) Tht iorml1la correspondlng to th~ runct1on 12 ~3 a vat ahi~
(say v> Tben W == It V !J
2 i 24 'Ve carr} out tnd-uctilon on the number oJ occurtttnces
ot the eonnPC tJ \ e ........ II the connect1 ve ......... a ppe.ars only once we
~
hov~ z-.-. y and the s!a temenl 1S ob\ JOUs Let 2l ~ f.t- (:rn~---+-
,w
J1 (x ) an(l 1f'-\ t l1e (unction J cfJITespon drng to g: rssen t1 r. 1ly de
pend on at 1e-a :s t t.,.,. o. va tl a b} ~s i I Jt sa ttsfi e~ the eon df t rons oi the
prc.bltm then 1v 1,\ > 2.n 1 and 1N1 ' ~ ~ v1.. ' > 2" 1 Let us
no\\ suppose that }1 e.ssent1al}y depends on only one varu1ble
\\ e assurne for ctefinJte-ness that }, ~ .r1 U2 cannot be equal to
-
the PegatLon ol llte var1ahle Since .z E fx~ g]) Under such an
assumpl10n I =:. fl V xt Ohv1ously f (I ;rj_ .rn) ~ 1 II
\\ e had I (0 .xl xrt) :a 0 then f (x, xa xn,) ~ .t1 wh1ch
f"'t..
t<:Lntrad ~ets to the Iact that tne: lunet~on J {z"') es~nt,ally dtpends
on at least two \ arlab{e$ Cc.nseque-ntly 1 (fi :: 2 z8 } ~ 0
au~ \ N J \ > ?!' J \\\\a~ ~5 \{ '\ h~ i \ln~\\~n 11 d~~u~ oo ~\1 'tt..~~a
bles .t 1 zn 1nessent~ilt~ then J, z:.a t but 1n tn:s.s case J ~ 1
t e lt depends n all the varL:ahles z~ ~11- ~nessentlaUy
2 f 2 1 Let A. be a preca m ple te class. l.n P,. \Ve as~ll me th.a t
.x E. K In vtew o( Problem 2 1 16 th.e addltLOO. of the (un.ctLoa.:
to the class K does not lead to a ~ontp[ete system tn P t (s1nce
(K U (z}l :=;: K U (z} ~ z t y) ThE.s JS ut contradrct,on w1tb
the prcco.mpletencss of the class K
22
2 2 j (2) No (5) Yes 2 2 3 (t) zz V 111 (3} xy e y S 1
2 2 4 Carry out Jnduct!on on the number ot occurrence~ of
connectlves 1n the .set {0 f , & V} to the forn1ula W
,...,
2 2 & Let t--- I 1 e the Iunctton J (•71) e~.senl1ally depends
~
(3) The function is not self-dual for any n;;;;:, 2 since I (0) = I (1 ).
(4) For odd n;;;;:, 3.
2.2.16. Only for odd n.
- -
.
2.2.17. (3) g (y )=y1 EB y 2 EB y 3 $ y~ EB Y., E S, Ill (x!, x 3 , /) E S
5
-
and m (x 2 , x 3 , f) E S if IE S. Substituting the function nt (x 1 ,
- - ~
x 3 , f) = xd EB x 31 EB x 1x 3 in g (y 6 ) for y 1 , the function m (x 2 , :r3 ,
I) = x 21 EB x 3 1 EB x 2 x 3 for y 2 , the variable x 2 for y 3 , and the
variables x 4 and x 5 for y 4 and y 5 respectively, obtain ;;1/ EB x 3 f EB
- - - - -
X1Xa EB x 2f EB x 31 EB x 2 x 3 EB x 2 EB x 4 EB x 5 = x1/ EB x 1 x~ EB x~f ffi
r 2X 3 EB x 4 EB x 5 •
- ~ ~
and x E9 y @ J:: t( ,.. = 3.l If. fl ~ 3 \!-.-e ~an. \.lSR. (b..e tes.u.l t 1n
l)tob1C'Jn J. 2 14 (Rtnlark Problem 2 2 14 can be soJ,ed by UsJng
CHAPTER TWO 307
-
the solution of Problem 2.2.24 and the functions x, x ED y ED z
~
~ ~
~-
1'-.J
-
all a 1 are equal to 0. Let us take the tuples 1 and 6 = (0, 1, ... , 1).
t"V
-
from 6 and from 1, and the problem is reduced to the first case.
~
If, however, I (1) =1= f (6), the identification of the variables in the
~
function f (x") is carried out proceeding from the tuples (0, a 2 , ••• ,
an) and (1, a 2 , • • • , an). We obtain a self-dual function
~
h (x 1 , y, z) satisfying the relations: h (1) = u, h (0, 1, 1) = u,
-
and h (0, 0, 1) = h (1, 0, 1). If h (0, 0, 1) = a, then h (x1 , y, .::) =
m (.rl, Y, .::) ED a.
If, however, h (0, 0, 1) = U, then h (x1, y, z) =
m (x1, y, z) cr. ED
Since .the superposition operation on a linear function can lead
only to lmear functions, any system :fJ complete inS must contain
a nonlinear self-dual function f ~11 ) from which, as was shown
above, the function of the form m (xa, y~. z'~'), where a, ~. and y
belong to the set {0, 1 }, can be constructed. If 1 (x, x, ... , x) = x,
-
then If (x")l contains m (x, y, .::) (see Problem 2.2.14), and hence
20•
s
~
rI (.r ) J (.see the pre VI PUS problem) Let us now suppose that
1 (s ~ z) z 1 e J preserves 0 (and 1) Then there DlUst be a
=:::$
and f (a.} ::;:: 0 tf u(J. H lS f!\ en Let lrr (.tn) ~ .rl e z.l ED
"""" ~ rtW
t9
:rtl 6=1 a Th~n Nt == N 10 In v1ew of the un1queness o the repre-
sent-a tton of the Iunc.tJons by polynom1als f ~ l 0 and hence I E L
~
:and hence J
1 (e~) =I (cz)
can be spec tfied ~om p le tel y h y -s. pee t f ytng t ts values on th.e t up1-es
of the form (a 1 * a: 1 ~ 0} Beside!, cond1t1on (t) 1mphes that the
lunttton t betGmes ~qual to un1ty exaclly on t9to tuples of th13
f o.rm Tb us there e.J: 1.s t not more than s Jx non se If d ua.l fun ct 1ons
sat l s.I) 1ng condl t1 on~ {1) and (2.} It e.an be eas1l y 'tTlne-d: t ha \ all
these fune t loos are J1near
2. 3.25 For n =F 2, tb ere ex 1.st no such f unc t 1on.s All I une tt on.s
of the form ..r1xt E9 ax1 ffi l3x2 $ y (ct~ fl, y E {0, t }) and only
the.se funct1ons sat1sfy cond1t1ons (I} and (2)
2 3~26 Two {or an odd n and 0 for ~tn even n .2.3.27 In five
ways 2 3.2& I (a 1 *
- -
~ a" 1 an) ~ i 2,..3.29. For an odd n
2. 3 30 Ste Pr{)blem 2 S, i 4 2. 3 31 Se~ Frobl~m '2 3 i. 3 2 3 .. 32...
zg X V II• X l II Z J: Y
2~3 33.. ll1nt. At least one oi \be functlllns / 1 1~ and 13 1s no\
l1near
2.4.
2~4 2. (2) For even n (4) for n ;/::. 4k - t, k ~ 1, 2, •
2 4.3~ (t) For all n~ 2 (3) For n ~ 3kt k = l, 2t 2 4 4.. In
2n-:1 2.n 2n-t
seven ways 2~4 5 (2) 3 X 2 (5) 3 X 2" ' {8) {2. - 2 )/2"
11-1
{t 2~ 0 (t.S) 22 -- l 2. .. 4~ 7. (l) No l.l (.annol !.l.Dt~ x $ y ~ T1
and z-+-y E Tt
2 4 &~ ( 1} If f E T .-~ 1ts. pol )···n:om1al d ~ n \)\, c.nnta 1D. 1 as an
addend Therefore, I can be expressed Jn terms of Z!J and z y m
The equa.l1ly T-o ==== lx V Yt z $ g) follo~s from the preVIOU$ one
and from the fact that x V 11 == zy ffi x ED JJ
2 4.9 Let ell be a basls 1D T tJ Then there exislS a Junction
11 € 4l'T1 By Ident1fY.1ng all 119 varJables~ "'e obtain the con
sta.nt 0 0 also contatns a !unction fa "-'bleb l.S not monoton1c The
ftwct1on fa IS oh' 1ously :nonhnear By td rnttfylng the 1- arutble!*
and substi tut1ng 0 we cao obtatn from ft a (unction t.f 1 (¥ g)
of tbe form .:rt~ tB a. e Ty 0 "E {0 t l (see Problem 2 3 i3} Sznce
........ ~ ,.w
It. ~~ not monotonJc there e.xtst tuples a and ~ .such that " <
~ """""' ""-
p a!ld I (a) > f (~) Let A (resp B) be a li:.et of eoord1nates of the
...... ""
tuple a
(p) which are equal to unzty LE!t us cons1der the function
ffz (~ y:, .1} abu~ned ftom 12 by puttl"n.g \D ,t, ;r 1 =
x l:cr ' E. A
~ i === JJ for ' E B and ~ i ~ z for ' El
B \"\' e have (J' 1 (0 0 0} =
cr. (1 ll 0) ~ Or ~~ (I~ o,0) ~ l 11 10 thls case rrt al au
f unc tton, then e1 tber cr-:a :=::::; ..t $ !I Eil z, vr f.f s
IS a self
=
z u V z.: V y: - -
Jn both casest 1\ f' have rot ~1~ Cftl =
T ~ If ,~ IS not self dual~ \\ e
eousLder the f un-cu on <P 1 {x" y) ==
qt 1 \:t, 11 1 0} \\ e ha' e e.~ t.he.t
is = z S y or '91 ~ "ig
- r
If fila :=; z ED Yt then CF1 t "1' 2 ) -==== To
\Vhen cp 1 :::: z !I a ad cp1 ;/=- • V y, all th~ ob ta 1ned tunc t 1ons 0, 1 cr
and ~' belong to the same closed cJ a.5sl n am r Jy, the class G consJ st •
CHAPTER TWO 311
ing of all functions f such that for any two tuples a"' = (a 1 , • • • , a 11 l
"' "' -
and ~ = (~ 1 • • • • , ~ 11 ) such that I (a) = I (~). there exists i
for which ai = ~~ = 1. In view of the completeness of <1> in T 0 ,
there exists a function fa which does not belong to the class G. The
"' "'
function fa has .....,
the ,...,following
,....,
property:
.....,
there exist tuples a and ~
such that f (a) = f (~) and a; and ~ do not have unif coordinates in
common. Let A (B) be a set o! unit coordinates of the tuple "' a
~
for any two tuples a and ~ with the property I (a) = f (~) = cr,
"' "'
there exists i for which the i-th coordinates of the tuples a and ~
equal to cr. An example of a basis consisting of one function is
the set (xy EEl z EEl zz}.
2.4.11. Hint. Consider the function xy EEl y EEl z.
2.4.12. (3) Let us prove the completeness of the system (D =
{xy v v XZ yz, X EEl y EEl z} in Ton s by induction. The functions
in T 0 n S which depend on not more than two variables can
be obtained by identifying the variables y of the functions in (j).
Let all the functions in T 0 n S, which clepend on less than n (n:::;. 3)
...,
variables, be superpositions of functions in <1>. Let I (x") E T 0 n S.
Then I (x1 , xlt x 3 , x 4 , • • • , x 11 ), f (x 3 , x~, xa, x~, . . . , x 11 ), and
I (x1 , x 2 , x~, x~, ... , x 11 ) depend on less tllan 11 variables. We can
now use the result of solution of Problem 2.2.24.
2.4.13. I (1, 1, 1) = 0 since f ~ T1 ; f (1, 0,1) =- 0 since f ~ M,
and f (1, 0, 1) = 1 (0, 1, 0) = 0 since f E S.
2.4.14. If IE L, there exists k;;:;. 1 such that f is congruent to
xl ffi x2 ffi ..• EEl x 2h +l EEl 1. Iff (f L, by identifying the varJUbles
we can obtain either a function <p of the form xy EEl cr (x EEl
y) ffi 1, cr E {0, 1 }, or xy EEl xz EEl yz EEl 1. In both cases, L n
s£ [<p].
2.~.18. Let us prove, for example, that T 0 n Lis a
precomplete
class m T 0 • Let f E T 0'-.,.L. By identifying the variables in /, we
can obtain a function <p either in the form xy EEl l (x, y) or xy EEl
x: ffi yz ~ l (x, y, z). In both cases, the system {x EEl y, (p} is
complete m T 0 , i.e. [(T 0 n L) U{!}) = T 0 •
2.4.19. Hint. :ry EEl z E T 0 ".. (T1 U L U S) and {1, xy EEl z} is
a system complete in P •.
2.4.21. x 1 ffi x 2 EEl .1:~~ 2.4.22. Hint. See Problem 2.3.:W.
2.4.~3. We p~ove that if I~ (T 0 n T1) US, a constant can
b e. obtamed from tt. Iff E T '-... T or f E T '-... T , then by identi-
0 1 1 0
fymg all the variables of the function 1. we obtain a constant.
3t2 'SOLUTIO 'l'S J.Jrr. S \V ER S A 'l D II INT S
25
2 5 2 (I) n ;:;: 2 3 (2) For elen n (3) For odd n
2 5 4 Us~ the e.xpanston from Problem 2 5 3
2 5 .S Frw e funct l ons arnoog " h leh onr ha~ a fit t 1 t 1O:U3 'V at1
able One of tb.e functton.s ts sel[ dual ,.,
2 5 8 {t l l t r.s ncL ttut Cons1d el' f {.~=-} 55$ z _, and the tu :pies
(110} and (001)
-
2 5 t2 :E n functtons
2 a I' \Ve assume that a pr1me 1mphcant I oi the Iunctton
#oJ
k-1 n- t }
( 4 ~I~ 4
2 5 18 (1} 1 es there ~l:Jsts (2) No there does not exJst
II tot A contracted d D f :tJ of the JunctiOn J baB a 1engtb eq ua) to
thr~~ Th.~ formula z• dual to ~ ~s a tonltatte-d en f of th1!
funct~on t• The contracted d D r of th~ functlDQ f !S obtaJn.ed
from .2• by ope-n1ng the parenthe.ses and by appl)•ng the rure.s
A A ~ .A A V A === A A V A B :::;::: A Cons• df"t a 11 the casE.s
V. hen the -t..On tra Cted d n f {).f tbe- {unc \~ OD j• has the le-ngth S
2 5 19 All Jov.e.r untttPS of a monotontc lunettoD are
pazr" JSe 1ncomparable Th.r maJJmum number of pa1r\\ Jse 1ncom
parable functJOD$ ID en ts { tn;l ) (see Probl~rn I f 151
n>
f'tW i'VU
--
v
1 --- .xJtJ~ .:tn/r\ SJnce I t.S selT~ual we have {fl). = ln vJeW ro
of the monolon1.c~ty of f \\'l have f 0 E \1 j~ E \f f~ V J~ = If
Thus 1f the Iuoct1oo f, JD t/ 1.s spectfied the funet1on f 1s Qpec1
fied as lit eJJ It remaJns for ns to v~r1fy that for n ~ 1 there extsts
a. fnnttlOD I E .AI" 1 such that I v
r• =I= I \Ve can take lor exam .l"tt
the component Jh
2 is given, the function I is defined by mono-
and I (a) = 0 for all a E Z such that a < ~- Since the length of
each ascending chain does not exceed n 1, there are not more +
than n + 2 possibilities for each chain.
2.5.29. Let us consider the partition of the cube B" into non-
intersecting ascending chains, considered in the solution of Prob-
lem 1.1.18. This partition has the following properties. (1) Chains
of minimum length have not more than two vertices. (2) For each
two-dimensional face containing three vertices of a chain with
k + 2 vertices, the fourth vertex of the face is contained in the
chain of the partition, which has k vertices. Property (1) implies
that on each chain of minimum length, a monotonic function can
be specified in not more than three ways. Property (2) implies
that if a monotonic (partial) function is defined on all chains
~ontatning k unities, on each chain of length k + 2 this function
1s d~fined by monotonicity everywhere except, perhaps, at two
vert.1~es. Consequently, there exist not more than three ways to
add1ttonally define it on such a chain. Considering that the number
. 1s
of chams . ( ll )
we have [llfn] & 3 ( [>:~?]- )
[n/21
' --= ·
2.5.32, (xl V .r2) (xa V x4) ... (x2n-l V Xm).
2.5.~3. Any function essentially depending on more than
one v~r1able has not more than one lower unity.
2.:1.34. Hint. See solution to Problem 1.1.36(4).
y 2.?.3~. (1) No, it is impossible. (2) No, it is impossible. (3)
es, It 1s. 2.5.44. No, it cannot. 2.5.45. No, it is impossible.
2,5,46. The statement that any function I (; 11 ) E M can be
SOL UTIO"'S AN SWEllS A ~D HINTS
1) .r2 (.r 3 h1 EB h 2) EB .r1.r3g 3 EB .rig4 ill g 8 ill :r3g7 ill .r 2.r3h 3 • Since
the function f (x1 , x 2, x 2, x 4, ••• , x 3, x 2) = g (x1 , x 2, x 2 , x4, ••• .r5 )
essentially depends on all its arguments, only one of the variables
x 2 and x 3 can be fictitious for the function 'i'· But this is possible
only for hi = 0 (and under some additional conditions). Then
=
11 3 hl and f = :;: 2 (xi EB Xs+I) h 2 ill gs EB X1x3g3 EB. xig4 ill
x~g7 ill x 5 +\x3 h 2 • Smce h =/= 0, for III == 0 the tunctwn h 2 cannot
..degenerate' to 0, i.e. h, =J; 0. Consequently, the function 'P =
x 2 (xi ill 1) h 2 EB x 1x 3g 3 ill. g 8 EB x 1g 4 EB x 3g1 ill x 2x 3h 2 essentially
depend;; both on x 2 and x 3 even for 11 1 = 0. Thus, if none of the
identifications x 1 = x 3 or x 1 = x 5 +I leads to the reqmred function,
it is sufficient to put x 2 = x 5 +I· This completes the analysis of all
possibilities. The fulfilment of the inductive step is just proved.
2,6,28. (1)-(4). No, they are not true. In part (4) we can take
f (x, y) = x-+ y.
2II I <)71 I
2.6.29. Since IT~ I = IT~ 1 = 2 - , IL I = 2 +1 ,::::; 2- -
1 11
(for11
on 1 •ln l .,n I
11~2), 1Snl=2-- and !Mn1.::;;2- --+2~2-- (for n~2),
the set W is not contained completely in any dass in T0 , T I• S,
Land M.
2.6.30. An identical function is not contained in any basis
in P, (see Problem 2.1.18). Any of the remaining functwns of one
variable and of zero variables among the Boolean f1Ulctions does
not belong to any precomplE>te cla~s in P 1 • At the same time, the
hereditary system of any such function is an empty set, and hence
~
CllAFTER THREE
31
St t Cons1d-er two cases .% -:;:. k - i and
(1) ;r +k - 1 ('2}
(7) Consider two cases z > y and ~ < 11 (8) Let :.r <y Tben ...,..z =
k - z'
f -
::r) ~ k - t - v
11 -.. z and (~ s) - (II -- x) :~= k - 1 -- z - (!1 -
=;tv y If however .z > v
"Pre have (..... .:r) -
(y ........ ~> -=-
.-.,tz (9} Consule-r two. ca!es z ~ y and % > y (10)
(11 ) The equalt tJ es arc pro, ed dttee tly h y USJ.n' tlte relat Lons. ~ ~ ===
k -- 1 - i& and ;- ~ z + 1 (12) Con.stder two cases z :::;;:: k - 2
and z i::. k - 2 {J 3) CoDSJder two case.s ~ == k - J and~
(1~) Canstder five cases (a.) :& ~ 11 == k ~ 1 (h) :r = k--- i y =F
+
k - J
lc ~ 1 (e) = 4=- k - i. y =. It - 1 (d} =r
~ ~ y, and (e) z +
*k - 1 y
k - 1 y =f= k - f z > 11 (15) Cons1der lour
+k - l,
cases (a) x = 11 == k - t (h) z ~ k _.. t. lJ ;yh k - f (e) z +
k - t, y = k - t and (d) % ::fo k - t 11 ~ k -- ! (lB) {17) Con
slder three casu (a.} s ~ k - i, (b)~ *
k - 1. z >~ and (e).:~:+
CHAPTER Tll:REE 319
(•.. ((k - 1) -'- (x + 2)) ...:... . . . ...:... (x + 2)) ...:... (x + 2). (14)
h-1 times
.!, ..:.. 2X 1 = 0, ~ 0 = k - 1, (- x) ...:... 2 (k- 1) = j 0 (x). (15)
x = (- ({~ x)-'- 1))-'- Jh-l (x), and /h.-1 (x) can be repre-
sented by a formula generated by the set {-x, x-:- y} (see 12)).
3.1.3. If a. and k are mutually prime, there are no numbers
among a., 2a., . . . , ia., . . . , (k- 1) a. which are multiple to k
or mod k comparable. Consequently, the division of these numbers
by k give.s different remainders. Since we ~ave .k - 1 given numbers,
there ex1sts among them a number wh1ch 1s mod k comparable
a..
with L Let this number he l 0 Then we have (:r+a.)+ . . . +a.=
lo times
x + 1. To complete the proof, we note that J; (x) = Jh-1 (x +
k - 1 - l')) t l -- 0 ' 1' • • • ' k - -·
')
3.1.4. (1) Take y = m - 1. (2) Consider the function 1 -=- 2x.
3.1.5. In this case, we can use the relation x -, y = min (k -
1, Y - .:: + k - 1) with ordinary (and not mod k) addition and
subtractiOn in y - x +
k - 1. By induction in i, we can prove
that hi (x) = min (k- 1, i (k- 1 - x)), i = 1, 2, .•• , k - 1.
Indeed, h.l (x) =- x = k - 1 - x = min (k - i, k - 1 - x).
Further, 1f 11;_1 (x) =
min (k - 1, (i - 1) (k - i - x)), 1;;::. 2,
then h; (x) = min (k - i, 11;_1 (x) - x +
k - 1) = min (k - 1,
120
"'
•
- Ia.
'o•l
(ai
o
+ 1), •.• , -
n
Ia
(an))= max (f (a),- Jcr (a 1), .•• ,
t
max (f(a), - (k - 1), ••. , - (k- 1)) = 1 (a), and hence min
~
3 2
J 2 J (1) In order to s1mplLly the nolal1on we put T ({0
.l}) T and U ( {0 1 } { 2}) - 1J (a) ~ z E T and E V. (b)
(b) 11 (.t} E T n 1J {c) J, (.z) E T l1 fJ (d) z - g E T and t1. fJ
(e) ~ + y f T and E U (f) m1n (x g) E T 'Y n
(2) \Ve put T ( {1 3}) == T U ( {0 t} {2} {3}) = fl 1 fJ ( {0
3} {1 2}} = lJJ • (a) %'
aDd E 11' n 'II I (c) J 0 (%) E£ T
T E ti 1 s.nd 'E: 11 2 (b} ~ :t t T
E 1JI and E 2l' (d) z 2y E T +
I! ft 1 and Etl, (e) max (z g) E T fJ.l and. Efl 2 (f) ~~~~ T n e
Q1J 1 and. E71 t
J 2 2 (1) The subset {2} and the part1 t1on {0} U { t 2} are
suLtable (2) i - {0 2} and D = {{0 2} {f}} (3) ~ = {1} and
D ~ { {0} {I 2}} (~) if ~ {2} There IS no su1table parhtlon
5) ~ {0} and D = {{0 t } {2} {3}} (6) ~ = {0} and D --
=t
-n t I nc•
ktt -- m luple! the values of the functton.s can he arb1tra.ry)
3 2 4 (I) Jf D == { {0} {I } {k -- t } } i e 1 k or
D :=.-. { { 0 1 k - t } } 1 e • = 1 then any fun ctt on 1n P11.
preserve! thus part 1ti on Let 1 ::1= t and s =:p k In the part 111 on
D ~ (~ 1 ~.} we lake a subset ' , s.uth th..tt ~ ~ t l ~ 2
and anolber subset ~ 1 dtffer1ng from ~ t Let a 1 a 1 t;: ~" and
a 1 for ~ = 61
b E ~ i ~I. us con~ui-e-r th'e {unctian f (:t) { b f ......L
1 or z -r- at
Obv1ously I (a 2) = b and henee f does not pre~erve the partLtlon D
and t t! fJ (D)
(2) llinl \Ve must first prove that rot • *
t and • =1:= k dl.fferenL
classes fJ (D) correspond to dz.Oerent part1t1ons of E~t, Fork = 3
the ~t 1 rr.s th-e fo.llow1ng pa~t~\~ons D 1 -== [ {0} {1} {2.}) D • =
{0 t) (2}} Da = f{O 2} {I)) Dt = {{0} {I 2}} D1 =
{0 1 l)} 11 (D 1) = U (D 1 ) = P1 The ren1a1nrng three classes
(Da} 1J (D 1) and 'It (D,.) d1fter trom one another and from Pa
Con s~q uen ll y there exist four d' ff er.en t c} asses oi the type 'II (D)
in P, (J f \\ e a}so take 1nto accouc t tho en tire sc t P:~ o.s v. ell) For
A. =- 4 the set 1:11 bas lbQ follow1ng partlt1on.s Dl = llD) {l)
CHAPTER THREE 323
•
{2}, {3}}, D 2 = {{0, 1}, {2}, {3}}, D 3 = {{0, 2}, {1}, {3}}, D 4 =
{{0, 3}, {1}, {2}}, D 5 = {{1, 2}, {0}, {3}}, Dl!. = {{1, 3}, {0},
{2}}, D7 ={{2, 3}, {0}, {1}}, DR= {{0, 1}, {2, 3J}, D9 = {{0, 2},
{1, 3}}, D10 = {{0, 3}, {1, 2}}, Dn = {{0}, {1, 2, 3}}, D 12 =
{{1}, {0, 2, 3}}, D 13 = {{2}, {Or 1, 3}}; D14 = {{3}, {0, 1, 2}},
D 1• = {{0, 1, 2, 3} }. Consequently, there are 14 different classes
ortype 'lt (D) in P~. In P 5 , there are 51 classes of the type
'lt (D).
(3) Let (i1 , i 2 , • • • , in) be a tuple of numbers in the set {1,
2, ... , s }. The number of such tuples is s". Arrange them in the
alphabetic order and assign them numbers from 1 to s". The tuple
(1, 1, ... , 1, 1) has the number 1, the tuple (1, 1, ... , 1, 2) the
number 2, the tuple (1, 1, ... , 1, 2, 1) the numbers+ 1, and
so on. If a tuple (i1 , i 2 , • • • , in) has a number m, the number
I ~',, I I ~'•• I ... I ~.1 ll I is denoted by dm· The number of func-
tions in the set Pk (X"), which preserve the partition D = {~ 1 ,
~ 2 , • • • , ~ 3 } is equal to ~ I ~j, ld' I ~i. ld• . . .
(j,, i •. ... , i,)
I ~i 1d,, where r = s11 and the sum is taken over all possible
r
tuples of length s71 , consisting of numbers from the set {1, 2, ... s}.
3.2.5. We denote the set ~ by ~ 1 and El< I ~ by ~ 2 • tet
I \S I = land, as in Problem 3.2.4(3), let dm stand for the number
I~; I· .. \~- I, where (i 1 , • • • , in) is the tuple of length n,
I In
consisting of numbers belonging to the set {1, 2}, where m is the
number of the tuple in the alphabetic order. Obviously, d1 = 171 •
(1) Since T ('#;)"-.'lt (D) = T ('#;)"-.(T (~) n 'lt (D)), the num-
ber of functions in P11. (X") contained in the set T (~) -.. . ._ 'lt (D),
i.e. I(T (\5)"-'lt (D))<"> I is l(T (~))(11 > I - I (T (\5) n 'lt (D))<"> I=
ln .n n "\1 d d d 1n 11 n n
l · k"" -t - LJ I ~ 1· I '· I \31· I • . . . I ~ 1· I r = l k -z -
• 1 .z r
}1=1
(j,, ... , ir)
-
.
~ .
I \3i 1d• ... I ~i ldr, where r
• r
= 271 , and the last sum
( Jh "~' Jr)
is taken over all such tuples of length 211 - 1, which consist of
numbers belonging to the set {1, 2}. The above formula is valid
for n;;, 1. If n = 0, then 1(T (\5)"-.'lt (D))(O) 1 = 0.
(2) For n >
1, we have I(<JJ (D)"-.T (\5))< 11 >I= I(<JJ (D))< 11>1-
I(T(~)n<JJ(D))<n>l= ~ l~itldll~hld2 ... l~irldr_
Up i2' .•• ,i,>
.lj l'iSJ/ti'Sizldz ... l~jzld'= ~ l'SJ/ll'SJ:/z ...
. Jl=1 . j 1 =2
(
'··
.. .•.• J,) (J" •l• ..... }. r )
k 1.
R.nd /1 (t} =
ao=2
+ +
4o {11 «t ....J....- «:a= 0
.ao+2al = 0
a0 +3a 1 +a 2 +aa, =-= 0
SolVJDg th1s S):stem we obtain (a) d~ = 2 a1 t a 1 = 0 4-,= {
(h) 4,o o::::.: 2 a 1 == 3 Gz ~ 0 a 1 ~ ;:;, {e) .ilo == 2 a 1 = i at:::;::: 2
«s = 3 (d) ao = 2 al == 3 a:a 2 a.J .:::::: t Consequently 2j .p{z):=
2 + 3: +
2z' + z'
x' = 2 + 3.r + 3z~ ~ 2 +:& + 2.1:= +
3.zs 2 3x+ +
(2} If the !unction 1 (z) 1n P • 1S such tb.a t f (E 1 ) s:;: {0 2J 1t can
CHAPTER THREE 325
3
be represented in the form I (x) = Lj bi2j i (x), where bi E
i=O
{0 f} i = 0 1, 2, 3. Then we must use the result of Problem
3.2.8(1). If, h~wever, I (E~)s {1, 3 }, we can consider the func-
tion g (x) = f (x) - 1.
(3) Assuming that the function f (x, y) can he represented by
a mod 4 polynomial, we have I (x, y) = a 0 o + a 01 y+ +
a 02 y2
+
a 03 y3 +
a 1 oX + ... +
a 11xy a 32 x 3y2+ a 3 ~x3y3. Considering this
relation for the pairs (0, 0), (0, 2), (2, 0) and (2, 2), we get a system
which has no solution:
aoo = 2,.
a00 + 2a 01 = 0,
a 00 + 2a 10 = 0,
a 00 + 2a 01 + 2a10 = 0.
3.2.9. Hint. It is sufficient to prove that the functions I (x) -
f (x) and 1 (x) - j3 (x) assume the values only in the set {0, 2} and
then to make use of the result of Problem 3.2.8(2).
3.2.10. If the function f (x) in P 4 can be presented by a mod
4 polynomial, it can he written in the form a 0 + a1x +
a 2x2 +
a3 x 3 , where a; E E 4 , t = 0, 1, 2, 3 (see Problem 3.2.8(1)). But
one and the same function can he represented by different poly-
nomials. Besides, each such function is represented by four differ-
ent polynomials (see, for example, the solution to Problem 3.2.8(1)).
The latter fact can he easily proved by considering that the follow-
ing relations are valid in P~: 2x3 = 2x2 = 2x and 3x3 = 2x + x 3.
The number of corresponding functions is equal to 64.
3.2.11. (1) The functionsx, x 2 and x3 in P 6 should be compared.
(2) Since 3x2 = 3x (mod 6), each function that can be repre-
sented by a mod 6 polynomial is represented by two different
polynomials. Therefore, the number of functions in P 6 which can
he represented by mod 6 polynomials is 63/2 = 108.
{3) The necessary and sufficient conditions for representing
the function (a + bJo (x))2 by a mod 6 polynomial consists in that
the function (2a + b) bJo (x) must he represented by a mod 6
polynomial. It remai11s for us to find the values c E E 6 for
w~ich the function cj 0 (x) can be represented by a mod 6 polyno-
!Dial, and after determining from each such value c the correspond-
mg pairs of values (a, b) choose the pairs for which the function
a+ bj 0 (x) cannot he represented by a mod 6 polynomial. An-
swer: either b = 2 and a = 2,5, or b = 4 and a = ·1,4.
3.2.12. (1), (2), {4) No, it cannot. (3) and {5) Yes, it can .
. 3.2.13. (1) T ({0, k - 1}). (2) T ({1, 2}). (3) 'lJ ({0, 1},
(~)' · · ., k- 1}). (4) T ({0, 1 }). (5) T ({0, k - 1}). (6) T ({0}).
T({i}). (8) T({k-1}). (9) T({1, k-1}). (10) T({O, 2}).
m)) T ({k- 2}). (12) T ({0, 1}). (13) 'lJ ({0}, {1, 2, ... , k - 1}).
k T}({1, 2, ... , k -1}). (15) T ({1, k - 2}). (16) CfJ ({0,
. - 1 , {1, ... , k - 2}). (17) T ({0, 1}).
3.2.14. (1) The set {j 0 (x), x + y} is such a subsystem (see
Problem 3.!.8 aud use the Slupecki criterion). The completeness
326 SOLUTIONS .ANSWEltS AND HINTS
. - 11-1 times
(3) (....... x) - y and x-'- y are essential functions, x ...:... x = 0,
=....
( ....... X) - 0 X, (,...... (,......x)) - y = X - y, 0 - X = - X, X -
(- y) = X + y, ,...... 0 = k - 1, X+ (k- 1) = X - 1, X - (k-
1} = -;, 1 ...:... x = j 0 (x}, j 0 (x - 1) = h (x). From x + y and io (x),
we construct x + j 0 (x); h01 (x) = (x + j 0 (x)) - h (x).
-
(4) x - y and x 2 - y are e~sential functions; (it (x))2 -
h (x) = 0, :; - 0 = ;;, :; - y = X - y, 0 - X = -x, X -
(-y) = x + y, h (;} = j 0 (x). From x + y and Jo (x), we con-
struct x + +
j 0 (x); !1 01 (x) = (x j 0 (x)) - h (x).
(5) xy is .an essential function. From :; and j 0 (x), we construct
~ll the funct10ns h (x), i = 1, 2, ... , k - 1: h (x) = j 0 (x + (k-
t)). Further we have (x + s - i) h (x) = Cs·i (x), s = 0, 1, ... ,
k - 1; i = 0, 1, ... , k - 1 (g 8 ,i (i} = s and g 3 i (x) = 0 for
x =I= i). If g (x) is an arbitrary function in P\/>,' then g (x) =
((gg(ol-t.o (x) + 1) (Cg(1)-1o 1 (x) + 1) . . . (ga(i)-1, i (x) + 1) ...
gg(l\-1)-1, k-l (x) + 1). "
(6) From x - 1, we construct, as usual, ;: (x - 1) - 1 =
X - 2, · · ., (x - (k - 2)) - 1 = x - (/c - 1\ = x + 1 = $. Let
lls denote the second function by f (x, y). Since 1 -'-- x = j 0 (x),
330 SOLUTlONS A.NSWERS AI'.D HINTS
x
1jJ (0, x) = X, 1jJ (1, x). = h 01 (x). Fro~ we obtain x-:- 1, and then
j 1 (x) : j 0 (x - 1) = ll (x); 1jJ (1 +
11 (x), x) = x + Jo (x).
3.2.21. (1) If k =.2m + 1 (m;;:;. 1_), the system is co~plete
since (x + + ... +
2) 2= x +
1 (2 IS added here m 1 time~ +
and hence the initial system generates the complete system {x,
max (x, y) }. If, however, k = 2m (m;;:;. 2), the system is i_ncom-
plete since it preserves the subset '6" of all odd numbers m E 1n
m-1
i.e. '$ = U {2l + 1}.
1=0
(2) The system is incomplete and preserves the set {1, 2}.
(3) For k = 2m +
1 (m ;;;;;= 1), the system is complete since
it generates the complete system {x, min (x, y)} (see Problem
3.2.19(6)). The function "X can be constructed as follows:
(x - 2) - ... - 2 = x - 2m = x + 1. If k = 2m (m ;;;;.. 2), the
m times
m-1
system is incomplete since it preserves the set'$ = U {2l}.
1=0
(4) The system is incomplete and preserves the set {0, 1}.
(5) For k = 2m+ 1 (m;;;;.. 1), the system is complete since it
generates the complete system {j 0 (x), x+y} (see Problem 3.2.14(1)).
+ ... + + + + + ... +
Indeed, 2x
.--..---2x
m+t times
y = x y, (x 2) 2=
m+1 times
x+1, x+ ... +x=O, 0 +1= 1, f2...!.. x = j 0 (x). If
h times
k = 2m (m ;;;;;: 2), the system· is incomplete since it preserves
m-1
the set '$ = ~ {2l}.
1=0 .
(6) The system is incomplete and preserves a certain (k- i)-
element subset in Eh.
(7) The system is incomplete and preserves a certain one-ele-
ment subset in Elt.
{8) For odd k, the system is complete (generates, for example,
the system {x + y, j 0 (x) }). For even k, it is incomplete since it
preserves the subset of all even numbers in Eh.
(9) The system is incomplete since it preserves a certain two-
element subset in Eh.
(10) If k = 2m + 1 (m ;;;;,: 1), the system is complete: (x +
2) + ... + -
~
2 = ~ (x..:.... y) +
y = max (x, y). For k = 2m
m+ 1 times
(m ;;;;.. 2), the system is incomplete since it preserves the subset
m-1
'6 = u {2l}.
1=0
(11) For k = 2m +1 (m ;;;;;= 1), the system is incomplete since
. m
It preserves the subset '6" = U {2l }. If k = 2m (m ;;;;,: 2), the
' 1=0
system is complete. Indeed, x-=- (x ...!.. y) = min (x, y), -min(-x,
~y) =max (x, y), x...:... x = 0, ..... o = k - 1, 2j 0 (0) = 2,
(k-1)..!..2=k-3, ... , 5...!..2=3, 3...!..2=1, (k-1)...!..
332 SOLUTIONS ANSWERS Af\D HINTS
J 0 (% If (z} ~ ~ 1. 2
{l - k - 1
1}) -
3 2 22 The funct1ons appearJng 1n each of the g1ven systems
are pol!: nomLals Consequenlly for compo$-tle k these systems a[e
IncompJete If however k IS a pr1me number not less than 3 the
completeness of a s1stem can he convellJently pro"ed by construct
tng one of the follow1ng systems (a) th.e syst~m lJo (.t z + y}
{f ~ +
11 xy comp1ete Jn the class of poJynom1als
(1) 1&. 1.s suffictent to construct the funet1ons z !I and zg +
\\ e 1ulve 1 + + 1 f x I 3 1 3 t X 1= 5 1= + + +
(k - 2) + i X t k 0 z y x X 0 - :z v (z + + + +
1)
"
+
_.
+ =1 :r --- t z
._....,.
0
:Z
% (g ~ 1) == ~g
a -!
+ +
~ t t. m~
(2) It JS :suffic ent to construct the s} stem (Jo (.:r) x + v}
% .J: +1 1 11 --- i _..... 0 X -- 0 + 1.. :::. :r + i ~ -- {y + \)+
t z - g t X zt x1 x 1.z1 -- .z 4 x"' 3.r1 xll 1 (k t
ts an e'en number SJ.nc.e k \S a prlme number not less than 3}
t - zk 1 = Jo (.:t) 0 -- % = --z z - (~y) == ~ y +
(3) We con:struct. the system {/e (z} z y} :r + + +
z 0 (k terms) 0 t - t .r' (- j) .rl zt) z' ( =
~· ..r• {-zA ~ 1 ( i) '> I) = f (k--+ +(
1 terms) t + (-.7h 1 ) - f - zh l !a (.x)
(~) \Ve conslruct the iunct1ons t z 11 and ~~~ z (k--- 1} + +
z - (k -- I) J === J + +
I (k - I) + f :.:: 0 0 t f + =
X X
0 +z - 0 !J ::= X 11 +(.r t) 11 +z I - y + 0 + +:!If + +
z +1 z + (k - i) = % - - 1 % (y - l) z + +
1 ~ :ry + t
(xy +
t) - I = ~v
CHAPTER THREE 333
(2) Cons1der Posts system (3) Add1ng, tor e~ample the functtons
,..,z and z~ we can constrUct Post~s s}:stem (4) Post s S}Stem can
eastly be constructed hy add1ng, for ex,.mp]e~ the functlODJ ~z
and i t 5} By add 1ng~ fct t xa mple the funct lOO. i ~ e tan ~ls1}y
ohta1n Po.st 1 S).stem (6) It Is sufficJent to add the functions~~
-
and s to construct Posts system (7) Apply dtreetly th@ theorem
on completeness and JDcompleteness of a polynom1al class tD P~c
3 2 24 (1) For k === 4 and 6~ \\e can constder the func.tton
f (.:r + 1 .r) {2) For k ~ 4. anal) ze the funct1on I (2t .r) and for
k = 6, the funetton 1 (4 1 ~) (3) For k = 4 • e can cons1der any
of the functlOJlS U (0 z))t~ (j (.r + 1, .:r:)) 1 and 1 - t (2t s} "hlle
lor k :=;;:: 6 the runct!OD 1 - I (4, z) should be COilSJdered (4} For
k = " any of the functums u (z 0)} 1, u <~ .r)}-' (/ (~ + 2 z}l1
or t (2~ z) -- 2 Js !JUitable Fork .=; 6 lire can ton.s1der the funct1o.n
f (4., z} - 2
3 2.25 .. (I) The .suh.system B = {k- 1 Jo (;r}t .. - v) ts a
hu1s 1.4!1. us ptove. thl.s 'Ve have 1fl {k ---- l) = 0~ J, {0) ~ 1,
(k-- 1) - i = k - 2, • 3- 1 = 2 Jo ((k - t) --- ~) =
11
J}c I (:t)~ }l-1 (t} ~ J0 {(k - 2) -- .t) - }"A; -1 (3:), lA-s (%} =
J0 ({k 3) --- .t) - 11 ({k - 2) - z).
_.-ror ~ /t (.z) =:: 10 (I ~ .t") ~
/o (2 - z) Let g (z) he an arbitrary I unction tn P1: 1 lt can be con
struc ted as foil ows At first we construe t the f U1l c ll on gIJ (.r) ~
((({k - 1) -- 10 (.x)} - lo (z)) - - I 0 (.r))~ where J., (z) Is sub
tracted from k - t sucli a number of t1mes r 0 that g 0 (0) == g (0)
i e (For g (0) = k - tt we put to (x} ::::;:
r 0 = k - 1 ---.. g (0)
k - f ) Then "e .subtract t"1 ~ k - f - g (f) t1mes the functton
/ 1 (z) from gg (s)t and sa on (In part1cnlar,. the funct1on i' can he
eanstrnc ted 1n tfll s '-ay ) In otd.er to pro\ e the eomple teness a( the
system Bt It remains for us to use the srupeckt crtteriOD (or recall
that m1n {.t:t ~) = : - (::~: - y}~ max (.z y) ~ !RI.PIDln (~$, ..... y}t
"'-'z :.::: (k- t) -- z and that the system {z- .n1a.z (~t .v)} lS complete
1n PA) Further~ we must prove that B does no~ contatJI complete
proper subs) .stems The funct1on z _. y r..a.nnot be removed (rom B
$1DCe the fUDC tl Oll3 /c - 1 .and J D (~) f SS eD tla}} Y depend OD DOt more
than one var1able Further~ we oh Vl ousl y have {J 0 (.z) z - 11 } c::
T ( {0, t }} and {k - f z ~ y} c T ( {0 k - 1J)
{2.) B= {/6 (z)~ %- y1 } Oh1llOUSly z--- y 3 Ls an -esseut1al
!unet1on~ \Ve shall show how all thE! lunctJons oi one varJable can
be const-ructed \Ve have ((/b (:t) - Jl (z)) - I~ {:t}) -- -11 {:r:) ~
h tunes
1
0, J f (0) ~ k-1~ {(k-1)- (k- f) 1)........ -- (k-1) 1 === k- t - i 0=
t tunes
t'l 2"J. ~ k- 2)" ((z- f 1 )-1 1) - --.. fl ~ z- l (l ~ f~ 2'\
l tlrnes
k-2) JJ (z) === (I1 (z- i)- 1: (:t- (t-1)))- -- J:(:r- (f-1})
1t-l 'tlmea
t:=: t, 2, , k--- 1 Let g (.r) .be an arb1trary funct1on 1n Pku It
can be construe ted as I oil ow s \\ e .fir.s t construe t the func t 1on
It (z:) if g (0) == k -1, then Itt (_z) =
k-1 If however, g (0} *
CHAPTER THREE 335
k-1, then g0 (x) = ((k-1) ...:.. Jfi (x))...:.. ... ...:.. J~ (x), where r 0 =
r 0 times
k-t-g (ll). Then we construct the function g 1 (x): if g (1)=
· k-1, then gl(x) = g0 (x), but if g (1) =/= k-1, then g 1 (x) =
Jr
(g0 (x~...:... li (x))...:... ••. ....:..
._
(x), where r1 = k-1- g (1), and so on .
r1 Urnes
On the k-th step, we obtain the function Ch-l (x): if g (k-1) =
k-1, then Cn-dx)=cn-z<x), but if g(k-1) =/= k-1, then
Ch-dx) = (Ck-dx)...:... ~~-I (x})-=- ... ...:.. JL
1 (x), where n1-1 = k-
rh_1 times
1- g (k-1). Obviously, the function Ch-l (x) coincides with the
function g (x}. In order to complete the proof of the completeness of
the system B, it is sufficient to use the Slupecki criterion. It can
be easily seen that B does not contain complete proper subsystems
since the function J 0 (x) depends only on one argument, and the
function x...:.. y2 preserves the set {0}.
Remark. For odd k, the subsystem {.r - 2, max (.r, y)} is also
a basis.
(3) B = {~J·, min (x, y), x + y}. We have_ x + (~x) =
/,· -- 1, x + k -· 1 = x-1, (x- 1) -- ... - 1 = x, ~min (~x,
----.r---'
times
h-I
""Y) = max (.r, y). We have obtained Post's system. It
should be also noted that { -x, ruin (x, y)} c T ( {0, k - 1 }),
{-x, x + y} cL and {min (x, y), x +
y} c T ({0}).
(4) If k is odd, for example, the subsystems {x + 2, max (x, y)}
and {x + 2, x...:... y} are bases. This fact can be substantiated by
using the following relations: (x + + ... +
2) 2 = x + 1 (the
term 2 is taken (k + 1)/2 times) and x...:.. (x --"--- y) = min (x, y). If
k is even (k ~ 4), the basis is the following subsystem: B = {k - 1,
x + 2, x--"--- y}. Let us prove this. We have (k- 1) + 2 = 1,
(k- 1) --"--- 1 = k - 2, ... , 3--'- 1 = 2, 1 ..:.... 1 = 0, (k- 1) -=-x=
""x, x....:.. (x...:... y) = min (x, y), ""min (~x, ~ y) = max (x, y),
((k- 1) ...:... x) -'- ... --'- x = J 0 (x), Ji (x) = J 0 (.r-'- i) -'-
h-I times
1)), i = 1, 2, ... , k - 1. Thus, the subsystem B
la (x...:.. (i -
generates the Hosser-Turquette system which is known to be com-
plete. Consequently, B is a complete system. Let us prove that B
Is a basis. Obviously, {k - 1, x ...:.. y} c T ( {0, k - 1 }), the sub-
system {k - 1, x + 2J consists only of functions which essentially
depend on not more than one variable, and for k = 2m the sub-
system {x + 2, x ...:.. y} is contained in the class T ( {0, 2, ... ,
k- 2}). Consequently, B does not contain complete proper sub-
systems.
(5) The. basis is the subsystem B = {j 0 (x}, x + y2}. In order
to prove th1s, we must take into account that j 0 (j 0 (x}) +
(j 0 (x)) 2 ==
1 and. that the function x + y~ can be used for constructing all the
unctiOD:S of one variable (by using j 0 (x), h (x), ... , ik- 1 (x))
alm o~t Ill the same way as the function x + y was used in the
so1Ut10n of Problem 3.1.8.
336 .SOLUTIO'IrrlS .Af'r.SWERS A' D HJ'-~S
CHAPTER FOUR •
4.1.
4.1.1. It follows from the calculation of the type (v, x) pairs,
wh ~re v E V, x E X, and v and x are incident .
... 1.2. (2) None.
, (4.)1.5. (1) Let 0 (v) be the set of vertices adjacent to v and
0 v ~ {v} U 0 (v). By hypothesis, I 0' (v) 1 ;;::;, (n +
1)12 and
I1,1 '-? (~) I ~ (n- 1)/2. Hence it follows that pach vertex from
1
"-0 (v) Js adJacent to a certain vertex from 0' (v), and hence the
22-UGJG
338 SOLUTIONS A~SWERS .41\D HI,TS
~ ~
-
USV, I U I =h
v(U}=
UCV,IVI=hvEV
e(v, u)
n-d (v)
=h Sh (v}= h k < lVI . Hence
~ev vEV
1V1-1
-vh (G)~ lVI
II
i=O
--
'"*
SoLUTtO~S ANS"" £RS A!',B Ht~TS
44
4 4 2 Starttng from an a rh1 tra ry verte"t of the tree u e con
struct .a ebalD add Jng a new vertex on each .step as long 4ls pos~nhle
At the moment when 1t becomes tmpossible the end vert1ce! of the
cbaJD w1ll "become pendant 'ertites of the tree The prooess of con
!itrUcttoD termtna te.s s1nce the .set of \ ~rtJce$ Js JlnJ te' and there are
n a t} eles 1n the tree
4 4 4 (f) According to Problem 4 t 26 the numbe.r of edges Jn
the gr,_ph G and 1ts conneet1veness can be reconstructed from F (G)
CHAPTCR FOUR 341
4.5.
m+1
2 . Then Stirling's formula should be used.
'
4.5.6. Note that the number of vertices in a graph does not
exceed 2m. The further line of reasoning is the same as in
Problem 4.5.5 (2).
4.5.7. See Problems 4.5.5 (2) and 4.5.6.
4.5.9. (1) The code of a tree with m edges is a dual vector of
length 2m with m unit coordinates. (2) See Problem 4.4.24.
4.5.10. Use the solution of Problem 4.5.4 and Stirling's for-
mula. 4.5.14. See Problems 8.3.18 and 8.3.19.
4.5.16. The network r (a, b) having properties I and II is
a result of substituting the networks of the type r~. k = 1, m 1 +
for the_ edges of the network q_, (a, b). The number of such net-
works IS equal to the number of arrangements of m objects in n - 1
boxes so that none of the boxes is empty, and is ( m-.;) .
n - ....
4.5.17. (2) Use the solution of Problem 4.5.14.
4~5:19. ~f a graph is not connected, the set of its vertices can
be d.1V1ded u~to two parts that there are no edges connecting the
vert1ce~ of different parts. The number of vertices in one of the
parts hes between 1 and [11'2]. The graph with numbered vertices
Is completely determined by the choice of the edges. The number
of edges v. h.u:h are forb ul den 15 equa 1 to k ( n - It) where Jc 1s the
number of vert1ces 1n one of the parts
4 5 22 A.D) subgra ph of the cube B" IS completely defined
by c:pee1fy•ng the set of 1ts vert lees The ~l cf 'ert1ces of a con
oec ted subgt3 p b. 1s d efi.ned by ~pec1 f} tng 1ts certa1 n span n ~ ng set
(t e the tree can ta1 ntng all the ".ertlces) In order to .!! pee11f l~
troo whlch 11 a subgraph of tbe cubeB" we can choose any -re-rte.1
of the cube be Ion g1 ng to the tree (there are not more than 211 ,.. a }s
of doln.g so) and a t~ ~ lth 1... ve-rt:..ees (tMre a« u-ot mote thau
"--' 1 "a)s nl do1ng so) For each .edge of a tre£~ 1ts d1rect1on as that
of an edge of the cube B n c.a.n he .s pee l.l]ed ID not .utore than n ~a ).s
Renee ~e ohta1n \.he Y~\llre-d -e-stlma\e
n
-3
2
m-3
4 526 4.5 29
3
l-1
k~t
the reasons bemg mutually Jndependent \i)
The proof can he
c.arr1ed out by JndutllOD on n USlDg the re at1ons from parts (I)
and (2) of th1s proh1em
4 5 M Use the fol)o-a.lng obVIOUS Jact a e):cle Is an even sub
.st1tUt1on I.( and only 1f 1t.s length IS odd
4 5 36 TJu.s (oil O"V.+s from the Pol ra theorem
' 5 37 Interpret the coefficieDl.5 of the bmom.Ial t z approp- +
tultely aDd use the Polya theorem
CHAPTER FIVE ~43
4.6.
4.6.3. 14. 4.6.4. See Problem 4.1i.2. 4.6.6. This follows from
~
CHAPTER FIVE
5.1.
5.1.1. Let p (v, w) ~ 2t for some v and win C. Then S!1 {v) n
S'~ (w) =/= >6. Consequently, any mapping ¢: Bn ->- C such that
S? (u) s ljl-1 (u) for any u E C is not single-valued.
SOLUTIONS ANSWERS .AND KINTS
il a. U1s odd ) are codes detec t1ng a s ngle error At least one of them
conta1n3 not ~~~ than half the number of words 1n C
5 t 4 (1) It detects one and corrects 0 mLstakes (l) It detects
n t and corrects (n r
1)/2} mJstakes
.5 i 7 (2) t 6 5 I 8 2" 1 5 I 9 2 5 f f 2 No there doe~ not
5 t f3 Let for a certain n > 1 there ex1st a densely packed
> >
l"w
1 r ~~ # d p (o y) ~ H ~ n d
5 116 \\ ilhout Joss ol generaht) we assume that OE C For
...... ,..,
-
~ny tt EB_d+ 1 there e~1sts a un.1que ver'l.~x 1 E C such tha\.
f!""w' ,....
"
-
R = '\; hi (m- h 1 ), where hi is the number of unities in the i-th
1=1
, m (m- 1)
row of the matri:\ M. Since h (m-h) ~m-/4, we have '> d~
~
nz2 2d
n
4
. Hence m ~ ·>a
- -II
•
5,1.25. (3) Let C be the ma.\.imum (n, k, d)-code. Then the set
C· = {a; ;; E C, ai = 0} is an (n - 1, k, d)-code. The number of
I ~ ~
paus of the form (1, ~) such that 1 ~ i ~ n, ~ E Ci, does not ex-
ceed 11 max 1 C; I ~ 11m {n - 1, k, d). On the other hand, each
~
e
roo, .-..J
and hence p (a, ~) = p ('I'', o'). But p (ct, j3) < d and p (y', o') ~ d
~ ~
5.2.
mJnl mum we1ght of the non 2ero code vector If p (et P} < d
"¥ l"'tJ
lor some code we rds. a. and ~ "e arr1 ve at s. eontrad tctton to tb.e
Attl ,...,
p (O a e ~) < d
5 2 17 The so1utJon folJows from Problems 5 2 15 and 5 2 16
5 2 18 The number of unities 1n Jhe matr1x of the code C JS
1
equal to 1C J n On the other hand th1~ number Js not smaller
2
than d (~ C ~ - ,...,t l
5 2. 20 Let a= (t:Lj. a.-n ~ be a we lg ht d vector orth.ogona l to
the matrtX H \Ve .shall denote by hi the'
,.,_
th columo of the matriX II
It follows from the orthogonality oi a to each row of the matrt~ H
1L
word in C. Let'\'= (y1 , • • • , 1'n) be a vector with')';= cti, i=1, f... (w)
and with blanks in the remaining coordinates. Then the vector
~
there exists a code word w which is the prefix of ct. This means that
~
m
of 1t-- t for .l.t and '-.j +~ for l 1 the quant' ty ~ ~
~~
' t
r2 "' 1~ J It lollol\S from the condttJon that A> (log, m)- I
m
and hence ~ 1t ~ m.{log, m.l
' 1
5 3 27 (t} For m === 3 a:ssUDl.tng that p 1 ~ Ps ~ PJ > 0 \\e
have L (P) ::;:: P 1 +
2pt. + 2p 3 :=; I P• + +
p 1 > t The state-
rn en t then f o} 1o ws from t be fae t th.a t upon e.1 pans1 on opera t1 on the
va}ue ol tl1e code does not decrease (2) For g1 ven t > 0 aod 111 ~ 2
tOll$id~r the d1~tt1but1()n
6f
6 1 1 (i) No 1\ lS not BlDte the output Slgnal at tbe 1nstant .t
dept!nds on th~ 1nput s1gnal at the subt;equent \nstant (3} Ye~ l.\ 1s
6 f 2 (3} No lf. J8 not (4) Yes Jt 1s
6 I 3 (2} Ye5 lt Js (4) Yes Jt IS
6 f 4 (1) Yes 1 t 15 (2) No 1 t IS not ( 4) No It ts not
6 t 5 ll) lt IS Itnposslhle to supplement the definJt1on to a de
term1n 1~t1-e i unc tl ()J:l (2} T be fun c.t1 on 1p ad m1 ts tbe su p~letn® t to
the detintttou af determtnlstlc funettan (4} The supp(emeut to
a d e.fin1 tJ on 1s 1m po.ss1 h le
6 f 6 (1} It JS suffic1ent to cons1der the funct1on
not
6 i 12. (1} Y" lt 13 Tht!- "t\~lgh\ ts 4 (3} Yes 1t. lS 'I'ha -we1gb\
Ul 7
CHAPTER SIX 34!l
,....
6.1. f 3. (2) If r = 3, for a suitable function we can take q> (x IJ)) =
(3/4 ). .
6.1.16. For r = 3, for such a functwn we can take
y (1) = X (1),
<p: { y (t) = (:r (t) ffi X (t - 1)) y (t - 1), t ~ 2.
6.2.
The input signal x (t) can be omitted since the function <p depends
on it in essentially.
6.2.2. (1) The operator definition can he supplemented so that
we obtain a h.d.-operator of weight 4, described by the following
canonical equations:
Y (t) = X
- (t) ql (t -1) q2 (t - f) ffi ql (t - f) ffi q2 (t - 1),
ql (t) = m (x (t), q1 (t- 1), q2 (t - 1)) ffi x (t} ffi q1 (t - 1),
x
q2 (t) = (t) (~ (t - 1) Vq2 (t-1)) ffi q1 (t-1) ffi q2 (t - 1},
ql (0) = q2 (0) = 0.
63
6 3 i (l} J\.f '' a c lO'Sed class (2) 'f h-e set Af 1s n ct a e\02-~d (jlass
6 3 3 Prove hy 1nd uct1on on the number of delays that any
operator ,P 1n 1~ 0 'Pa1"' wh1ch bas one Jnput transforms the ward
I"'VU) v
0 e1t.ber mto tbe word oJ the form !I (1) !J (n 0) l 0)1.\\ or Ulto
the word r,t lhe form y (1} y ( n 0) { 1}(j} where n~ '~ the 1eng t h
of the p repe r1od (whtch depen d.s on the cho1ee of tlie operator ,., )
6 3 7 [1) The systentis Incomplete (2) The system Js complete
6 3 8 {2) '~~ (X) ~Jo(x) (X} tp~ 1 +:r, (XJ X,)}
6 3 10 The statement can be provoo a.s lollo\\s Let A-f be
a cl()sed cJass 1n Cl>o,) w h1 ch d1 ff ers from the en tJ re set tJ)W \ Ve
.assume that M 1s not a precomplete cla.ss and cons1d,fr the total1ty
of all subsets M 1n .:P (k l ' Jl \\ b 1eh sa tJ ~fy the cond 1t1on IM U
AIl'-' # <n (~) Th lS to tal~ ty ~s. na:t em p\.y We eh'01lSe 'u 1\ a snax~
CHAPTER SEVEN 351
into account the countability of the set eDen> (by arranging the set
CD(h)"-.,Jf in the form of a natural scale). The union of all the sets
of the chosen maximum chain will be denoted by M 0 • Then M U M 0
~
fact that there exists in the set !l>(h) a finite system complete with
respect to the oct of operations 0 = {0 1 , 0 2 , 0 3 , 0 4 , S}.
6.3.13. This fact can be proved almost in the same way in
which the validity oi a similar statement was established in Boolean
algebra (see Problem 2.1.16).
6,3,14. Yes, there exists such a function (see Problems 6.3.13
and 2.1.25).
6,3,15, Cf. Problem 2.1.17.
6.3.16, For k;;;:. 3, the statement directly follows from the
corresponding result in PI<. In the general case (for k ;;;:. 2}, the
subsets of autonomous operators can be used.
6.3.17. It is countable. 6.3.19. This power is continuaL
6.3.20. It is expedient to use the "power maps", i.e. to compare
the powers of the corresponding sets.
CHAPTER SEVEN
7.1
7.1.1. (1} (a) T (P) = !302!2. (b) The machine T is not appli-
cable to the word POP. (c) T (P) = 10 [01FL
7.1.2. (4) The program of one of possible machines has the form
•
q, q, ,,.
0 qoOS q2 0S q30S
1 q~!R q3 1R qrlR
qlOqrlt L q3 1q,OR
q 1 tg~OR fltOg,OS
qiJ:OqgOS q,tq~OR
q2 1q30R qs0q1 1R
q3 0q 3 0S q,&tq\IS
7,2,20. (1) Yes, it can. (2) This statement is false for any func-
tion 11 in Kg.r"-..Kpr.r· (3) The statement is correct for some func-
tions It and / 2 in the set Kg.r "-._Kpr.r·
. 7.2.21. (1) No, they are not always satisfied. (2) Thi~ inclusion
IS f~lse for any function f (x) in Kg.r"-._Kpr.r· (3) This relation is
vahd for any !unction f (x} in Kg.r "'-.Ifpr.r·
7,2,24. (2) No, it cannot. 7.2.26. Yes, it is true.
7.3
. 7.3.1. (a) This follows from the fact that there exists a function
m Kpr.r which assumes all the values.
7.3.2. Any primitive recursive function can be associated with
an infinite set of terms reflecting the way of obtaining the function
f rom the simplest ones.
23-0636
SOLUTIONS ANS\VEHS A'D Hl!"r.TS
CHAPTER EIGHT
B.t.
8.1.1 (J) The number of \\~fS IS (20) 1 == 20 X f 9 X i8 The
t1ckets are not equrvalrnt The brst ticket can be dt.strJhuted In
20 ., a)~ tbe stcond m i 9 ,._a yil, and the \h1rd t.n i 8 ,. a~s (2) 201
(3} c (20t 3)
8.1.2. (1} 91 (2) C (9,. 3) X C (6 3) The first rank can be
the sen 1n C ~g '3) 'it a} s, and t b~n lhe set ond 1n C (S, 3) ?rays
U~ung the m ul t1 p1 Jcat 1on ru Itt, -a e obta 1n the re.sul t
8,1 .. 3. (1) EaCh term of a pern.Jutatton \\lth repet1l1ons can he
c.bos.en 1nde. pendently ln n \\a f!: Usl.ng the mult1 plteatlQn rute t \ \ e
A
8.1.6.
m)r ns . The multiplication rule is used.
r r-h
8.1.7. (1) (n-IX-~lr-11-k· At first we choose the
h k
r
places for the letter a in ways , then we choose the places
h
r-h
for the letter b in ways. We still have r-h-k
k
places the first of which can he occupied by one of the remaining
n - IX - ~ letters, the second by one of 11 - IX - ~ - 1 letters,
and so on, (n-IX- ~lr-h-h ways in all.
8.1.8. (1) 4 (n - 4). The suite can he chosen in four ways, after
which the smallest value of a card can be chosen in n - 4 ways.
(2) 4n (11- i). The number of four cards can be chosen in n ways,
after which the remaining card can be chosen in 4 (n - i) ways.
(3) 12n (n- 1). (4) 4 ( ~ ) • (5) 45 (n - 4). (6) 4n (
411
;
4
) •
8.1.9. (1) 147. The number which appears on the two chips can
he chosen in seven ways. It may turn out that this number appears
· on a chip twice. Then the second chip can be chosen in six ways.
Otherwise, we must choose two different numoers from the six
numbers that appear on the chips. The number of ways in which
this can be done is equal to(~). Thus, 7 X ( 6 + (~)) = 147.
(2) 26. The number of occurrences of identical faces is 6, and the
number of occurrences of pairwise different faces is ( ~} = 20.
(3) 300 + 300~ + 300
A newlyborn baby can be given one, two
3•
~r three names. The number of ways in which k names can be given
IS 3Q01t.
hand_. the tuple a. is 1J.D Lque ly de term1ned from the tuple IJ (a)
and the number m Thus., the number of 1n1 t1al tuples 1.s equal to
the number of tuples Qf lePgth n - (m - 1} k + 1 contatntng k
u111 tH!S (2) ( n t 9
usoc1a te each n ll m ber A sa tuf ytrt g
) Wt
the cond 1t1 on of the prob1 e.m w1th a b1nary vee tor Wl th n un1 t1 e3
and ten :eros The number of un 1t1 es preced1 ng the .first zero Is
equal to the dtfferen-ce bet\\een n and the number of dtgLts of tbe
nJJmber A The number of un1t1es bet\\een the l th and (l + f) th
7.-etas, 1 ~ i ~ 8 is. equal to the number et d1g1ts ~u~ol to l 1n the
number A, and the number of unit~ es I olJ ow1ng the 111n th zero 1s
equal to the number ol nznes 1D A Then -w-e apply the result of
Enmple 4 far k = 10 {3) { "tk}
Any of the shortest walks
t:o11s1st.s cf n sout.hwatd and 1t W"e.-Stward segm-ents The l e:ngth of
a .segment u equal to the s1de oi the square Sucb a walk can be
a531gned a b1nary vector ol length n + k't JD whtch the l th coor·
dJoa te 1s eq ua I to zero 1f the t th segment 1S d tree ted south wards
and equal to t 1f 1t has a westward d1rett1on The number of such
vectou 1s { "tk)
CHAPTER EIGHT 357
Ill correspondence with a binary vector (~11 ••• , ~r>· (3) rr (p~h-•
r
h=l
- 1) (Ph - 1)-1 • Hint. Note that after opening the
parentheses in the expression (1 Pt p~') ... (1 + + ... + +
Pr + ... + p~r) each divisor appears exactly once as a summand.
)I ) (n)h rd (n)n-h ( 11 )
8.1. 13• <1) ( k = k! = k! (n-k)! = (n-k)! = n-k •
11
Another proof. The number is equal to the number of ways
k
in which a k-elemcnt subset can be chosen from U={a 1 , •• ,,an}·
But t:>ach k-element subset we can put in a one-to-one corre-
spondence with its complement in an (n-k)-element set U.
II k nlkl rd(n-r)l ·
2
( ) k r = kl (n- k)l rl (k- r)l = (11-- r)l rl (n- k)l (k-r)! =
n-r n-1 n-1 (n-1)1
r k-r
• 3
( ) k + k-1 = kl (n-k-1)1 +
(n-1)! (n-1)1 n n / n
(k-1)1 (n- k)! = kl (n-k)l, (n-k+k)= k , (4) k-r k
=
kl (n-k)! (k)r
(k-r)! (n-k+r)! • (5) Use the fact that
(n-k+r)r
k
n-r-1 n-r n-r-1 n-r-1
k-r
-
k-r
- k-r-1
• Then ~ k-r
-
r=O
k
n-r n-r-1
~
11
k-r
- = k . (6), (7) Directly. (8) Induction
r=O
k-r-1
k
r k+i
on 11. For n=k, we have ~ - -
-1- • Inductive
k k+1
r=k
n+1 n
r r n+1
transition 11 -+ n + 1: ~ =:6 + • By
k k k
r=k r=k
n
r
inductive hypothesis, we have ~ - Hence we ob-
k
r=h
SOLUTIONS .ANSWERS AND J{fVTS
n+t
la1t1. from tb.ls and th~ prev1aus (!qua l1ty ~
2n
{S) \Ve have (2n}t ~ ,, (ttl) 2 Tb~
nu1nbe-r {2n }~ 1S d1'Vlslbleo by
any pr1me number P1 where ,, < p 1 ~ 2n and the number (n1} 1
2n
1s not d1v~sshle by P 1 Consequently 1s d\Vl~lble by Pi
n
8 t U (1} Solut1on We put « 11- 1 -=[ (n_: f}t ] Suppose
that the toeffitlents an 1 «n 2 ct 1 1 have been. deterrn1ned
'then
._ _. [m ~aF1-I (»-1)!-an-t
a.n-(J-t-l)-
{n--- 2)1--
(1r-- i - i}l
CHAPTER EIGHT 359
a (37) = (1, 0, 2, 1). (3) f-l (0, 2, 0, 4) = 100; f-l (0, 2, 1) = 10;
!!. (1, 2, 3, 2) = 72. (4) v (2, 3, 1, 4) = 12; v (3, 5, 2, 1, 4) = 85;
v (1, 4, 3, 5, 2) = 20. (5) Let the number m be specified. We pre-
sent it in the form m = ct 1 X 11 +
ct 2 X 21 + ... +
ctn- 1 X
(n - 1)!, where a 1 :s;; i, 1 :s;; i < n. The construction of the re-
quired permutation 1t is equivalent to that of the vector (1t (1),
n (2), ... , 1t (n)). The coordinates 1t (j) will be given by inrluc-
tion. We put 1t (1) = Ct.n- 1 +
1. If the coordinates 1t (1), ... ,
n (j- 1) arc specified, we put 1t (j) = ctn-J 1 .~ + + (/),
where
s (j) is the number of 1t (k), 1 :s;; k < j, for which 1t (k) < j.
(6) ll 7 = (2, 1, 4, 3); rt 18 = (2, 3, 4, 1); 1t 28 = (2, 1, 4, 5, 3).
"'
8.1..16. (1) The coordinates of the vector ~ (m) = (~ 1 , ••• , ~It)
are defined as follows: ~ 1 is the largest integet• such that
m~{~1 ). If ~1, ••• ,~~have already been specified, then ~i+l
is the maximum integer such that m- ( ~~ ) - ( k ~ ) - ... -
1
( ~~
k-i+1 ) ......_
;;::; ( ~ 1+ 1
k-i )
. Th e ·
umqueness .
tS prove d as m .
1 (1 +t)•== (1 +r)n..'
8 t !B (I) Put I ~ l1n (f) (2) Put t == -f In (f) (3) D1ffer
ent1ate (1) With feC:!Jl«l tor and putt == t (4) Dtllerent1:ate (l) tWJce
and put 1 ~ f (5} Us1ng (f) ud (3) Vi. e ob ta111
n "'
2~ "( ;)+h { :)
·-· Ja-1>
::::=: n-2" + 2" == (n +t} 2n.
{&) Intr-grat:e 1dent1ty {1) vnth ~p~t to 1 between 0 and t {;) lnt.e-.
grate 1dent 1t y (I) WJ th res peet to ., ~t-. een --1 aJJ.d 0 (8) <:any out
mduct1on on n by us1ng Problem 8 ! 13 (2) and 8 t t7 (7) (9) Com
~ the toef.fiCJePb of 1-' on the lef' and r1ght hand s1des of the
1dent1ty (t +
t),. (1 +
t}m = (I t)n•m +
(1fJ) Put m (9) k~11-M lH) Dlvldlng by ( : ) reduce the
2
" :n ,..
problem to (10} (12) \\e ban ~ h ( ; ) ( n-:::- k) - -
l-O I 0
tl tl.l R R
--"
(~ ) ~ (-tP ( m;n)
J~a
CHAPTER EIGHT 361
•
m-1
V=O s=O k
m-1
~ e
2lli(ll!+s-r)
m
,, =Ill
"'
LJ In the latter case, we have
v=O k
In the latter case, we have used the fact that the sum
m-1
Lj exp {2nilv/m} is equal to 0 for 1 < l <m and is equal to m
V=O
for 1=0. (2) ~ ((t+"V3t+(1-f~l} 11 ). Use (1) for m=2, r=O,
a=JI"S. <3> ((1+V -2t+t (1+tV--2t+(t- y.::-2)n-
i (i-t{! -2t)/4t/ -2. Use (1) for m=4, r=1, a:=-tf=2·
r-1
2
(4) ( -3) ( ; ) ((1 + V -3)n-r- (1- Y -3) 11-r}/2. Using
2 k+i) =
Problem 8.1.13 (2), we obtain 'V (-1)" 3 ( n ) (
LJ 2k+1 r
k
~LtlTlONS ANSWEJ.S AND IU~TS
r-1 2~+i-r
or
n+l
~ (n+ l)h = li(t + t) \\e have
£_J tn+t+2)k
A-0
n+i
~ -(n{+t~-~),.""= PJ+~+•
~~o
CHAPTER EIGHT 363
(
m+k-1 ) )
Ill
= ( m+n)
II
= ( m+n
n1
). Similarly,
8.1.24. (1)
(a)ll + (ah-t = (a )It+ k (a)l•-t = (a+ t)k •
kl (k-1)! kl k!
00
a) j(a) a-k
(kt-1 tit+! k t''=k+t 1• ~a-kt
,!~!k+1 =t<l.
( 1 _,~~
1
bounded, and 0 < )'' < 1 for o < 9 < 1, 1 t 1 < 1. Hence
k=O
~ ((a-k+l)-(a-
r+I
k))=(a+l)-(
r+l. r+l
a-n)
r+l ·
(S) Use
~he identity (i+t)a (1+t)b=(l+t)tt+b. (6) It follows from (5)
tf we put b= -1. (7) It follows from (3) and (5). (8)
JM SOLUTIONS ANSWERS Al\D HINTS
(//'.}
\\e obtain ~ 2
(-1)11 { : ) ( ! r-
(1. +ill) ll v
... /-_23 (10) lt Jolla"~
k. ) ( Tt )l va
2 ---
2 4
)t;;;;;;;Q.
J. 0
n n
- _,_..,.-.:..:n..:.l_,..--_
k I k !k!
tk' tk •th -
ks ks+t-
1· • . . •s 1 • ••
11=0 k, •• • ks
k 1 + ... +ks=n-11
8.2
A
This formula is also valid for a set of objects having the prop-
erty n:
-N n-
N-t ••.• ,n-t,n- ~
LJ N·z,n
l,;;;;i,;;;;n-1
+ ... +(-1)11- 1Nt ..... n-I,n (**)
\\bere Nil the number of obJects hav1ng the prop--
1S
n-t n.
erty n and none of the propertJes it , n- I Obvlousl)
N-1 - 'I
Subtrsc tlng ('••) I rom ( •) \\- e obta.Jn lormula (2} {3) U y tleft
ni t1on formula (3) can be wr1t ten 111 the form
u-m
'
=(m:t)~(-l)ll {! )~ {~
for t= 0
for t > o
Jt~o
1nto .account at alJ (3) It .should be noted that .limt:l = Nrn - ...Jw rn ~
then {4) can be proved hy 1nduct1<'n on m By defuu t1on, N 0 ~
~ n
N = S0 Then N 1 = Sr,- (S 4 _._ S1 + S,----.
)=== ~ (-t)lc-l Sit
h-1
Thus. (4} b.olds f{lr m --= t lA. t. ~den llt y {4} he v al~d (cr a "t.e.t tz.lD
m ~ t Then
n~m n lm+ t)
~ (~t)l-• (m-~+k )s,.•.~~= ~ (-1)~( m:k )smihA
l.~l ~~0
11 _ ~+k) Nm = Nn-v -
1 •
Ill )
( 11-V ( NmX
m=n-\'+h 111=11-V+l
m-n+v
'V k (m-n+ v) _ m ) ...
LJ (-1) k - ( n-v Nm. Thus,
h=l m-n-v
formula (5) is proved. Formula (6) is proved
• •
simllary.
Let us prove (7). For this purpose, lt lS sufficient
n
to veriry that R (n, r)= ~ (-f)h-r { ; ) s,. ~ 0
k=r
for all r. Let us use formula (5). We have R(n, r)= 'l: (-l)h-r(
" k
11
;) X
h=r
n n v n
~ {~}Nv=~ Nvl} (-1)/t-r {~)(~)=2: Nv(~)x
V=k v=r k=r v=r
v n
"LJ (v-m) 'V ... { v) {v-m-1)
(-1)k-r k-m = LJ Nv m r-m-t ~ 0. (5) Let
k=r v-r
• •
us prove that 8 111 > N 111 • We put R (n, m)=S 111 -N 111 • In view
n-m
of (3), we have R(n, m)= L (-1)h+l (m~k) Sm+h =
h=l
n-m n
'
368 SOLUTIONS ANSWERS .AND .Hl~TS
n-m n
(aecord1ng to (5}) = ~ {~1)~ l rn;k} ~ (k~m) N,=
A:~ '1'-:;3 ~ + m:
n r m
(-.ee e'itlmate R(fl, ill})=- ~ Nr {;} ~ (~t)lf c·~m)=
-r-m+2 tt~2.
~ N~(~}cr-m~1)~U
~rn-+2
(5) The nurobeY p such that lfn < p ~ n 1s pr1me 1f and only 1:f
1t 1s not dlYlSable by any pt1me number smallet than y; 'Ihe
number Nf1 'flf numb-ers. 1nd1Vl$lhle by any pr1me numb-er
14
from p 11 , P;,~ IS lnlpt 1 X X p iJt. 1~
1
The expression "the element v belon!!S to the set XY'' is under-
~~oorl _here and below in the sense v E"'x (~Y), and v E XY n
" eqmvalent to !' E (U"'-.X) n (U"-.Y).
1
:!',-OGJU
•
370 S0LU110~S A~SWt:RS AND HINTS
~ (-J)II ( =) 2A (2n-lr-t)l
A f
83
8 3 t (1) Induction The numbers aa Q' a, 1 are ~pee
1fied by hypothes!.s 11 ali tbe terms a1 have already be-en defin~d
lor I ~ n by us1ng (9) we tben obtain a11 ,. 1 -p 1 an, -
Pslln 1 - - Pk an h .-1 (2) \Ve must pro' e tiLa.t c}..'~+li +
p1cl."+A 1 + + p4c;,;n = 0 or 1\hieh IS the :Ja.D1e tiw"n (A.h +
p 1Ah 1 + + Pk) == 0 SJnce ~ JS a root of polynomial (10)
the ex ptessl{\U 1n t be pa renthe see van1she! (3) The (a-ct. t.ha t an. ==
c1"-t + + f"JtA~ sausfies reJat1on (q} foUows from (2) and from
the /act that 1l two se uences an a.nd b, ~at1sfY reJatJ on (9) tl~e
sequence a.,. ::: aa,. + bn salJsfi:e.s thJs r~latton lor a11 a and 6
Let us na v.. pra, e t at any sequence «11 sa tls(y Ln g (9) tan be
represented 1n the form :a 11 = c1 A1 + + l"A"-l where c1 are
CHAPTER EIGHT 371
. . ' . .,,._.. +
. ,k-1 . .
. . . +. .,,._.
C111.1 T Czl\.2 • • • Ckl\.h-1 = ah-1•
k
···+Ph 11 m).n=An ~ (n-j-k-j)m ).h-i =
i=O
k m
).fl ~ ).h-ipi ~ ( 1~ ) (k-j)i 11 m-i =
i=O i=O t
m h
'J.,Pnm ~ (. 111
• } 11 -i ~ p i}...h-i (k- j)i =
1
i=O i=O
m k
~ ( niP; (I..) , where P;(x) = ~ Pi (k- j)i xk-i. It
11 111
}, nm • )
1
i=O i=O
Ct 1 + + c, 1 = a..
( ~1 1 + C1 2 + + c.t .,..
1
i) l\ + + (c, 1
+ + Ca: r , 1) A.. = d1
+ + (c; + t: 1 8 ~,(k -- t) + + c, r • 1
has. a s.o lut100. For thts purpose tt, l! suffictenL to pra ve that 1ts.
determ1nant d1ffers from zero or whJch 1s the same that the vectors
.A
... .... h ...... i t ,., t "-" ,_
0 h" 1 w ne h 1 ::::: (A- 1 ,).. 1 ""1 11r.!
,.1 I i
f~ l ~,) = 0
1c -1 aN lmearly Lndependen.t We
'
assume tba t the con verse 1s true Then there ex 1st con st.;! nts d 0
.......
dh 1 wb1cb are not all equal to zero and such tha l A =
...... __.., ht
+ dlt. 1 Ale 1 -- 0 Let Q f.:r) ~ d1 z"1 and let. h
'L-0
N Fl. ;:::$. +
F 1 If N > 2.. we choose the largest •• 1 such th.a t F"' 1~
Nt then the largest "• sucn that Fnz ~ N-- F 111 and so on Then t
N == Fn 1 + F,. 2 +
S1nce F11 ,.1 > F,. for n > i the repre
sen\.1 tlOO -ca nuot -con t.a.i.n two num \nts W1 th lht! sa m.-e 1D.d~1.. n _...,.. 2.
The representatiOn cannot contain twa adJaCent numbers F" and
F ra+J .s1nce F., +
F11 • 1 =;; F 11 •t and bence F n. ,_, must he chosen
at tbe step on whlch F f'-"' 1 1s chosen (5) The genera I sol ut1 on of the
recurrence .reJatton Fn:~r• =
P.,... 1 F.,. ls g1ve.n 1n ProhJem B 3 2 +
( 3) Usmg the 'n' t \a l e ond lllons~ we "Obla.ln tbe r-e-q ulred result
(6) and (7) The proof 1s carried out by 1nduct1on on n (8) Applying
tw1ce tbe 1d~nt1tY ol Problem 8 3 1 (1), v.e obta1n F,,. = J. n r:F2 n, +
F ._F1.n-+t F n-t (Pn 1Fn. -= FnF n.-t-1) + F J'. (fl +Jt,. t) -=-= +
+
n-,Fn Fn-lFnFn- 1 + F:._ ll•t (F.,..,- Fn. 1) $::;: FA.+1 + +
F~ +
F~-~ f n. +
F n +1 F n -1 (F"' --- Fa+.a) -::;: : : F:.- t FJ, + +
Jl f.Fn. - Fn•ll1 , = F~+• 11. - F~-• +
8 3.8 (f) (f ,_f)-l The ge.oeralulg funct1on far the sequence
ao-
t:Jn == 1, n == 0, t IS by d~finl ttoD the sertf!s A (t) = LJ 1n.
n-O
wh1ch lS an expansion of the funtl1on f (t) ~(I ~t)-l Into a
series for 1 t 1< 1 (2) 1 tN ~ (tN+l __ I) (t --- t) +1+ +
(3) (t- at)-1 (4) e-a.t (5) (I t)-l (6) t (I -- t) a \\ e +
(Q -001 (lq.
Thus. the serJes ~ ntn converges to the funct1on f (t} = llp" (I)=
n-0
t {1- t) i. (1) 2t" {1- t) !. {8) (1-l-. t)m {9) (i -1 t)fl. {10) J {1-r-l) X
(t- t)--J (t f) t s1n a (1--- 21 cos a+ t•)-l \\ e put .:.o- (a)~ e'a: =
+
cos a t sJ P a and use lhe fact l b~ t .;a" (a) =:=$ e ifSn ::::::: cos a, T
i s1n an~ ql"" (---a:) = e- tan= cos an--' ~lD ctn Let us c:onsJdrr tbe
genera.tJng ru.octlons ..A 1 (t} = ~ 4pn (a) ,., .=: ( l - Q) (a) 1)-1
~ n-0
As t') ~ ~ ql" <--- «) t• = {i --.-. " ( - a.) &) 1
Slnc~ ~'n <1n ~
n;z:O
(IQ
This series converges to et. (2) eat. (3) te 1• (4) t~et. (5) (I+ t)m.
co 1ll
·
expansion of ( 1 )
- t -m 1"s ( - m
n-m-kr ) . (6) ( 1/2) 11 / 2 ( -n/2 m ) for
of f (t) is ~ ( -~/ } 2
2k ( - 1J2)n-h ( ~~~~ ) = (-1/2) 11 X
k •
~ ( -:/2 ) (- 4)k (
k
n-=-mk ) = (- 1/2)11 ~
h
( 2: ){,;-_n~ )•
(8) ( :.~) 2 11 -~- ( ,-:;) 211-3. (9) ( -1)'1-ln-•. (ill) ( -1)11-1 '(2n-1).
t
~
LJ nr
!'! (~t} ~ d.z = t; :a:£ {i:t) d.t (2) ~ e "-eX' dx=
1
~ t ) e u du.=
n=G 0 u l
(1- t)-t (3) For the sequence .an v..e have A (t) ~ (n) 1 l 11
J~n
"
stde-s by 1~n v.. e arr1 ve at the 1equ1red tden t1 ty (~llltt. {a )4 J,., -
(a), -'1)
8 3 15 (f) \\ e mull1ply the cqualt ty an-- b 1 bn 1 by t" and
take the ~urn over n In the lCgiOD of lOn\ Clbrenc~
.:!II) od
tl e M"'rJlS or
2J
~~o
ant:n. and S bnt
n:JZ!!!.o
11 t the follo\\ 1ng 1drnt1 tu~~~ ~ 1e VJ-hd
CHAPTER EIGHT 377
00 eo oo oo
~ ant 11 = ~ {bn- bn-1) 111 = ~ b11 t 11 - '2j b11 -tt11 = B (t) {1- t).
1;-"u 11=0 n=i n=O
(2) We multiply the equality a 11 =bn .. 1-bn by t 11+1 and take the
:::tun over n between 0 and co. We obtain tA (t) = B (I)- b0 - tB (t).
(3) We note that b 11 =an-1-a,1• Hence B(t)= -A (t) (i-t)+a0,
where a0 = B (I). (4) l\lultiplying the equality an= nb 11 by t 11 and
00
= ""
(t 1 /~)= "" b 11 t 1~. B ( -
11
t 1 /~) = ~ ( -1) 11 bnt1112 • Multiply-
have B
-
n=ll -
n=ll
iug the ~um of these :-cries by 112, we obtain+ (B (t 1 f2)+B (- tlf2))=
-
.2; b2 11 l 11 = .2; a 11 t 11 A (I). (8) Note that bn = a 11 +1-an. The equal-
n=ll u=O
ity A(I) =B (I) t (1- t)- 1 now follows from 8.3.15 (2).
8.3.16. (I) First method. Let C (t) be a generating function of
the sequence 1, 0, U, . . . . By hypothesis, C (t) =A (t) B (t).
Con..-.equently, the cqualitie::. 1=a0 b0 , ll= a 0 b1 +a 1 b0 , ••• , 0=
n n
Yo
- au-ibn ... must hold. Since a 11 =I m ) ,
\u. )1,
- { IZ-l
111
•) bi = ll
i=tl i=O
V~-t)
. _J:,t 1 ( 1 1
SullllarJy, we ohtam B (t)=- :1- i-A.~- t~~).;e )
1 11
E.xpandmg A (t) aDd 8 (l) tnto eer1es tn t we tind that a,~
(2 JIS)-1 ((t + Jf5) A: + (J! 5-- f) .1~)t bJl =:::; ( J!S)-J (A~--- 4:) 'fak1ng
into account the Inequal1t1e:J 0 < A1 < .A 1 we obta1n li.Dl a~A; 11 -=
n ... oca
(t+ lf5)/Z }15, l1m blll-;n~ tiV 5
n--+eg.
8.3 l9 ( l) l\lult1 ply tng by I""' .and tak1ng the sum ol tbe 1mt•al
[ela.tloP~ \Ve ge\ A {t}-a,::::- tA1 (t) (2) \Ve have A (t)== (2t) 1 (t-
c)g 00
00
-
n). It is natural to assume that a 0 = 1. Thi,; gives a,.= '\, a11 _ 1a 11 _k.
h=l
1 211
As in Problem 8.3. 19, we find that a 11 = { ) • (2) a,. =
ll +1 ll
II T
~ 1
2
{ " ) • The problem is solved in the same way as 8.3.20 (1).
II
8.3.21. (1) n!. (2)(-1)ll-1/ (n - 1)!. (3) 12 X 32 X ... X
(11-2)~/n! for odd 11, 0 for even 11. (4) 0 for odd 11, ( -1) 11 !=2 -nf(n12)!)-1
for even 11. (5) 11~ for odd 11 and 0 for even 11. (6) an = F", where
{F11 } = 1, 1, 2, 3 is a Fibonacci's sequence. We first prove that
if {a11 } satisfies the relation
8 3 22" (I) ~lultJ plyrng the recurrence relat1on by t" and taking
the 5um o'er k \\e obtain (f - t) ..An (t) ~ A 11 1 (t) (2) Su1ee
a (0 0)- 1 and a (0 k) 0 for all k > 0 A., (l) = t Catt)Jng
out 1nduc t1on on 11 and USing 8 S 22 (t} "e find that A,. (t) -
(I - t) n (3) E:rpand Jng a (rz k) 1nta a ser1es we o"bta111 a (n lr) ~
( ~" ) 1-l)'- = { n+z-f )
8 3 23 (1) 20 12) 6 ('3) 9
8 3 24 (1} A (t) (1 - t 11 ) t (I -- ~ 3 ) 1 (1 - t-') 1 Let us
pro-, e thal A (t) IS the requ1red genetatlng iuncl1on \\ e note that
(1 - J") ~ Lj t~' for k 2 3 5 1 e ,all non zero e.xpansJOn
•-0
.c oefftc1 en t,s are eq ua I 1o I The coelfie1 en t of t 11 1n the ex psn.s 1on
of the product (1 --- t 1} 1 (t - t') 1 (t ...-- ~~) I 1.! equal to tbe .sum
of products of the form ak b, c,., where a 4 Js the coe ffict en t oF t l
tn the e;rpansion of (l -- t 1} 1 bl IS the coeffi.cJent of l!l JD the
expan~non (t -- t•) 1 and em 11 the eoeffi.c1ent of t'"' .and 2c +
31 +
5m n It shou}d be noted that .al. = bl t'l ::;: 1 and
tbe number of summands JS e~actly equal to a'"' (2) A (ll ------ {I +
tl) (1 + t') (f tS) +
(3) A (I) == (I + ti + + t!P) (1 L
~3 + + J~"') (t + t!l + + t'') ~
-':;;;5!:1
{1 + gt) l and hence A (tJ == A (gt) (t + gt) The «ioefficJent
A (t)
oft" on the left band slde JS hy defin1tton dn and on the r1ght
hand s1de .anq"' - an 1qn By tnduet1on on n we hence obtatn
2: l- i)"' 01
( : ) ( \1 + I) 11 l v +l) ~ { l}n v 7l ( : : ) ( \1 +
,.;;;;z 0 \' ~.a
fl
n
we have S (n, 0, l) = ~ (-i)n-\' ( ': ) =0. Let the statement
v=O \
be correct for a certain any n > k and any l. Let k + 1 < rz.
k ~ 0,
From 8.3.26 (3), we have S (n, k + i, l) = (n l) S (n, k, l) + +
nS (n - i, k, l). Since k < n - 1, in view of inductive hypothesis
S (n, k, I) = S (n - i, k, l) = 0, and hence S (11, k 1, l) = +
0. (5) Induction on 11. We have S (0, 0, l) = 1° = 1 = 0!. Let
s (n, n, l) = n! for a certain n ~ 0 and any l. Using (3) and (4)
of this problem, we obtain S (n 1, 11 +
1, l) = (n + 1 + l) X +
S (n + 1, n, l) + (n + 1) S (n, n, l) = (r1 + 1) S (11, 11, l) =
(n + 1)!. (6) Induction on k. In view of 8.3.26 (5), we have
S (n, n, l) = n! > 0 for all 11 and all l. Let S (11, k, l) > 0, for
a certain k > nand any 11 and l. Using 8.3.26 (3), we get S (n, k +
1, l) = (n + l) S (n, k, l) +
nS (n - 1, k, l) > 0. (7) This
follows from parts (1), (2) and (6) of this problem. (8) This follows
from (3) and (5). (9) This can be derived from 8.3.26 (3) and (4)
hv• induction on k .
00
O)t 11 "'
= 2J t 11 =t (1-t)-1. Further, in view of 8.3.26 (3) we have
11=1
S (n, k+ 1) = nS (n, k)+ nS (n-1, k) . .\fultiplying both sides of
this expression by and taking the sum over k, we obtain
th+l
On (t) (1-nt) = ntcr11 _ 1 (t). The statement can now be proved
by induction on n. (2) For n = 1, the right-hand sides of
formulas in (1) and (2) for crn coincide. If we prove that for
II
8.4.
' 8?4.1. (1) (0, 0, 0, 1). (2) (2, 1' 0, 0), (3) (0, 0, 2, o. 0, 0).
(..) (-, 0, 0, 0, 0, 1, 0, 0). 8.4.2. The transposition of the ele-
ments i andj will be denoted by (i, j). Then (2, 3, 4, 1) = (1, 2) X
382
fl b
TI
It=\
k It times. These reasons are independent. (2) By definition
)= JI et:p {t~;,rAJI.} =
"'~'
IT { ~ X~ bitt:l,r' bll (bl! n 1) The coeffic leltl of r" IS ef1 ua 1 to
k-l b~~t\
the ~;; um over -p~~ Lble 1wn 1W gall ve tn t(l g~t~ I 1 b1 ~ '.le lt
n I f
t hat b t + 2b2 + + l bn , of t crm ~ of UI e rornl 11 l:~c ~ (l 1 rA k} 1
h I
8.4 7 It should b~ not~d \hat a C:}~le n{ all ~'\tO [~n~t l\ ~~ 'n
odd permuta hon "lu ]~ -l f'l cleo ( r r n.n ud ](lnQ:t h 1-=i an (J\ ~n pt r
mu tat lOn Eac11 (l(itl p~rmu ta tton or the- t~ pl (61 blf} llJa ke!-~
to the ex press ton P 5 (1 1 t n) 1. ('ontrJ bulJ on t~ t
and to the elpres«Jon P s (tl --t (---f) ' t t ) a ccJn tr1
huh on t~ 1 t" Therefore the terms on the rJght h.and s1 de
of the equah t) to be proved \\ h~ch corre~pond tn ~11id pe-r1nuta tron.s
are ca nee11 ed out wh1} c the terms correspond 1ng to c" cn p(l'rzn u
tal \ons are dou hl-e:d B-est des '- t can oo
~a~rs. t y se-en that I l n ~ =
( Sn. l/2 == (nl)/2 Hence lol1o\l.s the .statement
8 4 8 (f) \Ve mw;t prove that the set (n ' o} \\ tth the tuurt
pl1cat1on operatton lorn•s a group that 1s
{1) thel'e ~xls'ls a un1t element
(2} rae b. element has t ts. ln verse
(3) the opera tLon 1s assoc1a tl vr
The unz t e]pm~nt J.s ohvu;u.s]y ttr> X aD v. lu~·re "lo (aq) 1' 1 nnl t
permutation tn the group G (r~~peet1ve}y1n tl1e group I}) Thr
Ln\~rse f lem~nl to n X q 1! a petrou.tat1on tt 1 ' a 1 "here n 1
and a 1 are the corre.s:pond1ng lnverse clemcn ts It r.cmn zns (() l r 1" e
I hat (n 1 ' o1' X ((JT~ '< o 2 ) '< (n, X o 3 }) ::::: ((.n 1 ' o 1) '< (!I~ "
0' 2 )) X (.tr., '< o3) Let us constder the actton oJ a pecmutaunn on
~ n '@' lem~n t v E X U Y \V 11hou t los' of genera {1ty we ca. n a o::.s\\ \n ~
that u E X Then (nl x ol) X ((n, X a'2l X (a 3 X cr3n v
:l:t (n 1n 3 ) u ((n 1 X at) '- (n 1 "'< a 2)J ' (11 3 )\ o~J l -- (lf 1 .ni) Jta
and the associa tl \ en~ss rolla\\ s from the fact that th(' Jou1tr p1u. a {Jon
ope-ra tton 1n the group G lS assocJa t1' r Thr! rdcr ~~ 1lt0 grOUJl 1~
-Gbvlously equal t.,. \ G ~ ~ If \ sult~ th~ rle:rntnls n and iJ f \ ht
permutatJon n A. a arc chosen Jndepen Jcntl\ and the tu per
muta t~ons n:1 \-.. u 1 and n:r '< a:! are ob" 1 lllsl\ d J Ucrent J ( .n 1
Ot 01 =/= 0 2 (2) J r 11 (r ) I~ the nUJUb~t lf C} clt.~ f length
n1 *f th(l
pE-Tn'lU t& t llm n 1(J) nn t hP ~e-t X ( n
t hl n t lu:~ n ':tlll) b~r { ( ' (" ~(J-8 1) f
length t o[ the Jlertnutatt.on .-,; X a LQ. tqual t(~ h +
c (~l \\ ~ h :t'
I ~ d (T1 I
Pax Jl I, I t 11 > ' G x II I ~ t\ ' t 11 = Ic r 1111
t€ i If
br (n)+c"(a) (Jt)
In
CHAPTER EIGHT 385
1
yk t zh, k = 1, 2, 3, 4. Therefore Pa U1• fz, fa, /~) = ;M ((x +
1nel ud u1g the e1emen t 1n to a certa Jn cycle For a .fi .1 ed perm uta t1on
of n -- 1 elements "1th It cycles., sueh an incluston can be carrJed
out Jn n - 1 n l) s (the element "' cannot be placed first sJnce n J s
th-e lnrgMt eleme-nt} II-ente 1t. IoUows that, P {n. k) = P {n - 1
k. -- t} - P (n.- t" k) {n.- t) l{ulllplyLng the e.quah.ty by t"'
and Ia 1t..J ng the sum over kt we obta1n the relat1on .P" (t) =
(t + n - 1) iPn-t (t) between the generattng functtons By JD·
duct ron tak1ng 1nto account the equal1ty P, (t) t we obta1n =
.Pn (t} == ~ (t + 1) (I+ n ~ t)
8.5.
the 1nequatny 15
"' i1=-2~t+
n (n 2+ i) .!J "3 t- (7) Putting an=
i~i
+
(2n.- l)UX V 3.n 1 (2n!r)-1 , prove that G~+ 1 fa~ < f Further, carry
out Inductton on n {8) N()te tbat t (2n- n < n"' for 1- <:: n (9) en~
01;:1
val,d \Ve e.ssume lba.l (! + «.)'~ > 1 +o.n fo-r all -1 and a
certain n;;;.: 1 Then (t + o;)n+t ==== (1 +a:) (1 +a:)»~ (1 +a:) (1 +
'a.
an)=-f+a {n+J)+" 1n ;> f+ce (n+f) (t1) Expa.od1ng both
s1des of the mequal1ty accord1Dg to Nev. tons hLnom1al theorem
"~ tompate the terms of the cxparunon Wlth the s.ama nuruhers
Besides in the latter expansion Wt' also have the (n+ 2)-th term
(n+ 1).!<n+1) > 0. Hence follows a strict inequality.
8.5.2. (i) We put ak = ( 2 k+
(n-k))
1
k/ (
n ) and ver1fy
·k . that
ak+ 1 fak < 1 for k ~ 1. Since a 1 = 1, it follows that the first
inequality holds. The second inequality follows from Prob-
lem 8.5.1 (9). (2) (n/k)k ~ (n)k/kl for 1 ~ k ~ n. The second
inequality can be obtained by using the ratio ak+ 1 /ak, where
ak= ( ~) kk (n-k) 11-kn-n. We have ak+IIak= (1+ (r~-k-
1)-l)ll-k-1 (1+ 1/k)-k. Since {1+ 1/m)m increases monotonically
with m (see Problem 8.5.1 (11)), a1a 1lak ~ 1 for k ~ (n -1)/2.
Considering that a 1 < 1, "e lind that the inequality ak < 1 is
valid for k ~ (n-1)/2. For k > n/2, the inequality follows from
symmetry considerations. (3) We prove the first inequality by
induction on n. For n= 1, the inequality holds. Assuming that
it is valid for a certain n ~ 1, we have
2(n+1)) = 2 2n+1
( n+i n+1
mfn)n+m (1
f
+ k/n)-n-k ~ kl nm-hek-m ( 1
ml
+ m)
n
n ( 1+ k
n
) -n X
25•
388 SOLUTIO'lS .ANSWERS A.~~ ltr'lTS
(1 +-i r 11
(I+ ! r"- ~~- nln-}1; Ia the J~t case .,e ban used
Then "'e can use St•rlmg s formula and the resul' of 8 5.2 (11
I
ss, <U rJ <1+1),.dt= n +t 1 u+t)"•lr-= 2""tl
I o n+ t.
- 1
n+ t
0
t 1 • n
Oo the otber band ~l(l+t)'"dt= ~ ~ ( : ) lJt.= h (:)X
0 0 Jl.-(1 ll~O
I n
k-t
=! 2B+ h
It should be noted tba\ 'txP{-2n:crwi}k}1 =land 1i+ exp{2.niv/k}l ==
2n:v 2nv n:v ( 1v ~v ) t
Ii+tos k +•s1n k
n\P
= 2 cos k cos k +1 sln k ~===
n:
.2 cos ,. · ~ 2 cos Hence
k k
Jl -1 2n i,.v 2n hi n
'\1'~1
8.5.5. (1) Yes, they are. The validity of the inequalities follows.
from the fact that
( ~ ) ak ~( ~ ) bh ~( ~ ) ch •
•
{2) No, they are not. A counterexample is a sequence {b~} such that
bk = 2 x 3-h for even k and bh= 3-k for odd k. Puttmg ~ = _i/3
and c = 2/3, we obtain 0 < ah ~ bh < ch < 1. However, m v1ew
of 8.1.20 (1),. we find that
,, Jl
~ ( -f)h ( ~ ) bk = ~ ( -i)h ( ~ ) ( ; r
h=O h=O
+ ~ ( ~~) ( ; rs =(1-1/3)1l
s
II
write ~ 1
• (
11
) > ~ k-3 ( n ) :::;;,: 1 _ x
h- 1.- k LJ k ,...... (n/2+ t ]I n)2
-I k: I h-n/21 <tVti
~ ( ~ ) ;> 4
-. (211 -211Jt3)- zn+2fn2. l\Ialori-
(n-4q/ n)·
lh-nf21<t '(;j'
300 '80Ll.1Tl0NS ANSWERS A.liD BIN'TS
Further, we have
In [( t-t t' -~ 2
( i+ ~ r/H~]=( ~ -z} In { 1- ~)
+(; +z}tn (t+ ~ }=( -;~-z) (- 2
: ~{ ( ~r~ )
+(~;·+z} ( :Z--~!-(·~ )2+
Further, we have
In ((1-zfan)an-x (1 +z/~n)l3n+x)
=(an-::) ( -::/a.n-x2/2a. 2n 2-x3/3a.3n 3- ... )
+ (~n + x) (x/~n- x2/2~2n2 + x3J3~3n3- ••. )
= x2/2n (i/a.+1/~) +O (x3jn2) = x2 (a+1)2/2an+o (1/n).
Finally, we obtain
But
~ ( ~) a~ ~ n ( :J a~•
.,">I\ (x:~}
where vt. =-== lk (.z 1} [ In. v tew of 8 5 1 (2) we hence obtaln
~ (:}a" ~ n (2nna) 1
J"' (1 +a)""' 1 exp { -.tV2}
~>Jl <x. )
=nl/ 1
(2.n:) 112 (l+a}'u·l exp {- ~ -~ Vln n-Zln n}
~ n- (2n:)-lf:l (1 + a)n""le -% / ~.
1 1 1
( •)
(2) The minorant follows from the solution of 8.5.8 (1). In order to
obtain the majorant, using inequalities (13) we find that
n) { i
(A. G (n, A.) exp 12n - 1
12A.n -
1
121-m + 360 (A.n) 3
1
+ 360 ~!-til ) 3 } •
~
h=>.n
(z) < ( ~J 2}
i=O
1
( ~ 1.. r = -=n-~-:-1 ( ~~~ ) •
(5) The inequality can he easily verified when (a) 1.. = 1/2
since ~ (~) 11
<2 = ( ;
11 2
' (; r r"' 2
; (b) l..n=n-1
h~n/2
n > 6 we. h&ve I ((n- Z)ln) -= v'i. -Z/n {t- 4Jn)-1 (4n)-1J1 <
{1 - 4(n.)-1 (4n)...1fl < t 1! )., <: 112.. than ~ :=:: t ....... l. > t/2
{6) S1nce { ~) = { n :k ), uslDg 8 58 (S) we obtanl
1\
~ G} = ~ {~} <~~pn~-An
0 ~.It~.,. ll:-prt
~-l ~-'
8 59 (1) tn)" = nil. fi (1 - Un) =- nl. up ~ ln {1-t/n},
j~o i~l
l- t t- t QO ~ ll.-1.
z
t~1
ln(i-i/n}=- ~ ~
i~1 ~::.!Li
-!-( ~ r=- h
\J~1
v!" ~
t~i
..v
(2) We have, an the one hand, {n.)" < nl. wh1eh 1s cbv1ous On.
the other hand, (n)t ~ n
l-1
i$"0
(n - i) > (n __. 1-}Jt == 11A(f - (k/n))k ~
~ kv+t ~ k
~ nY
"
~
( k
n
}~ ~ k (
n
k)m 1
t-kln
~ 0 ( !!m.:l )
nm
'\l~fQ \'~
H !ll[je we obta.1n the reqult-ed equa b t:y (4) U:se 8 5 9 {3) i: or m ":::I 3
8 5 10. (I) In trtew of S 1 t3 (6) and. 8 5 9 (t} we have
=exp{~
i=O
ln(1- n~i )}=exp {-~ ~ ~
i=O v=1
( n~i rl
k-1 k-1 k-1
= -n7(n":-_-;-k') ( 1 + 0 ( ~) ); In n-~+1 = ~ i
CJ
( k-1 \0'.
n I '
0'=1
k-1
1
'\l (n-i)-"= ((n-k+1)-v+ 1-n-"+ 1)+0((n-k)-") ·
LJ v-i
i=O
for v > 2. Therefore
00
(n-s)j(n)-ex
k k p
{-s"' 1
~ cr
(k-i)a-
n
s2k
2n (n-k)
0'=1
00
_ ~ s" ((n-k)-v+1_n-v+ 1)}
v(v-1)
v=O
sk s (k-1)2 - ..,,_...;s....:.2k:....·~
= e:tp {- n
-
2n2 2n (n-k)
cr n vn (n-k)v-i
0'=3 V=3 .
(2) It follo~s from S 5 t1 {i) {3) The maJorant IQllow:~ from the
A 1 - 1 t.:
tad <• 8 S H (t)) that II {t - n'__ ~ )~ {t~ ~ }"<e-n In
i-Q
order to obta1n the mtnorant \\e shall use the telatlOU
(see 8 5 1f (f))
clO
m 1
8 512 Hint f (k) lS the upper a .ad ~ f (k) the Jo"~er
Jil:--n
tn.
n 1
'V Ph-1-Ph ~ \' dx _ 1 (p~-fi-1).
t. Hence II=
.Ll apB """' J axB- a(~-1)
h=1 k-1 Pn
Pn~(1+a(~-1)n)1f1-fi, (•)
Further,
1 n
( 1-B 1)- \
1 Ph-1- Ph
a(~-1) Pn - - J apf •
Pn
the result 1nto the r1ght hand s1de of (•) we ohta1n the next appto:r
lmatlon provtd~ng the tequu:ed. a.t(.utacy (see. N G de BtuiJU Asym
ptot1c Methoos 1n An,alys1s North Holland. Amsterdam 1958}
9
(2) SinCe t-+ OQ, z ....... ao as well Therefore, e~ < I Ol wruch IS
the same ~ < ln. t Renee ~ =
t - (a. z- > t - ln. la. t and
co
a: > In t + In (i - ln In tit) = Jn t - ~ v 1 (ln ln tit)" = Jn I --
v~l
Q(i/3) { 1
an'""'- P' (1/3) 3
)-n-1 = - 4/9
2/3-4/3 3n+l= 2 X 311 ·
(2) an,..., ( - :
3
( ; r+ 1
) • The smaller (in magnitude) root
of the polynomial 6t 2 +5t-6 is 213, Using 8.5.17 (1), we obtain
8
the required result. (3) all ...., ( - 13 ( ; (4) a~ll = 0, r+l) .
a21l+l '""' ( -1) 11 211 +3 , (5) Hint. 6t~ -17 t 3 + 35t 2 - 221 +4 = 6 X
{t- ~)(t- ;)(t-1+il~'3)(t-1-il/3),an"" ~ 1 311 ,
(6) is 2
11
+1. (7) ( -~) (JI3-t)-1H . The roots of the. equation
2
t +2t-2=0 are }.. 1 = l/3-i and }.. 7 = -l'3-1. Representing
A (t) in the form
A (t)= at+b ,
(1-},1)2 T
400 ~or VTlO~ S ANSU ER q A ro.. D HfNTr;;
\\ ~ f1nd h) tlu~ 1nei hod o{ 1ndet tnn1 nate c oe {f~t 1~nt~ l h a\, a= 0 and
b-l us.ng 8 s 17 {l) v.e obtaJn
(8.} 6n ..... ( 10 "W1 _,_1 ( ~; } Tlu• ssn !!.U(! ~t m r(l ag m l ude root <1 f
(i 0
- r+~ ~:) (
011::1
Consequently an. decreases and has a lower bound Th1s me,ns that
there ex.1sts a IJmJt a == 1tm an As \\as sho\\n abnve thJs hmJt l'l
.,._ n-.~
J(n kt~ :.::::-- 2J1 +aziti: ~ 2" Jog. + -2Jor. Jor. n} ~ 21l+1fn
kl(l I) 11 (71
~\ (b) log 1 (n,-lerg n> > kf >log~ (n -log 1 n-1og:t log 2 :n} 'rh~n
2
J (n k,) ...., 2.11 +2~~'1 = zn (1 +22.~~-logt (ll lr.l!::s r.t)) f (11 ko 1)-
n. n '
.2n+1
= n.. Consequently g (n) ,.., I (n /t 0 ) Let {e) kd' ~ l()g~ (n -
n 2 .8'"' '~ ~
11
2
n
10
f (n tr,~ t) # 2~"~ l<a+t > f(n k~} Hence g (1'1)=
1
The Roman figures at the end of a reference i•
chapters of this book to which this entry applies.
26*
BtBLIOG.RA PHY
G 101
c 155 G* 111
c• 161 G<Jl
G$ H
165
103
c (H) 161 GX H 103
C (n, r) 248
A G nH 128
c (n, r), c~ 248, 249 G (n, A.) 283
csk 92, 94 G(r) (x(n) (t), q(r) (t - i)) 189
g (n, d) 161
:?n, :?n. m 137
D, G, F, L, S, R 213
D*, D' 119
DA, DA, B 177, 178 H6 276
D (G) ,..., 102
Hk, n 163
DA, B (;r3) 178 hii (x) 95
Dp (n) 141 h 2 (x, y, z) 57
D (xo, X1 1 • • • , xn) 242
d (C) 155
d0 (G) 104 ,....,
d (v) 101 /1t,(x11 ) 235
d+ (v), d- (v) 118 id (v) 118
.2) 34 ir en.
ir (n) 46
J 1 (x) 82
h (x) 82
•
406 NOTA. TIOl\ S
K 42 Pc {l ta tn} 277
Kn Knl n~ 103 104 P,.. 4tl
Kc Kpr rKkr 235 pe (X'l) 51
K1 $ " $ a;. K~ 35 p 82
Kpr r Klr r 239 p•l 92 94
Kp,r r 235 .241 P (n r}....- P (n r-) 24S
Kts~ t65
Jt p (G) p (n) 14t
34
L 63 Q(t) 227
L U) 48 -146 Q 212
L,., U) 145 Q• (p C} t5?
L~ (1) L" {J) 145 rv
l U) 48 Q (' l"&) t 16
lC (j) 44 tJt 212
q{r) (t} t89
~ (P\ ilZ.
z• (m) 173 tJ 0 {r) 189
.Zc (P) f66 qT (n) 243
a\ t9t
o. 03 191 i92
o, 193
o. 205
0 (v) 0 {v) 107
0 (~ (z)) o ('$ (.:l:)) 280
a 2oa
P~ (X"') 22
.......
P (z11 ) 35 38
NOTATION S 407
v (G)
,.., 276
l' (H) 161 v (a 11 } 10
vh (x, y) 83 v (xw} 179
nh. n-h (/) 23
,.., ,..,
--22
??
p (a, ~)
p (u, v)
10
118
"' Po (u, v) 12~
x8 174
x 24, 82
~ 148
x11 , x 0 , x 1 33
x· y (mod k) 83 ~"' 189
x + y (mod k) 83 aa 12
X (t} 174
""
X(~, y~'
,.., 174
,x(ll)(t) 189
,.,.,
u ann 10
ol rest (.r1 .r 2 ) 236
V K 34
i-1 l .sgn z sgn z 226 22.7
{Pim la]ff\ 2lo
&' n1 34
~ l }q
8 q:J 217
_EKt 41
k k
1 t ~
24 280
[MI 55 -.......... 2t6
(.il!l(') 201 '-'
r"'- 280
,w.:z: S2 < ~ 1t
{Vt V 2 X) 10~ EB tf 24
u i2
(a)n (.a)n h 271 n 12
{a} 179 1 & v ~ -+ I 24
n
(;) (,1 r, rtot
) .l49 _..
d a
a
4..\
{11-)r 249 dJ..l a \z.h ~ :~ %
ik
)
1l, 249
[7] 226
+
...,.
X 83
226
-83
UlLn max 83
[--::] 236 (== (- f-- 215
Subject Index
'
co m pl ex ity diagram
sto ra ge 2~3 ~foore 187 200 202!
tJme 243 d1 gr ap h 111
c:ompos1t1on 235 ad Ja ce nc y m at rix (ff 120
co nd en sa tJo n 119
t'O U) UD C\l .OD 24 33
Cl fC Ul lle s.s 121
in et de nc e matr1x of 120
monotontc 35 s1nk of ti 9
ec.nn-ec\t-vlty 1ndex 29 source of 119
constant (s} 82 str on g co m po ne nt
c-ont~-c.t(s)
of f t9
14 ' tra ns 1 t1 ve t 21
br ea k 144 tri-v1al t t 9
m al e i44. un1la tera1 component of { t 9
to nt ro llt ng davtce 212 dtsjunct1on 24 33
co re 43 d1stance Ha xn m tn g 10
cr lte tlo n dnf
CQ rtlp letene~s 1& co nt ra ct ed 4'2
Sa lo m aa s 94 m1n1mal 43
Sl up cc ky s 94 91 sh or te st 43
Yablonsky s 94 te rm in al 43
cu be
edge of 11
fa ce of 12 Edg~{~) \n~tdeut
dJ m en sio n of 12 1.01
element of un tt delay 197
d1 rrr tJo n of t2 e.quat.10n ta -n on lta l iS S
1n co m pa ra bl e to 1n sc al ar form 189
ra nk of 12 tn ~et.tor fo tm {B 9
1nterval of 20 eq ul va len ce (s) 24
dtmen~non of 20 ba ste 3t
k th st ra tu m of fO er ro r 156
n dun~ns1onal 10 e.xtlWitve su.m 2.4
UD il t0 4
vertex{1ces) of t 0
cu t 127
m1n•mal 127 Fa ee (s)
te rm in al t27 boundary of t t 1
CJ. c1e(~) 1t t 02 ext~rnal t t 1
edge of 21 Internal t t t
Ham1Jtonlan 104 f09I fo re st -103
le ng th of 1t 275 forcn(s)
l1nearly tn de pe nd en t 1t 1 con)unctl ve normal (c: n f )
:s1mple- 102 1l 8 34
CJ: cl1c Jndex 276 co m pl ex ity of
le ng th of 34
di SJ un ct l\e normal (d n f)
34
DecttdJng 156 complexJ.ty of 34
au th -e nt lt. \tY of \5 6 le ng th of 3~
de la )e d dependence 190 first 86
de l.e tlo n 191. se co nd 86
De ~forgan s law (s) (ru les ) 3 t formula(s}
83 co m pl ex ity ol 28
d1agram de pt h of 30
of ca no nu :a l decom}X)~l t.1an dua1 60
t2 5 fq U l\a lc nt 26
SUBJEC T INDEX 411
formula(s), function(s},
Euler, 111, 114 symme tric, 28
exclusi on, 259ff transit ion, 187, 213
inclusio n, 259ff univers al, 241
Stirling 's, 281 functio nal symbol s, 25
function(s}
Ackerm ann's, 239
asympt otically equal, 280 Godel numbe ring, 242
Boolean, !Off, 22f, 48, 51 143 graph(s ), 101ft
comple xity of, 145 ' balance d, 132
minimi zation of, 42ff biparti te, 103
monoto nic, 70, 150 comple te, 104
non-mo notonic , 70 Cartesi an produc t, 103
bounde dly determ inate (b.d.) centre of, 128
176 '
chroma tic numbe r of, 112
commu tatively equiva lent, edge, 112
37 comple ment of, 103
compon ent of, 34 comple te, 103
comput able, 218, 233ff comple tely disconn ected, 103
congru ent, 55 connec ted, 102
cyclic, 49
determ inate, (d-), 174 diamet er of, 102
bounde dly, 174f correct , 112
of displac ement 213 coverin g set of vertice s
disting uishabl e ' 176 (edges), 112
dual, 59 ' cyclom atic numbe r of 111
differe nt, 137 '
elemen tary, 23
equival ent, 17!i directe d, 117ff
essenti al, 94 empty, 103
expone ntial, 267 interse ction of, 128
~enerating, 265ff
isomor phic, 102
mdistin guishab le, 176 k-facto r of, 104
k-valued, 207 labelle d, '137
linear, 63, 89f matchi ng, 104
majorit y, 57 (n, m)-, 137
monotonic, 76 non-or iented, 101
generalized 74 null, 103
nonline ar, 54' numbe red, 137
nullary , 235 oriente d, 101, 117
output, 187, 213 planar, HO
partial, 213 topolog ical, 111
pa~tial numeri cal, 218, 235 plane, 111
pnme, 77 graph(s ),
recursiv e, 233ff radius of, 128
general , 235 regular , 104
partial, 235 self-co mplem entary 108
primiti ve, 235 241f thickne ss of, 111 '
selectio n, 235 ' triangu lation, 114
self-du al, 55 union of, 103
S_heffer's, 76, 78f group, 160
stmples t, 235 dimens ionalit y of, 160
specified, 226
successor, 235
superpo sition of, 233 Homeo morphi sm, 103 0
4f2 S U B J E C T 11\DEX
l d e n l fir..atton 19 t
l m p l t c a n t 42 m o d k d 1.ffere n e e 8
3
p r me 42 m o d k p r o d u c t 83
J m p l l c a t t o D 24 83 mod k s u m 8 3
t n e q u a l 1 t y Cheb}"sh m u l t t g r a p h 101
ev
I n t e r v a l o f func:tton s 282 d1rected t f 7
43 m u lt 1 s e t( s ) 248
m a x t m a l 43
t n t r o d u c t t o n o f fee d t flerent. 248
1somorphtsm 103 dback 1 9 2 d t s o r d e r e d 248
J l e r a t t o n 235 o r d e r e d 248
J o t n t den1al 8 3
N e g a t t o n 24
L u k a s t e \ \ I C.z. s 82
k. v a l u e d l o g l c 82f Post. s 8 2
t net work (.s) tOt.fl
f u n c t t o n ( s ) of 82
elementary 82 boundary of iz.i
canon1c.al decompos1
t25 1 1on o f
H t26
L a t t t c e 229 p 125
lemma I 126
Berns1de s 216 cba1n o f ! 2 7
on nonltnrartty of c o n n e c t e d 125
63
ru nctJon strongly !25
non net,...ork(s)
o n n o n monotonic (.On t a c t ! t b e m e o f
70
funct1on d e c o m p o s a b l e 125 144
on non-self dual fun I I 12.5
l e t l e r ( s ) 17 4 c t i o n 59 p 125
loop(s) t01 ' 125
e x t e r n a l 125
H f25
1nternal 125
r .l a p K a r n a u g h 4 6 k pole t 2 3
map~Ing t 6 graph of t23
match1ng 1somorph1c t 2 3
m a x 1 m u m to.. l e n g t h o f t2 7
p e r f e c t 104 .1t 126
matnx pol@ o f 144
ehecktng !61 series p a r a II e1 i 25
code-C i 6 0 superpos1t1on o f 12
v e r t e x of 5
generatsng ! 6 0
m e d J a n 57 e q u 1 v a l e n t 127
method I n t e r n a l 127
B l a k e s 43f m1n1mal 127
cascade !52 \\Jdth of 122
F a n o s 170 number
o f J n d e t e r m t n a t e coe edge c o v e r 1 n g t t 9
38 90 ffic1en ts of v e c t o r s iO
m l n l m t z .t n g c h a r t
46 vertex eovertng ! 1
v e r t e x tndepend.Pnce 2
tt2
•
Zero (0 ) fu nc t1 on 24
Unton of funct.Lons 193 zone com p uta t 10 na 1 proee1s
un ity (t ) fu.net\Otl 24 243
TO THE READER