Teorik Bilgisayar Bilimi

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

6
Herhangi bir algoritmik problemin zaman karmaşıklığına sahip olması sayılır mı?
Sayma olarak adlandırdığım şey, bir işleve çözüm sayısını bulmaktan oluşan sorundur. Daha doğrusu, f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (ille de kara kutu değil) işlevi verildiğinde , yaklaşık #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Bir çeşit sayımı içeren ve zaman karmaşıklığının bu temel sayma probleminden büyük ölçüde etkilendiği algoritmik problemler arıyorum. Tabii ki, sorunları kendileri …

1
Bozuk para değiştirmek için asimptotik
Verilen ile, para isimlendirilmesine c 1 = 1 ve c 2 < c 3 < . . < c n [ 2 , N ] aralığında eşit dağılmış rastgele sayılardır . Asimptotik olarak, açgözlü algoritma hangi paranın bir kısmı için bu mezhep setini kullanarak optimal değişiklik üretir?nnnc1= 1c1=1c_1=1c2< c3< . …

6
NP'de olmadığı bilinen “doğal” karar verilebilir problemler.
NP-Tamamlayıcılığı her öğrettiğimde öğrenciler " NP'ye ait olmadığı bilinen herhangi bir sorun var mı?" Nasıl cevap verirdin? Genellikle onlara örnek olarak kararsız bir problem veriyorum, ama bu çoğu zaman iyi sonuç vermiyor: (a) onlara Durma Problemini verirsem bunun aptal bir köşe vakası olduğunu düşünürler ve (b) onlara Diophantine Denklemleri verirsem …



2
Sabit parametre ve yaklaşık algoritma arasındaki ilişki
Sabit parametre ve yaklaşım zor sorunları çözmek için tamamen farklı yaklaşımlardır. Farklı motivasyonları var. Yaklaşıklık, yaklaşık çözümle daha hızlı sonuç arar. Sabit parametre, k'nin üstel veya bazı fonksiyonu ve n'nin polinom fonksiyonu açısından zaman karmaşıklığına sahip kesin çözümü arar; burada n, girdi boyutu ve k parametredir. Örnek .2kn32kn32^kn^3 Şimdi benim …

4
Bağımsız setin LP gevşemesi
Ben maksimum bağımsız set aşağıdaki LP gevşeme denedim max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E x_i \ ge 0 içindeki \ text {st} \ x_i + x_j \ le 1 \ \ forall (i, j) \xi≥0xi≥0x_i\ge 0 Ben olsun 1/21/21/2 denedim her kübik olmayan …

1
Frekanslar benzer olduğunda optimum öneksiz kodları hesaplamanın karmaşıklığı nedir?
Huffman kodunu zaman içinde hesaplamak için en kötü durum optimal algoritmasının olduğu iyi bilinmektedir θ(nlgn)θ(nlg⁡n)\theta(n\lg n) . Bu iki dikey şekilde geliştirildi: Farklı frekanslar kümesi küçükse (örn. boyutunda ) en uygun önek serbest kodları daha hızlı hesaplanabilir : frekansları [Munro ve Spira, 1976] kullanarak küçük σ değerinden yararlanmak ve Huffman'ı …

6
Etiketli Geçiş Sistemlerinin pratikte hesaplanabilir özellikleri nelerdir?
Etiketli geçiş sistemlerinin uygulamam için iyi bir model olduğunu gördüm, yani LTS kullanan kullanım örneklerini modelleme hakkında bir makale var. Soru şu ki, LTS'ler hakkında kolayca kanıtlanabilir mi? Uygulamam için yararlı olup olmadıklarını görmek için mevcut çözümleri yeniden kullanmak istiyorum. LTS'lerin (ve kullanım durumlarının) hangi özelliklerinin kolayca otomatik olarak kanıtlanabileceğini …

3
Konferans bildirisi için olumsuz bir inceleme nasıl yazılır?
Bu, " Bir makaleyi nasıl hakem edebilirim? " Sorusuyla ilgilidir . Bir konferans için bir makaleyi inceliyorum ve bu makale reddedilmelidir, çünkü yayın için yeterince önemli değildir ve bazı teknik detaylarında kusurlar vardır. Kağıt yanlış değil, ancak doğru olduğu yollar çok ilginç değil. Bu tür ayarlarda nasıl olumsuz bir inceleme …



1
Hangi diller kriptografik olarak tuzağa düşürüldü?
Asimetrik kriptografi ile ilişkili bir gözlem, bazı fonksiyonların bir yönde gerçekleştirilmesinin (ancak inandığı) ancak tersine çevrilmesinin zor olmasıdır. Ayrıca, ters işlemin hızlı bir şekilde hesaplanmasını sağlayan bazı 'tuzak' bilgileri varsa, sorun ortak anahtar şifreleme şemasına aday olur. RSA tarafından ünlü yapılan klasik trapdoor problemleri, faktoring problemini ve ayrık log problemini …

3
Hangi Tamsayılı Doğrusal Programlar kolaydır?
Bir problemi çözmeye çalışırken, bunun bir kısmını aşağıdaki tamsayı doğrusal program olarak ifade ettim. Burada olarak verilen pozitif tamsayılar girişin bir parçası. değişkenlerinin belirtilen bir alt kümesi sıfıra ayarlanır ve geri kalanı pozitif integral değerleri alabilir:x i jℓ , m , n1, n2, … , Nℓ, c1, c2, … , …

4
Sayma ve Kombinatorikte Pfaffian Yöntemleri Hakkında
Son zamanlarda, Holografik Algoritmalara bir giriş yapıyordum. Pfaffianlar adlı bazı kombinatoryal nesnelere rastladım. Şu anda bunlar hakkında çok fazla şey bilmiyorum ve koyabilecekleri şaşırtıcı kullanımlarla karşılaştım. Örneğin, düzlemsel grafiklerde mükemmel eşleşme sayısını etkili bir şekilde saymak için kullanılabileceklerini öğrendim. Ayrıca, 2 * 1 fayans kullanarak bir satranç tahtasının olası eğim …

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.