Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

1
DAG'da kenar etiketleme sorunu için Tam Algoritma
Bir kısmını yardım gerektiren bir sistem uyguluyorum. Bu nedenle, etki alanını bağımsız hale getirmek için bir grafik sorunu olarak çerçeveliyorum. Sorun: Yönlendirilmiş asiklik grafik . Genelliği kaybetmeden varsayalım tam olarak bir kaynak tepe vardır ve sadece tek bir lavabo köşe ; izin tüm yönlendirilmiş yollar kümesini ifade için olarak . …
1
Parite-L'den CNOT devrelerine log alanı azaltma?
Soru. Makalelerinde dengeleyici devrelerinin Geliştirilmiş simülasyon , Aaronson ve Gottesman, istem bir CNOT devresi simüle olduğu ⊕L (logspace indirimleri altında) -tamamlamak. ⊕L'de bulunduğu açıktır ; sertlik sonucu nasıl tutulur? Eşdeğer olarak: yinelenen matris ürünleri modulo 2'den, temel matrislerin (satır dönüşümlerini gerçekleştiren ters çevrilebilir matrisler) mod 2 yinelenen ürünlerine bir günlük …
4
Topları Kovalara Atmak, olasılığının daha düşük bir oranını tahmin etmek
Öyle gözükse de bu bir ödev değil. Herhangi bir referans açığız. :-) Senaryo: Var nnn farklı toplar ve nnn farklı (1'den etiketli kutuları nnn soldan sağa). Her top bağımsız olarak ve muntazam çöp kutularına atılır. Let f(i)f(i)f(i) topların sayısı, iii ~ inci kutusu. Let EiEiE_i aşağıdaki olay belirtir. Her j≤ij≤ij\le …
1
Bir satranç tahtasında mükemmel eşleşmeler?
Bir satranç tahtasına yerleştirilebilecek maksimum şövalye sayısını, ikisi birbirlerine saldırmadan bulma sorununu düşünün. Cevap 32: mükemmel bir eşleşme bulmak çok zor değil (şövalye hareketlerinin neden olduğu grafik iki taraflı ve 4 × 4 tahta için mükemmel bir eşleşme var), ki bu da minimum bir kenar kapağı. Cevabın n m n …
3
Önceden işlenmiş bir çokyüzlünün ve bir düzlemin ayrılması
Dobkin ve Kirkpatrick'in yazısında çokyüzlülerin ayrılması konusunda bir adım anlamakta ciddi bir sıkıntı yaşıyorum. Bu sürümü anlamaya çalışıyorum: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf R i ve s i tarafından gerçekleştirilen ve S'nin en iyi ayrılmasını öğrendikten sonra , O ( 1 ) adımlarında P i - 1 ve S'nin en iyi ayrılmasını bulabileceğimizi iddia …
2
Bir
Emo Welzl'in bu yaz konu hakkında konuştuklarını duyduktan sonra , düzlemdeki nokta kümesinin üçgenleme sayısının yaklaşık 8.4 ( 8,48 n ) ve O ( 30 n ) arasında olduğunu biliyorum . Eski olduğum için özür dilerim; güncellemeler memnuniyetle karşılandı.nnnΩ(8.48n)Ω(8.48n)\Omega(8.48^n)O(30n)O(30n)O(30^n) Sınıfta bundan bahsettim ve öğrencilere (a) bu miktarı çivilemenin neden bu …
3
Bir kehanet girdinin bir parçası olduğunda karmaşıklık teorisi
Oracles'ın karmaşıklık teorisinde ortaya çıkmasının en yaygın yolu şudur: Örneğin, belirli sınırlı kaynaklara sahip bir Turing makinesi için sabit bir kehanet mevcuttur ve biri kehanetin makinenin hesaplama gücünü nasıl arttırdığını inceler. Bununla birlikte, bazen kehanetlerin ortaya çıkmasının başka bir yolu vardır: girdinin bir parçası olarak . Örneğin, belirli bir yüksek …
1
Kısa mesajlarla çok-proverli etkileşimli provalar hakkında bilinenler nelerdir?
Beigi, Shor ve Watrous'un kısa mesajlarla kuantum interaktif kanıtlarının gücü hakkında çok güzel bir makalesi var. Üç 'kısa mesaj' varyantını düşünüyorlar ve önem verdiğim özellik, herhangi bir sayıda mesajın gönderilebileceği ikinci varyantı, ancak toplam mesaj uzunluğunun logaritmik olması gerekiyor. Özellikle, bu tür interaktif kanıtlama sistemlerinin BQP'nin etkileyici gücüne sahip olduğunu …
1
ile
Biliyorum (NP oracle logaritmik çok çağrıları) eşdeğerdir (polinom NP oracle'e paralel sorgu sayısı). Bu sınıfların "işlev" sürümünün de eşdeğer olup olmadığını merak ediyordum, yaniPNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||} Doğru olduğu biliniyorsa, bir işaretçi gerçekten yardımcı olacaktır.
1
Doğrusal problama için 5 bağımsız hash işlevlerini yeniden kullanma
Doğrusal problama ile çarpışmaları çözen karma tablolarda, beklenen performansı sağlamak için, karma işlevinin 5 bağımsız bir aileden olması hem gerekli hem de yeterlidir. (Yeterlilik: "Sabit bağımsızlıkla doğrusal problama", Pagh ve ark. , Gereklilik: "Doğrusal Sondalama ve Minwise Bağımsızlık için Gerekli k-Bağımsızlık Üzerine", Pătraşcu ve Thorup )O(1)O(1)O(1) Anladığım kadarıyla, bilinen en …
3
Gap-P sorununun #P dışında olduğunu nasıl gösterebilirim?
Kombinasyonel temsil teorisi ve cebirsel geometride, hiçbir pozitif formülü bilinmeyen bir takım problemler vardır. Düşündüğüm birkaç örnek var, ancak Kronecker katsayılarını hesaplamaya örnek olarak vereyim . Genellikle, "pozitif formül" kavramı kombinatoriklerde tam olarak tanımlanmamıştır, ancak kabaca "makul bir şekilde açık kümenin kardinalitesi olarak bir tanım" anlamına gelir. Son zamanlarda Jonah …
4
Sonsuz büyük ancak yerel olarak sonlu hesaplama problemleri
Bu sorudan, Jukka Suomela'nın başka bir soru üzerine yaptığı yorumdan ilham alınmıştır . Sonsuz büyük ancak yerel olarak sonlu hesaplama problemlerine (ve algoritmalarına) örnekler nelerdir? Başka bir deyişle, her Turing Machine'in sadece sonlu verileri okuduğu ve işlediği, ancak birlikte sonsuz sayıda Turing makinesi birbirine bağlıysa, hesaplama tamamen sonsuz boyutlu bir …
1
Düzenli grafiklerde iletkenlik ve çap
G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c Daha somut olarak, çapın en azından (veya en fazla) olduğunu biliyorum . Bu bana iletkenlik hakkında ne söylüyor? Ve tersine, iletkenliğin en fazla (veya en azından) olduğunu bildiğimi varsayalım . Bu bana çap hakkında ne söylüyor?DDDαα\alpha
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.