Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book is about graph energy. The authors have included many of the important results on graph energy, such as the complete solution to the conjecture on maximal energy of unicyclic graphs, the Wagner-Heuberger’s result on the energy of trees, the energy of random graphs or the approach to energy using singular values. It contains an extensive coverage of recent results and a gradual development of topics and the inclusion of complete proofs from most of the important recent results in the area. "

"Graf G adalah pasangan terurut himpunan (V,E), dimana V merupakan himpunan simpul dari graf G dan E merupakan himpunan busur dari graf G. Pelabelan-k total takteratur φ:V(G)∪E(G)→{1,2,…,k} dari graf G=(V,E) adalah pelabelan dari simpul dan busur dari G sedemikian sehingga untuk setiap busur xy dan x'y' bobot φ(x)+φ(xy)+φ(y) dan φ(x^' )+φ(x^' y^' )+φ(y^' ) berbeda. tes(G) adalah nilai minimum dari k sedemikian sehingga graf G mempunyai pelabelan-k total takteratur. Pada skripsi ini akan dipaparkan hasil kajian literatur pelabelan total takteratur busur pada beberapa kelas graf yang mengandung lingkaran yaitu graf lengkap, graf bipartit lengkap, dan graf produk dari dua lingkaran

---

Graph G is a pair of distinct set (V,E), where V is a vertex set from graph G and E is a edge set from graph G. A total edge irregular k-labelling φ:V(G) ∪E(G)→{1,2,…,k} from graph G=(V,E) is a vertex and edge labelling such as for all edge xy and x'y' weight φ(x)+φ(xy)+φ(y) and φ(x^' )+φ(x^' y^' )+φ(y^') are different. The minimum k for which the graph G has an edge irregular total k-labelling is called the total edge irregularity strength of G aalso called tes(G). In this research, author will show result literature study on edge irregular total k-labelling from some classes graph that is complete graph, complete bipartite graph, and product of two cycle."

"Suatu graf G = (V,E) terdiri dari himpunan simpul V dan himpunan busur E.Pelabelan-k busur f : E(G) ! {1, 2, ..., k}, k 2 Z+, sedemikian sehingga semua bobotsimpul graf berbeda disebut pelabelan tak teratur. Bobot simpul u, dinotasikan denganwf (u), merupakan jumlah seluruh label busur yang hadir pada simpul u denganwf (u) = ⌃uv2E(G)f(uv). Kekuatan tak teratur yang dinotasikan dengan s(G)merupakan nilai minimum k sedemikian sehingga graf G memiliki pelabelan tak teraturdengan maksimum k label. Sedangkan, pelabelan-k busur f : E(G) ! {1, 2, .., k}dengan k 2 Z+ dikatakan pelabelan tak teratur modular graf G apabila terdapat fungsibobot bijektif wf (u) : V (G) ! Zn dengan wf (u) = ⌃f(uv). Zn adalah grup bilanganbulat modulo n. Nilai minimum k agar graf G mempunyai pelabelan tak teratur modulardengan maksimum k label disebut kekuatan tak teratur modular, dinotasikan denganms(G). Graf middle dari graf lingkaran dinotasikan dengan M(Cn) dan dibangun darisebuah graf lingkaran dengan tambahan simpul bertetangga. Penelitian ini menentukankonstruksi pelabelan tak teratur modular pada graf middle dari graf lingkaran danmenentukan kekuatan tak teratur modularnya.

---

Let a graph G = (V,E) consists of vertex set V and edge set E. An edge klabeling f : E(G) ! {1, 2, ..., k}, k 2 Z+, such that every weights of the vertices are all different is called irregular labeling of a graph G. The weight of vertex u, denoted by wf (u), is the sum of all vertices adjacent to u, with wf (u) = P uv2E(G) f(uv). Irregularity strength denoted by s(G) is the minimum number k such that a graph G has irregular labeling with largest label k. Otherwise, an edge klabelling f : E(G) ! {1, 2, ..., k} with k 2 Z+ is called modular irregular labeling of a graph G if there exists a bijective weight function wf (u) : V (G) ! Zn with wf (u) = Pf(uv). Zn is a group of modulo n. The minimum number k such that a graph G has modular irregular labeling with largest label k is called modular irregularity strength of G, denoted by ms(G). Middle graph of cycle graphs is denoted by M(Cn) and is constructed by a cycle graph with additional adjacent vertices. This research constructs the modular irregular labeling for middle graph of cycle graphs and calculates the modular irregularity strength."

