Hasil Pencarian  ::  Simpan CSV :: Kembali

"Pengulangan dalam barisan DNA terjadi apabila terdapat sub untaian yang muncul lebih dari satu kali. Dalam pembentukan barisan DNA, terjadinya pengulangan dapat menghalangi pembentukan barisan yang unik. Banyaknya kemungkinan pembentukan barisan DNA bergantung pada pola pengulangan pada barisan DNA tersebut. Untuk setiap bentuk pengulangan DNA, banyaknya kemungkinan pembentukan barisan DNA dapat dihitung dengan bantuan digraf tereduksi dari digraf DNA. Sedangkan pola pengulangan barisan DNA dikarakterisasikan dengan menggunakan graf pola utama. Untuk barisan DNA dengan n pengulangan, bentuk pengulangan DNA yang dihasilkan dihitung sehingga akan menghasilkan k-cara pembentukan. Pada skripsi ini dibahas kemungkinan pembentukan barisan DNA dengan pengulangan menggunakan k-cara pembentukan, dengan 1 k 8."

"Salah satu permasalahan dalam genetika adalah pencarian barisan lengkap DNA dari potongan – potongan pendek barisan DNA yang diberikan. Metode yang dapat digunakan untuk masalah ini adalah metode Sequencing by Hybridization yang mencari barisan lengkap DNA dengan memodelkannya menjadi masalah pencarian lintasan Hamilton pada graf DNA. Graf DNA adalah graf yang dibentuk dari potongan – potongan pendek barisan DNA dengan aturan tertentu. Pencarian lintasan Hamiton pada suatu graf membutuhkan waktu eksponensial sehingga pencarian barisan lengkap DNA dengan lintasan Hamilton juga membutuhkan waktu eksponensial. Untuk mengurangi waktu komputasi menjadi polinomial, graf DNA diubah menjadi graf baru yang disebut graf asal. Hal ini mengakibatkan pencarian lintasan Hamilton pada graf DNA berubah menjadi pencarian lintasan Euler pada graf asal. Graf DNA yang dibentuk dari spektrum DNA termasuk line digraph, yaitu adjoint dari suatu graf asal yang tidak memiliki busur sejajar. Dalam skripsi ini akan dibahas karakteristik sifat – sifat dari line digraph yaitu hubungan antara line digraph dan graf asalnya, termasuk di dalamnya sifat ketetanggaan pada adjoint, serta dari pelabelan pada suatu graf. Dari sisi pelabelan, ditunjukan bahwa line digraph termasuk dalam kelas ∞ 2 L yang nantinya akan digunakan dalam pembentukan algoritma pengenalan line digraph yang sekaligus dapat digunakan untuk membentuk graf asal dari suatu line digraph."

"Pengklasteran clustering yang dilakukan dengan menggunakan metode graf disebut dengan pengklasteran graf graph clustering . Pengklasteran graf dengan memperhatikan bobot dapat diselesaikan dengan menggunakan pohon rentangan minimum. Salah satu algoritma yang dapat digunakan untuk menyelesaikan pengklasteran graf berbobot berdasarkan pohon rentangan minimum adalah algoritma maximum standard deviation reduction MSDR . Pada algoritma MSDR tidak perlu ditentukan banyaknya klaster yang terbentuk, karena terdapat perhitungan untuk menentukan banyak klaster secara otomatis. Namun dalam penelitian lanjutan algoritma MSDR cukup sulit dikerjakan karena sulitnya dalam menentukan nilai kandidat klaster terbaik, sehingga dilakukan modifikasi untuk menentukan nilai -nya. Modifikasi ini disebut dengan modifikasi MSDR MMSDR. Penelitian ini merupakan implementasi dari algoritma MMSDR pada masalah rute penerbangan di Indonesia yang disebut maskapai X, dengan menggunakan input matriks komplemen. Dengan menggunakan input matriks dari komplemen graf didapatkan pengklasteran berdasarkan jarak antar bandara. Penelitian ini juga menganalisis perubahan nilai epsilon dan perubahan matriks input. Hasil analisis menunjukkan bahwa perubahan nilai epsilon tidak mempengaruhi banyaknya klaster dan anggota klaster, sedangkan perubahan matriks input dapat mempengaruhi perbedaan anggota klaster.

---

Clustering is done by using graph method called graph clustering. Graph clustering with weights can be solved by using a minimum spanning tree. One of the algorithms that can be used to complete a weighted graph clustering based on a minimum spanning tree is the maximum standard deviation reduction MSDR algorithm. In the MSDR algorithm there is no need to determine the number of clusters that are formed, because there are calculaions to determine many clusters automically. However, in advanced research MSDR algorithm is quite difficult to do because of the difficulty in determining the value of best cluster candidates, so modifications are made to determine the value of. This modification is called the modification MSDR MMSDR. This research is an implementation of MMSDR algorithm on flight route problem in Indonesia called airline X, by using input complement matrix. Using the matrix input from the complement graph obtained clustering based on the distance between airports. This research also analyzed changes in epsilon value and changes in input matrix. The results of the analysis show that the change in epsilon value does not affect the number of clusters and clusters members, whereas the change in input matrix may affect the cluster members."

