Teorik Bilgisayar Bilimi

"Seyrek grafik" ile ilgili birbiriyle çelişen birkaç kavram vardır. Örneğin, yüzeye gömülebilir bir grafik seyrek olarak kabul edilebilir. Veya sınırlı kenar yoğunluğuna sahip bir grafik. Veya yüksek çevresi olan bir grafik. Büyük genişleme içeren bir grafik. Sınırlı treewidth ile bir grafik. (Rastgele grafiklerin alt alanında bile, seyrek olarak adlandırılabilecek şey …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

Çeşitli programlama dili özelliklerinin semantiği hakkında bir araştırma (kağıt, kitap bölümü, öğretici, bağlantılar, ...) var mı? Aslen burada D'nin özellikleri karşısında bunalmıştım http://www.digitalmars.com/d/2.0/comparison.html Stackoverflow ile ilgili benzer bir soru sordum ve bu iki sitenin farklı bakış açıları olduğunu anlasam da, muhtemelen buradan ne alabilirim görmek istiyorum . Cevabınızı gerçekten takdir …

12 reference-request  pl.programming-languages  survey 

Aşağıdaki sorunu düşünün, Bir dizi Verilen pozitif sayılar { a 1 , ... , bir n } hangi bir sabittir, biz içine setini bölümlere ayırmak istediğiniz boyutu alt kümelerine k böylece her toplamının ürün alt küme maksimize edilir.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}mk≥3k≥3k \ge 3mmmkkk Sorun, her bir …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

x1, … , Xnx1,…,xnx_1, \ldots, x_nR,2R2\mathbb{R}^22∥ xben- xj∥2‖xi−xj‖2\|x_i - x_j\|^2 22323\frac 2 32323\frac 2 3 Bulabildiğim en kötü örnek, eşkenar üçgende 3 nokta, ulaşıyor . Rastgele bir bölünmenin üreteceğini unutmayın , ancak sezgisel olarak bariz bir şekilde düşük boyutlarda bir kişinin rastgele daha iyi kümelenebileceği görülmektedir. 12323\frac 2 31212\frac 1 …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

Diyelim ki yıldızlararası bir dijital iletişim kanalı kullanarak mesaj gönderip alabilen yabancı uygarlıklar keşfettik. (Modüle edilmiş radyo dalgaları, lazer atımları, yıldızları çeşitli yörüngelerde yeniden konumlandırmayı kullanarak söyleyin, ne var?) Diyelim ki onlarla temas kurmaya karar verdik. Bir diyalog başlattığımızda, bir iletişim protokolü ve dili oluşturmayı nasıl başardık? Temel bir kelime …

12 big-picture  communication-complexity 

Aşağıdaki sorun hakkında bilinenler nelerdir? F : { 0 , 1 } n → { 0 , 1 } fonksiyonlarından oluşan bir koleksiyonu verildiğinde , bazı tamsayı k için VC-Boyut ( S ) ≤ k kısıtlamasına tabi olarak en büyük alt toplama S ⊆ C'yi bulun .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) \leq …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Bu soru, ağaçlardaki NP zor sorunlara benzer : Coğrafyalarda izlenebilir olan çok sayıda NP-tam problemi var . Cograflarla kısıtlandığında NP-tam olarak kalan bilinen herhangi bir sorun var mı? Daha kesin olmak gerekirse, girdinin yalnızca yönlendirilmemiş, ağırlıksız bir grafikten oluştuğu örneklerle ilgileniyorum . İki açıklama: Ağırlıklı cographs için böyle bir sorun …

12 cc.complexity-theory  np-hardness  graph-algorithms 

başlık kendisini anlatır. İşte Akinator ve 20Q . Bu oyunların prensibi bir kullanıcıya kullanıcı tarafından seçilen bazı varlıklarla ilgili bir dizi soru sormaktır. Ve sonra bu varlığın ne olduğunu öğrenin. Algoritmanın özü, her turda "en yararlı soruyu" bulmak ve tüm sorulara doğru cevap veremeyen bir kullanıcıyla ilgilenmektir. "en faydalı soru", …