"Suatu graf G=(V,E) terdiri dari himpunan simpul hingga tak kosong V(G) dan himpunan busur hingga E(G). Pelabelan total antiajaib lokal pada graf G didefinisikan sebagai bijeksi f:V(G)UE(G)->{1,2,...,|V(G)|+|E(G)|} sedemikian sehingga untuk semua simpul u dan v bertetanggan berlaku w_t(u)=/w_t(v), dengan w_t(u)=f(u)+sum_(e in E(u))(f(e)) adalah bobot simpul u, dan E(u) adalah himpunan busur yang hadir pada simpul u. Pada pelabelan total antiajaib lokal pada graf G, tiap bobot simpul w_t(u) yang berbeda dianggap sebagai warna yang berbeda, sehingga pelabelan total antiajaib lokal pada graf G menginduksi pewarnaan simpul pada graf G, dengan banyaknya minimum warna yang digunakan atau Bilangan kromatiknya dinotasikan oleh chi_(lat)(G). Graf barbel roda BW_n, dengan n>=3, didefinisikan sebagai graf yang memiliki dua subgraf roda W_n yang dihubungkan oleh satu busur pada masing-masing simpul pusatnya. Penelitian ini dilakukan dengan tujuan untuk mengonstruksi pelabelan total antiajaib lokal pada graf barbel roda BW_n untuk menentukan Bilangan kromatik total antiajaib lokalnya.

---

A graph G=(V,E) consists of finite nonempty vertices set V(G) and finite edges set E(G). A local antimagic total labeling on graph G defined as a bijective mapping f:V(G)UE(G)->{1,2,...,|V(G)|+|E(G)|} such as for all two adjacent vertices u and v applies w_t(u)=/w_t(v), where w_t(u)=f(u)+sum_(e in E(u))(f(e)) is a weight of vertex u, and E(u) is a set of adjacent edges on vertex u. Each distinct vertex weights in local antimagic total labeling are considered as distinct colors, so that local antimagic total labeling on graph G induces vertex coloring on graph G, with minimum numbers of colors or its chromatic number is denoted as chi_(lat)(G). Barbell wheel graph BW_n, with n>=3, is defined as a graph with two wheel-subgraphs W_n that are connected by one edge at each center vertex. This research was conducted to construct local antimagic total labeling on barbell wheel graph BW_n to determine its local antimagic total chromatic number."

"Suatu graf D dikatakan sebagai graf berarah jika memuat suatu himpunan berhingga dan tidak kosong dari simpul simpul yang dinotasikan sebagai V D dan suatu himpunan berhingga dari busur busur berarah pada graf D yang dinotasikan sebagai A D Graf lingkaran berarah adalah graf berarah dimana dan Suatu tali busur adalah busur berarah yang menghubungkan dua simpul tidak bertetangga pada graf lingkaran berarah Letak dan arah tali busur pada graf lingkaran berarah mempengaruhi graf lingkaran dengan dua tali busur yang terbentuk Line digraph L D dari graf berarah D adalah graf berarah yang dibentuk dari graf D dengan mengikuti suaran tertentu. Letak tali busur pada graf lingkaran berarah mempengaruhi bentuk line digraph dari lingkaran berarah. Pada tugas akhir ini akan dibahas sifat sifat line digraph subgraf lingkaran bipartit dan diameter pada graf lingkaran berarah yang memiliki dua tali busur.

---

A graph is said a directed graph if it consists of a non empty and finite set of vertices which denoted by and a finite set of arcs which is denoted by A dicycle graph is a directed graph where and A chord is an arc which connects two non adjacent vertices in the dicycle graph. The position and orientation of the chords will influence the dicycle with two chords which is constructed. Line digraph of a directed graph is a directed graph formed from with particular rule. Position of a chord in a dicycle graph will affect its line digraph In this skripsi it is discussed the properties dicycle subgraph bipartite and diameter of the line digraph of a dicycle graph with two chords."

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