Teorik Bilgisayar Bilimi

Let için belirgin ve derecesi sınırlanan, düzenli olmayan bir bağlı grafik olabilir. Her düğümün benzersiz bir jeton içerdiğini varsayalım.G = ( V, E)G,=(V,E)G= (V, E) Ben sadece yerel takas kullanarak (yani iki bitişik düğüm arasında belirteç değişimi) grafik arasında belirteçleri düzgün bir şekilde karıştırmak istiyorum? Bu sorun için bilinen bir …

10 ds.algorithms  random-walks  dc.distributed-comp 

Bölge teoremi, n çizgisinin başka bir çizgiyle düzenlenmesi durumunda, bölgesinin toplam karmaşıklığının, ona bitişik tüm 0-, 1- ve 2 yüz kümesinin O (n) olduğunu söyler . Asıl sabit, en azından çeşitli ders kitaplarında belirtildiği gibi 6n gibi bir şeydir ve kanıt, makul derecede dikkatli bir şarj argümanı ile indüksiyonladır. Sınıfta …

10 cg.comp-geom 

Özellikle, çalışma sırasında ilgili inanç ağlarını (veya eşdeğerini) güncelleyebilecek makine öğrenme sistemleri hakkında bilgi edinmek için kaynak istiyorum. Birkaç tanesiyle bile karşılaştım, ancak yer imlerine ekleyemedim. Tahmin edebileceğiniz gibi, internette arama yapmak oldukça zor bir konudur.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Bir DFA veya NFA, soldan sağa hareket ederek tek bir başlı bir giriş dizesinden okur. Her biri girdiden soldan sağa doğru hareket eden ancak girişte diğerleri ile aynı yerde olmayan birden fazla kafaya sahip sonlu durumlu makineleri merak etmek doğal görünmektedir . İle bir sonlu durum makinesi tanımlayalım kkk kafaları …

10 fl.formal-languages  automata-theory  regular-language  nfa 

70'lerin başından beri, ve nin eşit olmadığı (çünkü polinom zamanı altında kapalı değildir. - nin aksine bir azaltma ). Ancak bildiğim kadarıyla, bir sınıfın diğerinin bir alt kümesi olup olmadığı hala açık değil, yani ve her ikisi de boş değildir.NPNP{\bf NP}E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)})EE{\bf E}NPNP{\bf NP}NP−ENP−E{\bf NP}-{\bf E}E−NPE−NP{\bf E}-{\bf NP} Soru: İlgili …

10 cc.complexity-theory  complexity-classes  np-complete 

Bir süredir Kombinasyon Mantığı, Lambda Matematik, Fonksiyonel Programlama gibi çeşitli konularla ilgileniyorum ve bunları inceliyorum. Ancak, "hesaplanabilirlik" sorusunu cevaplamaya çalışan "Hesaplama Teorisi" nin aksine, çeşitli kısıtlamalarla hesaplanabilen / hesaplanamayan şeyler için "Programlama Teorisi" nin analogunu bulmakta zorlanıyorum Wikipedia bunu şöyle açıklıyor: Programlama dili teorisi (PLT), programlama dillerinin tasarımı, uygulanması, analizi, …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Olup olmadığı bilinmiyor P⊆ CSLP⊆CSLP\subseteq CSL veya P⊈ CSLP⊈CSLP\not\subseteq CSL, nerede PPP , deterministik bir Turing makinesinde polinom zamanında karar verilebilen tüm diller kümesidir ve CSLCSLCSL , lineer sınırlı otomata tarafından karar verilen diller olan ile eşdeğer olduğu bilinen içeriğe duyarlı diller .N-SPA CE( O ( n ) )N-SPbirCE(Ö(n))NSPACE(O(n)) Birçok …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

