Teorik Bilgisayar Bilimi

Bir Bloom filtresini uygularken, geleneksel yaklaşım birden fazla bağımsız hash fonksiyonu gerektirir. Kirsch ve Mitzenmacher aslında sadece iki taneye ihtiyacınız olduğunu ve gerisini bunların doğrusal kombinasyonları olarak üretebileceğini gösterdi. Benim sorum şu: iki karma fonksiyon ile iki kez entropi olan bir fonksiyon arasındaki fark nedir? Bu, karma işlevlerinizin çıktısıyla gerçekte …

15 ds.data-structures  it.information-theory  hash-function 

Bernardy ve Moulin'in 2012 LICS belgesini ( https://dl.acm.org/citation.cfm?id=2359499 ) gördükten sonra yakın zamanda parametrikliğe oldukça ilgi duydum . Bu yazıda, tek tipli parametrikliği, bağımlı tiplere sahip saf tip bir sistemde içselleştiriyorlar ve yapıyı keyfi varlıklara nasıl genişletebileceğinize dair ipucu veriyorlar. Daha önce tanımlanan ikili parametrikliği gördüm. Benim sorum şudur: ikili …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

Aşağıdaki sorunu göz önünde bulundurun: sorgu grafiği ve referans grafiği verildiğinde, in kenarlar öyle ki . Bu, alt bölümlerin birkaç eksik kenara kadar izomorfik olmasına izin veren ve eksik kenar sayısını en aza indirmenin yolunu bulmak istediğimiz alt izomorfizm sorununun genelleştirilmesidir .G ′ = ( V ′ , E ′ …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Düz kenarlı bir düzlemde düzlemsel bir grafiğin düzlemsel olarak gömülmesi için bir tepe noktasını etrafındaki iki ardışık kenar arasındaki maksimum açı 180'den fazlaysa keskin . o köşede meydana gelen tüm kenarlar çizginin bir tarafında olacak şekilde, o zaman tepe noktası "keskin" olacak şekilde aksi halde köşede değildir. Ayrıca, sadece en …

15 graph-theory  cg.comp-geom  graph-drawing 

Bağlı bir grafik iki bağlı bileşenlerine ayrıştırılabilir. Bu blok kesme noktası ağacı noktası benzersizdir. Benzer şekilde, iki bağlı grafikler üç bağlı bileşenlere ayrılabilir. Karşılık gelen SPQR ağacı , grafikteki tüm 2 köşeli kesimleri açıklar ve grafiğinden benzersiz bir şekilde belirlenir. Bu işlem daha yüksek bağlantı için genelleme yapmaz. Örneğin, aşağıdaki …

15 graph-theory  co.combinatorics 

Düzlemsel grafikler içermez. Bu grafikler, düzlemsel veya bileşenleri olduğu bilinen üç bağlı bileşenlere .K3 , 3K3,3K_{3,3}K5K5K_5 Bir cinsin grafiklerinin böyle güzel bir ayrışması var mı? Roberston ve Seymour, grafik reşit olmayanları üzerine yaptıkları seminal çalışmalarında, her minör-serbest grafiğin "neredeyse düzlemsel" grafiklerin "toplamı" olarak ayrıştırılabileceğini gösterdiler. Bu elbette sınırlı cins grafikler …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

Programlama dili perspektifinde alt tiplemenin anlamı nedir? "Kalıtım alt tip değildir" diye duydum. O zaman miras ve alt tipleme arasındaki farklar nelerdir?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

1-dim Weisfeiler Lehman algoritması (WL) genellikle standart etiketleme veya renk geliştirme algoritması olarak bilinir. Aşağıdaki gibi çalışır: İlk renklendirme eşittir, v ∈ V ( G ) ∪ V ( H ) tüm köşeler için C 0 ( v ) = 1'dir .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

k = √maks. { k , n / k }maksimum{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n ayrık logaritmayı hesaplamak için bebek adım dev adım algoritması ,O ( n--√)Ö(n)O(\sqrt n) süresi ve bellekte statik 2D dikey aralık sayımı ,O(n)O ( n--√)Ö(n)O(\sqrt n)O ( n )Ö(n)O(n) EXTRACT-MIN ile ve DECREASE-KEY ile öncelik sırası …

15 ds.algorithms  ds.data-structures  big-list  teaching 

Boole cebri, bu şekilde (örneğin) türetilmemiş lambda hesabında ifade edilebilir . true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; Ayrıca boolean cebir Sistem F kodlanmış olabilir bu şekilde …

15 lo.logic  type-theory  lambda-calculus 

Önsöz. Karmaşıklık sınıfı AM , bir "Merlin" ve bir doğrulayıcı "Arthur" arasındaki iki yönlü interaktif kanıtlama sistemi ile çözülebilen problemlerdir. Bir sorun, - bir amacı, bazı özelliklerini test eder , X - olan AM ise: İçin VAR (polinom uzunlukta) bir rastgele "meydan okuma" mesajı örnekleri, Arthur Merlin a (polinom uzunluk) …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Önceden tanımlanmış bir evrensel geçit seti üzerinde ünitelerin dan kuantum devrelerine ayrılmasını sağlayan herhangi bir yazılım paketi var mı ?U( 2n)U(2n)U(2^n)

15 quantum-computing  software 

Aşağıdaki sorunu düşünün: Giriş : Bir hiper H = { y ∈ R , n : bir T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , bir vektör tarafından verilen ve standart ikili gösteriminde .a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n b ∈ Zb∈Zb \in \mathbb{Z} …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Mevcut algoritmamızın asimptotik olarak en uygun algoritma olduğunu bildiğimiz önemsiz bazı problemler nelerdir? (Turing makineleri için) Ve bu nasıl kanıtlandı?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

S1. İki programın (C ++ gibi bazı programlama dillerinde yazılmış) farklı olduğunu ne zaman söyleyebiliriz? İlk uç nokta, iki programın aynı olması durumunda eşdeğer olduğunu söylemektir. Diğer uç nokta, aynı işlevi hesaplayan (veya benzer ortamlarda aynı gözlemlenebilir davranışı gösteren) iki programın eşdeğer olduğunu söylemektir. Ancak bunlar iyi değildir: ilkeliği kontrol …

15 pl.programming-languages  semantics  equivalence