Teorik Bilgisayar Bilimi

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


4
Matris-çarpım üsünün tanımı
Lojik olarak, matris-çarpma üssünün tanımı, bilinen bir matris çarpma algoritmasının olduğu en küçük değerdir . Bu resmi bir matematiksel tanım olarak kabul edilemez, bu yüzden teknik tanım bir matris çarpma algoritması var ki tüm üzerinde sonsuz gibi bir şey sanırım .ωω\omeganωnωn^{\omega}tttntntn^t Bu durumda, veya de matris çarpımı için bir algoritma …

1
Listedeki siparişin
Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …

2
Kısmen sıralı elemanlar için hangi kalıcı veri yapısı?
A tipi eleman kümelerini saklamam gerekiyor. Böylece karşılaştırma, bir kısmi sıralı olan Tip bir1bir1a_1 ve büyük, eşit ya da eşsiz küçük dönebilir.bir2bir2a_2 Karma tablolardaki bir sorun, iki eşit öğenin farklı şekilde temsil edilebilmesidir ve eşitlikle tutarlı bir karma işlevine erişimim yoktur. İki öğeyi karşılaştırmak uzun bir süreç olabilir, bu nedenle …

2
Kanıtlanmış iki ürün teorisi?
Bir kategoride aynı nesneler hem ürünler hem de kopyalar olduğunda iki ürün bulunur. İki ürünlü kategorilerin kanıt teorisini araştıran var mı? Belki de en iyi bilinen örnek, doğrudan toplam ve doğrudan ürün yapılarının aynı vektör uzayını verdiği vektör uzayları kategorisidir. Bu, vektör uzayları ve doğrusal haritaların biraz dejenere lineer mantık …

1
Evrensel İşlev yaklaşımı
Evrensel yaklaşım teoremi aracılığıyla, tek bir gizli katmanı ve keyfi bir aktivasyon fonksiyonu olan bir sinir ağının herhangi bir sürekli fonksiyona yaklaşabileceği bilinmektedir. Evrensel işlev yaklaşıklayıcıları olan başka hangi modeller var?

3
Algoritmik Evrimsel Oyun Teorisi Kaynakları
Başlık terimini çok gevşek bir anlamda kullanıyorum. Evrimsel oyun teorisi üzerinde matematiksel temelleri de dahil olmak üzere önemli miktarda çalışma vardır. "Evrimsel Oyunlar ve Nüfus Dinamikleri" önerildi ancak henüz araştırılmadı. Bu sitede popüler bir konu olan algoritmik oyun teorisi üzerinde de önemli miktarda çalışma var. Görmek istediğim, bazı evrimsel dinamikler …

2
Mantıksal ilişkilerin kökeni nedir?
Aslında iki sorum var: Anlambilimi ilişkilendirmek için ilk olarak mantıksal ilişkileri kim kullanmıştır? Onları Reynold'un " Doğrudan ve Devamlı Anlambilim Arasındaki İlişki Üzerine " izledim, ancak kapsamlı bir araştırma yaptığımı iddia edemem. Daha önce uzanan (Tait, '67) mantıksal ilişkilere referanslar buldum, ancak anlambilim ile ilgili değil. Mantıksal ilişkiler için en …

2
Ackerman işlevi için açık mu-özyinelemeli ifade
Ackerman fonksiyonunun nasıl oluşturulacağını işaret edebilir misiniz (aslında Rózsa Péter ve Raphael Robinson tarafından önerilen bir versiyonla ilgileniyorum), standart mu-özyinelemeli operatörler aracılığıyla? Péter ve Robinson'ın orijinal makalelerini denedim, ancak Péter'in makalesinde İngilizce ve Robinson'ın “Özyineleme ve Çifte Özyineleme” ve “İlkel Özyinelemeli İşlevler” makalelerinden farklı bir dil kullanılıyor: birincisi daha alakalı …

2
Modüler bir derleyicide Pottier ve Gauthier'in polimorfik disfonksiyonunu kullanan var mı?
İşlevselleştirme , üst düzey programları birinci dereceden programlara dönüştüren bir program dönüşümüdür. Fikir, bir program verildiğinde, sadece son derece çok sayıda lambda soyutlaması vardır, böylece her lambda'yı bir id ile değiştirebilirsiniz ve her fonksiyon uygulaması, o kimliğe dallanan bir uygulama prosedürüne çağrı ile değiştirilebilir. Bu bazen derleyici olarak işlevsel diller …

2
Kuantum PAC öğrenimi
Arka fon 0'daki fonksiyonlar, derinliği devresini öğrenmek için rasgele seçilen sorguları gerektiren klasik klasik bir algoritma ile kuasipolinomiyal zamanda PAC öğrenilebilir . çarpanlara ayırma algoritması yoksa bu optimaldir [2]. Tabii ki, bir kuantum bilgisayarında nasıl faktör hesaplayacağımızı biliyoruz, bu nedenle bu alt sınır yardımcı olmuyor. Ayrıca, en uygun klasik algoritma …

1
Modüler Ayrışma ve Klips genişliği
Modüler ayrışma ve Klips genişliği grafikleri ile ilgili bazı kavramları anlamaya çalışıyorum . In Bu yazıda ( "P4-düzenli grafikler Üzerine"), Modüler ayrıştırılması yöntemi klik-numarası veya kromatik-numarası gibi optimizasyon sorunları çözmek için nasıl bir kanıt yoktur. G1 ve G2'nin cevabını bildiğinizde, iki grafik G1, G2 oluşturarak (ayrık toplam veya ayrık birleşim …


5
Modüler Ayrışma için Referanslar
Modüler Ayrışmanın gücünü ve özelliklerini daha iyi anlamak için iyi makaleler / kitaplar nelerdir? Özellikle Modüler Ayrışmanın algoritmik yönleriyle ilgileniyorum. Doğrusal zamanda bir grafiğin Modüler Ayrışmasını bulmanın mümkün olduğunu duydum. Bunun için nispeten basit bir algoritma var mı? Çok verimli olmayan ama daha basit bir algoritmaya ne dersiniz?

1
Tarskian Möglichkeit hakkında makale ve makaleler aramak
Bazı arka plan: Lukasiewicz çok değerli mantık modal lojiği olarak tasarlanmıştır ve Lukasiewicz bir verdi gerilmeli kalıcı operatörün tanımı: (o Tarski nitelikleri).◊ A =de f¬ A → A◊bir=def¬bir→bir\Diamond A =_{def} \neg A \to A Bu, garip bir modal mantık verir, görünüşte saçma değilse de bazı paradoksal teoremler, özellikle . Yedek …

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.