Bab 203

Profesor Abraham berjalan sepanjang jalan menuju gerbang sekolah untuk mengantar Seo-ha.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Seo-ha membungkukkan kepalanya beberapa kali sebagai tanda terima kasih sebelum menyelusup ke tengah kerumunan dan berlalu pergi. Abraham tetap berdiri di sana hingga sosok Seo-ha yang berjalan menjauh benar-benar lenyap.

"Kira-kira, apa lagi rencana dewa takdir kali ini?"

Ia seorang matematikawan, tetapi ia juga seorang fatalis.

Rekan-rekannya sesekali menggodanya soal itu. Mereka menganggap tidak masuk akal jika seseorang yang mencari makan dari angka-angka malah mempercayai takdir. Namun, Abraham tidak memedulikannya dan hanya menertawakannya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Ia tidak pernah repot-repot menjelaskan. Ketika seseorang bekerja dengan angka cukup lama, ia justru akan memahami hal-hal tertentu. Pertanyaan tentang apakah kebetulan benar-benar punya tempat di dunia yang berjalan dengan presisi luar biasa ini.

Probabilitas mengisyaratkan ketidaktahuan. Hanya karena manusia tidak mampu mengetahui setiap variabel, makanya mereka melekatkan sebutan "kebetulan" pada berbagai hal.

Ia memikirkan Seo-ha.

Seorang pemuda yang muncul di dunia matematika pada usia yang begitu muda dan memecahkan masalah-masalah berusia berabad-abad satu demi satu. Jika orang menganggap itu sekadar kebetulan, lalu seberapa besar peluang terjadinya hal semacam itu di dunia?⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Ia menggelengkan kepala dan melepaskan tawa kecil.

'Mana mungkin itu kebetulan.'

Kemampuan Seo-ha telah melampaui ranah probabilitas. Abraham merasakan tarikan takdir yang begitu kuat.

Dunia sedang bergerak. Ke arah yang tidak dapat diramalkan oleh siapa pun.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Sistem-sistem tertentu, pada saat memenuhi kondisi tertentu, melompat ke keadaan yang sama sekali berbeda. Air mendidih melewati seratus derajat Celsius, bintang-bintang runtuh, dan peradaban mencapai titik baliknya.

Ia merenungkan apa yang telah terjadi selama satu abad terakhir.

Keheningan panjang di dunia matematika.

Beberapa orang menyalahkan kesulitan masalahnya; yang lain berbicara tentang batas kecerdasan manusia.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Namun, bidang ini tidak tinggal diam selama itu. Bahasa komputasi telah tumbuh semakin presisi, topologi dan teori informasi telah bergandengan tangan, dan akhirnya analisis serta teori bilangan melebur menjadi satu, memungkinkan manusia menangani ketakterhinggaan.

Seratus tahun persiapan.

Sistem itu telah merangkai kondisinya sendiri sejak awal.

Dan ketika setiap syarat terpenuhi, Seo-ha pun muncul.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Bahkan guruku dan aku tidak pernah menjadi variabelnya."

Jika memang begitu keadaannya, Abraham memutuskan bahwa ia lebih baik menjadi pengamat saja.

Tiba-tiba, kata-kata yang pernah diucapkan oleh gurunya terlintas kembali di benaknya.

"Dalam beberapa pembuktian, butuh waktu puluhan atau bahkan ratusan tahun kemudian bagi kita untuk memahami mengapa pembuktian itu pernah dibutuhkan."⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Ia yakin.

Bahwa alasan mengapa ia mewarisi catatan-catatan gurunya pasti juga sama.

* * *

Okcheon, Provinsi Chungcheong Utara.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Seo-eun mengalihkan pandangannya dari pekerjaan rumah ke arah jam dinding. Dalam kurun waktu sepuluh menit, ini sudah yang ketiga kalinya.

"Masih ada waktu lebih dari satu jam?"

Tiga lewat empat puluh tujuh.

Seo-eun meletakkan pensilnya.

PR yang diberikan oleh Woo-hyun memiliki karakter yang berbeda dari soal-soal yang ia selesaikan selama ini. Seo-eun sengaja memilih dan menyelesaikan soal-soal yang menarik saja.

Ia menutup buku pelajarannya dan mondar-mandir di pekarangan. Berbagai tanaman tumbuh subur di kebun sayur.

Labu, daun perila, cabai, tomat ceri.

