Teorik Bilgisayar Bilimi

Sistem F'de ikili ürünleri türüyle kodlayabileceğiniz iyi bilinmektedir Daha sonra projeksiyon işlevlerini \ pi_1: A \ times B \ to A ve \ pi_2: A \ times B \ to B tanımlayabilirsiniz .π 1 : A × B → A π 2 : A × B → BA × B …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Bir Boolean fonksiyonunun f : { 0 , 1 } n → { 0 , 1 } 'f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} in k ise bir k-kk junta olduğunu söylüyoruz .ff en fazla sahip kkk etkileyen değişkenler. Let f : { 0 , 1 } , n → { 0 , …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

Dick Lipton'un blogunu okurken Bourne Factor gönderisinin sonuna doğru aşağıdaki gerçeğe rastladım : Her , formun bir ilişkisi varsa ( 2 n ) ! = m - 1 ∑ k = 0 a k b c k k burada m = p o l y ( n ) ve a …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Farz edelim ki, bize matrisi ve . Bu matrisin gücünü ne kadar hızlı hesaplayabiliriz ?A ∈ RN-xNbir∈R,N-xN-A \in \mathbb R^{N\times N}m ∈ N0m∈N-0m \in \mathbb N_0birmbirmA^m -products hesaplamasına göre bir sonraki en iyi şey, matris ürünleri gerektiren hızlı üslendirme kullanmaktır .mmmO ( günlükm)Ö(günlük⁡m)\mathcal O(\log m ) Köşegenleştirilebilir matrisler için özdeğer …

16 ds.algorithms  matrices  na.numerical-analysis 

Bir köşe yönlendirilmemiş grafik verildiğinde , bir -bisik olan bir alt çizgi bulmak için en iyi bilinen çalışma zamanı nedir? Bisikletin bir tarafını "tahmin" etmenin \ binom {n} {k} \ mbox {poli} (n) zaman algoritmasından daha hızlı parametrelenmiş algoritmalar var mı ve hepsinde en az k başka köşe noktası olup …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Pi-hesabında güvenilir yayınları modelleyebilir misiniz? Öyleyse nasıl? Değilse: Yapabileceğiniz benzer işlem cebirleri var mı? Ne denedim: Gönderen Eğer bir mesaj göndermek isteyen herkese için , yazabilirsiniz ! ( ve için . Ancak nin defa kopyalandığını , yani hiçbir iletinin kaybolmadığını nasıl garanti edersiniz? Bilmiyorum peşin. İlgili tüm işlemler arasında ileri …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Düzlemde bozuk para grafiği olarak bilinen bir dizi daire ile herhangi bir düzlemsel grafiği temsil edebileceğimizi biliyoruz . Her daire bir tepe noktasını temsil eder ve yalnızca daireler sınırlarında "öpüşürse" iki köşe arasında bir kenar vardır. Bunun yerine dairelerin üst üste binmesine izin verdiğimizi ve içlerinde kesişen bir çift daireyle …

16 graph-theory  co.combinatorics  graph-algorithms  graph-drawing 

Alt doğrusal zaman (girdi boyutunda) algoritmalarının var olduğu problemlerin spesifik özelliklere sahip olarak karakterize edilip edilemeyeceğini merak ediyordum. Bu, alt doğrusal zamanı (örneğin özellik testi, karar problemleri için alternatif bir yaklaşım kavramı), alt doğrusal alanı (örn. Turing makinesinin salt okunur bir bant, alt doğrusal bir çalışma alanı ve salt yazılabilir …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Bu sorun ilgilendiğim: bir yönsüz grafik göz önüne alındığında , bir bölme var grafiklerimize ve bu şekilde ve izomorfik?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Burada , iki ayrık ve kümesine bölünmüştür . ve kümelerinin gerekmez. ve .EEEE1E1E_1E2E2E_2V1V1V_1V2V2V_2E1∪E2=EE1∪E2=EE1∪E2=EV1∪V2=VV1∪V2=VV1∪V2=V Bu sorun en azından Grafik İzomorfizmi Sorunu kadar zor. Sanırım Graph İzomorfizminden daha zor ama …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Kuroda'nın klasik bir sonucu olarak, karmaşıklık sınıfı NSPACE [ ]nnn (NLIN-SPACE olarak da bilinir), tam olarak bağlama duyarlı dillerin sınıf CSL'sidir . Bir çözüm için doğrusal boyutlu bir tahmin, defter tutma için en fazla lineer miktarda ek yük ile kontrol edilebildiğinden SAT'ın doyurulma problemi NSPACE [ ] 'dir. Bu SAT'ın …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Bir permütasyon ifade: permütasyonu ifade için standart (S) BNF bağlam bağımsız dilbilgisi tanımları bir uzantısıdır ihtiva üretimi (ya da eşit şekilde, nonterminallerdir) yoluyla . Permütasyon cümlesi pozisyonunda, bu prodüksiyonların her birini tam olarak bir kez görmek isteriz, ancak bu terminal olmayanların siparişiyle ilgilenmiyoruz.n A 1 A n{ A1, … , …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Teorik olarak çalışmıyorum, ancak çalışmalarım arada bir teori kağıtlarını okumak (ve anlamak) gerektiriyor. (Bir dizi) sonucu anladıktan sonra, bu sonuçları birlikte çalıştığım, çoğu teoride çalışmayan insanlarla tartışıyorum. Bu tür tartışmalardan biri sırasında aşağıdaki soru ortaya çıktı: Ne zaman verilen iki algoritmanın "benzer" olduğu söylenir? "Benzer" derken ne demek istiyorum? Diyelim …

16 ds.algorithms  graph-algorithms 

Ben anlamaya çalışıyorum nasıl Yolu Grafik P(G)P(G)P(G) bu Eppstein en Algoritma göre kağıt işlerinde ve nasıl tekrar oluşturabilir kkk gelen kısa yolları sss için ttt tekabül yığın inşaat ile H(G)H(G)H(G) . Şimdiye kadar: out(v)out(v)out(v) bir köşe terk eden tüm kenarları içerir bir grafik bir kısa yolun bir parçası değildir . …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

İyi bilindiği gibi, grafiğinin bir ağaç ayrışması , aşağıdaki koşulları sağlayan her köşesi için ilişkili bir torbasına sahip bir ağaç oluşur :T T v ⊆ V ( G ) v ∈ V ( T )G,GGTTTTv⊆ V( G )Tv⊆V(G)T_v \subseteq V(G)v ∈ V( T)v∈V(T)v \in V(T) her köşesi bir miktar torbasında …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Aynı anda giriş bitinin AND ve OR değerlerini hesaplamak için gereken minimum ikili kapı sayısı nedir ? Önemsiz üst sınır 2 n - 2'dir . Bunun en uygun olduğuna inanıyorum, ama bunu nasıl kanıtlayabilirim? Standart geçit eleme tekniği burada çalışmaz, çünkü giriş değişkenlerinden herhangi birine bir sabit atanarak biri çıkışlardan …

16 cc.complexity-theory  lower-bounds  circuit-complexity