12 ds.algorithms 

Bazı kanıt asistanını kullanarak matematiksel kanıtlar yazmak istiyorum. Her şey birinci dereceden mantık (eşitlikle) ve doğal kesinti kullanılarak yazılacaktır. Arka plan, teori (ZF) olarak belirlenmiştir. Örneğin, aşağıdaki kanıtı nasıl yazabilirim? Aksiyom:∀ x ∀ y( x = y↔ ∀ z( z∈ x ↔ z∈ y) )∀x∀y(x=y↔∀z(z∈x↔z∈y))\forall x\forall y(x=y\leftrightarrow\forall z(z\in x\leftrightarrow z\in …

12 lo.logic  software  proof-assistants 

CNF formüllerinin kabaca 2 geniş sınıfta bölümlenebileceği yaygın olarak bilinmektedir: rastgele ve yapılandırılmış. Yapılandırılmış CNF formülleri, rastgele CNF formüllerine karşıt olarak, tesadüfen gerçekleşmesi muhtemel olmayan kalıpları gösteren bir tür düzen sergiler. Bununla birlikte, bir dereceye kadar rastgelelik gösteren yapısal formüller bulunabilir (yani, belirli belirli cümle grupları diğerlerinden çok daha az …

12 cc.complexity-theory  sat  randomness  symmetry 

Rastgele K-SAT'ı tanımlarken sahip olabileceğimiz 4 farklı kısıtlama vardır. 1) Belirli bir yan tümcedeki toplam hazır bilgi sayısı tam olarak K veya AT'dir K 2) Belirli bir hazır bilgi, aynı yan tümcede (A veya A veya A) değiştirilerek veya kullanılmadan kullanılabilir 3) Belirli bir değişken veya ile kullanılabilir aynı fıkrada …

12 cc.complexity-theory  sat  randomness  phase-transition 

Bu, Robin Kothari'nin polinom zaman sertliği sonuçlarıyla ilgili önceki yazısının bir takip sorusu olarak tasarlanmıştır . Özellikle, kabaca daha düşük sınırlara sahip olduğuna inanılan problemler için bazı sertlik kanıtları görmekle ilgileniyorum ve kabaca kelime boyutu ile oynayarak (örneğin 3SUM için) Barab ve diğerleri [Springer aracılığıyla] ). Yanıtları basitleştirirse, karar ağacı …

12 graph-theory  cg.comp-geom  lower-bounds 

CMSOL Monadik İkinci Dereceden Mantık Sayıyor, yani alanın köşe ve kenar kümesi olduğu grafiklerin bir mantığı, köşe-tepe bitişikliği ve kenar-tepe noktası insidansı için tahminler var, kenarlar, köşe noktaları, kenar kümeleri ve köşe üzerinde nicelik var setleri, ve bir yüklem vardır büyüklüğü olmadığını anlatırken kullanılır S olduğu n modülo p .kartn …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Razborov, bipartit grafikler için mükemmel eşleme işlevini hesaplayan her monoton devrenin en az geçidine sahip olması gerektiğini kanıtladı (buna "mantıksal kalıcı" dedi). Aynı sorun için daha iyi bir alt sınır o zamandan beri kanıtlandı mı? ( diyelim ?) Hatırladığım kadarıyla bu sorun 1990'ların ortalarında açıktı. 2 n ϵnΩ ( günlükn …

12 cc.complexity-theory  circuit-complexity  matching 

Bu muhtemelen oldukça basittir, ancak standart Yazışma Sonrası Sorununu düşünün: Verilen ve , endeksten oluşan bir dizi bulmaya şekilde . Bu elbette kararsızdır.β 1 , … , β N i 1 , … , i K α i 1 ⋯ α i K = β i 1 ⋯ β i …

12 computability  fl.formal-languages