Teorema tidak ada makan siang gratis

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus. Cari sumber: "Teorema tidak ada makan siang gratis" – berita · surat kabar · buku · cendekiawan · JSTOR (July 2022)

Dalam cerita rakyat matematika, teorema "tidak ada makan siang gratis" (bahasa Inggris: no free lunch theorem(s); disingkat NFL) dikemukakan oleh David Wolpert dan William Macready, merujuk pada pepatah Tidak ada makan siang gratis (no such a thing as free lunch) yang berarti tidak ada jalan pintas yang mudah menuju kesuksesan. Teorema ini pertama kali dipublikasikan dalam makalah ilmiah keduanya yang berjudul "No Free Lunch Theorems for Optimization" pada tahun 1997.^[1] Wolpert sebelumnya telah menemukan teorema serupa untuk pemelajaran mesin (inferensi statistik).^[2]

Pada tahun 2005, Wolpert dan Macready menjelaskan teorema pertama NFL dalam makalah mereka, "menyatakan bahwa dua sembarang algoritma optimasi akan memiliki performa rata-rata yang sama, jika diuji pada seluruh kemungkinan masalah".^[3]

Teorema "tidak ada makan siang gratis" (NFL) lebih mudah disebutkan dan dipahami, dibandingkan teorema sebenarnya yang dibuktikan Wolpert dan Macready. Teorema NFL kurang kuat dan tidak mencakup keseluruhan temuan mereka. Berbagai penelitian telah dilakukan untuk memperluas penelitian Wolpert dan Macready secara substansial. Penggunaan teorema NFL dalam konteks area penelitian tersendiri adalah teorema tidak ada makan siang gratis dalam pencarian dan optimasi. Teorema tersebut menjadi subdisiplin sendiri yang berfokus dalam analisis data secara matematis untuk sifat-sifat statistik, khususnya dalam pencarian^[4] dan optimasi.^[1]

Meskipun beberapa peneliti melihat teorema NFL sebagai suatu wawasan penting, peneliti lain berpendapat bahwa NFL kurang relevan dalam penelitian pembelajaran mesin.^{[5] [6]}

Misalkan sebuah semesta hipotetis yang berdurasi tepat dua hari.  Pada setiap harinya, semesta ini hanya memuat tepat satu objek, yang bisa berupa persegi atau segitiga.  Dengan batasan tersebut, semesta ini memiliki empat kemungkinan sejarah yang dapat terjadi:

1. (persegi, segitiga): semesta tersebut berisi persegi pada hari ke-1 dan segitiga pada hari ke-2
2. (persegi, persegi)
3. (segitiga, segitiga)
4. (segitiga kotak)

Setiap strategi prediksi yang berhasil untuk sejarah #2, dengan meramalkan persegi di hari ke-2 jika ada persegi di hari ke-1, pasti akan gagal untuk sejarah #1, dan sebaliknya. Jika semua sejarah memiliki probabilitas yang sama, maka semua strategi prediksi akan memiliki performa yang setara, dengan akurasi 0.5.^[7]

Wolpert dan Macready memaparkan dua teorema NFL yang berkaitan erat dengan teorema pepatah "no free lunch" yang dikenal luas.  Dalam karya ilmiah mereka, mereka menyatakan:

We have dubbed the associated results NFL theorems because they demonstrate that if an algorithm performs well on a certain class of problems then it necessarily pays for that with degraded performance on the set of all remaining problems.^[1]

Terjemahan:

Hasil-hasil terkait yang kami sebut sebagai teorema NFL menunjukkan bahwa performa baik suatu algoritma pada kelas masalah tertentu harus dibayar dengan performa yang lebih buruk pada seluruh masalah yang tersisa.

Teorema pertama menghipotesiskan fungsi objektif yang tidak berubah selama proses optimasi berlangsung dan teorema kedua menghipotesiskan fungsi objektif yang dapat berubah selama proses optimasi.^[1]

Teorema 1: Untuk sembarang algoritma a₁ and a₂, pada langkah iterasi m

${\displaystyle \sum _{f}P(d_{m}^{y}\mid f,m,a_{1})=\sum _{f}P(d_{m}^{y}\mid f,m,a_{2}),}$

dengan ${\displaystyle d_{m}^{y}}$ menunjukkan himpunan berurutan berukuran ${\displaystyle m}$ dari nilai biaya (cost values) ${\displaystyle y}$ yang dihasilkan dari masukan-masukan ${\displaystyle x\in X}$, ${\displaystyle f:X\rightarrow Y}$ yang merupakan fungsi yang dioptimalkan, dan ${\displaystyle P(d_{m}^{y}\mid f,m,a)}$ adalah probabilitas bersyarat untuk memperoleh himpunan nilai biaya tertentu dari algoritma ${\displaystyle a}$ yang dijalankan sebanyak ${\displaystyle m}$ kali pada fungsi ${\displaystyle f}$ . Teorema tersebut dapat dirumuskan secara ekuivalen sebagai berikut:

Theorem 1: Given a finite set ${\displaystyle V}$ and a finite set ${\displaystyle S}$ of real numbers, assume that ${\displaystyle f:V\to S}$ is chosen at random according to uniform distribution on the set ${\displaystyle S^{V\!}}$ of all possible functions from ${\displaystyle V}$ to ${\displaystyle S}$. For the problem of optimizing ${\displaystyle f}$ over the set ${\displaystyle V}$, then no algorithm performs better than blind search.

Terjemahan:

Teorema 1: Diberikan himpunan terbatas ${\displaystyle V}$ dan himpunan terbatas ${\displaystyle S}$ berisi bilangan riil, diasumsikan bahwa ${\displaystyle f:V\to S}$ dipilih secara acak sesuai dengan distribusi seragam pada himpunan ${\displaystyle S^{V\!}}$ dari semua fungsi yang mungkin dari ${\displaystyle V}$ ke ${\displaystyle S}$. Untuk masalah optimasi ${\displaystyle f}$ pada himpunan ${\displaystyle V}$, maka tidak ada algoritma yang dapat mengalahkan pencarian buta.

Pencarian buta dalam konteks ini berarti bahwa pada setiap langkah algoritma, elemen ${\displaystyle v\in V}$ dipilih secara dipilih secara acak dari elemen ${\displaystyle V}$ yang belum dipilih sebelumnya dengan distribusi probabilitas seragam.

Inti teorema ini adalah: jika semua fungsi f memiliki probabilitas yang sama, maka probabilitas untuk mengamati barisan nilai yang acak berukuran 𝑚 selama proses optimasi tidak bergantung pada algoritma yang digunakan. Dalam kerangka analitik Wolpert dan Macready, performa dipengaruhi oleh urutan nilai yang diamati (bukan misalnya waktu komputasi). Dengan demikian, mudah disimpulkan bahwa semua algoritma memiliki distribusi performa yang sama ketika fungsi objektif dipilih secara acak dan seragam. Ini juga berarti semua algoritma memiliki performa rata-rata yang sama. Namun, performa rata-rata yang sama untuk semua algoritma tidak serta merta menyiratkan Teorema 1, sehingga teorema "no free lunch" dalam pepatah tidak sepenuhnya setara dengan teorema yang asli.

Teorema 2 menetapkan hasil NFL yang serupa, tetapi "lebih halus" untuk fungsi tujuan yang berubah terhadap waktu.^[1]

Teorema NFL secara eksplisit bukan berdasarkan pertanyaan terkait apa yang dapat diinferensikan (dalam kasus NFL untuk pemelajaran mesin) atau ditemukan (dalam kasus NFL untuk pencarian) ketika "lingkungan (environment)-nya seragam acak". Sebaliknya, keacakaan yang seragam tersebut digunakan sebagai alat untuk membandingkan jumlah lingkungan yang algoritma A mengungguli algoritma B dengan jumlah lingkungan yang algoritma B mengungguli algoritma A. NFL menunjukkan bahwa (dengan bobot yang sesuai)^{[butuh klarifikasi]}, jumlah lingkungan di kedua himpunan tersebut sama banyaknya yang berarti bahwa kedua algoritma memiliki peluang yang sama untuk unggul di lingkungan yang berbeda-beda.

Hal ini berlaku untuk banyak definisi tentang apa sebenarnya makna dari suatu “lingkungan”. Secara khusus, terdapat banyak distribusi prior (dengan bobot yang sesuai) yang algoritma pemelajaran A mengalahkan B (dalam rata-rata) dan sebaliknya.^{[butuh rujukan]} Pernyataan tentang himpunan prior inilah yang paling penting terkait NFL, bukan persamaan performa dua algoritma pada distribusi prior tunggal yang memberikan probabilitas sama untuk semua lingkungan.

