Sekilas, ini terdengar seperti eksperimen pemikiran sederhana: sekelompok orang berlari mengelilingi lintasan melingkar dengan kecepatan berbeda dan konstan. Akankah setiap pelari pada akhirnya merasa “kesepian”—artinya, cukup jauh dari orang lain untuk mendapatkan ruang kosong?
Meskipun premisnya mudah divisualisasikan, matematika di baliknya sangatlah kompleks. Selama beberapa dekade, Lonely Runner Conjecture telah menjadi teka-teki keras kepala yang menyentuh berbagai cabang ilmu pengetahuan, mulai dari teori bilangan hingga geometri. Namun, setelah hampir dua puluh tahun mengalami stagnasi, “lompatan kuantum” baru-baru ini dalam penelitian akhirnya memecahkan kebuntuan.
Apa Masalah Pelari Kesepian itu?
Masalahnya awalnya dibingkai bukan dalam konteks atlet, tetapi dalam bahasa teori bilangan. Pada tahun 1960-an, ahli matematika Jörg M. Wills menduga bahwa metode khusus untuk menggunakan pecahan untuk memperkirakan bilangan irasional (seperti $\pi$) adalah metode yang optimal.
Pada tahun 1998, para peneliti menerjemahkan konsep abstrak ini ke dalam metafora “puitis” tentang pelari di lintasan. Dugaan formal menyatakan:
Jika $N$ pelari memulai dari titik yang sama pada lintasan melingkar dan berlari dengan kecepatan konstan yang berbeda, setiap pelari pada titik tertentu akan berada pada jarak setidaknya $1/N$ dari setiap pelari lainnya.
Ini bukan sekadar keingintahuan khusus. Permasalahan tersebut secara matematis setara dengan beberapa pertanyaan dunia nyata dan teoritis, seperti:
– Geometri: Menentukan seberapa besar rintangan yang ada di suatu lapangan sebelum sebuah garis lurus menabraknya.
– Fisika: Memprediksi pergerakan bola bilyar di atas meja.
– Teori Jaringan: Mengorganisir sistem dan koneksi yang kompleks.
Tembok Kompleksitas
Untuk waktu yang lama, kemajuan dalam dugaan tersebut berjalan lambat dan bertahap. Matematikawan dapat membuktikan bahwa teori tersebut berhasil untuk dua atau tiga pelari dengan cukup mudah. Pada tahun 1970-an, mereka telah menyelesaikannya untuk empat pelari, dan pada tahun 2007, mereka telah mencapai tujuh pelari.
Kesulitannya terletak pada kenyataan bahwa menambahkan satu pelari saja akan membuat soal lebih sulit secara eksponensial. Setiap pelari tambahan menyebabkan peningkatan besar pada kemungkinan kombinasi kecepatan. Karena ahli matematika menggunakan teknik ad hoc yang berbeda untuk jumlah pelari yang berbeda, mereka tidak memiliki strategi terpadu untuk mengatasi masalah secara keseluruhan.
Terobosan: Dari Tujuh Menjadi Sepuluh
Kebuntuan akhirnya terpecahkan berkat kombinasi terobosan teoritis dan kekuatan komputasi.
1. Menetapkan Ambang Batas
Pada tahun 2015, ahli matematika terkenal Terence Tao memberikan petunjuk penting. Dia mendemonstrasikan bahwa jika dugaan tersebut benar pada kecepatan yang relatif rendah, maka secara otomatis dugaan tersebut juga berlaku pada kecepatan yang jauh lebih tinggi. Hal ini secara efektif mengubah permasalahan tak terbatas menjadi permasalahan terbatas, memberikan “batas kecepatan” bagi para ahli matematika untuk mengerjakannya.
2. Bukti Rosenfeld
Berdasarkan karya Tao, matematikawan Matthieu Rosenfeld mengubah pendekatannya. Alih-alih mencoba membuktikan bahwa para pelari akan kesepian, dia mencari contoh tandingan. Dia bertanya: Seperti apa jadinya kecepatan jika seorang pelari tidak pernah kesepian?
Dengan menggunakan program komputer dan teori bilangan, Rosenfeld menemukan bahwa contoh tandingan seperti itu memerlukan kecepatan yang hasil perkaliannya dapat dibagi dengan bilangan prima tertentu. Dia membuktikan bahwa produk semacam itu harus berukuran sangat besar sehingga melebihi ambang batas Tao, yang berarti bahwa contoh tandingan secara matematis tidak mungkin dilakukan. Hal ini berhasil membuktikan dugaan delapan pelari.
3. Akselerasi Oxford
Momentumnya tidak berhenti sampai di situ. Tanupat (Paul) Trakulthongchai, mahasiswa tahun kedua di Universitas Oxford, menyempurnakan teknik komputasi Rosenfeld. Dengan menemukan cara yang lebih efisien untuk mengidentifikasi pembagi prima yang diperlukan, Trakulthongchai mampu membuktikan dugaan sembilan dan sepuluh pelari tak lama setelah terobosan Rosenfeld.
Mengapa Ini Penting
Peningkatan kemajuan yang tiba-tiba ini—dari tujuh pelari menjadi sepuluh dalam waktu yang sangat singkat—mewakili perubahan signifikan dalam cara para ahli matematika mendekati masalah tersebut. Dengan beralih dari bukti-bukti yang terisolasi dan terspesialisasi ke arah strategi komputasi yang lebih terpadu, para peneliti akhirnya berhasil mengatasi masalah yang tadinya tampak tidak dapat diatasi.
Lompatan dari tujuh menjadi sepuluh pelari merupakan bukti bagaimana menggabungkan teori tingkat tinggi dengan komputasi modern dapat memecahkan permasalahan yang stagnan selama beberapa dekade.
Kesimpulan: Bukti terbaru yang dilakukan oleh delapan, sembilan, dan sepuluh pelari telah mengubah Dugaan Pelari Kesepian dari misteri berusia puluhan tahun menjadi bidang studi yang berkembang pesat, membuktikan bahwa masalah paling “sederhana” pun dapat menyembunyikan kedalaman matematika yang mendalam.
