Teorik Bilgisayar Bilimi

Let bir yönsüz çizge. Ayrışma V ayrık alt-grup halinde V i denen Hamilton ayrışma ve G , her resim grubu tarafından uyarılan alt grafiğinin eğer V ı ya da bir Hamilton grafiktir veya tek bir kenar oluşur | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Örnek : İki parçalı grafiğin tamamı …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Dize dizileri karşılaştırmak için sonek ağaçları kullanmaya çalışıyorum. Ek ağaçları kullanarak en uzun ortak alt dize sorunu için uygulamalar / teori buldum. Ancak, ne arıyorum ilgili sorun - "tüm ortak alt dizeleri" bir tartışmadır. Özellikle, ben ilk önce en uzun ortak alt dize bulmak, sonra zaten bulunan lcs indeksleri içermeyen …

10 ds.algorithms  string-matching 

Let Karşılıklı Unbiased Bazlar bir kümesi (MUB) içinde \ mathbb {C} ^, n , örneğin, her bir B_i ortonormal baz ve için \ v B_i olarak, w \ içinde B_j, i \ neq j biz var | \ langle v \ vert w \ rangle | = \ frac {1} …

10 reference-request  quantum-information 

JBV, bazı yorumları bir soruya dönüştürmemi önerdi, işte gidiyor. Başka bir soru [1] QM bilişim uygulamalarını soruyor. Bir cevap [2] “kuantum mekaniğini etkin bir şekilde simüle ediyordu”. Görünüşe göre bu fikir Feynman'ın konuyla ilgili ilk yazısına kadar uzanıyor; bir referansım olmamasına rağmen. Yani: Soru. Bir kuantum bilgisayarın rasgele bir kuantum …

10 reference-request  quantum-computing  application-of-theory 

Gazetede iki bilgi teorisi problemi üzerine Erdõs ve Rényi, bir para setindeki sahte paraların sayısını belirlemek için yapılması gereken minimum tartım sayısı üzerinde daha düşük sınırlar vermektedir .nnn Daha resmi: Sahte paralar doğru paralardan daha küçük bir ağırlığa sahiptir; hem doğru hem de yanlış sikkelerin ve ağırlıkları bilinir. Bir ölçek …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Bir zaman / uzay dengesizliği şeklinde ifade edilen bir dizi -boyutlu nokta üzerinde yarım boşluk aralığı sayma sorguları gerçekleştirmek için mevcut en iyi sınır nedir ? Matousek'in 1993 tarihli seminal belgesine (Teorem 6.2, Verimli Hiyerarşik Kesimlerle Aralık Arama) göre, için yarım alanlarının kesiştiği sorgular için boyut veri yapısı kullanarak aralık …

10 reference-request  ds.data-structures  cg.comp-geom 

Yönlendirilmemiş bir grafik ve belirli bir köşe kümesi için, tüm elemanlarını içeren basit bir yol bulmak için asimptotik olarak en hızlı bilinen algoritma nedir . Yolun mümkün olduğunca kısa olmasını istiyorsak ne olur?S SG,GGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Set S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} verilir. Her eleman eieie_i , ağırlığına wi>0wi>0w_i>0ve maliyetine sahibiz ci>0ci>0c_i>0. Amaç, aşağıdaki objektif işlevi en üst düzeye çıkaran k boyutunda alt kümesini bulmaktır : ∑ e i ∈ M w i + ∑ e i ∉ M w i c iMMMkkk∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin …

10 np-hardness  optimization 

Diyelim ki değişkenleri ve c cümleleri olan 3-SAT düşünüyoruz . Bu açıklamaya uyan herhangi bir SAT sorununu çözmek için O ( v 2 + log c ) zamanını / alanını alan bir metodu araştırıyorum . Ancak, bir yakalama var.vvvcccO ( v2 + günlükc)O(v2+log⁡c)O(v^{2+\log c}) Bu yöntem, bir dizi önceden hesaplanmış …

10 ds.algorithms  sat  upper-bounds 

Bu sitede yeniyim ve bu soru kesinlikle araştırma seviyesi değil - ama iyi. Yazılım mühendisliğinde biraz arka planım var ve CSTheory'de neredeyse hiç yok, ama çekici buluyorum. Uzun bir hikaye kısaca anlatmak gerekirse, bu soru bu sitede kabul edilebilirse aşağıdakilere daha ayrıntılı bir cevap istiyorum. Yani, her özyinelemeli programın yinelemeli …

10 pl.programming-languages  recursion  recursive 

Moore matrisi Vandermonde matrisine benzer, ancak biraz değiştirilmiş bir tanıma sahiptir. http://en.wikipedia.org/wiki/Moore_matrix Belirli bir tam rütbeli Moore matris modulo bazı tamsayının determinantını hesaplamanın karmaşıklığı nedir ?n×nn×nn \times n Can Moore azaltılabilir determinanta FFT teknikleri kullanılarak bazıları için ?O ( n log a n ) a ∈ R + ∪ { …

10 cc.complexity-theory  algebraic-complexity 

Eğer OWF'ler mevcutsa, istatistiksel olarak bağlayıcı bit taahhüdü mümkündür. [1] Eğer OWF'ler mevcutsa, mükemmel bir şekilde bağlayıcı bit bağlılığının mümkün olduğu biliniyor mu? Hayır ise, aralarında bilinen bir kara kutu ayrımı var mı? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem ve http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security  one-way-function 

Bazýlarýmýz okuma edilmiştir Michael Nielsen kağıt kısaca (kuantum alt sınır ile bir geometrik yaklaşım, metrik bir Finsler inşası ile ilgili jeodezik mesafe olacak şekilde I bir elemana , U bir alt sınır arasında olması U ) hesaplayan bir kuantum devresindeki kapı sayısı üzerinde .SU(2n)SU(2n)SU(2^n)IIIUUUUUU Bu programın, başka yollarla elde edilen …

10 quantum-computing 

Bağlı düşünün rastgele küp grafiği G = ( V, E)G=(V,E)G=(V,E) ve G ( n , 3- reg ) 'n = | V|n=|V|n =|V| den çizilen köşeler ( burada tanımlandığı gibi , yani 3 n eşittir ve herhangi iki grafik aynı olasılığa sahiptir).G ( n , 3G(n,3G(n, 3)))3 n3n3n Tabii ki …

10 graph-theory  co.combinatorics 

, (pozitif) ağırlıklı kenarları olan bir grafik olsun . alt satırında bir düğüm ile ilişkilendirmek için bir düğüm / site kümesi için Voronoi diyagramını tanımlamak istiyorumGGGSSSv∈Sv∈Sv \in SR(v)R(v)R(v) bir kesinlikle daha yakın tüm düğümler tarafından indüklenen v başka bir düğüme göre S , bir yolun uzunluğunu yaylar üzerindeki ağırlıkların toplamıyla …

10 reference-request  graph-theory  cg.comp-geom