digilib@itb.ac.id +62 812 2508 8800

Desain kombinatorial adalah salah satu objek yang penting dalam kombinatorika. Desain ini dapat dipandang sebagai suatu aproksimasi dari bola diskrit Sk dari semua k-subhimpunan oleh koleksi sub-koleksi X di Sk. Dari sana, Delsarte, Goethals dan Seidel memperkenalkan konsep yang serupa berkenaan dengan desain untuk untuk bola (yang kontinu) dengan mendefinisikan spherical t-desain. Masalah utama dalam spherical t-design adalah mengenai bagaimana cara untuk memberikan konstruksi desain yang eksplisit. Konstruksi spherical design dapat direduksi dengan mengkonstruksi interval design. Pada penelitian ini, beberapa teorema diajukan untuk memberikan semacam kondisi cukup bagi suatu himpunan titik untuk membentuk spherical 3-, 5-, dan 7- design di ruang Euclid untuk sebarang dimensi juga menunjukkan kondisi perlu dari eksistensi himpunan Kuperberg untuk membentuk interval t-design dengan derajat dan dimensi tertentu. Perumuman untuk strength ganjil pun dibahas, yakni konstruksi spherical (2t +1)-design pada bola satuan Sd-1 untuk beberapa nilai s dan d. Secara umum, metode konstruksi yang digunakan adalah dengan memperluas himpunan Kuperberg dengan menambahkan sejumlah titik dan dengan mengevaluasi polinom peubah banyak yang dihasilkan dengan menggunakan Teorema Sturm. Pembahasan mengenai Euclidean t-design juga ditinjau di bab terakhir sebagai pengantar untuk perumuman spherical t-design pada sejumlah berhingga bola.