«big-list» etiketlenmiş sorular

Mantıkta sağlam bir geçmişe sahip matematik alanında yüksek lisans öğrencisiyim. Sonlu model teorisi ve zorlama ve küme teorisi üzerine yüksek lisans dersleri ile birlikte bir yıllık mantık yüksek lisans dersi aldım. Çoğu CS metni, mantıkta yalnızca önermeli mantık ve birinci dereceden mantığın temellerini kapsayan çok mütevazı bir arka plan olduğunu …

17 lo.logic  soft-question  big-list  books  formal-methods 

Teorik bilgisayar bilimlerinde bazı n parametresini içeren ve asal değerler için n AND'in küçük değerleri için kanıtlanmış ancak daha sonra yanlış olduğu ortaya çıkan herhangi bir varsayım var mı? Sayı teorisinde bu tür problemler vardır, örn. olarak Aaron Meyerowitz işaret cyclotomic polinomların katsayıları ilgili olanı. TCS'den sadece Evasiveness Konjonktürü gibi …

17 big-list  primes 

Başarılı derandomizasyonun veya en azından hedefine (sertlik rasgelelik bağlantısı değil) doğru somut kanıtlar gösterme konusunda bazı önemli örnekler nelerdir ?P= B PPP=BPPP=BPP Aklıma gelen tek örnek AKS deterministik polinom zaman primallik testidir (bunun için bile GRH varsayımında bir metodoloji vardı). Peki derandomizasyon için örnek olarak hangi spesifik kanıtlarımız var (yine …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

Larry Wasserman'ın "p-değer polisi" hakkında konuştuğu yeni bir görevi var. İlginç bir noktaya işaret ediyor (tüm vurgu benim) (eklediğim italiklerin öncülü ve altındaki cevabı): En yaygın şikayet, fizikçilerin ve gazetecilerin p değerinin anlamını yanlış açıkladığıdır. Örneğin, p değeri 0.000001 ise, “sinyalin gerçek olduğuna dair% 99.9999 güven vardır” gibi ifadeler göreceğiz. …

15 ds.algorithms  soft-question  big-list 

k = √maks. { k , n / k }maksimum{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n ayrık logaritmayı hesaplamak için bebek adım dev adım algoritması ,O ( n--√)Ö(n)O(\sqrt n) süresi ve bellekte statik 2D dikey aralık sayımı ,O(n)O ( n--√)Ö(n)O(\sqrt n)O ( n )Ö(n)O(n) EXTRACT-MIN ile ve DECREASE-KEY ile öncelik sırası …

15 ds.algorithms  ds.data-structures  big-list  teaching 

İnternete baktım, ancak SAT sorununun herhangi bir 'büyük listesini' bulamadım. (Ortak) dışında OTURDU, k-SAT, MAKS-kSAT, Yarım SAT, XOR-SAT, NAE-SAT başka hangi varyantlar var? (ayrıca karmaşıklık sınıflarının verilmesi (gerçekten mümkün olduğunda) gerçekten yararlı olacaktır)

14 cc.complexity-theory  sat  big-list 

Doktora dersime bu sonbaharda başlıyorum ve tezim için karmaşıklık teorisinde çalışmayı planlıyorum. Her karmaşıklık teorisyeninin bilmesi gereken önemli makalelerin bir listesini derliyorum. Benim gibi birine hangi evrakları önerirsiniz? Ve lütfen makalenin neden önemli olduğunu düşündüğünüzü kısaca açıklayınız.

14 cc.complexity-theory  reference-request  big-list 

"Gerçek olamayacak kadar iyi" veri yapılarının varlığını dışlayan sonuçlar biliniyor mu? Örneğin: sipariş bakım verisi yapısına (bkz. Dietz ve Sleator STOC '87 ) ve J o i n işlevselliği eklenebilir ve yine de O ( 1 ) zaman işlemi elde edilebilir mi?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Veya: Tamsayı tuşları ve zaman işlemleri ile sıralı …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Algoritmik oyun teorisinde (veya genel olarak CS ile ilgili olarak oyun teorisinde) ne tür varsayımlar ve açık problemler en önemlisidir? Örneğin, NASH'ın PPAD-tam olarak çözülmesinin bence çözülene kadar en büyük çözüm olacağını düşünüyorum. (Eklendi: PPAD'ın P ve NP ile ilişkisini çözmek iyi bir açık sorundur, ancak hesaplama karmaşıklığına derinden yerleşmemiş …

14 big-list  gt.game-theory 

Ekleyeceğim iki makale: D. Kozen, "Subremursif sınıfların indekslenmesi" , STOC, 1978. R. Ladner, "Polinom Zaman İndirgenebilirliğinin Yapısı Üzerine" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

İnsanların genel bir kitle konuşması için sezgilerine aykırı sonuçların örneklerini arıyorum. Uzman olmayan kişilerden "sezginiz size ne anlatıyor?" Sonuçların ifadesi cs / math lisans öğrencileri için kolayca açıklanabilir olmalıdır. Esas olarak bilgisayar bilimlerinde sonuç arıyorum. Bölgenizdeki en mantıksız / beklenmedik sonuçlar (genel ilgi) nelerdir?

14 big-list  teaching  intuition 

Çevrimiçi Algoritmalar hakkında yeni kitaplar var mı? Konuyla ilgili sadece iki kitap biliyorum. Allan Borodin ve Ran El-Yaniv'in Çevrimiçi Hesaplama ve Rekabet Analizi: Bu klasik fakat eski bir kitaptır ve bu alanda pek çok gelişme içermemektedir. Niv Buchbinder ve Joseph (Seffi) Naor'un Primal-Dual Yaklaşımı ile Rekabetçi Çevrimiçi Algoritmaların Tasarımı : …

13 reference-request  big-list  online-algorithms 

Alan Turing'in 100. doğum gününü kutlamak için hayatı hakkında bir belgesel izlemek istiyorum. Ancak, aralarından seçim yapabileceğiniz birkaç belgesel var. Alan Turing ile ilgili hangi belgesel favori? Lütfen cevap başına yalnızca bir belgesel ekleyin.

13 reference-request  soft-question  big-list  ho.history-overview 

Derleyici teorisi oldukça incelenmiş bir konu gibi görünmektedir. Alanda meydana gelen bazı açık problemler veya güncel araştırmalar nelerdir?

13 soft-question  big-list  open-problem  compilers 

3SAT [ 1 ] için alt sınırlarla ilgili tartışmayı takiben, uzay-zaman ödünleşimi olarak formüle edilen ana alt sınır sonuçlarının ne olduğunu merak ediyorum. Savitch'in teoremi gibi sonuçları hariç tutuyorum; iyi bir giriş tek bir soruna ve sınırlarına odaklanır. Örnek olarak şunlar verilebilir: "T ve S, herhangi bir SAT algoritmasının çalışma …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff