Teorik Bilgisayar Bilimi

Razborov'un yaklaşım yöntemi nedir? Birisi üst düzey bir genel bakış ve arkasındaki sezgiyi verebilir mi?

9 cc.complexity-theory  circuit-complexity 

Adleman'ın DNA modeli dışındaki proteinlere dayalı hesaplama modellerini veya Cherry ve Qian'ın bu çalışmasını tanımlayan bir çerçeve / biçimcilik var mı?

9 reference-request  machine-models 

Onları çözmek için pratik sezgisel araştırmada aktif araştırmaların olduğu ve insanların yenmeye çalıştığı ortak ölçütlerin olduğu NP-sert optimizasyon problemlerinin listesini arıyorum. Örnekler: Filogenetik ağaç rekonstrüksiyonu (örneğin burada sezgisel ) Gezgin satıcı (çok aktif değil, ancak LKH oldukça iyi biliniyor) Daha spesifik olarak, insanların ortaya çıkan maliyeti gerçekten önemsediği araştırma alanları …

9 heuristics 

Yarı polinom zamanı veya kısaca QP, deterministik Turing makinesinde bir karmaşıklık sınıfıdır. İşte kesin tanım: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp ΒP, sınırlı belirsizliği sınırlayan bir karmaşıklık sınıfıdır. İşte kesin tanım: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Herhangi bir βP makinesinin bir QP makinesi, yani βP ile simüle edilebildiğini görmek kolaydır ⊆⊆\subseteq QP. Ancak, sorunun βP'de olmadığına dair kesin bir …

9 cc.complexity-theory  complexity-classes 

Tam bir DFA verildi A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), fonksiyonların bir koleksiyonunu tanımlayabiliriz fafaf_a her biri için a∈Γa∈Γa\in \GammaVe birlikte fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q, fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a). Bu düşünceyi bir kelimeye genelleştirebilirizw=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m ve fw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m} nerede ∘∘\circ"Fonksiyon bileşimi". Ayrıca,G={fw∣w∈Γ∗}G={fw∣w∈Γ∗}G=\{f_w\mid w\in \Gamma^*\} ve GGG monoiddir. [GGGgenellikle standart ders kitabında geçiş monoid …

9 automata-theory  regular-language  monoid 

Bilinen herhangi bir hesaplanabilir aşkın sayısı, bu gibi var inci basamaklı olmayan polinom zamanda hesaplanabilir, fakat ?nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

Bazı alfabe sabit bir dil için , INTERLEAVING adını verdiğim şu sorunu ele alalım :LLLAAALLL Giriş: iki kelimeu,v∈A∗u,v∈A∗u, v \in A^* Çıktı: de ve araya eklenmesi olup olmadığı .uuuvvvLLL Burada, ve kelimelerinin bir araya getirilmesi , göreli sıralarını korurken ve harflerini alarak sezgisel olarak elde edilebilen bir kelimesidir . Biçimsel …

9 cc.complexity-theory  reference-request  regular-language 

Benim sorum "Geometrik Karmaşıklık Teorisi V" 4.1 ve 4.2 teoremleri hakkında . İlk teorem , (aslında rastgele sıfır karakteristik kapalı alanda ) için hsop oluşturmak için bir EXPSPACE algoritması olduğunu belirtir. ).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} İkincisi, aynı sorun için olasılıklı bir poli-zaman Monte-Carlo algoritması sağlar. Tez sonuçları sonlu bir alanın cebirsel olarak kapanmasına …

9 gct 

Let sonlu alfabe olacak. Bir kod üzerinde bir alt kümesidir , öyle ki her bir kelime benzersiz bir sözcük birleştirme olarak temsil edilebilir . Bir kod ise sonlu isesonludur. Sonlu bir kod için tanıyan (minimum) otomata hakkında ne bilinir ? Bu tür otomataların herhangi bir karakterizasyonu var mı ( bilmeden …

9 automata-theory 

İzin Vermek CC\mathcal{C} karmaşıklık sınıfı olmak ve BP- CBPC\textrm{BP-}\mathcal{C} , ile aynı şekilde tanımlanan rastgele karşılığı olmak . Daha resmi olarak polinom olarak çok sayıda rastgele bit sağlıyoruz ve kabul etme olasılığı üzerindeyse bir girişi kabul ediyoruz .CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} Bir de önceki yazı , bunun eşitliği arasında geçerli olup olmadığı bilinen …

9 circuit-complexity  randomized-algorithms  derandomization 

Bir grup için güçlü jeneratörler verildi (G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *) uzunluk bitleri üzerinde hareket nnn ve bir element s ∈ { 0 ,1}ns∈{0,1}ns \in \{0, 1\}^n, sözlükbilimsel olarak asgari unsurunu hesaplamak ne kadar zor G . sG,.sG.s, yörüngesi sss içinde G,G,G?

9 permutations  gr.group-theory  complexity 

İzin Vermek ΣΣ\Sigma bir alfabe olmak 222ve boyutu en fazla sınırlı olan minimum DFA'ları düşünün mmm. İzin Vermekf( m )f(m)f(m) "Bu tür farklı minimal DFA'ların sayısını belirtir." İçin kapalı form formül bulabilir miyiz f( m )f(m)f(m)? Bunu göz önünde bulundurarak | Σ | =2|Σ|=2|\Sigma|=2 en fazla DFA boyutunun geçiş fonksiyonu …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Bir süredir Turing Machines'i tam olarak bir bant ve tam 3 durumla (başlangıç ​​durumu) merak ettim q0q0q_0, kabul etme durumu qbircceptqa c c e p tq_{accept}ve reddetme durumu qrejectqr e j e c tq_{reject}). Rasgele (sonlu) teyp alfabelerine izin verdiğimi unutmayın (örn., Teyp alfabesi giriş alfabesine eşit değildir). Kolaylık sağlamak …

9 automata-theory  turing-machines  cellular-automata 

Bilim bölümünde yayınlanan ve polinom kaynaklarını ve kolektif devletleri kullanarak polinom zamanında NP-tam problemlerini hatırlamak . Memcomputing, aynı fiziksel platformda bilgi depolamak ve işlemek için etkileşimli bellek hücrelerini (kısaca memprosesörler) kullanan yeni bir Turing dışı hesaplama paradigmasıdır . Son zamanlarda matematiksel makinelerin, belirsiz Turing makineleri ile aynı hesaplama gücüne sahip …

9 np-complete  open-problem 

İzin Vermek L⊆A∗L⊆A∗L \subseteq A^* dil ol ve tanımla fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} tarafından fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iFF x⋅y∈Lx⋅y∈Lx\cdot y \in L. Şunun için bir referans arıyorum: Önerme. LLL belirleyici iletişim karmaşıklığı düzenli ise fLfLf_L sabittir. Başka bir deyişle, LLL iki oyunculu bir protokol varsa PPP …

9 reference-request  communication-complexity  regular-language