Bab 50

Papan pengumuman anonim,

[Mari kita saling menjaga etika saat menggunakan ruang cuci.]

-Ini benar-benar keterlaluan. Kalau cucianmu sudah selesai, segera ambil atau pindahkan ke mesin pengering! Aku harus banyak belajar, berapa lama lagi aku harus menunggu ini?!

└ Ah, kurasa aku mulai kena PTSD. Neraka ruang cuci.

└ Sudah lapor ke OSIS.

└ Sistem reservasi itu sendiri memang cacat. Apa sistem siapa cepat dia dapat itu adil?

└ Tidak ada cara lain. Apa kau punya ide yang lebih baik?

└ Setidaknya menindak tegas mereka yang tidak datang (no-show) saja sudah jauh lebih baik daripada sekarang.

└ Kalian saja yang malas. Aku selalu bangun pagi dan bisa menggunakannya dengan nyaman.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

└ Kenapa tidak tambah saja jumlah mesin cucinya?

└ Sudah ada sepuluh, kau masih mau tambah lagi? Sekalian saja buka binatu umum.

Ketua OSIS Baek Jun-gi menghela napas saat membaca papan pengumuman itu.

“Sudah ada lebih dari 20 keluhan soal ruang cuci minggu ini. Haruskah kita mencari jalan keluarnya?”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Wakil ketua Min Do-hyun mengangkat tangan.

“Bukankah itu karena sistemnya masih pakai metode siapa cepat dia dapat dan dikelola sendiri?

Kita bisa memperbaiki aplikasi reservasi dan memberikan rekomendasi waktu yang berbeda bagi setiap pengguna. Kalau kita bisa mengurangi waktu antrean yang menumpuk, jumlah mesin cuci yang ada seharusnya cukup. Kurasa itu akan berhasil.”

Sekolah Khusus Anak Berbakat memberikan otonomi yang cukup besar kepada siswanya. Penggunaan ruang cuci adalah salah satunya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Namun, itu juga berarti mereka harus menyelesaikan masalah teknis seperti ini sendiri.

“Hmm...”

Jun-gi merenungkan saran Do-hyun lalu mengangguk.

“Ide bagus. Lagipula, aplikasi reservasi yang kita pakai sekarang dibuat oleh para senior.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Kudengar dibuat tiga tahun lalu. Dulu semuanya masih manual, dan saat jam sibuk, semua orang harus mengantre sambil menenteng keranjang cucian....”

Sistem saat ini terbentuk secara bertahap seiring waktu. Namun, seiring kemajuan teknologi, sistem pun harus ikut berkembang.

Siang itu, pengurus OSIS mengunjungi klub komputer, “Bit Forge”.

Kriet—

Ruang klub yang sempit itu sama sekali tidak bisa dibilang bersih.

Meja-meja tertumpuk kabel seperti gunung, menara komputer yang tebal oleh debu, dan kaleng minuman berenergi kosong berserakan di mana-mana.

Saat mereka membuka pintu, bau khas elektronik yang tidak sedap langsung menyergap, terbawa oleh udara yang lembap.

Baek Jun-gi mengerutkan kening.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Setidaknya bersihkanlah tempat ini, demi Tuhan!”

Para siswa yang duduk mengenakan hoodie menatap mereka dengan tatapan kosong. Grafik rumit dan baris kode berjalan tanpa henti di layar mereka.

Salah satu dari mereka berdiri untuk menyambut.

“Ketua OSIS? Ada perlu apa ke sini?”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Ini soal aplikasi reservasi ruang cuci.”

Wakil ketua Do-hyun berbicara dengan sopan.

“Oh! Itu? Senior klub kami yang membuatnya. Memang berantakan.”

Tawa pecah di dalam ruang klub.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Kalau kalian tahu, bisakah kalian memperbaikinya? Mari kita rombak sistem reservasinya.”

Begitu ketua OSIS selesai bicara, seorang gadis yang memakai topi bisbol melontarkan komentar.

“Masalahnya itu gratis. Kalau kalian bayar kami, semuanya pasti beres.”

‘Kenapa tidak ada satu pun orang normal di sini?’⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Jun-gi menahan amarah yang mulai naik dan berbicara dengan lembut.

“Itu bukan pilihan. Prinsipnya adalah gratis. Kita tidak boleh memungut uang dari siswa.”

Mendengar kata-kata tegas Jun-gi, ruang klub hening sejenak.

