«big-list» etiketlenmiş sorular

Daha matematiksel bir arka plandan gelince, kodlamayı gerçekten öğrenmedim. TCS'de doktora yapıyorum ve birçok kişi programlama hakkında (ve genel olarak bilgisayar hakkında) ne kadar az şey bildiğimden şaşırdı. Algoritmaları sözde kodda yazabilirim, ancak gerçekten herhangi bir programlama dili bilmiyorum. Bir gün işim için bazı algoritmalar uygulamak zorunda kalacağımı hayal edebiliyorum …

66 soft-question  big-list  advice-request  career 

Aşağıda güncellendi Akran değerlendirmesinin kritik önemini hepimiz biliyoruz. Araştırmada kalite kontrol ve geri beslemenin ana şeklidir. Ancak, erken aşamadaki bir araştırmacıya (benim gibi) göre, bazen kafa karıştırıcı bir sistem / süreç olabilir. Buna göre, bilimsel yönlendirme sürecine rehberlik eden birkaç tez vardır. Bilgisayar bilimleri İki (çok farklı) örnekler - Parberry …

62 soft-question  big-list  paper-review 

10/12/08 AT EDIT: Soruyu değiştirmeye çalışacağım, böylece daha fazla insanın fikirlerini paylaşması ilgisini çekebilir. Katkılarınız İHTİYACINIZ VAR! Bu yazı, MO'da birinden esinlenmiştir: Matematikte ortak yanlış inanç örnekleri . Büyük listeler bazen nitelikleri kontrol etmesi zor olan çok sayıda cevap üretmektedir, ancak MO ile ilgili yazının başarısından sonra, TCS'deki bir takım …

62 big-list  examples 

Genellikle, TCS konferanslarına katıldığımızda, konferans organizatörlerinin ilgilenmesini istediğimiz bazı küçük ayrıntıları fark ediyoruz. Ve konferanslar düzenlerken, bunu çoktan unuttuk. Dolayısıyla şu soru: TCS konferanslarını geliştirmek için hangi küçük adımları kolayca uygulayabiliriz ? Umarım, bu soru aynı konferansı tekrar tekrar yapmamak için konferanslar düzenlerken iki kez kontrol edebileceğimiz bir kaynak olabilir. …

61 soft-question  big-list  research-practice  conferences 

Biz TCS’de klasik matematikten (cebir, topoloji, analiz, geometri vb.) Güçlü sonuçlar ve fikirler kullanıyoruz. Başka bir yöne gittiğinde bazı örnekler nelerdir? İşte bildiğim bazı şeyler (ve ayrıca sorduğum sonuç türünden bir tat vermek için): Kübik köpükler (Guy Kindler, Ryan O'Donnell, Anup Rao ve Avi Wigderson: Küresel Küpler ve Yüksek Boyutlarda …

60 reference-request  big-list 

Bir numara tarafından parametrik sorunların örnekler arıyorum k∈Nk∈Nk \in \mathbb{N} Sorunun sertlik olduğunu, monoton olmayan içinde kkk . (Benim de) sorunların çoğu, örneğin tek bir faz geçişi, sahip kkk tek bir faz geçişi olan -SAT k∈{1,2}k∈{1,2}k \in \{1,2\} (sorun P olduğu) k≥3k≥3k \ge 3 sorunu (burada NP tamamlamak, tam, eksiksiz). …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Polinom zamanında (Giriş uzunluğu + Çıkış uzunluğu) çalışan, ancak aynı ölçüdeki asimptotik çalışma süresinin gerçekten çok büyük bir üs / sabit değerine sahip olduğunu (en azından, çalışma süresinde kanıtlanmış üst sınırın bulunduğu yerlerde ) duyarlı algoritmalar biliyor musunuz? böyle bir yolu)?

59 ds.algorithms  big-list 