Meskipun NFL memiliki signifikansi dalam memahami batasan fundamental suatu himpunan masalah, tetapi NFL tidak menyediakan informasi tentang setiap contoh masalah yang mungkin muncul dalam implementasinya. NFL hanya menyatakan apa yang tercakup dalam pernyataan matematisnya tanpa tambahan. Sebagai contoh, konsep ini berlaku pada situasi yang algoritma telah ditetapkan sebelumnya dan kemudian dipilih masalah yang algoritma tersebut terburuk dalam pengerjaannya. Oleh karena itu, jika terdapat masalah yang "baik" dalam konteks praktis, atau jika dapat dipilih algoritma pemelajaran yang "baik" untuk suatu masalah tertentu, maka NFL tidak memberikan batasan spesifik terhadap masalah tersebut. Meskipun NFL mungkin terlihat bertentangan dengan hasil dari penelitian lain yang mendorong generalisasi dari algoritma pemelajaran atau heuristik pencarian, penting untuk memahami perbedaan antara logika matematis yang tepat dari NFL dan interpretasinya secara intuitif.^[8]

Untuk mengilustrasikan salah satu implikasi kontra-intuitif dari NFL, misalkan kita memilih dua algoritma pemelajaran terarah (supervised learning), C dan D. Kemudian kita mengambil sampel fungsi target f untuk menghasilkan satu himpunan pasangan masukan-luaraan, d. Bagaimana kita memilih apakah akan melatih C atau D pada d, untuk membuat prediksi keluaran apa yang akan dikaitkan dengan titik yang terletak di luar d?

Di hampir semua ilmu sains dan statistik, sudah menjadi hal yang umum untuk menjawab pertanyaan ini–memilih antara C dan D–dengan menjalankan validasi silang pada d dengan kedua algoritma tersebut. Dengan kata lain, untuk memutuskan apakah akan menggeneralisasi d dengan C atau D, kita melihat mana di antara keduanya yang memiliki kinerja di luar sampel yang lebih baik ketika diuji dalam d.

Karena C dan D adalah tetap, penggunaan validasi silang untuk memilih di antara keduanya merupakan suatu algoritma, yaitu cara menggeneralisasi dari kumpulan data yang berubah-ubah. Sebut saja algoritma ini A. (Bisa dibilang, A adalah model sederhana dari metode ilmiah itu sendiri.)

Kita juga bisa menggunakan anti-validasi-silang untuk menentukan pilihan. Dengan kata lain, kita dapat memilih antara C dan D berdasarkan mana yang memiliki kinerja di luar sampel yang lebih buruk pada d. Kemudian, karena C dan D adalah tetap, penggunaan anti-validasi silang ini sendiri merupakan sebuah algoritma. Sebut saja algoritma itu B.

Secara umum, NFL mengungkapkan bahwa B harus mengalahkan A pada jumlah fungsi target (dan kumpulan data terkait d) yang sama banyaknya dengan keunggulan A atas B. Dalam pengertian yang sangat spesifik ini, metode ilmiah juga akan kalah dengan “anti” metode ilmiah dengan mudah sama seperti metode ilmiah itu menang.^[9]

NFL hanya berlaku jika fungsi target dipilih dari distribusi seragam dari semua fungsi yang mungkin. Jika hal ini tidak terjadi, dan fungsi target tertentu lebih mungkin dipilih dibandingkan yang lain, maka A mungkin berkinerja lebih baik daripada B secara keseluruhan. Kontribusi NFL adalah memberitahu kita bahwa memilih algoritma yang tepat memerlukan asumsi tentang jenis fungsi target yang digunakan algoritma tersebut. Tanpa asumsi, tidak ada "meta-algoritma", seperti metode ilmiah, yang berkinerja lebih baik daripada pilihan acak.

Meskipun beberapa pakar berpendapat bahwa NFL mengungkapkan wawasan penting, sebagian lainnya berpendapat bahwa NFL tidak begitu relevan dengan penelitian pemelajaran mesin.^{[5] [6]} Jika pisau cukur Ockham benar, misalnya jika rangkaian dengan kompleksitas Kolmogorov yang lebih rendah lebih mungkin terjadi daripada rangkaian dengan kompleksitas yang lebih tinggi, maka (seperti yang diamati dalam kehidupan nyata) beberapa algoritma, seperti validasi silang, rata-rata berkinerja lebih baik pada masalah praktis (ketika dibandingkan dengan pilihan acak atau dengan validasi anti-silang).^[10]

Di sisi lain, terdapat tantangan formal besar dalam menggunakan argumen berdasarkan kompleksitas Kolmogorov untuk membuktikan sifat dunia nyata, karena sifatnya yang tidak dapat dihitung, dan tidak terdefinisi hingga konstanta tambahan yang sembarang. Sebagian disadari akan tantangan-tantangan ini, baru-baru ini diusulkan bahwa ada cara untuk mengatasi teorema no free lunch tanpa memanggil mesin Turing, dengan menggunakan "meta-induksi".^{[11] [12]}

• Eksternalitas
• Biaya tersembunyi

• Teorema Tidak ada Makan Siang Gratis
• Grafik yang mengilustrasikan teorema