Teorik Bilgisayar Bilimi

Ortalama vaka karmaşıklığı en kötü vaka karmaşıklığı ile aynı olan problemler var mı? En kötü durumu ortalama duruma indirmeyi mümkün kılan bu sorunların altında yatan özellikler nelerdir?

11 cc.complexity-theory  reductions  average-case-complexity 

Bir çizgi parçasının eğimini sayısallaştırmasından kurtarmak için herhangi bir çalışma yapıldı mı? Elbette bunu mükemmel bir doğrulukla yapamazsınız; birinin istediği, sayısallaştırılmış bir çizgiden olası eğimler aralığını türetmek için bir yöntemdir. (Kullandığım sayısallaştırılmış bir çizgi kavramı Rosenfeld'in: çiftler kümesi burada i tamsayılar (veya ardışık tamsayılar bloğu) arasında değişir ve n i …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Bu sorunun açık bir cevabı olabilir ... ama yine de soru. Sezgisel olarak şu mantıklı ifadedir - "altyordam B'ye sahip bir altyordam A olan bir makine, altyordam B'ye erişimi olan bir altyordam A'ya sahip bir makine ile aynıdır". Bu sorunu resmi olarak tanımlamak için bazı alışılmadık gösterim kullanacağım. Dediğimde , …

11 complexity-classes  oracles 

Birebir indirimler ve Turing indirimleri ile tanımlanan NPC sınıflarının eşit olup olmadığını merak ediyorum. Düzenleme: Başka bir soru, Turing indirimler sadece bazı C için C ve co-C sınıflarını daraltma veya Karp azaltma altında ve Turing azaltma altında olan bir sorun var gibi bir sınıfı var mı ?CCCC∪ c o - …

11 cc.complexity-theory  np-hardness  reductions 

Literatürde aşağıdaki probleme yakın bir şey var mı: İki taraflı bir grafik verildi G ( V, E)G(V,E)G(V,E) dengeli iki bölümlü { U, W}{U,W} \{U,W\} , mükemmel bir eşleşme var mı MM M içinde G,G G öyle ki her 2 kenar için u1w1,u2w2∈ Mu1w1,u2w2∈Mu_1w_1, u_2w_2\in M , bir kenar var u1w2u1w2u_1w_2 …

11 matching 

Submodüler fonksiyonlar teorisine referansla çok ilgilenirim (temelden ileri seviyeye). Özellikle, sert optimizasyon problemlerine yaklaşımları inceliyorum ve çalıştığım optimizasyon problemleriyle ilgili oldukları için temellerimi modüler fonksiyonlarda geliştirmek istiyorum. Şimdiden teşekkürler.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Negatif olmayan kenar ağırlıkları ve iki ayırt edici köşe noktası olan bağlı yönlendirilmemiş bir grafik düşünün . Aşağıdaki formun tümü olan bazı yol sorunları şunlardır: yoldaki kenar ağırlıklarının bazı işlevleri minimum olacak şekilde bir yolu bulun . Bu anlamda hepsi en kısa yol sorununun "akrabaları" dır; ikincisinde fonksiyon basitçe toplamdır.s …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Robin Gandy , Alan Turing'in öğrencisiydi . Gandy, Babbage'ın Analitik Motorunun bir analizini yaptı (bkz. 'Herken, Rolf - Evrensel Turing Makinesi — Yarım Yüzyıl Anketi . Springer Verlag'). s. 52–53): Aritmetik fonksiyonlar +, -, ×, burada - y ≥ x ise "uygun" çıkarma x - y = 0 belirtir. Herhangi …

10 turing-machines  universal-computation  charles-babbage 

G1, G2 ve G3 grafiği göz önüne alındığında, G1 ve G2 ile G1 ve G3 arasında izomorfizm testi F yapmak istiyoruz. G2 ve G3, G3'ün bir düğümü silerek ve G2'den bir düğüm ekleyerek oluşturulacağı şekilde çok benzerse ve F'nin (G1, G2) sonucunu elde edersek, F'yi (G1, G3) sıfırdan hesaplamadan hesaplayabilir …

10 graph-theory  graph-algorithms  graph-isomorphism 

İki renkli mükemmel eşleme problemi, bir grafiğin iki renkle renklendirilip renklendirilmemesine karar vermektir, böylece her düğüm kendisiyle aynı renkte bir komşuya sahip olur. Sorunun Schaefer tarafından NP-tamamlanmış olduğu kanıtlandı . Düzlemsel kübik grafikler için bile NP-tam kalır. Girdi grafiğinin iki renkle renklendirilip renklendirilemeyeceğine karar vermek istediğimiz bir varyantla ilgileniyorum, her …

10 cc.complexity-theory  np-hardness 

Alttan biliyoruz Çözemediğimiz içinde -sum , herhangi bir fonksiyon altında zaman (genellikle ).ET'HET'HETHKKKf( K) p o l y( n K)f(K)pÖly(nK)f(K)poly(nK)f(K)f(K)f(K)2O ( K)2Ö(K)2^{O(K)} karmaşıklığını engelleyen herhangi bir varsayım var mı (bu, gibi tamamen alt küme toplamı için üstel zamana ihtiyacımız olan olasılıkla tutarlıdır ) veya böyle bir olasılığa izin veriliyor mu?( …

10 cc.complexity-theory  subset-sum 

Karmaşıklık Hayvanat Bahçesi'nde, [ 1 ], tanımlayıcı karmaşıklıkta PPP aynı zamanda F O ( n O ( 1 ) ) olan FO(LFP)FO(LFP)FO(LFP) şeklinde üç farklı formülle tanımlanabileceğini söylüyor . S O ( lH O R ' N ) .FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) Bununla birlikte, bazı istisnalar vardır, örneğin EvennessEvennessEvenness FP tarafından ifade edilemez …

10 lo.logic  polynomial-time  descriptive-complexity 

Birisinin bana neden endüktif veri türlerinin sıkı pozitifliğinin güçlü normalleşmeyi garanti ettiğini arkasındaki sezgiyi verip veremeyeceğini merak ediyorum. Açık olmak gerekirse, olumsuz oluşumların nasıl ıraksamaya yol açtığını görüyorum, yani: data X where Intro : (X->X) -> X ıraksak bir fonksiyon yazabiliriz. Ama bunu nasıl kesin pozitif endüktif tipleri kanıtlayabilirim merak …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Şu anda bir tez için bir konu arıyorum ve algoritmik bilgi teorisi alanında karşılaştım. Alan benim için çok ilginç görünüyor, ama alanın yıllar önce yapıldığı her şey gibi görünüyor. Yani sorum şu: Alan “canlı” mı yoksa hemen hemen kapalı mı? Açık soruları var mı? Teşekkürler

10 cc.complexity-theory  it.information-theory 

Sınıf sınıf işlevleri, sınırlı yelpaze içinde devreler aileleri tarafından hesaplanabilir boyutu ve derinliği. -hierarchy bu sınıfların birleşimidir.NCiNCi\textrm{NC}^inO(1)nO(1)n^{O(1)}O(logi(n))O(logi⁡(n))O(\log^i(n))NCNC\textrm{NC} Bu hiyerarşinin doğrusal boyutlu varyantı hakkında herhangi bir çalışma var mı? Sınırlı fan girişi, polilog derinliği ve doğrusal boyutta devre aileleri mi? Onların doğrusal- ile bazı çalışma var biliyorum ama başka bir şey. …

10 cc.complexity-theory  circuit-complexity