Merasa tidak puas setelah setiap pengiriman

Saya seorang mahasiswa pascasarjana tahun ketiga di universitas "top-20" yang bekerja pada kompleksitas berbutir halus (banyak bermain dengan 3-SUM, OV dan dugaan kekerasan populer yang biasa). Saya telah cukup produktif selama sekitar setahun terakhir dan telah menerima 3 makalah dan dua makalah yang diajukan. Semua ini untuk mengatakan bahwa saya seorang mahasiswa pascasarjana yang cukup berpengalaman dan apa yang akan saya gambarkan bukanlah anekdotal.

Setiap pengajuan membawa saya lebih banyak ketidakpuasan daripada kepuasan. Tepat sebelum saya mulai mengerjakan suatu masalah, saya dan penasihat saya mengidentifikasi daftar pertanyaan konkret yang perlu dijawab. Setelah banyak berpikir, kami memiliki beberapa hasil non-sepele yang sangat bagus yang memberi saya banyak kebahagiaan dan kepuasan. Ketika kita mulai menuliskan semua hasil, pasti, ada beberapa varian yang lebih menarik yang muncul tetapi jauh lebih sulit untuk membuat kemajuan. Setelah titik euforia awal, saya merasa semuanya tampak menurun. Ada begitu banyak varian yang juga perlu dijawab, jelas dalam lingkup masalah yang dihadapi tetapi saya tidak mampu. Pada saat kami menyerahkan makalah, saya sangat kecewa bahwa hasil di makalah itu tampak hampir sepele. Mungkin ini hanya penglihatan terowongan, tapi aku bisa '

Ini telah terjadi setiap saat dan saya bertanya-tanya apakah ini adalah perasaan yang umum. Apakah orang lain dalam komunitas teori merasakan hal yang sama? Saya tidak yakin apakah ini adalah perasaan akademisi yang luas. Rekan-rekan mahasiswa pascasarjana saya dari daerah lain melewati bulan setelah setiap pengiriman (tapi ini hanya anekdot)

Sunting - Saya melihat ada pertanyaan lunak lain di halaman depan. Saya minta maaf karena menambahkan yang lain. Musim liburannya dan (hanya?) Setelah beberapa minuman, orang mulai merenungkan hal-hal ini!

Ya, itu sangat umum. Begitu kami menghabiskan berbulan-bulan memikirkan masalah, kami mulai melihat hubungan dengan baik sehingga solusinya terlihat sepele bagi kami. Ini tidak spesifik untuk akademisi, begitu kita memiliki solusi untuk suatu masalah, itu membuat masalah terlihat lebih mudah dari yang sebenarnya, semua awan yang mencegah kita melihatnya menghilang.

Bagaimana cara mengatasi perasaan ini? Saya belum menemukan diri saya tetapi beberapa pengamatan yang mungkin membantu:

Ingatkan diri Anda apa yang tampak jelas bagi Anda bukan untuk banyak orang lain. Berapa banyak orang di daerah Anda yang luas yang melihat solusinya sebelumnya?

Untuk sebagian besar hasil (dan sebagian besar hasil tidak menembus hasil) Saya pikir itu adalah kasus bahwa orang lain di bidang kita yang cukup pintar bisa mengetahuinya juga. Ini juga memiliki efek yang kami rasa kami tidak begitu istimewa. Ya, kita tidak! Begitu kita menerima bahwa ada orang lain yang cukup pintar dan berurusan dengan ego kita dan menjadi lebih rendah hati kita cenderung memiliki kepuasan yang lebih tinggi dari kontribusi kita. Ya, X, Y, dan Z bisa melakukannya juga. Tetapi kami adalah orang yang berupaya untuk benar-benar melakukannya.

Yang lain adalah lebih memperhatikan masalah apa yang kita putuskan untuk diselesaikan. Sangat jelas dengan diri sendiri mengapa Anda ingin mengerjakan suatu masalah. Jangan lakukan itu hanya karena itu terlihat menarik atau sulit atau orang lain mengatakan itu menarik. Bagaimana mengetahui solusi untuk masalah tersebut memengaruhi pemahaman dan dunia kita? Jika kita jelas tentang hal itu maka fakta bahwa solusi untuk masalah itu terlihat sederhana tidak akan mengganggu kita, itu justru akan menyenangkan kita. Meskipun ini mungkin sulit bagi siswa, Anda harus memilih masalah yang bermakna dan dapat dipecahkan. Lebih sulit di area yang lebih murni daripada sisi yang diaplikasikan. Dan seringkali kita tidak akhirnya memecahkan masalah yang bermakna nyata tetapi membuat beberapa kemajuan berarti ke arah itu. Ingatlah bahwa itu juga berharga. Bahkan kegagalan kita bisa berharga jika kita bisa berbagi wawasan yang kita dapatkan dari mereka dengan orang lain.

Ada juga cara orang lain menilai kontribusi kita. Diketahui bahwa beberapa bidang teori memiliki masalah dalam menilai teknis peningkatan berat lebih dari beberapa kontribusi yang berarti. Jangan biarkan mereka membuat Anda kecil hati. Dalam jangka panjang, sebagian besar pengangkatan teknis berat akan dilupakan, jangan biarkan fasad mencegah Anda dari mengerjakan masalah yang berarti.

Banyak peneliti muda fokus untuk membuktikan diri. Alih-alih berfokuslah pada membangun kolaborasi yang baik dan bermakna dengan orang lain untuk mengatasi masalah yang bermakna. Itu jauh lebih penting dalam jangka panjang. Dengan sedikit keberuntungan Anda akan berakhir dengan beberapa kontribusi bermakna yang signifikan.