Semuanya ditanam bersama keluarganya setelah mereka kembali ke Korea.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Di salah satu sudut pekarangan berdiri sebuah pohon kesemek yang dirawatnya bersama sang oppa sejak mereka masih kecil. Buahnya masih mentah, tetapi sebentar lagi dahan-dahannya akan sarat dengan buah kesemek, memenuhi pekarangan dengan warna jingga yang cerah.

"Aku harus membuat buah kesemek kering bersama Ibu."

Seo-eun mengepalkan tangan kecilnya seolah membulatkan tekad.

Tatapannya beralih ke arah sudut pekarangan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

'Aku juga dulu sering bermain di sana.'

Kenangan masa kecil Seo-eun yang paling awal adalah berlari-lari di tempat ini bersama oppanya yang bersemangat.

Oppanya selalu mengikuti satu langkah di belakangnya, siap menangkap jika ia terjatuh. Pada hari-hari bersalju, oppa selalu menemaninya ke luar, menariknya di atas seluncuran salju dan membuatkan manusia salju.

'Waktu itu usia oppa pasti sepantaran aku yang sekarang.'⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Sakit yang menusuk berdesir di salah satu sisi dadanya.

Bohong jika ia bilang tidak ada rasa keberatan ketika mereka diberi tahu bahwa mereka akan kembali ke Korea. Ia tidak ingin berpisah dengan teman-teman yang sudah akrab dengannya. Namun, lebih dari itu, ia merindukan tempat ini.

Hari-hari ketika ia memiliki seorang oppa yang hanya memedulikannya seorang.

Sekarang, oppanya telah menjadi seorang matematikawan kelas dunia yang harus memenuhi ekspektasi semua orang. Dunia ribut membicarakan bagaimana Seo-ha telah mencapai sesuatu yang luar biasa, tetapi Seo-eun tidak begitu mengerti apa yang diributkan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Bodoh. Aku sudah tahu kalau oppaku adalah orang paling pintar di dunia sejak sebelum aku berumur lima tahun."

Rasanya agak menyedihkan, perasaan bahwa tatapan oppanya kini sedikit bergeser menjauh darinya.

Namun, ia tidak bisa selamanya menjadi anak kecil. Seo-eun telah memutuskan untuk mengikuti jalan yang telah dilalui oleh oppanya. Dimulai dari Olimpiade.

Dan kali ini, dialah yang akan memenangkan medali emas dan memberikannya kepada sang oppa sebagai hadiah.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Eh?"

Sesosok tubuh kecil muncul di kejauhan.

Ia telah tumbuh jauh lebih tinggi, tetapi cara berjalannya sambil menyeret koper sama sekali tidak berubah dari masa lalu. Seo-eun merasakan dorongan kuat untuk berlari menyambutnya, namun ia menahannya erat-erat.

"Ayo tunggu! Aku sudah anak SMP sekarang.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Tok, tok.

Mengapa waktu merangkak begitu lambat?

Apakah karena mereka tidak saling bertemu selama dua minggu penuh, atau karena ia pulang ke rumah dan hanyut dalam kenangannya? Suara roda koper yang berderit semakin lama semakin nyaring.

Kriet—

"Seo-eun, oppa sudah pulang."

Kepala Seo-eun menoleh.

Saat suara yang sangat dicintainya itu mencapai telinganya, bendungan yang selama ini ditahannya runtuh seketika. Seo-eun tidak lagi mampu menahannya dan melompat turun dari anjungan kayu. Ia berlari melintasi halaman dengan sandal berdebunya.

"Kamu terlambat! Katamu kamu akan sampai di sini sebelum pukul lima!"⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Seo-eun menjerit dan memeluk erat pinggang sang oppa.

Pakaian oppanya membawa aroma akrab dan dirindukan yang sudah lama ia lupakan. Seo-ha tampak terkejut sejenak, namun kemudian ia tersenyum cerah dan dengan lembut mengelus rambut Seo-eun.

"Maaf. Lalu lintasnya tadi agak padat."

Seo-eun menarik tangan besar sang oppa.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Masuklah, cepat. Ibu sudah menyiapkan makanan, tahu."

Mi-young, yang duduk di tepi lantai kayu mengamati kedua anaknya, membereskan segepok lembaran naskah dan berdiri.

"Selamat datang."

"Aku pulang."

"Kamu pasti lelah. Pergilah membersihkan diri lalu keluar lagi. Seo-eun membantu menyiapkan makanan sepanjang pagi karena oppanya mau datang."

"Ibu!"

Menanggapi protes Seo-eun tentang mengapa ia mengatakan hal semacam itu, Mi-young melepaskan tawa kecil yang puas.

