Lelucon nerd sudah tidak jarang lagi muncul di TV. Anda melihatnya di The Simpsons, Anda melihatnya di mana-mana. Tapi Futurama? Futurama melontarkan lelucon itu.
Ambil contoh “The Prisoner of Benda,” sebuah episode menonjol di mana penulis Ken Keeler menemui jalan buntu. Dia membutuhkan solusi plot yang membutuhkan bukti matematis asli dan asli. Bukan alat peraga. Bukan lelucon. Sebuah bukti nyata. Dan itu harus sesuai dengan logika pertunjukan.
Jika Anda menyukai persilangan antara budaya pop dan ilmu pengetahuan, Anda berada di tempat yang tepat. Ini bukan hanya tentang kartun. Ini tentang bagaimana ruang penulis secara tidak sengaja memecahkan masalah dalam teori permutasi.
Pertukaran yang Menghancurkan Alam Semesta
Premisnya dimulai dari sederhana. Profesor Farnsworth menciptakan alat pertukaran pikiran. Dia bertukar dengan Amy yang ingin makan junk food tanpa kalori. Amy klasik.
Tapi ada kendalanya. Mesin ini merupakan kesepakatan satu kali untuk pasangan tertentu. Jika A menukar dengan B, Anda tidak bisa langsung menukarnya kembali. Kuncinya sudah terpasang.
Kekacauan pun terjadi. Tujuh pasangan berbeda telah habis. Sembilan karakter berakhir dalam tubuh yang berantakan. Siapa siapa? Tidak ada yang tahu. Bahkan para penulisnya pun tidak pada awalnya.
Bender mencuri kapal pesiar. Leela mencari petunjuk romantis di otak Fry. Fry, dalam tindakan balas dendam yang aneh, menukar bentuk lobster jelek Dr. Zoidberg karena dia membenci dirinya sendiri? Atau mungkin dia hanya ingin menjadi aneh.
Tujuannya sederhana: semua orang kembali ke tubuhnya masing-masing. Masalahnya tidak mungkin terjadi berdasarkan aturan yang ditetapkan. Anda tidak dapat membatalkan pertukaran dengan pemeran yang sudah ada.
Keeler, yang memegang gelar PhD di bidang matematika, menatap papan tulis. Dia menyadari dia membutuhkan karakter baru untuk memperbaiki kekacauan itu. Tapi berapa banyak?
Bisakah jumlah pembantu bertambah seiring dengan besarnya kelompok? Atau apakah ada angka tetap dan kecil yang selalu berhasil?
Dia menggali literatur. Tidak ada apa-apa. Permasalahan bagaimana mengatasi paradoks pertukaran tubuh belum dibahas dalam jurnal akademis.
Jadi Keeler menuliskannya. Dan dia membuktikannya.
Matematika di Balik Kegilaan
Berikut adalah versi abstrak masalahnya.
Bayangkan $n$ item dalam urutan acak. Tujuannya adalah mengembalikannya ke pesanan (1, 2, …, $n$) menggunakan swap. Masalahnya: Anda hanya dapat menukar dua item dalam satu waktu, dan Anda tidak dapat menggunakan kembali sepasang item tersebut.
Keeler menemukan bahwa dengan memperkenalkan hanya dua karakter tambahan (sebut saja $x$ dan $y$), Anda dapat menyelesaikan perebutan berapa pun karakter awal $n$.
Ini dikenal sebagai Teorema Futurama. Kedengarannya sepele, tapi ini teori kelompok yang sah.
Metode Keeler bekerja dengan membagi set yang diacak menjadi dua bagian. Separuhnya berubah dari 1 menjadi $i$, separuhnya lagi dari $i+1$ menjadi $n$. Kemudian, dengan menggunakan dua variabel baru $x$ dan $y$, dia mengubah urutan itemnya.
Prosesnya terlihat seperti ini:
- Tukar elemen yang salah tempat pada babak pertama dengan $x$.
- Tukar elemen babak kedua dengan $y$.
- Tukar $x$ dengan $i+1$.
- Tukar $y$ dengan 1.
Hasilnya? Urutan awal dipulihkan. Variabel tambahan $x$ dan $y$ dibatalkan. Mereka tertinggal, saling bertukar tempat, tapi semua orang ada di rumah.
Para Globetrotters Menyelamatkan Hari Ini
Dalam episode tersebut, Harlem Globetrotters—ya, tim hiburan NBA yang sebenarnya—datang untuk membantu. Dua pemain, Sweet Clyde Dixon dan Bubblegum Tate, naik ke papan tulis.
Mereka menuliskan bukti Keeler.
Perhitungannya benar. Bagi Fry dan Zoidberg, yang terjebak dalam pertukaran dua arah yang sederhana, Globetrotters menggunakan empat langkah. Mereka memperlakukan pasangan sebagai $(2, 1)$ dan menerapkan algoritme.
Total langkah untuk kesembilan karakter menjadi 13 menggunakan metode ini. Jumlah minimum yang mungkin adalah 9, tetapi 13 sudah bersih dan berfungsi dalam batasan narasi.
Di akhir episode, setiap pikiran berada di tubuh yang benar. Globetrotters tetap bertukar pikiran satu sama lain. Mereka bisa beralih kembali, tapi itu tidak masalah. Misi selesai.
Mengapa Ini Penting (Di Luar Lelucon)
Keeler senang dengan buktinya. Namun dia tidak menyampaikannya. Dia pikir itu hanya keingintahuan, bukan kontribusi di bidangnya.
Dia salah.
Pada tahun 2014, ahli matematika Ron Evans, Lihua Huang, dan Tuan Nguyen mengambil logika Keeler dan memformalkannya. Mereka menerbitkan bukti sembilan halaman yang lebih baik di Bulanan Matematika Amerika.
Mereka tidak hanya mengutip episode tersebut. Mereka memvalidasinya. “Teorema Futurama” sekarang menjadi hasil yang diakui dalam teori grup kombinatorial, khususnya mengenai permutasi dan dekomposisi siklus.
Hal ini menimbulkan pertanyaan menarik tentang kreativitas. Terkadang cara terbaik untuk memecahkan masalah akademis yang kaku adalah dengan melakukan pendekatan dari kartun.
Episode ini bertahan. Perhitungannya bertahan. Globetrotters masih keren.
Namun ada pemikiran yang masih tersisa: Kami memperlakukan bidang-bidang ini sebagai bidang yang terpisah. Matematika ada di menara gading. Komedi ada di ruang tamu. Jika keduanya berpotongan, hasilnya biasanya berupa gimmick.
Keeler membuktikan bahwa persimpangan itu bisa bersifat struktural. Nyata. Berguna.
Jika lain kali seseorang memberi tahu Anda bahwa budaya pop tidak memiliki kedalaman, ingatkan mereka pada Globetrotters. Ingatkan mereka pada papan tulis. Ingatkan mereka bahwa terkadang, Anda memerlukan dua karakter tambahan untuk memperbaiki masalah yang tidak Anda ketahui sebelumnya.
Dan mungkin, mungkin saja, solusinya bukanlah kembali ke masa lalu. Itu untuk terus maju. Dengan dua teman baru.
