Hasil Pencarian  ::  Simpan CSV :: Kembali

"ABSTRAKDiberikan graph planar ortogonal dengan derajat simpulnya 4, mempunyai belokan pada rusuknya dari tidak ada rusuk yang saling berpotongan. Dalam tulisan inti dibahas bagaimana mendapatkan graph planar ortogonal dengan jumlah belokan minimum dari disajikan dalam petak ortogonal. Graph planar ortogonal dengan jumlah belokan minimum yang disajikan dalam petak ortogonal dari graph planar ortogonal asal isomorfis."

"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."

"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 "

"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= 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."