Bau harum menyebar ke seluruh rumah.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Seo-eun bergerak cepat, membawa piring-piring ke atas meja. Seo-ha mengambil sumpitnya dan merentangkan selembar daun labu di atas telapak tangannya. Di atasnya, ia menaruh nasi yang baru dimasak dan gangdoenjang buatan rumah.

"Selamat makan."

Kelezatan yang sederhana namun sempurna menyebar di dalam mulutnya.

Saraf-saraf yang tadinya tegang dan kaku kini mengendur. Seo-eun telah berhenti makan dan menatap tajam ke wajah sang oppa.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Enak?"

Kepada Seo-eun yang bertanya dengan mata berbinar-binar, Seo-ha mengangguk.

"Ya. Jauh lebih enak dari jamuan makan mana pun di dunia."

Baru setelah itu, dengan ekspresi puas, Seo-eunen senandung kecil dan kembali sibuk menyendok makanannya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

* * *

Ia telah kembali ke kehidupan sehari-hari.

Menikmati makanan buatan ibunya di rumah, dan membantu adik perempuannya mengerjakan PR.

Seo-ha mengubah soal-soal ujian yang paling dibenci adiknya menjadi sesuatu yang menyenangkan. Di tangannya, persamaan kompetisi yang rumit berubah menjadi bentuk-bentuk yang asyik.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Seo-ha terus menggambar kotak-kotak kecil satu demi satu. Dan akhirnya, sebuah piramida raksasa pun terbentuk sempurna. Dengan mata berbinar, Seo-eun menghitung besar sudut yang ditanyakan oleh soal tersebut.

"Pintar. Bagus sekali.

"Ehehe!"

Mendengar pujian Seo-ha, Seo-eun tersenyum lebar hingga mulutnya terbuka karena gembira.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Adik perempuannya tidak memiliki kesabaran untuk menjadi seorang matematikawan. Namun, hal itu bukanlah sesuatu yang bisa diperoleh hanya dengan diajar. Suatu hari nanti, jika ia menemui masalah yang sangat ingin ia pecahkan, barulah—

Ia telah mulai berolahraga sejak awal, bertekad untuk tidak mati muda seperti Ramanujan, namun akhir-akhir ini menggerakkan tubuhnya justru terasa semakin melelahkan.

Seo-ha membulatkan tekad dan berlari mengelilingi lingkungan sekitar.

Wush.

Ia kembali ke kamarnya dan duduk di depan meja kerjanya.

Ia merasakan sentuhan logam dingin di saku bajunya. Ia tidak bisa menundanya lagi. Seo-ha masih belum membukanya. Mengintip ke dalam bertahun-tahun penderitaan yang ditinggalkan oleh mendiang mentornya terasa seperti tindakan melanggar privasi.

Ia mengeluarkan stik memori itu dan meletakkannya di atas telapak tangannya.

USB kecil yang sudah usang.

Tok—

Setelah ragu sejenak, ia menancapkan USB tersebut ke porta laptop.

Disertai dengung mekanis yang samar, beberapa folder muncul di layar. Di dalamnya, hanya tercatat tanggal-tanggal saja, tidak ada yang lain. Seo-ha mengeklik dua kali folder yang paling lama.

Catatan tulisan tangan yang dipindai.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Persamaan-persamaan dicoret-coret dengan berantakan di atas kertas. Namun, Seo-ha membacanya dalam sekali pandang.

'Sebuah abstrak (tulisan pendek yang merangkum inti sebuah makalah)?'

Catatan dari tahun 1970.

Sebuah draf makalah yang dikenal sebagai Teorema Cook-Levin. Namun, dokumen itu tertanggal satu tahun penuh sebelum Cook mempublikasikannya.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Sebelum ia meninggalkan Texas, Abraham telah menceritakan kisah tentang gurunya kepada Seo-ha. Levin memiliki kebiasaan yang jarang mempublikasikan gagasannya sebagai makalah resmi, melainkan membagikannya secara lisan. Ini kemungkinan besar adalah catatan seseorang yang menuliskan kembali salah satu gagasan tersebut.

Untuk waktu yang lama, dunia akademis Barat menyebutnya sebagai "Teorema Cook", dan baru setelah Levin berimigrasi ke Amerika Serikat kontribusinya diakui dan namanya diubah menjadi Teorema Cook-Levin, begitu kisah itu beredar.

"Hahaha! Guruku sama sekali tidak pernah merasa dirugikan karenanya."

Sudut bibir Seo-ha terangkat.

