Designs Combinatrios  Exerccios

Folha 1

1. Mostre que existe um design combinatrio sobre o conjunto X =

{0, 1, 2, 3, 4, 5, 6, 7, 8} consistindo em 12 3-subconjuntos com a propriedade de que quaisquer dois elementos distintos de X ocorrem juntos em
exactamente um dos 3-subconjuntos. Mostre que este design nico a
menos de isomorsmo.
2. Um design combinatrio consiste numa famlia de 2-subconjuntos e
3-subconjuntos do conjunto X = {0, 1, 2, 3, 4, 5} com as seguintes propriedades:
Quaisquer dois elementos distintos de X ocorrem juntos em exac-

tamente um dos subconjuntos.

H pelo menos trs 3-subconjuntos.

Mostre que:
(a) no h dois 3-subconjuntos disjuntos;
(b) o nmero de 3-subconjuntos 3 ou 4;
(c) existem dois designs no isomorfos nestas condies, um com trs
3-subconjuntos e um com quatro 3-subconjuntos.
3. Um clube de tnis tem 20 membros. Os membros marcam 14 partidas
de 2 jogadores entre eles, com cada membro participando em pelo
menos uma partida. Mostre que so marcados seis jogos disjuntos
(isto , sem que quaisquer dois tenham um jogador em comum), mas
no so marcados sete jogos disjuntos.
4. Um design combinatrio sobre X = {0, 1, 2, 3, 4, 5, 6} constitudo
por 3-subconjuntos de modo que cada elemento de X ocorre em exactamente 3 dos subconjuntos e cada par de elementos distintos de X
ocorre conjuntamente em exactamente um subconjunto. Mostre que a
interseco de dois quaisquer subconjuntos distintos tem exactamente
um elemento.
5. Mostre que o parmetro de uma um-factorizao par.
6. Construa uma um-factorizao do conjunto:
1

(a) {1, 2, 3, 4};

(b) {1, 2, 3, 4, 5, 6}.
7. Mostre que existem exactamente dois quadrados latinos de ordem 3
cuja primeira linha

1 3 2

8. Construa um quadrado latino de ordem 4.

9. Quantos grafos distintos existem com conjunto de vrtices {1, 2, 3}?
Quantas classes de isomorsmo destes grafos existem? [Nota: Dois
grafos G e H dizem-se isomorfos se existir uma bijeco do conjunto
de vrtices de G para o conjunto de vrtices de H tal que {x, y} uma
aresta de G se e s se {(x), (y)} uma aresta de H .]
10. Qual o menor valor de n tal que existem dois grafos no isomorfos
com n vrtices e o mesmo nmero de arestas?
11. Mostre que existem exactamente trs designs regulares no isomorfos
com v = 4, b = 6, r = 3 e k = 2.
12. Mostre que existe um (7, 7, 4, 4, 2)-design que nico a menos de isomorsmo.
13. Mostre que todo o (6, 10, 5, 3, 2)-design simples.
14. Encontre um (7, 14, 6, 3, 2)-design que no seja simples.
15. Mostre que existe um (7, 7, 3, 3, 1)-design cujos blocos incluem 124, 235
e 347. Determine os seus outros blocos e a sua matriz de incidncia.
16. Um BIBD tem oito tratamentos e blocos de tamanho 4. Mostre que o
design tem pelo menos 14 blocos.
17. Um design construdo do seguinte modo. Os nomes dos 16 tratamentos so escritos numa grelha 44. H 16 blocos; para formar um bloco,
escolhe-se uma linha e uma coluna da grelha, sendo o bloco constitudo
por todos os tratamentos dessa linha e dessa coluna, excepo do tratamento comum linha e coluna. Mostre que este design um BIBD.
Quais so os seus parmetros?
18. Em cada linha da tabela seguinte, preencha os espaos de modo a que
os parmetros sejam parmetros possveis de um BIBD, ou mostre que
tal no possivel:

35
14

21 28
17
21 30
17

6
4
13
8

3
4

1
2

6
3
5
7
7

19. Suponha que um BIBD satisfaz v = b e mpar. Mostre que v no

par.
20. Existem SRD's para os seguintes blocos?
(a) 12, 145, 12, 123;
(b) 12, 145, 12, 13, 23.
21. Mostre que os blocos 123, 124, 134, 235, 246, 1256, tm precisamente
17 SRD's.
22. Determine o nmero de SRD's dos seguintes conjuntos de blocos:
(a) 123, 234, 345, 451, 512;
(b) 123, 124, 125, 345, 345;
(c) 123, 124, 135, 245, 345.
23. Seja D um design com b blocos que tem um SRD e suponha que cada
um dos blocos tem pelo menos t elementos. Mostre que, se t b, ento
D tem pelo menos t! SRD's.
24. Para cada i, seja Si um conjunto com i + 1 elementos. Mostre que
{S1 , . . . , Sn } tem pelo menos 2n SRD's. Determine uma famlia de
conjuntos nestas condies que tenha precisamente 2n SRD's.
25. Sejam S e T conjuntos com o mesmo nmero n de elementos e seja P
um subconjunto de S T . Dena-se, dados s S e t T ,
A(s) = {t T : (s, t) P },
B(t) = {s S : (s, t) P }.

Mostre que so equivalentes as duas condies seguintes:

(i) Para
cada k-subconjunto X de S , com 1 k n, o conjunto
S
sX A(s) tem pelo menos k elementos.
(ii) Para
cada k-subconjunto Y de T , com 1 k n, o conjunto
S
tY B(t) tem pelo menos k elementos.
3