“Tapi kenapa kami harus melakukannya? Tidak ada imbalannya.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Seorang anak laki-laki di sudut ruangan, dengan satu earbud terpasang, menyandarkan punggung ke kursi dan ikut bersuara.

Ketua OSIS menghela napas.

“Bukankah kalian juga siswa di sekolah ini? Karena kita semua menggunakannya, bukankah lebih baik kalau fasilitasnya lebih nyaman untuk semua orang?”

Itu pernyataan yang logis, tapi tidak menggugah mereka.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Kami tidak merasa terganggu kok? Lagipula aku mencuci tiga minggu sekali.”

“Bagus. Aku sebulan sekali.”

“Aku bawa pulang semua cucianku.”

Jun-gi akhirnya mengangkat tangan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Baiklah, sebutkan syarat kalian. Sesuatu yang bisa kami setujui.”

Begitu dia selesai bicara, permintaan pun mengalir deras.

“Jelas anggaran. Beri kami komputer baru.”

“Perluas jangkauan Wi-Fi ke seluruh sekolah.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Buatkan jaket dengan nama klub kami yang dibordir.”

Min Do-hyun berbisik dengan ekspresi tercengang.

“Ini pada dasarnya daftar keinginan pribadi.”

Ekspresi Jun-gi berubah dingin.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Satu pun dari permintaan itu tidak mungkin. Tapi bagaimana dengan ini?

Kalau kalian tidak memenuhi permintaan OSIS, klub kalian akan diaudit. Kami akan membandingkan semua anggaran yang kalian terima sejauh ini dengan pencapaian nyata kalian dan menyelidiki secara menyeluruh apakah klub kalian masih layak dipertahankan. Dan kami juga akan menyertakan inspeksi kebersihan lingkungan.”

Keheningan menyapu ruang klub.

Ketua Bit Forge berdeham dan memberi isyarat kepada semua orang dengan matanya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Yah… memang benar kami punya kode yang dibuat para senior itu.”

“Kami selalu menghormati OSIS. Katakan saja apa yang perlu kami lakukan!”

Jun-gi tampak puas.

“Bagus! Apa yang kami inginkan sederhana.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Ketua OSIS menarik papan tulis dan mulai menuliskan persyaratannya.

-10 mesin cuci, 12 mesin pengering. -Pembatasan kebisingan malam: 00:00 - 05:00 -Prioritas: jas lab, cucian grup klub, prioritas bobot bagi siswa penyandang disabilitas. -Pastikan keadilan. -Minimalkan waktu tunggu rata-rata, minimalkan konflik jalur, minimalkan waktu menganggur untuk mesin cuci dan pengering.

Yeon-woo, ketua Bit Forge, menatap papan tulis dan menggaruk kepalanya dengan ekspresi bermasalah.

“Ketua, kami bisa membuat aplikasinya seperti itu. Tapi mesin rekomendasi itu, kau tahu kan kalau itu benar-benar neraka?”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Kenapa?”

Seorang siswi yang pendiam tiba-tiba memotong pembicaraan.

“Mustahil. Ini bukan sekadar pengembangan aplikasi. Terlalu banyak tujuan. Probabilitas, optimasi, masalah keadilan, fluktuasi permintaan, efek musiman.

Ini level tesis. Tingkat kesulitan proyek penelitian pascasarjana.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Tapi kita tetap butuh solusinya.”

Saat ketua OSIS tampak kesal, Yeon-woo mengajukan jalan tengah.

“Mari berkompromi. Hapus saja syarat keadilannya. Maka kami akan mencari cara agar itu berhasil. Kalau hanya soal menjalankan mesin dengan efisiensi maksimal, kami bisa melakukannya.”

“Berpikirlah yang masuk akal. Apa kau mau menerimanya kalau setiap rekomendasi untukmu selalu di tengah malam atau saat jam makan?”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Suara Yeon-woo meninggi karena frustrasi.

“Lalu kami harus bagaimana?!”

“Aku memintamu untuk mencoba membuatnya mungkin. Kami akan mengakuinya sebagai proyek sekolah. Akan ada anggaran yang layak. Dan tentu saja, kalian akan mendapat kredit evaluasi kinerja.”

Wajah Yeon-woo memerah, seolah darah mengalir deras ke kepalanya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Kau pasti bercanda! Cari di seluruh dunia, apa ada siswa SMA yang benar-benar bisa melakukan ini?”

Melihat Yeon-woo yang berapi-api, gadis itu berbicara singkat.

