Teorik Bilgisayar Bilimi

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

3
Transandantal sayıların karar verilebilirliği
Cevabı muhtemelen iyi bilinen bir sorum var, ama biraz arama yaptıktan sonra anlamlı bir şey bulamıyorum, bu yüzden biraz yardım için minnettar olurum. Sorum şu ki, bir sayının aşkın olup olmadığına karar vermek kararsızdır. Muhtemelen, giriş olarak kabul edilir, örneğin sayının i ^ bitini döndüren bir program. Herhangi bir işaretçi …
1
Arama motoru yanlılığını tespit etmenin bir yolu var mı?
Arama motorları giderek artan bir şekilde bilgi bekçileri olarak kullanılmaktadır, ancak arama motorları tarafından sonuçları sıralamak için kullanılan kriterler kullanıcılara saygısızdır. Kullanıcılar, arama sonucu kalitesi pahasına bir miktar yarar sağlamak için sonuçlarının önyargısız veya tahrif edilmediğinden nasıl emin olabilirler? Hükümetler rutin olarak arama sağlayıcılarının politik olarak istenmeyen sayılan web sitelerinin …
2
Doğrusal programlara orta nokta çözümleri
Sadece bir çözüm değil, aynı zamanda minimum değeri kabul eden politopun yüzünde mümkün olduğunca merkezi bir çözüm olmasını istediğim doğrusal bir program var. A priori, minimize eden yüzün çeşitli nedenlerle yüksek boyutta olmasını bekleriz, örneğin minimize edilen objektif fonksiyon, birçok kısıtlamanın maksimumudur: Minimize tabi ile doğrusal ve için tüm ve …
1
3 değerli mantığın işlevsel bütünlüğü
Son zamanlardaki bazı çalışmalar bağlamında, üç değerli mantık à la Kleene'ye dayanan bir dil tanımladık.111 gerçek anlamına gelir, 000 yanlış için ve ⊥⊥\bothata ya da bilmiyorum. Dilimizin etkileyici olduğunu göstermek için, işlevsel olarak tamamlanmış bir dizi operatör oluşturabileceğimizi kanıtlamak istedik. Literatürde mevcut sonuçları bulmak oldukça zordu. 1962'de Jobe tarafından yazılmış …
1
Knuth A'yı nasıl elde etti?
Anahtarları doğal sayılar olarak yorumlarken aşağıdaki formülü kullanabiliriz. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Anladığımda sorun yaşıyorum, A'nın değerini nasıl seçtiğimiz: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Knuth'a göre en uygun değer: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox (\sqrt{5} - 1) / 2 = 0.6180339887... \end{equation} Sorum şu: Knuth buna …
2
Gizli katmanların ne zaman kullanılacağının amacı ve belirlenmesi
Bu soruyu takip ederek ... Araştırmam için sinir ağlarını nasıl kullanacağımı ve oluşturacağımı öğrenmeye çalışıyorum ve bir nokta da beni bir şekilde kaçıyor. Gizli katmanların bunun biraz gerekli bir parçası olduğunu anlıyorum, ancak referanslarımın memnuniyetime açıklanmadığı iki noktaya takıldım: Gizli katmanın kesin amacı nedir? Kaç tane gizli katman kullanılacağını nasıl …
2
Bir alt küme arama algoritması
Bir listem var XX\cal X alt kümelerinin { 1 , . . . , n }{1,...,n}\{1, ..., n\}. Gerekirse bu listede önişleme yapabilirim. Bu ön işlemden sonra, başka bir setle karşılaştımBir ⊆ { 1 , . . . , n }A⊆{1,...,n}A \subseteq \{1, ..., n \}. Herhangi bir set tanımlamak …
1
Yüksek boyutlu dışbükey çokyüzlünün hesaplama hacmi
Yüksek boyutlu dışbükey çokyüzlünün hacmini hesaplamak / tahmin etmek için yazılım arıyorum. Daha spesifik olarak, bedenleri idare edebilen bir programla ilgileniyorumnnn köşeler ddd- aşağıdaki gibi parametrelerle sınırlı boyutlu uzay: d≤ 50d≤50d \le 50 ve n ≤ 1000n≤1000n \le 1000. Yüzlerin sayısı konusunda garanti olmadığını unutmayın. Jeff Erickson'un sayfası , 255 …
1
Nick'in Sınıfı için “doğru” tekdüzelik koşulu
DLOGTIME, http://en.wikipedia.org/wiki/DLOGTIME adresinde tanımlanır. LL\operatorname{L}http://en.wikipedia.org/wiki/L_%28complexity%29 sitesinde tanımlanır NCNC\operatorname{NC} ve NCnNCn\operatorname{NC}^nhttp://en.wikipedia.org/wiki/NC_%28complexity%29 sitesinde tanımlanır DLOGTIME işe yarayabilecek en küçük gibi görünüyor. Çeşitli yerlerde okudum kiL ⊆NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \, bir tekdüzelik koşulu belirten sonuçları bulduğum her yerde LL\operatorname{L}-uniformity. Herhangi bir deterministik sınıf var mıXXX öyle ki L ⊆ NCL⊆NC\, \operatorname{L} …
2
Ayrık optimizasyon için erken referanslar
(Bu yanlış yerleştirilmiş veya çok genişse özür dilerim. Nasıl yeniden formüle edileceğine dair önerilere açığım.) Maksimum akış algoritmalarının ve genel olarak ayrık optimizasyon algoritmalarının "eski" geçmişini izlemekle ilgileniyorum. Ford-Fulkerson bir başlangıç ​​noktasındaki saman adamım. Bundan önceki önemli gelişmeler nelerdi? Birinin maksimum akış üzerinde çalıştığına dair makul bir argüman ortaya koyarken …
2
Klik Sayım Algoritması
EPT (bir ağaçtaki yolların kenar kesişimi) grafikleri hakkında eski bir MC Golumbic gazetesi okuyorum. Bu makalede, bir EPT grafik örneğinin maksimum klip sayısının polinom olduğu gösterilmiştir. Bir kâhin bir grafikGGG bir EPT grafiğidir, o zaman maksimum klibi standart bir klişe numaralandırma algoritmasıyla bulmak mümkündür. Her şeyden önce, bu standart klik …
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.