Judulnya sedikit menyesatkan: tapi semoga pertanyaannya bukan:
Hasil baru Grønlund dan Pettie menunjukkan bahwa 3SUM hanya memiliki kompleksitas pohon keputusan membuat saya bertanya-tanya:
Apakah ada contoh sederhana dari masalah dengan kompleksitas pohon keputusan tetapi mengakui batas bawah (dalam model yang lebih rinci) dari ?
Dengan kata lain, bagaimana seharusnya hasil pada 3SUM mengubah pandangan kita tentang kemungkinan mendapatkan batas yang jauh lebih rendah daripada pada kompleksitas masalah?
3
Model pohon keputusan adalah model teori informasi: Setelah Anda mempelajari informasi yang cukup tentang input Anda, maka jawabannya ditentukan secara unik dari informasi ini, Anda selesai. Tidak masalah jika menentukan jawaban dari informasi ini tidak dapat ditentukan. Jadi misalnya jika inputnya adalah string biner n-bit yang mengkodekan mesin Turing, dan pertanyaannya adalah apakah TM ini berhenti, pohon keputusan kedalaman n dapat dengan mudah menyelesaikan masalah ini karena ia mengetahui semua n bit, tetapi tidak ada algoritma yang dapat menyelesaikan masalah ini.
—
Robin Kothari
Mungkin saya seharusnya mengatakan 'contoh masalah sederhana' sebagai gantinya :).
—
Suresh Venkat