“Ada.”

“Hah?”

Keduanya menatapnya di saat bersamaan.

“Kalau itu Dewa Matematika, Duck Lord, itu mungkin.”

Di monitor gadis itu, terdapat figur bebek kecil yang ditempelkan.

***

Seo-ha tidak tahu apa yang sedang terjadi.

Tiba-tiba, orang-orang mengerumuninya tanpa sepatah kata pun. Lalu dia diseret ke tempat ini.

[Bit Forge]

Saat dia duduk di kursi, ketua OSIS, yang tampak malu, menjelaskan situasinya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Jadi maksudmu kau butuh aku membuat algoritma binatu?”

“Kau langsung paham. Tolong, aku mohon. Ini keluhan yang sudah menumpuk bertahun-tahun. Kalau kami mengabaikan ini, OSIS bisa bubar.

Karena ini proyek sekolah, kau akan mendapat nilai sempurna untuk mata pelajaran IT semester dua.”

Jun-gi menangkupkan tangan dan memohon dengan sungguh-sungguh.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Tapi aku tidak tahu cara memprogram.”

“...Apa?”

Semua orang tertegun mendengar ekspresi polos Seo-ha.

Karena mata pelajaran IT adalah bagian dari kurikulum, sebagian besar siswa di Sekolah Khusus Anak Berbakat sudah belajar coding bahkan sebelum masuk.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Bisakah aku mempelajarinya sekarang?”

“Ini mendesak, bagaimana caranya?”

Ketua Bit Forge menggelengkan kepala, mengatakan itu mustahil.

Namun, jika Seo-ha menetapkan logika matematikanya dan klub menangani coding keseluruhannya, mungkin mereka bisa membuatnya berhasil.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Bisa sekarang. Ini bukunya.”

Na-ri muncul dari suatu tempat dengan buku panduan dan menyerahkannya.

‘Apa yang dia coba lakukan dengan memberikan itu sekarang?’

Dia memang karakter yang aneh, tapi saat ini, tidak ada yang bisa menebak apa yang dipikirkan Na-ri.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Terima kasih.”

“Kita teman sekelas. Bicara santai saja tidak apa-apa.”

“Oke!”

Seo-ha menerima buku itu.

Melihat keduanya bergaul dengan begitu lancar, Jun-gi dan Yeon-woo tiba-tiba menyadari betapa tuanya mereka.

[Python, Dari Pemula hingga Mahir]

“Judulnya saja menakutkan. Tidak ada buku untuk pemula saja?”

Mendengar kata-kata Jun-gi, Na-ri mengangkat bahu.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Ini yang ada di paling atas.”

Seo-ha duduk di kursi dan mulai membaca.

Dari halaman pertama, kata-kata asing seperti cakupan fungsi (function scope), iterator, dan generator mengalir keluar.

Namun, saat dia membalik halaman, senyum perlahan mengembang di wajah Seo-ha.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Kata-kata di dalam buku itu asing, tapi strukturnya sangat familier baginya.

‘Cakupan itu seperti batasan asumsi dan kesimpulan dalam pembuktian, iterator adalah induksi, generator adalah barisan tak terhingga.’

Kode itu tidak lebih dari simbol-simbol baru. Prinsip di dalamnya adalah logika matematika yang sudah terpatri dalam tubuh Seo-ha.

Seo-ha menyadari bahwa bahasa pemrograman pada akhirnya hanyalah kumpulan logika dan aturan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Jantungnya mulai berdegup kencang.

Fakta bahwa logika abstrak yang dibahas dalam matematika kini bisa diwujudkan dalam kenyataan melalui bentuk kode sangatlah menggembirakan.

Tanpa terasa, dua jam telah berlalu.

Karena canggung untuk pergi, semua orang menunggu Seo-ha sambil mengerjakan tugas mereka masing-masing.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Tap.

Seo-ha menutup buku itu.

“Bolehkah kalau aku datang lagi minggu depan? Ada beberapa hal yang ingin aku teliti.”

Dia telah selesai membaca buku teks tingkat profesional hanya dalam dua jam.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

‘Jangan bilang dia sudah memahami semua itu?’

Semua orang di ruang klub mengangguk canggung.

Seo-ha langsung menuju perpustakaan dan pergi ke bagian ilmu komputer.

‘Itu bahasa yang menarik.’

Sekarang setelah dia memahami pemrograman, dia merasa tahu apa yang diperlukan untuk menyelesaikan masalah ruang cuci.