İzin Vermek 'HA LTnHALTnHALT_n uzunluk dizesini belirtmek 2n2n2^n uzunluk girişleri için durma probleminin doğruluk tablosuna karşılık gelen nnn. Kolmogorov karmaşıklık sırası K( HA LTn)K(HALTn)K(HALT_n) idi O ( 1 )O(1)O(1), ardından tavsiye dizelerinden biri sonsuz sıklıkta kullanılır ve bu dizeye sahip sabit kodlu bir TM çözebilir 'HA L THALTHALT muntazam sonsuz …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Bir boole devresim olduğunu varsayalım CCC bazı fonksiyonları hesaplayan f: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Devrenin, en fazla 2 adet fan girişi ve fan çıkışı olan AND, OR ve NOT kapılarından oluştuğunu varsayalım. İzin Vermek x ∈ { 0 , 1}nx∈{0,1}nx \in \{0,1\}^nbelirli bir …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

K-FLIP SAT parametreli sorunu şu şekilde tanımlanır: Girdi: 3-CNF formülüφφ\varphi ile nnn değişkenler ve doğruluk ödevi σ:[n]→{0,1}σ:[n]→{0,1}\sigma : [n] \to \{0,1\} Parametre: kkk Soru: Ödevi dönüştürebilir miyizσσ\sigma doyurucu bir ödeve σ′σ′\sigma' için φφ\varphi en fazla gerçeğin değerini çevirmekkkk değişkenler? Sorun açıkça FPT'de ( Stefan Szeider: SAT ve MAX SAT için …

10 parameterized-complexity  fixed-parameter-tractable 

Diyelim ki, homotopi türü kuramında çalışıyorum ve tek çalışma nesnelerim geleneksel kategoriler. Buradaki eşdeğerlikler, kategorilerinin denkliklerini sağlayan ve . ve doğal izomorfizmler vardır böylece bu işlev ve "ters" işlev birim işleve dönüştürülür.F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf C}G:C⟶DG:C⟶DG:{\bf C}\longrightarrow{\bf D} C≃DC≃D{\bf C} \simeq {\bf D}α:nat(FG,1C)α:nat(FG,1C)\alpha:\mathrm{nat}(FG,1_{\bf C})β:nat(GF,1D)β:nat(GF,1D)\beta:\mathrm{nat}(GF,1_{\bf D}) Şimdi tekdüzelik , kategoriler hakkında konuşmayı seçtiğim …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Dualite hakkında konuşurken tamamlayıcı gevşeklik (CS) yaygın olarak öğretilir. Matematiksel bir bakış açısından primal ve ikili kısıtlama / değişkenler arasında güzel bir ilişki kurar. CS başvurusunun iki temel nedeni (lisansüstü derslerde ve ders kitaplarında öğretildiği gibi): LP'nin uygunluğunu kontrol etmek İkili çözmenize yardımcı olmak için Günümüzün bilgi işlem gücü ve …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

DFA'nın hafif bir genellemesi ile ilgileniyorum. Her zamanki gibi, devlet setli , sonlu alfabe , üzerinde tarafından tanımlanan bir işlemi var ve başlangıç ​​durumu ; ancak normal terminal seti yerine , alt kümelerinin bir ailesini . Çok dilli bir DFA daha sonraQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n}QQQMMM (Q,Σ,δ,q0,(Ti))(Q,Σ,δ,q0,(Ti))(Q, \Sigma, \delta, q_0, …

10 automata-theory  dfa 

Uygun PAC öğrenme 2-DNF formüllerinin örnek sorguları ve düzgün dağılımlı sorgu karmaşıklığı ile ilgili son teknoloji sonuç nedir? Yoksa önemsiz olmayan herhangi bir sınır? Öğrenme teorisine hiç aşina olmadığım ve bu soru farklı bir alan tarafından motive edildiğinden, cevap açık olabilir. Kitabı Kearns ve Vazirani tarafından kontrol ettim, ancak bu …

10 reference-request  lg.learning  boolean-functions 

Arora-Barak kitabında, zamanla yapılandırılabilir fonksiyonların tanımında, zamanla yapılandırılamayan fonksiyonların kullanılmasının "anormal sonuçlara" yol açabileceği söylenir. Böyle bir "anormal sonuç" örneği var mı? Özellikle zaman hiyerarşisi teoreminin tutmayacağı fonksiyonlar olabileceğini duydum, böyle fonksiyonlara sahip olan var mı? Literatürde bir yerlerde bununla ilgili bir şey var mı?

10 cc.complexity-theory