"Misalkan G adalah graf dengan himpunan simpul tak-kosong V dan himpunan busur E, dimana [V(G)] dan [E(G)] masing-masing menyatakan banyak simpul dan busur pada G. Pelabelan harmonis dari graf adalah suatu pemetaan dengan menginduksi pelabelan pada himpunan busur didefinisikan sebagai pemetaan , untuk setiap busur . Jika adalah graf pohon maka tepat satu label simpul berulang atau label simpul dapat dilabelkan dengan menggunakan . Dalam skripsi ini diberikan algoritma untuk menghasilkan semua pelabelan harmonis yang tidak isomorfik pada graf lintasan Pn, graf lingkaran Cn dan graf lobster teratur Ln,r,1 untuk nilai n dan r (untuk graf lobster teratur) yang diberikan. Algoritma-algoritma ini kemudian diimplementasikan dalam program. Diberikan juga simulasi banyak pelabelan harmonis yang mungkin dan tidak isomorfik sampai nilai n tertentu."

"Misalkan G= V,E adalah suatu graf dengan V adalah himpunan simpul dan E adalah himpunan busur. Pewarnaan busur sejati dari sebuah graf G merupakan pemberian warna pada busur-busur di G, satu warna untuk masing-masing busur, dan untuk setiap dua busur bertetangga diberikan warna yang berbeda. Pewarnaan busur optimal merupakan pewarnaan busur sejati dengan menggunakan warna sebanyak bilangan kromatik busur graf. Pada graf yang diwarnai busurnya dapat diperoleh lintasan pelangi atau lingkaran pelangi, yaitu lintasan atau lingkaran dengan seluruh busurnya memiliki warna yang berbeda. Skripsi ini meneliti bagaimana aturan pewarnaan busur optimal diberikan pada graf kipas dan graf roda sehingga diperoleh lingkaran pelangi dengan panjang 3 sampai dengan n.

---

Let G V,E be a graph with V is a set of vertices and E is a set of edges. A proper edge coloring of graph is assignment of colors to the edges of G, one color to each edge, and for two adjacent edges given different colors. An optimal edge coloring is proper edge coloring that use number of color as many as graph s edge chromatic number. On edge colored graph can be obtained rainbow path or rainbow cycle, that is path or cycle whose all edges have different colors. This undergraduate thesis provide optimal edge coloring rules that can be given to fan graph and wheel graph such that there will be rainbow cycles with length 3 up to n."

"Suatu graf yang memiliki pelabelan harmonis ganjil disebut graf harmonis ganjil. Graf sederhana ( ) dikatakan sebagai graf-( ) jika mempunyai simpul dan busur. Banyaknya simpul dari graf disebut order dinotasikan oleh | | dan banyaknya busur dari graf disebut ukuran dinotasikan oleh | |. Graf-( ) dikatakan graf harmonis ganjil jika terdapat fungsi injektif * +, sedemikian sehingga menginduksi fungsi ( ) ( ) ( ) yang bijektif dari ke * + Fungsi dikatakan pelabelan harmonis ganjil dari graf Pada tesis ini dikonstruksi pelabelan harmonis ganjil pada graf gear dengan pendant teratur ( ) untuk genap dan graf shuriken untuk dan graf jaring ( ) untuk dan.

---

A graph which admits an odd harmonious labeling is called odd harmonious graph. Simple graph ( ) is said to be a ( )- graph if it has vertices and edges. The number of vertices of graph is called order denoted by | | and the number of edges of G graph is called size denoted by | |. A ( )-graph is said to be odd harmonious if there exists an injection * +, such that induced mapping ( ) ( ) ( ) is a bijection from onto * + Function is said odd harmonious labeling of a graph This thesis contain the construction of odd harmonious labeling on gear with regular pendant graphs ( ) for even numbers and , shuriken graphs for , and net graphs ( ) for .and "

"Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai bentuk formalisasi teori. Eksperimen ketiga menghasilkan struktur data untuk teori graph dan sebuah definisi dari teori graph. Eksperimen keempat menjelaskan beberapa contoh pembuktian menggunakan Taktik yang membantu terbentuknya formalisasi teori graph. Eksperimen kelima dan keenam memaparkan hal-hal yang perlu diperhatikan dari definisi-definisi dan teorema informal dari teori graph. Hasil dari penelitian ini adalah formalisasi dari sebagian teori graph yang dinyatakan dalam 21 definisi penting, 6 definisi umum, 28 definisi bantuan, 3 definisi tanggung, dan 1 teorema. Selain itu, dihasilkan juga pedoman pembuktian menggunakan Taktik dalam sistem HOL.This preliminary research has a goal to produce a formalization of part of graph theory. Graph has been known widely and has many applications. However, a formalization of graph theory has not been implemented in HOL system?s library. This work begins with studying literature about HOL system, then continued with several experiments. There are six experiments. The first experiment is using HOL?s library. The second experiment is formalization on GCD theory, which then elaborates the basic form of formalization. The third experiment produces data structures for graph theory and one definition of graph theory. The fourth experiment describes several proofing examples using Tactic that help make a formalization on graph theory. The fifth and sixth experiments explain things to note from the informal definitions and theorems of graph theory. The result from this research is a formalization of part of graph theory that stated in 21 important definitions, 6 general definitions, 28 helper definitions, 3 pseudo definitions, and 1 theorems. In addition, proofing guidance using Tactic in HOL system also be produced."