Lihat sumber Algoritma tamak

[[Berkas:Greedy_algorithm_36_cents.svg|ka|jmpl|280x280px| Algoritma tamak menentukan jumlah minimum koin yang akan diberikan saat memberikan kembalian. Ini adalah langkah-langkah yang dilakukan kebanyakan orang untuk meniru algoritma tamak untuk mewakili 36 sen hanya menggunakan koin dengan nilai {1, 5, 10, 20}. Koin dengan nilai tertinggi, lebih kecil dari sisa uang kembalian, adalah optimal setempat. (Secara umum, [[masalah pengambilan kembalian]] memerlukan [[pemrograman dinamis]] untuk menemukan solusi optimal. Namun, sebagian besar sistem mata uang merupakan kasus khusus dengan strategi tamak dapat berhasil menemukan solusi optimal).]]
'''Algoritma tamak''' atau dalam bahasa Inggris '''''greedy algorithm''''' adalah [[algoritma]] apa pun yang mengikuti metode [[Heuristik (Ilmu komputer)|heuristik]] dalam pemecahan masalah untuk membuat pilihan optimal secara setempat di setiap tahap.<ref name="NISTg">{{Cite web|last=Black|first=Paul E.|date=2 February 2005|title=greedy algorithm|url=http://xlinux.nist.gov/dads//HTML/greedyalgo.html|website=Dictionary of Algorithms and Data Structures|publisher=[[National Institute of Standards and Technology|U.S. National Institute of Standards and Technology]] (NIST)|access-date=17 August 2012}}</ref> Dalam banyak permasalahan, strategi tamak tidak menghasilkan solusi optimal, tetapi suatu heuristik tamak dapat menghasilkan solusi optimal lokal yang mendekati solusi optimal global dalam jangka waktu yang wajar.

Misalnya, strategi tamak untuk [[Permasalahan Penjual Keliling|masalah penjual keliling]] (yang memiliki kerumitan komputasi tinggi) adalah heuristik berikut: "Pada setiap langkah perjalanan, kunjungi kota terdekat yang belum dikunjungi." [[Heuristika|Heuristik]] ini tidak bertujuan untuk menemukan solusi terbaik, tetapi ia berakhir dalam sejumlah langkah yang wajar. Yang mana menemukan solusi optimal untuk masalah yang kompleks biasanya memerlukan banyak langkah yang tak masuk akal. Dalam optimasi matematis, algoritma tamak secara optimal dapat menyelesaikan masalah kombinatorial yang memiliki sifat [[matroid]] dan memberikan hampiran faktor konstan untuk masalah optimasi dengan struktur submodular.

== Spesifik ==
Algoritme tamak menghasilkan solusi yang baik pada beberapa [[persoalan matematis|masalah matematis]], tetapi tidak pada masalah lainnya. Sebagian besar masalah yang algoritma ''greedy'' kerjakan memiliki dua properti:

; Properti pemilihan tamak
: Kita dapat membuat pilihan apa pun yang tampaknya terbaik saat ini dan kemudian menyelesaikan sub-masalah yang muncul kemudian. Pilihan yang dibuat oleh algoritma tamak mungkin bergantung pada pilihan yang dibuat sejauh ini, tetapi tidak pada pilihan masa depan atau semua solusi terhadap submasalah. Ini secara berulang-ulang membuat pilihan tamak satu demi satu, mengurangi setiap masalah menjadi masalah yang lebih kecil. Dengan kata lain, algoritma tamak tidak pernah mempertimbangkan kembali pilihannya. Inilah perbedaan utamanya dengan [[pemrograman dinamis]] yang bersifat menyeluruh dan menjamin untuk menemukan solusinya. Setelah setiap tahap selesai, pemrograman dinamis membuat keputusan berdasarkan semua keputusan yang dibuat pada tahap sebelumnya dan dapat mempertimbangkan kembali jalur algoritmik tahap sebelumnya menuju solusi.
; Substruktur optimal
: “Suatu masalah menunjukkan [[substruktur optimal]] jika solusi optimal terhadap masalah tersebut mengandung solusi optimal terhadap sub-masalah.” <ref>{{Harvard citation no brackets|Cormen|Leiserson|Rivest|Stein|2001}}</ref>

=== Kasus kegagalan ===
{{Multiple image
| align             = 
| direction         = vertical
| width             = 300
| header            = Contoh kejadian tentang bagaimana algoritma tamak dapat gagal mencapai solusi optimal.
| image1            = Greedy Glouton.svg
| alt1              = 
| caption1          = Dimulai dari A, algoritma tamak yang mencoba menemukan nilai maksimum dengan mengikuti kemiringan terbesar akan menemukan maksimum lokal di "m", tanpa menyadari maksimum global di "M".
| image2            = Greedy-search-path-example.gif
| alt2              = 
| caption2          = Untuk mencapai nilai terbesar, pada setiap langkah, algoritma tamak akan memilih apa yang tampak sebagai pilihan langsung yang optimal, sehingga ia akan memilih 12 dan bukannya 3 pada langkah kedua, dan tidak akan mencapai solusi terbaik, yaitu 99.
}}
Algoritme tamak gagal menghasilkan solusi optimal untuk banyak masalah lain dan bahkan mungkin menghasilkan solusi ''unik yang paling buruk'' . Salah satu contohnya adalah [[Permasalahan Penjual Keliling|masalah travelling salesman]] yang disebutkan di atas: untuk setiap jumlah kota, terdapat penetapan jarak antar kota dimana heuristik tetangga terdekat menghasilkan tur terburuk yang mungkin terjadi.<ref>{{Cite journal|last=Gutin|first=Gregory|last2=Yeo|first2=Anders|last3=Zverovich|first3=Alexey|year=2002|title=Traveling salesman should not be greedy: Domination analysis of greedy-type heuristics for the TSP|journal=Discrete Applied Mathematics|volume=117|issue=1–3|pages=81–86|doi=10.1016/S0166-218X(01)00195-0}}</ref> Untuk kemungkinan contoh lainnya, lihat [[efek cakrawala]].

== Jenis ==
{{Tambah referensi bagian|date=June 2018}}
Algoritme tamak dapat dikategorikan sebagai algoritma yang 'berpandangan sempit', dan juga 'tidak dapat dipulihkan'. Algoritma ini hanya ideal untuk permasalahan yang memiliki 'substruktur optimal'. Meskipun demikian, untuk banyak masalah sederhana, algoritma yang paling cocok adalah algoritma tamak. Namun, penting untuk dicatat bahwa algoritma tamak dapat digunakan sebagai algoritma seleksi untuk mengutamakan pilihan dalam pencarian, atau algoritma cabang-daan-batas. Ada beberapa variasi pada algoritma tamak:

* Algoritma tamak murni
* Algoritma tamak ortogonal
* Algoritme tamak santai

== Teori ==
Algoritma tamak memiliki sejarah panjang dalam studi [[optimasi kombinatorial]] dan [[ilmu komputer teoretis]]. Heuristik tamak diketahui memberikan hasil yang kurang optimal pada banyak masalah,<ref>{{Harvard citation no brackets|Feige|1998}}</ref> sehingga pertanyaan yang wajar adalah:

* Untuk masalah apa algoritma tamak bekerja secara optimal?
* Untuk masalah manakah algoritma tamak menjamin solusi yang sekiranya optimal?
* Untuk permasalahan manakah algoritma tamak dijamin ''tidak'' akan menghasilkan solusi optimal?

Sejumlah besar sastra menjawab pertanyaan-pertanyaan ini untuk kelas masalah umum, seperti [[matroid]], serta untuk masalah khusus, seperti <nowiki><i>set cover</i></nowiki>.

=== Matroid ===
{{Main|Matroid}}
[[Matroid]] adalah struktur matematika yang menggeneralisasi konsep [[Kebebasan linear|independensi linier]] dari [[ruang vektor]] ke himpunan sembarang. Jika suatu masalah optimasi mempunyai struktur matroid, maka algoritma tamak yang sesuai akan dapat menyelesaikannya secara optimal.<ref>{{Harvard citation no brackets|Papadimitriou|Steiglitz|1998}}</ref>

=== Fungsi submodular ===
{{Main|Fungsi himpunan submodular#Fungsi optimasi}}
Sebuah fungsi <math>f</math> didefinisikan pada [[himpunan bagian]] dari suatu himpunan <math>\Omega</math> disebut [[submodular]], jika untuk setiap <math>S, T \subseteq \Omega</math> kita mempunyai<math>f(S)+f(T)\geq f(S\cup T)+f(S\cap T)</math>.

Misalkan seseorang ingin mencari sebuah himpunan <math>S</math> yang memaksimalkan <math>f</math>. Algoritma tamak, yang membangun satu himpunan <math>S</math> dengan menambahkan elemen secara bertahap yang meningkatkan <math>f</math> paling banyak pada setiap langkah, menghasilkan keluaran sebuah himpunan yang paling sedikit <math>(1 - 1/e) \max_{X \subseteq \Omega} f(X)</math>.<ref>{{Harvard citation no brackets|Nemhauser|Wolsey|Fisher|1978}}</ref> Artinya, ''ketamakan'' bermain dalam faktor konstan <math>(1 - 1/e) \approx 0.63</math> sama baiknya dengan solusi optimal.

Jaminan serupa dapat dibuktikan ketika kendala tambahan, seperti batasan kardinalitas, <ref>{{Harvard citation no brackets|Buchbinder|Feldman|Naor|Schwartz|2014}}</ref> diterapkan pada keluaran. Meskipun sering kali diperlukan sedikit variasi pada algoritma tamak. Lihat<ref>{{Harvard citation no brackets|Krause|Golovin|2014}}</ref> untuk ikhtisarnya.

=== Masalah lain dengan penjaminan ===
Masalah lain yang mana algoritma tamak memberikan jaminan yang kuat, tetapi bukan solusi optimal, termasuk

* [[Masalah set penutup|Atur penutup]]
* [[Masalah pohon Steiner]]
* [[Penyeimbangan beban]] <ref>{{Cite web|title=Lecture 5: Introduction to Approximation Algorithms|url=http://www.win.tue.nl/~mdberg/Onderwijs/AdvAlg_Material/Course%20Notes/lecture5.pdf|website=Advanced Algorithms (2IL45) — Course Notes|publisher=TU Eindhoven|archive-url=https://ghostarchive.org/archive/20221009/http://www.win.tue.nl/~mdberg/Onderwijs/AdvAlg_Material/Course%20Notes/lecture5.pdf|archive-date=2022-10-09|url-status=live}}</ref>
* [[Himpunan bebas (teori graf)|Himpunan bebas]]

Banyak dari permasalahan ini memiliki batas bawah yang sesuai, yaitu algoritma tamak tidak berkinerja lebih baik daripada jaminan dalam kasus terburuk.

== Pemberlakuan ==
Algoritme tamak biasanya (tetapi tidak selalu) gagal menemukan solusi optimal secara global karena algoritma tersebut biasanya tidak beroperasi secara mendalam pada semua data. Algoritma jenis ini dapat membuat komitmen pada pilihan-pilihan tertentu terlalu dini, sehingga mencegah mereka untuk menemukan solusi terbaik secara keseluruhan nantinya. Misalnya, semua algoritma [[pewarnaan tamak]] yang diketahui untuk [[Masalah pewarnaan grafik|masalah pewarnaan graf]] dan semua masalah [[NP-lengkap]] lainnya tidak secara konsisten menemukan solusi optimal. Namun, algoritma jenis ini berguna karena mereka cepat berpikir dan sering memberikan hampiran yang baik secara optimal.

Jika algoritma tamak dapat dibuktikan menghasilkan optimal global untuk kelas masalah tertentu, biasanya algoritma ini menjadi metode pilihan karena lebih cepat dibandingkan metode optimasi lain seperti [[pemrograman dinamis]]. Contoh algoritma tamak tersebut adalah [[algoritma Kruskal]] dan [[algoritma Prim]] untuk mencari [[pohon rentang minimum]] serta algoritma untuk mencari [[Pengodean Huffman|pohon Huffman]] optimal.

Algoritmq tamak juga muncul di [[perutean]] jaringan. Dengan menggunakan [[perutean]] tamak, sebuah pesan diteruskan ke simpul tetangga “terdekat” dengan tujuan. Gagasan tentang lokasi sebuah simpul (dan karenanya "kedekatan") dapat ditentukan oleh lokasi fisiknya, seperti dalam [[perutean geografis]] yang digunakan oleh [[jaringan ad hoc]] . Lokasi mungkin juga merupakan konstruksi buatan seperti dalam [[perutean dunia kecil]] dan [[Tabel Hash Beredar|tabel hash beredar]].

== Contoh ==

* [[Masalah pemilihan kegiatan]] merupakan ciri khasnya kelas masalah ini, yang tujuannya adalah memilih kegiatan sebanyak-banyaknya yang tidak berbenturan.
* Dalam permainan [[Macintosh|komputer Macintosh]] ''[[Crystal Quest]]'' tujuannya adalah mengumpulkan kristal, dengan cara yang mirip dengan [[Permasalahan Penjual Keliling|masalah penjual keliling]] . Permainan ini memiliki mode demo yang menggunakan algoritma tamak untuk mencapai setiap kristal. [[Kecerdasan buatan]] tidak memperhitungkan hambatan, sehingga mode demo sering kali berakhir dengan cepat.
* [[Pengejaran cocok|Pengejaran pencocokan]] adalah contoh algoritma tamak yang diterapkan pada hampiran sinyal.
* Algoritma tamak menemukan solusi optimal untuk [[Lingkaran Malfatti|masalah Malfatti]] dalam menemukan tiga lingkaran yang berlepasan dalam suatu segitiga yang memaksimalkan luas total lingkaran; diperkirakan bahwa algoritma tamak yang sama optimal untuk lingkaran dengan jumlah berapapun.
* Algoritma tamak digunakan untuk membangun pohon Huffman dalam[[Pengodean Huffman|pengkodean Huffman]] yang algoritma ini menemukan solusi optimal.
* Dalam [[pemelajaran pohon keputusan]], algoritma tamak sering digunakan, tetapi tidak ada jaminan ditemukannya solusi optimal.
** Salah satu algoritma yang populer adalah [[algoritma ID3]] untuk konstruksi pohon keputusan.
* [[Algoritma Dijkstra]] dan [[Algoritma a-star|algoritma pencarian A*]] merupakan algoritma tamak yang optimal untuk [[traversal graf]] dan [[Masalah lintasan terpendek|pencarian lintasan terpendek]].
** Pencarian A* optimal secara kondisional, memerlukan "[[heuristik yang dapat diterima]]" yang tidak akan melebih-lebihkan biaya lintasan.
* [[Algoritma Kruskal]] dan [[algoritma Prim]] adalah algoritma tamak untuk membangun [[pohon rentang minimum]] dari suatu [[Grafik terhubung|graf terhubung]] tertentu. Algoritma ini selalu menemukan solusi optimal, yang mungkin tidak unik secara umum.
* Algoritma [[Algoritma Sequitur|Sequitur]] dan [[Algoritma Lempel-Ziv-Welch|Lempel-Ziv-Welch]] merupakan [[Induksi tata bahasa|algoritma tamak untuk induksi tata bahasa]] .

== Lihat pula ==
{{Portal|Matematika}} 
<!-- Mohon agar tetap alfabetis [[WP:SEEALSO]] -->
{{div col|colwidth=20em}}
*[[Algoritma tamak untuk pecahan mesir]]
*[[Best-first search]]
*[[Bandit multi-senjata #Strategi semi-seragam|Strategi tamak epsilon]]
*[[Efek cakrawala]]
*[[Matroid]]
*[[Pendakian bukit (algoritma)]]
*[[Sumber tamak]]
{{div col end}}
<!-- Mohon agar tetap alfabetis -->

== Referensi ==
{{Reflist}}

=== Sumber ===
{{refbegin}}
*{{cite book |first1=Thomas H. |last1=Cormen |first2=Charles E. |last2=Leiserson |first3=Ronald L. |last3=Rivest |first4=Clifford |last4=Stein |chapter=16 Greedy Algorithms |title=Introduction To Algorithms |title-link=Introduction to Algorithms |chapter-url=https://books.google.com/books?id=NLngYyWFl_YC&pg=PA370 |year=2001 |publisher=MIT Press |isbn=978-0-262-03293-3 |pages=370–}}
*{{cite journal |doi=10.1016/S0166-218X(01)00195-0|title=Traveling salesman should not be greedy: Domination analysis of greedy-type heuristics for the TSP|journal=Discrete Applied Mathematics|volume=117|issue=1–3|pages=81–86|year=2002|last1=Gutin|first1=Gregory|last2=Yeo|first2=Anders|last3=Zverovich|first3=Alexey|doi-access=free}}
*{{cite journal |doi=10.1016/j.disopt.2004.03.007|title=When the greedy algorithm fails|journal=Discrete Optimization|volume=1|issue=2|pages=121–127|year=2004|last1=Bang-Jensen|first1=Jørgen|last2=Gutin|first2=Gregory|last3=Yeo|first3=Anders|doi-access=free}}
*{{cite journal|doi=10.1016/j.disopt.2006.03.001|title=Greedy-type resistance of combinatorial problems|journal=Discrete Optimization|volume=3|issue=4|pages=288–298|year=2006|last1=Bendall|first1=Gareth|last2=Margot|first2=François|doi-access=free}}
*{{cite journal |first=U. |last=Feige |url=https://www.cs.duke.edu/courses/cps296.2/spring07/papers/p634-feige.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://www.cs.duke.edu/courses/cps296.2/spring07/papers/p634-feige.pdf |archive-date=2022-10-09 |url-status=live |title=A threshold of ln n for approximating set cover  |journal=Journal of the ACM |volume=45 |issue=4 |pages=634–652 |date=1998 |doi=10.1145/285055.285059 |s2cid=52827488 }}
*{{cite journal |first1=G. |last1=Nemhauser |first2=L.A. |last2=Wolsey |first3=M.L. |last3=Fisher |url=https://www.researchgate.net/publication/242914003 |title=An analysis of approximations for maximizing submodular set functions—I |journal=Mathematical Programming |volume=14 |issue=1 |date=1978 |pages=265–294|doi=10.1007/BF01588971 |s2cid=206800425 }}
*{{cite book |first1=Niv |last1=Buchbinder |first2=Moran |last2=Feldman |first3=Joseph (Seffi) |last3=Naor |first4=Roy |last4=Schwartz |chapter=Submodular maximization with cardinality constraints |chapter-url=http://theory.epfl.ch/moranfe/Publications/SODA2014.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://theory.epfl.ch/moranfe/Publications/SODA2014.pdf |archive-date=2022-10-09 |url-status=live |title=Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms |publisher=Society for Industrial and Applied Mathematics |year=2014 |isbn=978-1-61197-340-2 |doi=10.1137/1.9781611973402.106}}
*{{cite book |last1=Krause |first1=A. |last2=Golovin |first2=D. |chapter=Submodular Function Maximization |chapter-url= https://books.google.com/books?id=YxliAgAAQBAJ&pg=PA71 |editor-first=L. |editor-last=Bordeaux |editor2-first=Y. |editor2-last=Hamadi |editor3-first=P. |editor3-last=Kohli |title=Tractability: Practical Approaches to Hard Problems |publisher=Cambridge University Press |year=2014 |isbn=9781139177801 |pages=71–104 |doi=10.1017/CBO9781139177801.004}}
* {{Cite book |title=Combinatorial Optimization: Algorithms and Complexity |last1=Papadimitriou |first1=Christos H. |author1-link=Christos Papadimitriou |last2=Steiglitz |first2=Kenneth |author2-link=Kenneth Steiglitz |year=1998 |publisher=Dover}}
{{refend}}

== Pranala luar ==
{{Commons category|Algoritma greedy}}
* {{springer|title=Greedy algorithm|id=p/g110210}}
* {{Cite web|last=Gift|first=Noah|title=Contoh koin greedy dalam bahasa Python|url=http://www.oreillynet.com/onlamp/blog/2008/04/python_greedy_coin_changer_alg.html}}

<!-- Isi nanti
{{optimization algorithms|combinatorial|state=expanded}}{{Algorithmic paradigms}}{{Authority control}} -->

[[Kategori:Algoritma dan metode optimasi]]
[[Kategori:Algoritma kombinatorial]]
[[Kategori:Teori matroid]]
[[Kategori:Algoritma pertukaran]]
[[Kategori:Algoritma tamak]]