İplik olarak teorik bilgisayar bilimindeki büyük çözülmemiş problemler? , Iddo Tzameret, aşağıdaki mükemmel yorumu yaptı: Ben aramızda temel problemler olarak görülüyor majör açık problemler arasında ayrım gerektiğini düşünüyorum P≠NPP≠NP P\neq NP çözülmesi halinde, teknik bir atılım teşkil edecek ve büyük açık problemler, ama mutlaka üzerinde örneğin, üstel alt sınır olarak …

58 big-list  open-problem 

Son zamanlarda, bir fizikçiyle konuşurken, tecrübelerime göre, doğal olarak üssel bir zamana ihtiyacı olan bir problemin, P veya BPP'de olduğu gibi, ortaya çıkmadığını ortaya koyduğumu, azalmanın neden ortaya çıktığını belirten bir “genel sebep” olduğunu iddia ettim. --- ve neredeyse her zaman, bu sebep bir düzine ya da daha az "olağan …

56 big-list  big-picture 

Kağıt yazmak için hangi araçları kullanıyorsunuz? Sahip olduğum küçük deneyime göre, teorisyen insanlar gerçekten yaratıcı olmanın yanı sıra, yazılar yazmak ve incelemek için çok zaman harcıyorlar. Başka bir deyişle, çalışmalarını diğer insanlarla paylaşmak. Belki de gazeteler bunu yapmanın doğru yolu değildir, ancak bu başka bir tartışmaya bırakılmalıdır. Her durumda, sonuçları …

55 soft-question  big-list  research-practice  writing 

Bilgi teorisinin temiz bir birleşimsel ifadeyi basit bir şekilde kanıtlamak için kullanıldığı favori örnekleriniz nelerdir? Düşünebildiğim bazı örnekler, yerel olarak kodlanabilen kodlar için daha düşük sınırlarla ilgilidir, örneğin, bu yazıda: bir dizi ikili uzunluğundaki her için farklı olduğunu çiftleri { }Öyleyse, m en azından n , burada üs, doğrusal olarak …

54 co.combinatorics  big-list  it.information-theory 

Bir algoritmanın etkinliğini analiz etmenin iki yolu çalışma süresine asimptotik bir üst sınır koymak, ve Çalıştırmak ve deneysel verileri toplamak için. Merak ediyorum (1) ve (2) arasında önemli bir farkın olduğu durumlar var mı ? Bununla, (a) deney verilerinin daha sıkı bir asimptotik önerdiğini veya (b) teorik analizin X'in Y'den …

52 ds.algorithms  big-list  ds.data-structures 

Bu soru, 1998’de Okasaki’nin kitabının yayınlanmasından bu yana PFDS’deki yeniliklerle ilgili başka bir sorudan ilham almıştır . Sahip olduğum iki soru ile başlayacağım: Karma tabloların hızına yaklaşan tamamen işlevsel bir küme veri yapısı var mı? Denemeler henüz yok. O (1) ekli tamamen işlevsel parmak ağaçları var mı? Şimdiye kadarki en …

51 big-list  ds.data-structures  functional-programming 

Bana genellikle teorik bir bilgisayar bilimcisinin ne yaptığı sorulur. Bu soruya güzel cevaplar vermek harika olurdu. Teknik jargona geri dönme eğilimindeyim ve insanların gözleri bu noktada genellikle sırlanıyor. Teorik bir bilgisayar bilimcisi, bilgisayar bilimcisi olmayan insanlar tarafından anlaşılabilecek şekilde ne yapar? İyi bir cevap belirsiz, titiz ve titiz görünmeden ruhsal …

51 big-list  soft-question 

MO'da verimli bir soruyu takiben, CS'de bazı önemli kağıt isimlerini tartışmanın faydalı olacağını düşündüm. Birçoğumuzun ilginç bir başlığı olan bir makaleyi okumaktan (veya en azından bir bakıştan) etkilenebileceği (en azından bir konferanstaki kağıtların bir listesini okuduğumda en azından bunu yaptığımdan) veya çok kötü okumaktan kaçınabileceğimiz açıktır. adlandırılmış makaleler. Başlıklarından dolayı …

49 soft-question  big-list