«reference-request» etiketlenmiş sorular

Referans-istek, yazarın soruyla ilgili çalışmalar hakkında bilgi sahibi olması gerektiğinde kullanılır.

4
Ağaç dönüşlerinde temel teorem için referans
İki ikili arama ağacının sıralı geçişlerini kabul ettiklerinde doğrusal olarak eşdeğer oldukları söylenir. Aşağıdaki teorem, ağaç dönüşlerinin neden bu kadar temel olduğunu açıklar: A ve B ikili arama ağaçları olsun. Daha sonra A ve B, sadece ve bir dizi ağaç rotasyonu ile bağlıysa doğrusal olarak eşdeğerdir. Uzun zaman önce veri …
1
Bir ızgaradaki ayırıcıdaki alt sınır referansı?
\ {1, \ ldots, n \} ^ d tamsayı noktalarının d boyutlu ızgarası göz önüne alındığında, {1,…,n}d{1,…,n}d\{1,\ldots,n\}^dnormal bitişiklikle, n ^ {d-1} boyutunda bir ayırıcı bulabildiğini doğrulamak kolaydır nd−1nd−1n^{d-1}(sadece seçin herhangi bir orta hiper düzlemi seçin ve tüm köşelerini çıkarın). Ayrıca herhangi bir ayırıcının \ Omega (n ^ {d-1}) boyutunda olması …
2
Alan dönüşümlü hiyerarşi
Bu Immerman ve Szelepcsenyi sayesinde bilinmektedir Eğer (hatta boşluk olmayan inşa edilebilir fonksiyonlar için).f = Ω ( log )NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Aynı makalede Immerman, günlük alanı alternatif hiyerarşisinin çöktüğünü belirtir, bu da (sınırlı değişen turing makinesinin tanımı ve wikipedia'da bulunan bir hiyerarşidir ).ΣjS P A C E (günlük)= N S …
1
Rabin'in “bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması”
Bakıyorum: Michael O. Rabin, "Bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması", Hebrew Üniversitesi, Kudüs, 1960 Özet: “Belirli bir hesaplanabilir (özyinelemeli) işlevi hesaplama görevinin doğasında bulunan iş miktarını ölçmeye çalışıyoruz. Hesaplamanın zorluk derecesi kavramı tanıtılır ve incelenir. Bu kavram, söz konusu fonksiyonları hesaplamak için kullanılan ideal bilgisayarlardan (Turing …
1
“Yılan” yeniden yapılandırma sorunu
Nibbler ve Snake video oyunlarının karmaşıklığı üzerine küçük bir yazı yazarken ; Her ikisinin de düzlemsel grafiklerde yeniden yapılandırma problemleri olarak modellenebileceğini buldum; ve bu tür problemlerin hareket planlama alanında iyi çalışılmamış olması muhtemel görünmemektedir (örneğin, bir bağlantılı araba veya robot zinciri hayal edin). Oyunlar iyi bilinir, ancak bu ilgili …
1
Zor genişletilebilirlik sorunları
Genişletilebilirlik probleminde, çözümün bir parçası olarak verilir ve bunu tam bir çözüme genişletip genişletemeyeceğimize karar vermek istiyoruz. Bazı uzatılabilirlik problemleri verimli bir şekilde çözülebilirken, diğer uzayabilirlik problemleri kolay bir problemi zor olana dönüştürür. Örneğin, Konig-Hall teoremi her kübik iki taraflı grafikleri 3-kenar renklendirilebilir, ancak bildiren genişletilebilirliği versiyon haline gelir KompleNPNPNP …
1
PARTITION'ın bir başka çeşidi
Belirli bir zamanlama sorununa aşağıdaki bölüm sorunu bir azalma var: Girdi: Bir liste a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n olmayan azalan sırayla pozitif tamsayılar. Soru: \ {- 1,1 \} ^ n içinde bir vektör (x_1, \ ldots, x_n) \(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n var mı? ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} İkinci koşul olmadan bu …
1
İki madeni para arasında ayrım
taraflı bir madeni parayı adil ayırt etmenin karmaşıklığının olduğu iyi bilinmektedir . Bir parasını bir parasından ayırt etmek için sonuçlar var mı? Özel için karmaşıklığın olacağını görebiliyorum . Karmaşıklığın düzeninde olup olmadığına bağlı olacağına dair bir önsezim var , ancak bu kadar titizlikle kanıtlayamıyorum. Herhangi bir ipucu / referans var …
2
Las Vegas ve Monte Carlo Rastgele Karar Ağacı Karmaşıklığı
Arka fon: Karar ağacı karmaşıklığı veya sorgu karmaşıklığı, aşağıdaki gibi tanımlanan basit bir hesaplama modelidir. Let olduğu bir Boolean fonksiyonu. ile gösterilen deterministik sorgu karmaşıklığı, girişinin (daha kötü durumda) deterministik bir algoritma tarafından okunması gereken minimum bit sayısıdır. değerini hesaplar . Karmaşıklık ölçüsünün, okunan girdinin bit sayısı olduğunu unutmayın; diğer …
1
Asimetrik grafiklerin izomorfizminin test edilmesi
Çözümün benzersizliğinin bulunmasını kolaylaştıran Örnekler sorusunu okurken aklıma yeni (daha kolay?) Bir soru geldi: Aslında Grafik İzomorfizmi ( ) sorununun olup olmadığını bilmiyoruz .GIGIGIPPP Ama ne biz de farz olur ve (yani hem tek önemsiz (kimlik) otomorfizm var) asimetrik nelerdir? Sorun kolaylaşıyor mu (polinom zamanı)? G1G1G_1G2G2G_2 Not: Sorun sert Grafik …
1
Normal diller arasındaki mesafe
(ve / veya sonsuz kelimeler) arasındaki sonlu kelimelerin iki normal dili arasında "yakınlık" kavramını tanımlamak istiyorum . Temel fikir, iki dilden farklı olmadıkları takdirde iki dilin yakın olmasını istiyoruz. Düzenleme mesafesini bir şekilde de kullanabiliriz ... Bu konuda iyi referanslar bulamadım.Σ∗Σ∗\Sigma^*ΣωΣω\Sigma^\omega Ben buna mesafe demiyorum çünkü tüm mesafe aksiyomlarının doğru …
1
Ağaç derinliğinin algoritmik yönlerine yumuşak bir giriş
Treewidth ve pathwidth, grafiğin ağaca veya yola yakınlığını ölçen popüler parametrelerdir. Gerçekten de, treewidth o kadar popüler görünüyor ki, treewidth'in algoritmik yönlerine (hatta çok nazik) girişler veren birçok makale, kitap ve ders notunda yer alıyor (ör. Downey & Fellows kitabına bakınız). Tipik olarak, bu kaynaklar bir NP-zor probleminin (örn. Bağımsız …
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.