Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

3
Tamsayılı çarpanlara ayırma sorunu RSA çarpanlara ayırma işleminden daha mı zor:
Bu math.stackexchange'ten bir çapraz mesajdır. Tam sayı faktoring sorun göstermektedirler aslında izin: Verilen asal bulmak p i ∈ N , ve tamsayılar e i ∈ , N , öyle ki n = Π k i = 0 , s e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = …

2
Bir grafiğin seçilebilirliğini daha düşük düzeyde sınırlamak için kaç farklı renge ihtiyaç vardır?
Bir grafiktir -choosable (aynı zamanda -Tedarikçilerin listesi-renklendirilebilir her fonksiyonu için, eğer varsa) kümelerine köşe haritalar renk, bir renk atama olduğunu gibi tüm noktalar için, bu , de ve öyle ki, tüm kenarlar için , .kkkkkkfffkkkcccvvvc(v)∈f(v)c(v)∈f(v)c(v)\in f(v)vwvwvwc(v)≠c(w)c(v)≠c(w)c(v)\ne c(w) Şimdi bir grafiğinin seçilebilir olmadığını varsayalım. Yani, köşelerden geçerli renk ataması olmayan renklerin …



7
Gerçekten rastgele sayı üreteci: Hesaplanabilir mi?
"Gerçekten rastgele" sayıların üretilmesinin Turing ile karşılaştırılabilir olup olmadığına dair kesin bir cevap arıyorum. Bunu tam olarak nasıl ifade edeceğimi bilmiyorum. "Rastgele sayı üretimi için verimli algoritmalar" konulu bu StackExchange sorusu sorumu yanıtlamaya yaklaşıyor. Charles Stewart cevabında, "Martin Löf'in rastgeleliği] bir makine tarafından üretilemez" diyor. Ross Snider, “herhangi bir belirleyici …

13
Teoride hata düzeltme kodlarının kullanılması
Teoride hata düzeltme kodlarının yanı sıra hata düzeltme kodlarının uygulamaları nelerdir? Üç uygulamanın farkındayım: Sert çekirdekli bit hakkında Goldreich-Levin teoremi , Trevisan'ın çıkarıcı yapısı ve boolean fonksiyonunun sertliğinin yükseltilmesi (Sudan-Trevisan-Vadhan). Hata düzeltme kodlarının diğer 'ciddi' veya 'eğlence amaçlı' uygulamaları nelerdir? UPD: Reed-Solomon kodlarının liste kodunun çözülmesinin eğlenceli bir uygulaması , …

4
Danışmanımın iradesine karşı tek yazar makaleleri?
Danışmanımla zor bir durum için tavsiye almak isteyen teorik CS alanında üçüncü sınıf doktora öğrencisiyim. Danışmanım araştırma projelerime hiç dahil değil. Özellikle, kağıt fikirlerimin tümünü buldum ve kağıtları tek başıma yürüttüm. Ancak, adını her zaman ortak yazar olarak eklemekte ısrar ediyor. Araştırmam için çok sıkı (yalnız başına) çalıştığım ve bunun …

1
GCT'yi öğrenmek için ön şart
Geometrik Karmaşıklık Teorisi, cebirsel geometri, temsil teorisi gibi saf matematik hakkında çok fazla bilgi gerektirir. Ben bir CS öğrencisi olduğum halde, çok soyut ve saf matematik sınıflarına sahip değilken, bu programa ilgi duyuyorum. Bu teoriyi öğrenmek için "asgari bilginin" bir listesi var mı? Bu liste CS veya matematik bölümlerinin ders …

2
Mulmuley'nin GCT programı
Bazen Ketan Mulmuley'in Geometrik Karmaşıklık Teorisinin, P-NP sorusu gibi karmaşıklık teorisinin açık sorularını çözmenin tek mantıklı programı olduğu iddia edilir. Ünlü karmaşıklık teorisyenlerinin programla ilgili birçok olumlu yorumu var. Mulmuley'e göre, istenen sonuçları elde etmek uzun zaman alacak. Alana girmek, genel karmaşıklık teorisyenleri için kolay değildir ve cebirsel geometri ve …

7
Kilise-Turing tezinin etkileşimli hesaplama modellerine uygulanabilirliği
Paul Wegner ve Dina Goldin, on yıldan fazla bir süredir, öncelikle Kilise-Turing tezinin CS Teorisi topluluğunda ve başka yerlerde yanlış tanıtıldığını iddia eden bildiri ve kitaplar yayınlamaktadır. Yani, aslında sadece tüm hesaplamaların çok küçük bir alt kümesi olan fonksiyonların hesaplanması için geçerli olduğunda, tüm hesaplamaları kapsayacak şekilde sunulur. Bunun yerine, …

2
Han'ın
Yijie Han'ın , lineer uzay, tamsayı sıralama algoritmasını bilen var mı ? Bu sonuç oldukça kısa bir makalede ( O ( n log log n ) 'de deterministik sıralama ) ve doğrusal uzayda ortaya çıkmaktadır. J. Alg. 50: 96-105, 2004) temel olarak daha önceki sonuçları bir araya getirerek uygun uyarlamaları …

17
Dört Renk Teoremini ima eden varsayımlar
Dört Renk Teoremi (4CT), her düzlemsel grafiğin dört renklendirilebilir olduğunu belirtir. [Appel, Haken 1976] ve [Robertson, Sanders, Seymour, Thomas 1997] tarafından verilen iki kanıt vardır. Her iki kanıt da bilgisayar destekli ve oldukça korkutucu. Grafik teorisinde 4CT'yi ima eden birkaç varsayım vardır. Bu varsayımların çözülmesi, muhtemelen 4CT'nin kanıtlarının daha iyi …

9
NP zor problemler için optimal açgözlü algoritmalar
Açgözlülük, daha iyi bir kelime eksikliği için iyidir. Giriş algoritmaları dersinde öğretilen ilk algoritmik paradigmalardan biri açgözlü yaklaşımdır . Açgözlü yaklaşım, P'deki birçok problem için basit ve sezgisel algoritmalara yol açar. Daha ilginç olarak, bazı NP-zor problemler için açık ve doğal açgözlü / yerel algoritma (muhtemelen) en uygun yaklaşım faktörü …

13
Son sınıf lise öğrencileri için ilham verici konuşma
Bölüm lise son sınıf öğrencilerine bilgisayar biliminin daha matematiksel unsurları hakkında konuşmaları isteniyor. TCS'den ilgi alanlarına ilham verebilecek (çoğunlukla Halting problemiyle ilgili bir şey içeren) konular seçmek için elimden geleni yapıyorum, ancak diğer insanların fikirlerini / başarılarını / başarısızlıklarını duymayı çok isterim. Asıl mesele şudur ki, bunlar iyi bir üniversitede …


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.