Teorik Bilgisayar Bilimi

Düzlemsel ağırlıksız grafik ve tepe çiftleri topluluğu verilen ( k ≥ 2 , arayan bir sabittir) k gelen yolları (kaynak hariç) tepe-gg ayrık s için t ı bu en uzun yol uzunluğu en aza indirilir.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i Soru: Problem için bir polinom-zaman algoritması var mı? İlgili bazı sonuçlar: Eğer sorun sabit değildir …

10 ds.algorithms  graph-algorithms 

Tanımlar Let ve izin d , r , ve g (pozitif tamsayı olmak g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Let , bir basit d , en azından çevresi olan -Normal, yönlendirilmeyen, sonlu grafik g .G = ( V, E)G=(V,E)G …

10 graph-theory  co.combinatorics  dc.distributed-comp 

VC-Dimension'ın arkasındaki teoriyi çok iyi biliyorum, ama şimdi istatistiksel öğrenme teorisindeki son (son 10 yıl) gelişmelere bakıyorum: (yerel) Rademacher ortalamaları, Massart'ın Sonlu Sınıfı Lemma, Kaplama Numaraları, Zincirleme, Dudley Teorem, Sahte Mod, Yağ Parçalayıcı Boyut, Paketleme Numaraları, Rademacher Bileşimi ve muhtemelen farkında olmadığım diğer sonuçlar / araçlar. Bir web sitesi, anket, …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Aşağıdaki basit sorunun daha önce incelenip incelenmediğini ve herhangi bir çözümün bilinip bilinmediğini bilmek istiyorum. G sonlu (MxN) bir ızgara olsun, S G'nin hücrelerinin bir alt kümesi ("kırıntıları"). Koordinatları en fazla bir tane farklıysa (yani, kareler olarak çizilirse, en az bir köşe noktasını paylaşırlarsa) iki kırıntı (yerel olarak) bağlandığı söylenir. …

10 ds.algorithms  graph-theory  graph-algorithms 

Diyelim ki basit bir çokgen ve k tamsayısı var . En küçük yarıçapı bulmak için bazı mevcut yaklaşımlar nelerdir r ı anlatabileceğiniz böyle S ile k yarıçapı çevrelerinde r ? Eğer r sabitlenirse ve k'yi en aza indirmek istiyorsam ?SSSkkkrrrSSSkkkrrrrrrkkk

10 cg.comp-geom  planar-graphs  set-cover 

Sınırlı dereceli grafiklerde kesirli kromatik sayıya yaklaşmak yaklaşık zor mu?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Fiziksel süreç modellerine indirgenebilecek bilgisayar bilimlerindeki zor problemlere (NP veya daha zor) örnekler arıyorum. Örneğin, bir Ising modelinde max-2-sat enerji minimizasyonuna indirgenebilir. Bu tür indirgeme ile ilgili daha fazla örnek bulmak istiyorum.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Zorunlu diller için tip sistemleri hakkında araştırma makaleleri araştırmamda, yalnızca değiştirilebilir referanslara sahip, ancak bileşik operatörler, döngüler veya koşullu gibi gerçek zorunlu kontrol yapıları olmayan bir dile çözümler buluyorum. Dolayısıyla, http://rust-lang.org gibi kısmi tür çıkarımlı zorunlu bir dilin nasıl uygulanabileceği açık değildir . Makaleler, parametrelenmiş tiplerin List of aHindley-Milner tip …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Doğru alan emin değilim, ama burada gidiyor. İletişim ağlarında Güven ve İtibar Yönetimi alanında doktora yapmak (çok fazla grafik teorisi, olasılık analizi vb.) Ve önümde çok fazla okuma var. Herkes akademik okumayı yönetmenin en iyi yollarını ve edebiyat inceleme / ilerleme raporları vb.

10 soft-question  advice-request  research-practice 

Deutsch algoritması iyi bilinen bir kuantum bilgisayar olan f( 0 ) + f( 1 )şık2f(0)+f(1)şık2f(0) + f(1)\mod{2} sadece bir tanesidir bir değerlendirme ile fff . + ' Yi \ cdot+++ ile değiştirirsek , sorun oldukça farklı görünüyor. Benim soru: değerini hesaplama kuantum algoritması vardır mevcut mu f (0) \ cdot …

10 reference-request  quantum-computing 

Çalışmam sırasında aşağıdaki problemle karşılaştım: Aşağıdaki özelliklere sahip, herhangi bir için bir -matrix bulmaya çalışıyorum :( 0 , 1 ) M n > 3n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 belirleyicisi eşittir.MMM Boş olmayan alt-gruplar için ile, alt yalnızca ve olması durumunda tek determinantı vardır . | I | = | …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Bir 3D Kartezyen uzayda bir dizi nokta verildiğinde, bu noktaları sıralayacak bir algoritma arıyorum, böylece iki ardışık nokta arasındaki minimum Öklid mesafesi en üst düzeye çıkartılacak. Algoritmanın ardışık noktalar arasında daha yüksek bir ortalama Öklid mesafesine eğilimi olması da yararlı olacaktır.

10 graph-algorithms  cg.comp-geom  optimization 

Belirli bir grafiğinin kapsayan bir örümceğini bulmak için bir polinom zaman algoritması var mı? Örümcek, derecesi 2'den fazla olan en fazla bir düğüme sahip bir ağaçtır: G'deki çeşitli derece koşullarının (aslında yeterince büyük düğüm dereceleri) yayılan bir örümcek varlığını garanti ettiğini biliyorum . Ama keyfi G için bir algoritma olup …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Bilgisayar bilimindeki temel sınıfların paralel analogu gibi, paralel programlamaya iyi bir giriş sağlayan çevrimiçi kullanılabilir Ders notları veya diğer kaynakları arıyorum. Odak noktam şu: böl ve fethet, açgözlü algoritmalar, dinamik programlama ve benzerleri, yani sıralı algoritmaların (ve problemlerin) temel kalıpları hakkında konuşabiliyorum ve yaklaşımları paralel algoritmalarda sınıflandırmak için uygun bir …

10 reference-request  soft-question  dc.parallel-comp  survey 

İçinde 100'ü kırmızı, 40'ı sarı, 50'si yeşil, 60'ı mavi, 70'i mor, 80'i siyah olan 400 topum var. (aynı renkteki toplar aynıdır) verimli bir karıştırma algoritmasına ihtiyacım var, böylece karıştırmadan sonra toplar bir listede ve Birbirini izleyen 3 top aynı renkte değildir. örneğin, "kırmızı, kırmızı, kırmızı, sarı ...." Ve tüm permütasyonun …

10 ds.algorithms  randomized-algorithms  permutations