Saat ini saya sedang menghadapi situasi yang saya tidak yakin bagaimana menanganinya.
Pada dasarnya, ada masalah ini . Masalah telah menjadi topik hangat dalam tahun terakhir. Tahun lalu, sebuah makalah diterbitkan dalam jurnal yang sangat terkemuka (Transaksi IEEE tentang Teori Informasi) yang mengusulkan algoritma baru yang terdiri dari sub-algoritma, yang keduanya digunakan untuk menyelesaikan masalah. Inilah peringatannya, Algoritma terbukti pada akhirnya akan bertemu tanpa jaminan waktu berjalan (ditunjukkan untuk konvergen dengan jumlah langkah terbatas), sedangkan terbukti mengambil .
Makalah saya pada dasarnya mengganti dengan algoritma baru yang dijamin akan berakhir dengan benar di , sehingga membawa kompleksitas waktu keseluruhan bila dikombinasikan dengan ke .
Sejauh ini bagus. Saya cukup yakin makalah ini dapat diterima di jurnal yang sama karena algoritma baru sangat tidak sepele dan memberikan banyak wawasan baru tentang masalah ini. Namun, 2 minggu yang lalu, saya membungkus semuanya dan memutuskan untuk memberikan algoritma bacaan lain serta buktinya. Saat itulah saya menghadapi beberapa masalah.
Salah satu bukti dalam makalah itu rusak, tidak dapat diperbaiki. Penulis melakukan lompatan yang sangat besar, dan saya berhasil membuat contoh tandingan yang pada dasarnya menunjukkan bahwa teorema yang ia "buktikan" salah. Saya mencoba untuk memperbaiki algoritmanya, tetapi saya tidak bisa. Jadi saya mencoba mendekatinya dari perspektif baru menggunakan metodenya , dan saya berhasil mendapatkan algoritma baru yang menggantikan , tetapi itu berjalan di .
Ada ide?