Itu karena ia merasa cocok dengan kepribadian Levin.

Klik.

Folder kedua.

Folder ini pun hanyalah secarik kertas yang mendeskripsikan sebuah gagasan.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

[Ada sebuah algoritma ajaib yang dapat menyelesaikan setiap masalah yang dapat dihitung. Cobalah setiap metode yang mungkin secara bersamaan. Jika kamu memberikan lebih banyak sumber daya pada metode yang lebih cepat, kamu selalu bisa mendapatkan algoritma yang lebih lambat dari solusi optimal dengan rasio tetap.]

"Eh?"

Seo-ha mengamati catatan itu lekat-lekat lalu mulai menuliskan persamaan-persamaan layaknya orang kesurupan.

Coret-coret.

Sekilas masalah itu terlihat terlalu mudah.

Mungkin bahkan seorang mahasiswa tahun pertama akan mencemooh dan membuktikannya.

"Kirim orang ke segala arah dalam sebuah labirin dan tentu saja seseorang akan menemukan jalan keluar. Tapi lalu apa?"

Mengajukan pertanyaan semacam itu.⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Namun Seo-ha bisa menebaknya. Ini hanyalah kata pengantar. Yang sebenarnya ingin dibicarakan oleh Levin adalah rasionya. Bagaimana jika seseorang bisa mendapatkan algoritma yang kecepatannya persis $k$ kali lebih lambat daripada solusi optimal?

'Jadi inilah alasan mengapa ia bilang tempat ini penuh dengan jebakan.'

Keluhan Abraham sekarang menjadi masuk akal.

Dalam sebuah algoritma yang tujuan utamanya adalah mencari jalur tercepat, siapa yang dengan sengaja mau mengambil jalan memutar yang panjang?⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Hahaha! Bukankah ini menyenangkan! Ini benar-benar konyol."

Tanpa disadarinya, Seo-ha menutup mulutnya dengan sebelah tangan dan tertawa terbahak-bahak.

Rasio itu bisa ditemukan bahkan sekarang.

Namun hanya untuk masalah-masalah yang algoritma optimalnya sudah diketahui. Padahal jika seseorang sudah mengetahui solusi optimalnya, alasan apa lagi yang tersisa untuk menggunakan metode yang lebih lambat?⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

"Levin, apa kamu benar-benar berniat mencoba hal ini?"

Siapa pun yang melihat ini tidak akan mampu memahami niat aslinya. Namun Seo-ha bisa.

Levin telah berusaha menyimpulkan konstanta (rasio tersebut) dari struktur masalah itu sendiri. Dan ini adalah kesimpulan yang hanya bisa berlaku jika P sama dengan NP.

'Masalah ini tidak bisa diselesaikan. Tapi....'⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Seo-ha sama sekali tidak berniat menyelesaikan semua Masalah Milenium. Beberapa di antaranya sama sekali tidak menarik minatnya.

Namun, sebagai orang yang telah menciptakan sandi yang akan digunakan umat manusia selama berabad-abad ke depan, ia ingin menjamin keamanannya secara teoretis.

Di dalam kegelapan, Ducky membuka matanya. Ia mengecap-ngecapkan bibirnya seolah kelaparan.

'Jadi ini santapan berikutnya? Aku menyukainya.'⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Rasa lapar Ducky, meskipun mungkin terpuaskan sejenak, tidak akan pernah benar-benar bisa terisi penuh. Seo-ha telah memutuskan untuk menerima kenyataan itu. Dan suatu hari nanti, begitu ia menemukan persamaan yang menjelaskan setiap prinsip di dunia ini, Seo-ha berniat melihat ekspresi seperti apa yang akan ditunjukkan oleh bebek menyebalkan ini.

"Aku ingin menyelami masalah ini dalam-dalam."

Matanya memancarkan kilau penuh keserakahan.

'Selami sedalam yang kamu mau.'⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Ini adalah kedua kalinya ia menantang Masalah Milenium. Monster seperti apa yang tengah bersembunyi di dalam masalah ini?

Seo-ha menarik napas dalam-dalam lalu memejamkan matanya.

*****

Jika Anda menikmati novel ini, silakan tinjau dan beri peringkat di Terima kasih! 😊⁠​​​​​​​​​​​​​​​‌‌​​​‌‌‌‌‌​‌​​​​​​‌‌​​‌‌​‌‌‌​‌​​‌⁠

Untuk menerima pemberitahuan pembaruan terbaru atau melaporkan kesalahan, bergabunglah dengan server Discord kami di tautan di bawah ini.