Her gönderimden sonra memnun kalmayın


12

Ben ince taneli karmaşıklık (3-SUM, OV ve her zamanki popüler sertlik varsayımları ile oynamak) üzerinde çalışan bir "ilk 20" üniversitede üçüncü sınıf mezunuyum. Geçen yıl oldukça üretken oldum ve kabul edilmiş 3 ve iki bildiri gönderdim. Bütün bunlar oldukça tecrübeli bir yüksek lisans öğrencisiyim ve anlatmak üzere olduğum şey anekdot değildir.

Her başvuru bana memnuniyetten daha fazla memnuniyetsizlik getiriyor. Bir sorun üzerinde çalışmaya başlamadan hemen önce, ben ve danışmanım cevaplanması gereken somut soruların bir listesini belirledik. Çok düşünmeden sonra, bana çok fazla mutluluk ve memnuniyet veren çok hoş olmayan bazı sonuçlarımız var. Tüm sonuçları yazmaya başladığımızda, kaçınılmaz olarak, ortaya çıkan ancak ilerlemesi çok daha zor olan bazı ilginç varyantlar var. İlk öfori noktasından sonra, her şeyin yokuş aşağı gittiğini hissediyorum. Cevaplanması gereken çok fazla varyant var, eldeki sorunun açıkça göz önünde bulundurulmasına rağmen bunu yapamıyorum. Makaleyi teslim ettiğimizde, makaledeki sonuçların neredeyse önemsiz göründüğü için dehşete düştüm. Belki de bu sadece tünel vizyonudur, ama '

Bu her seferinde oldu ve bunun ortak bir duygu olup olmadığını merak ediyorum. Teorik topluluktaki diğer insanlar da aynı şekilde mi hissediyorlar? Bunun akademi çapında bir his olup olmadığından emin değilim. Diğer bölgelerden mezun öğrencilerim her başvurudan sonra ayın üstündedir (ancak bu sadece anekdottur).

Düzenle - Ön sayfada başka bir yumuşak soru olduğunu görüyorum. Bir tane daha eklediğim için özür dilerim. Onun tatil sezonu ve (sadece?) Birkaç içki sonra, bu şeyler üzerinde düşünmek başlar!


3
belki de memnuniyetsizlik duygusu, "doğa" nın bize biraz değişiklik yapmayı denememizi ve belki de yeni sınırlara ulaşmamızı söylemesi ...
Avi Tal

3
Önemsiz olan önemsiz görünmeye başladığında, ilerleme kaydettiğiniz anlamına gelir! Daha akıllısın. Bir sonraki makale / projenizde, önemsiz olsa bile cevabı bilmekten mutluluk duyacağınız kadar ilginç olan sorunları çözmek için kendinizi zorlayın.
Ryan Williams


@karmanaut Kabul ediyoruz, düzenlemenizin son satırı herkes için geçerlidir.
A_Theory

Yanıtlar:


11

Evet, çok yaygın. Ayları bir sorun hakkında düşünerek geçirdiğimizde, ilişkileri o kadar iyi görmeye başlıyoruz ki, çözüm bizim için önemsiz görünüyor. Akademi'ye özgü değil, bir sorun için bir çözüm bulduğumuzda, sorunun gerçekten daha kolay görünmesini sağlıyor, onu görmemizi engelleyen tüm bulutlar kayboldu.

Bu duygu ile nasıl başa çıkılır? Kendimi anlayamadım ama yardımcı olabilecek birkaç gözlem yaptım:

Kendinize açık görünen şeyin başkaları için olmadığını hatırlatın. Geniş bölgenizdeki kaç kişi çözümü önceden gördü?

Çoğu sonuç için (ve çoğu sonuç sonuçlardan kopmaz) Bence alanımızda yeterince akıllı olan bir başkası da bunu anlayabilirdi. Bunun da sonuçta çok özel olmadığımızı düşündüğümüz bir etkisi var. Biz değiliz! Yeterince akıllı olan, egomuzla uğraşan ve daha hileli olan başkaları olduğunu kabul ettikten sonra, katkılarımızdan daha yüksek memnuniyet duyma eğilimindeyiz. Evet, X, Y ve Z de bunu yapabilirdi. Ama biz gerçekten bunu yapmak için çaba sarf eden kişiydik.

Bir diğeri, hangi problem üzerinde çalışmaya karar verdiğimize daha fazla dikkat etmektir. Bir sorun üzerinde neden çalışmak istediğinizi kendinize çok açık tutun. Bunu ilginç veya zor göründüğü veya başkalarının ilginç olduğunu söylediği için yapmayın. Sorunun çözümünü bilmek anlayışımızı ve dünyamızı nasıl etkiler? Bu konuda net olursak, sorunun çözümünün basit görünmesi bizi rahatsız etmez, bunun yerine bizi memnun ederdi. Bu bir öğrenci için zor olabilir, ancak anlamlı ve çözülebilir bir sorun seçmelisiniz. Uygulanan taraflardan daha saf alanlarda daha zordur. Ve çoğu zaman gerçek anlamlı sorunu çözmüyoruz, ancak buna doğru anlamlı bir ilerleme kaydediyoruz. Bunun da değerli olduğunu unutmayın. Onlardan elde ettiğimiz içgörüleri başkalarıyla paylaşabilirsek başarısızlıklarımız bile değerli olabilir.

