Teorik Bilgisayar Bilimi

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

1
PTS / CoC'de Kilise kodlu türe göre bağımlı tipler
Barendregt'in lambda küpündeki saf tip sistemleri, özellikle en güçlü olanı olan İnşaat Analizini deniyorum. Bu sistemin çeşitleri *ve BOX. Sadece kayıt için, aşağıda klasik lambda hesabına yakın olan https://github.com/Gabriel439/Haskell-Morte-LibraryMorte aracının somut sözdizimini kullanıyorum . Endüktif türleri bir çeşit Kilise benzeri kodlamayla (cebirsel veri türleri için Boehm-Berarducci izomorfizmi olarak) taklit edebileceğimizi …
2
Değişmeli olmayan bir grubun elementlerinin permütasyonu ile neyin başarılabileceğini belirlemek
Sonlu bir grup sabitleyin . Aşağıdaki karar sorunuyla ilgileniyorum: girdi, G'nin üzerinde kısmi bir düzen bulunan bazı unsurlarıdır ve soru, düzeni tatmin eden unsurların bir permütasyonu olup olmadığı ve buradaki elemanların bileşimi sipariş grubun nötr elementini verir e .G,GGG,GGeee Resmi olarak, testi problemiG,GG aşağıdaki gibidir, burada grubu sabittir:G,GG Girdi: sonlu …
3
İki kez okunan zıt CNF formülünün paritesini hesaplamanın karmaşıklığı (
Bir-iki kez zıt CNF formülünde, her bir değişken bir kez pozitif ve bir kez negatif olmak üzere iki kez görünür. Ben ilgilenen kulüpler salt iki kez ters CNF formülü tatmin atamalarının sayısını paritesine bilgisayar oluşur sorun.⊕ Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Böyle bir sorunun karmaşıklığı hakkında herhangi bir referans bulamadım. Bulabildiğim en yakın şey, …
1
Zor görevler için hesaplama yeteneği, kolay görevleri çözmede ne ölçüde yardımcı olur?
Kısacası, soru şudur: Zor görevler için hesaplama yeteneği, kolay görevleri çözmenize gerçekten ne kadar yardımcı olur. (Bu soruyu ilginç ve önemsiz hale getirmenin çeşitli yolları olabilir ve işte böyle bir girişim.) Soru 1: N değişkenli bir formül için SAT'ı çözmek için bir devre düşünün. (Veya kenarlı bir grafik için Hamilton …
1
Belirli bir işaret vektörleri kümesinden en düşük boyutlu politopu hesaplayın
içindeki normal vektörleri tarafından belirlenen bir dizi hiperplan verildiğinde , hücre tipleri (veya işaret vektörleri) bunların hepsi olan vektörleridir. bir vektör var böylece ve tüm tutar . Burada iç çarpımı belirtir ve sıfır olmayan gerçek sayı işaretini ( veya ) belirtir .h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf R^dt∈{+,−}mt∈{+,−}mt\in\{+,-\}^mv∈Rdv∈Rdv\in\mathbf R^d⟨v,hi⟩≠0⟨v,hi⟩≠0\langle v,h_i \rangle \neq 0ti=sign(⟨v,hi⟩)ti=sign(⟨v,hi⟩)t_i …
2
3'ü 1 arada SAT'da sınırlı sayıda değişken olay
1-in-3-SAT'ın karmaşıklık sınıfında sınırlı sayıda değişken olayla bilinen bir sonuç var mı? Peter Nightingale ile aşağıdaki cimri indirgeme geldim, ancak bu biliniyorsa bir şeyden bahsetmek istiyorum. İşte geldiğimiz hile. Bu, değişken başına 3 tekrar ile sınırlı 1-in-3-SAT'ın NP tamamlanmış ve #P tamamlandığını (1-in-3-SAT olduğu için) , 3-SAT'ın 3 tekrar ile …
4
Algoritmik matematiksel analiz var mı?
Orada algoritmik grafik teorisi / sayılar teorisi / combinatorics / enformasyon teorisi / oyun teorisi. Algoritmik matematiksel analiz var mı? Wiki'ye göre, matematiksel analiz farklılaşma, integrasyon, ölçü, limitler, sonsuz seriler ve analitik fonksiyonlar teorilerini içerir. Gerçek bir değişkenin gerçek sayıları ve gerçek değerli fonksiyonları ile ilgilenen gerçek analize (wiki) odaklanmak …
3
Etkileyici Tip Teorisinin Ramification
Fark ettiğim çoğu tür teorisi öngörücüdür, yani Void : Prop Void = (x : Prop) -> x bu pi tipi, aynı evrene ait olduğu için çoğu teorem sağlayıcısında iyi yazılmamıştır Propve durum böyle değildir Prop : Prop. Bu onları öngörücü kılar ve yukarıdaki gibi imkansız tanımlara izin vermez. Bununla birlikte, …
1
Mantıksal çerçeve ve tip teorisi
Mantıksal çerçeve ve tür teorisi arasındaki fark nedir? Her ikisinin de türleri, terimleri vardır ve bağımlı olarak yazılan lambda hesabına dayanır. Lambda-pi analizine dayanan Edinburg LF var, ancak bana öyle geliyor ki, orada bazı ince farklar var.
2
Bu dil hangi karmaşıklık sınıfına aittir?
Bu dilin hangi sınıfa ait olduğunu düşünüyordum: bir grafik, doğal bir sayı ve kromatik sayısıdırL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} (1) "k-1 renklerinin renklenmesi yok" ve (2) " k renklerinin renklenmesi var" diye düşündüm . Şimdi, (1) coNP ve (2) NP-tamamlanmış olduğundan, bu dilin ne NP'de ne de …
6
Teorik CS'de saf matematikle ilgili daha fazla konu var mı?
Teorik bilgisayar bilimi ve özellikle de yaklaşım algoritmaları üzerine yüksek lisans öğrencisiyim. Şimdi saf matematikle daha fazla ilgilendiğimi görüyorum (bunu söyleyebilirim çünkü matematik derslerinden CS derslerinden daha fazla keyif aldım). Teorik bilgisayar bilimlerinde oldukça saf matematik (daha kesin olmak gerekirse, CS'ye yapılan uygulamaları düşünmeden saf matematikle ilgilenen bir alan) veya …
1
Fibonacci kelimeleri
Eski Çek algoritması ders kitabımda aşağıdaki sorunla karşılaştım, ne yazık ki hiçbir ipucu ya da çözüm olmadan geldi. "Fibonacci kelimelerini , , olarak tanımlıyoruz , burada ve genel harflerdir. string (potansiyel olarak büyük bir alfabe üzerinde) doğrusal zamanda en uzun Fibonacci'nin alt kelimesini bulabilir misin? "F0=aF0=aF_{0}=aF1=bF1=bF_{1}=bFn+2=FnFn+1Fn+2=FnFn+1F_{n+2}=F_{n}F_{n+1}aaabbb İkinci dereceden bir zamanda …
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.