[Sistem Operasi dan Penjadwalan]

[Jaringan Komputer]

[Teori Permainan dan Desain Algoritma]⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Kembali ke asrama, Seo-ha meletakkan buku-buku dan buku catatan di mejanya lalu menyalakan laptop.

Ngung—

“Baiklah, mari kita coba.”

Klik, klik.

Pertama, dia menyusun kerangka keseluruhannya.

Ada beberapa teori matematika yang terlintas di benaknya.

Klik, klik.

Semakin larut malam, semakin panjang baris kode di layar.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

‘Apa lagi yang kubutuhkan?’

Ada beberapa ide yang dia lihat di buku yang layak diterapkan pada aplikasi.

Simulasi penundaan acak untuk mencegah bentrokan saat banyak pengguna memesan di waktu yang sama, pemrosesan acara respons instan yang meniru panggilan hantu.

‘Mari terapkan sistem imbalan.’⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Bahkan model insentif sederhana yang akan mengendalikan pilihan siswa dengan memberi dan menerima kredit.

Setelah menyelesaikan desain kasar, Seo-ha pergi tidur dengan ekspresi puas.

***

Seminggu kemudian,

Seo-ha seperti orang yang benar-benar berbeda.

Klik-klik-klik-klik-klik—klik!

Kode mengalir deras seperti badai di layar di depannya.

Yeon-woo sudah duduk di tahun ketiga SMA, tapi dia punya pengalaman coding selama lima tahun.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Banyak kemenangan kompetisi di bawah ikat pinggangnya.

Yeon-woo tidak percaya dengan apa yang dilihatnya.

‘Dia benar-benar baru belajar Python untuk pertama kalinya seminggu yang lalu.’

Tangan Seo-ha menari di atas laptop seolah kesurupan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Kriet—

“Sudah siap?”

Saat ketua OSIS masuk, Seo-ha memutar kursinya.

“Biar aku mulai dengan kesimpulannya.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Ketua dan wakil ketua dengan cepat mengeluarkan buku catatan mereka, siap mencatat.

“Keadilan sempurna itu mustahil.

Tapi kondisi di mana tidak ada seorang pun yang menderita secara signifikan, secara matematis disebut EF1 (Envy-Freeness up to one item), bisa dicapai.”

“E-F-Satu?”

Seo-ha memutar laptopnya untuk menunjukkan layar.

Itu menampilkan hasil simulasi yang dipenuhi grafik dan tabel.

“Ya, itu merujuk pada kondisi di mana jika satu orang mengalah sekali saja, perasaan iri akan hilang. Dengan kata lain, dalam jangka panjang, semua orang mendapatkan peluang yang kira-kira sama. Tentu saja, mesin juga bisa dioperasikan pada efisiensi yang hampir maksimal.”

Mata Yeon-woo membelalak.

“I-Itu benar-benar bisa diimplementasikan sebagai sistem?”

Dia pernah mendengar itu adalah tantangan yang layak untuk sebuah tesis, tapi anak di depannya menjelaskan dengan tenang seolah itu bukan apa-apa.

“Keadilan bisa dijaga melalui pembobotan probabilitas dan struktur imbalan. Saat kita menggabungkan keduanya, kita bisa menangkap efisiensi dan keadilan sekaligus.”

Yeon-woo tertawa hambar.

“Kau bilang kau akan mengimplementasikan EF1 untuk ruang cuci?”

Seorang siswa dengan earbud juga berdiri.

“Kalau ini mungkin, memenangkan hadiah utama dalam kontes pemrograman akan semudah membalik telapak tangan.”

“Sangat sulit, tapi mungkin. Realistis. Hanya butuh kemampuan matematika yang ekstrem.”⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

Na-ri menatap Seo-ha dengan ekspresi puas.

Baek Jun-gi dan Min Do-hyun menatap lekat-lekat grafik simulasi yang disiapkan Seo-ha.

Mesin cuci dan pengering beroperasi secara bersamaan, dan panjang antrean menyusut.

Indikator ketidakadilan yang ditandai merah perlahan menghilang dan akhirnya stabil di tingkat yang sangat rendah.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌​​​​​‌​​​​​​‌‌​​‌‌​​​‌​‌⁠

“Waktu tunggu turun 35%.”

Suara Do-hyun bergetar.

“Seperti yang diharapkan, Dewa Matematika.”

Na-ri berkata dengan bangga.