Anda tidak sendirian, dan itu tidak unik untuk CS teoretis, atau bahkan matematika, atau bahkan milenium ini.

Chaucer meratapi di Parlemen Fowl :

 The lif so short, the craft so long to lerne,
 Th’assay so sharp, so hard the conqueringe,
 The dredful joye alway that slit so yerne

 The life so short, the craft so long to learn
 The effort so sharp, so hard the mastery,
 The difficult joy always slips away so quickly

Hippocrates (ya, Hippocrates itu) mengatakannya dengan lebih tajam:

Ὁ βίος βραχύς,
ἡ δὲ τέχνη μακρή,
ὁ δὲ καιρὸς ὀξύς,
ἡ δὲ πεῖρα σφαλερή,
ἡ δὲ κρίσις χαλεπή.

Life is short,
and art long,
opportunity fleeting,
experimentations perilous,
and judgment difficult.

Berbicara sebagai orang Teori B, pengalaman teori kompleksitas selalu mengejutkan saya karena memiliki karakter yang berbeda dari pengalaman yang didapat dari semantik atau teori tipe.

Bagi saya, sepertinya setiap masalah dalam kompleksitas memerlukan ide asli, sehingga jika Anda memodifikasi sedikit masalah, maka Anda memerlukan ide baru yang sama sekali berbeda. Sebaliknya, dalam semantik harapannya adalah untuk menyelesaikan masalah dengan mengidentifikasi struktur aljabar yang dimainkan, sedemikian rupa sehingga solusinya menjadi jelas - tidak ada cara untuk tidak menyelesaikannya. (Benjamin Pierce pernah mengatakan bahwa Anda tahu Anda memiliki sistem tipe yang baik ketika semua buktinya membosankan.)

Jadi ketika semuanya berjalan dengan baik, kompleksitas terasa seperti Anda berada dalam percakapan kreatif dengan matematika itu sendiri - Anda mencoba sesuatu, dan ini menyarankan ide baru kepada Anda, dan respons Anda terhadap hal itu memberi Anda lebih banyak ide. Tetapi ketika segala sesuatunya berjalan buruk, Anda merasa terperangkap, seperti Anda melakukan serangkaian teka-teki tanpa batas yang tidak menawarkan wawasan tentang hal lain.

Ketika segala sesuatunya berjalan baik dalam semantik, Anda merasa seperti menyentuh arsitektur dunia, seperti x-ray yang menunjukkan tulang matematika. Tetapi ketika segalanya berjalan buruk, Anda juga merasa terjebak, seperti Anda mencoba mengisi formulir pajak paling membosankan di dunia.

Saran saya adalah mencari waktu luang untuk mempelajari beberapa aljabar abstrak. Itu harus memuaskan jones generalitas Anda, dan mempelajarinya hampir pasti bermanfaat bagi penelitian Anda.

By the time we submit the paper, 
I am so dismayed that results in 
the paper seem almost trivial.

Saya berpendapat bahwa Anda telah gagal untuk menyelesaikan masalah jika tampaknya tidak sepele setelah selesai!

Esensi sains adalah produksi kebenaran (novel). Inti dari kebenaran adalah bahwa itu harus dapat direproduksi oleh siapa pun.

Di masa lalu contoh paradigmatik untuk "siapa pun" adalah budak di Plato's Meno (1). Saat ini standar kekakuan tertinggi membutuhkan meyakinkan asisten bukti mekanis (2) bahwa solusi kami dapat diturunkan (dari dasar matematika yang dipilih). Asisten pembuktian adalah, sedikit antropomorfisasi, benar-benar bodoh. Dalam matematika kontemporer dan CS teoretis, kami mengambil peer review manusia sebagai proksi untuk verifikasi mekanik, yaitu kebenaran, tetapi bekerja menuju pemeriksaan bukti yang lebih mekanis, lihat misalnya (3, 4, 5). (Memang, saya ragu bahwa Anda akan dapat memformalkan pekerjaan Anda untuk asisten bukti, tanpa menginvestasikan tahun kerja.)

Anda tidak akan berhasil melakukan sains yang ketat jika setiap langkah dari solusi itu tidak sepele.

Tentu saja ini tidak terlalu membantu dalam menghilangkan kekhawatiran Anda, jadi mungkin Anda berhenti bertanya pada diri sendiri apakah pekerjaan itu bermanfaat. Sebaliknya, tanyakan orang lain ! Secara khusus, tanyakan pada diri Anda: berapa banyak orang lain yang telah mencoba untuk memecahkan masalah yang sama tetapi gagal . Agaknya, subbidang CS Anda memiliki daftar masalah terbuka yang terkenal, mengapa tidak mencoba salah satunya? (Peringatan: mengejar masalah terbuka terkenal adalah cara yang baik untuk gagal gelar PhD ..., jadi saya sarankan mendiskusikan hal ini dengan penyelia Anda jika Anda ingin menempuh rute itu.)

 me and my advisor identify a list of concrete 
 questions that need to be answered.

Kemungkinannya adalah bahwa penyelia Anda dengan cermat mempertimbangkan apakah pertanyaan yang Anda kerjakan cukup sederhana sehingga seorang mahasiswa PhD dapat memecahkannya dengan beberapa bulan kerja (tetapi cukup sulit untuk dipublikasikan).

1. https://en.wikipedia.org/wiki/Meno%27s_slave

2. https://en.wikipedia.org/wiki/Proof_assistant

3. https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/

4. https://en.wikipedia.org/wiki/QED_manifesto

5. https://en.wikipedia.org/wiki/POPLmark_challenge