Başkalarının da katkımızı nasıl yargıladığı da var. Bazı teori alanlarının, teknik ağır kaldırmaya bazı anlamlı katkılardan daha fazla değer verme problemi olduğu bilinmektedir. Seni cesaretlendirmelerine izin verme. Uzun vadede, bu teknik ağır asansörlerin çoğu unutulacak, cephenin sizi anlamlı problemler üzerinde çalışmaktan vazgeçirmesine izin vermeyin.

Birçok genç araştırmacı kendini kanıtlamaya odaklanıyor. Bunun yerine, anlamlı sorunlar üzerinde çalışmak için başkalarıyla iyi ve anlamlı işbirlikleri oluşturmaya odaklanın. Bu uzun vadede çok daha önemli. Biraz şansla, önemli anlamlı katkılarla sonuçlanacaksınız.


6

Yalnız değilsiniz ve teorik CS'ye, hatta matematiğe, hatta bu milenyuma özgü değil.

Chaucer , Fowls Parlamentosu'nda ağıt yaktı :

 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

Hipokrat (evet, Hipokrat) bunu daha da keskinleştirdi:

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

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

Bir Teori B insanı olarak konuşursak, karmaşıklık teorisi deneyimi beni her zaman semantik veya tür teorisinden edindiği deneyimlerden farklı bir karakter olarak etkiledi.

Bana göre, karmaşıklıktaki her sorunun gerçek bir fikir gerektirdiği görülüyordu, böylece sorunu biraz değiştirirseniz, tamamen farklı bir yeni fikre ihtiyacınız var. Aksine, anlambilimde umut, oyundaki cebirsel yapıları tanımlayarak, çözümün açık olacağı şekilde sorunları çözmektir - çözmenin bir yolu yoktur. (Benjamin Pierce bir zamanlar tüm kanıtlar sıkıcı olduğunda iyi bir tip sisteminiz olduğunu bildiğinizi belirtti.)

İşler iyi gittiğinde, karmaşıklık, matematiğin kendisiyle yaratıcı bir konuşmadaymış gibi hissedersiniz - bir şey denersiniz ve bu size yeni bir fikir önerir ve buna cevabınız size daha fazla fikir verir. Ancak işler kötüye gittiğinde, başka bir şey hakkında hiçbir fikir vermeyen sonsuz bir bulmaca dizisi yapıyormuş gibi sıkışıp hissediyorsunuz.

Anlambilimde işler iyi giderken, size matematiğin kemiklerini gösteren bir röntgen gibi dünyanın mimarisine dokunuyormuş gibi hissedersiniz. Ancak işler kötüye gittiğinde, dünyanın en sıkıcı vergi formunu doldurmaya çalıştığınız gibi, kendinizi hapsolmuş hissedersiniz.

Benim önerim, soyut bir cebiri incelemek için biraz boş zaman bulmak olacaktır. Genel jones'inizi tatmin etmeli ve bunu öğrenmek, araştırmanız için neredeyse kesinlikle yararlı olacaktır.


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

Tamamlandıktan sonra önemsiz görünmüyorsa sorunu çözemediğinizi iddia ediyorum!

Bilimin özü (yeni) gerçeğin üretilmesidir. Gerçeğin özü, herkes tarafından tekrarlanabilir olması gerektiğidir.

Geçmişte "herkes" için paradigmatik örnek Platon'un Meno'sundaki köle çocuktu (1). Günümüzde en yüksek titizlik standardı, mekanik kanıt asistanını (2), çözümümüzün türetilebilir olduğuna ikna etmeyi gerektirir (seçilen matematik temellerinden). Bir kanıt asistanı, biraz aptalca antropomorfize ediyor. Çağdaş matematik ve teorik CS'de, insan akran değerlendirmesini mekanik doğrulanabilirlik, yani doğruluk için bir vekil olarak alıyoruz, ancak daha mekanik kanıt kontrolü için çalışıyoruz, örneğin bakınız (3, 4, 5). (Gerçekten de, çalışmanızı yıllarca çalışmaya yatırım yapmadan bir kanıt asistanı için resmileştirebileceğinizden şüpheliyim.)

Eğer çözümün her adımı önemsiz olsaydı, titiz bilim yapmayı başaramazdınız.

Elbette bu, üzüntülerin kurtulmak almakla özellikle yararlı değildir bu yüzden belki soran durdurmak kendinizi iş değerli olup olmadığı. Bunun yerine, başkalarına sorun ! Özellikle, kendinize sorun: kaç kişi aynı sorunu çözmeye çalıştı ancak başarısız oldu . Muhtemelen, CS alt alanınızın ünlü açık sorunların bir listesi var, neden bunlardan birine gitmiyorsunuz? (Uyarı: ünlü açık sorunları takip etmek bir doktora başarısız olmak için iyi bir yoldur ... Bu yüzden bu rotaya gitmek istiyorsanız bunu amirinizle görüşmenizi tavsiye ederim.)

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

Şansınız, bir doktora öğrencisinin birkaç ay çalışmayla (ancak yayın için yeterince zor) çalışabilmesi için amirinizin üzerinde çalıştığınız soruların yeterince basit olup olmadığını dikkatlice değerlendirmesidir.

  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

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.