Teorik Bilgisayar Bilimi

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

4
normunda yakınlığı test etmek için alt sınır ?
Aşağıdaki sorun için bilinen herhangi bir alt sınır (örnek karmaşıklığı açısından) olup olmadığını merak ediyordum: üzerinde iki bilinmeyen , dağıtımına örnek oracle erişimi verildiğinde , test (whp)D1D1D_1D2D2D_2{1,…,n}{1,…,n}\{1,\dots,n\} D1=D2D1=D2D_1=D_2 veyad2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu ve diğ. [BFR + 00] gösterdi O(1ϵ4)O(1ϵ4)O\left(\frac{1}{\epsilon^4}\right) örnekleri yeterli, ama daha düşük bir bağlanmış herhangi …
1
Matris sertliği ve düşük sertliğe sahip matrislerin kullanımı
Kabaca değerde bir matris ise aşağı onun rank getirmek için, sert olduğu söylenir nnnn ,bazıϵ>0için girişlerininen azn1+ϵdeğerideğiştirilmelidir.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Bir matrisi A sertse, A x ( x'in n büyüklüğünde bir vektörü ) hesaplayan en küçük düz çizgi programı ya süper doğrusal boyuttadır ya da süper logaritmik derinliğe sahiptir.n×nn×nn \times nAAAAxAxAxxxxnnn …
1
göreli dünyası
göreli bir dünya olup olmadığını bilmek istiyorum . Ayrıca P B ≠ N P B = P P B'nin göreceli bir dünya olup olmadığını bilmekle de ilgileniyorum .Pbir= N Pbir≠ P PbirPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}
2
Denetçinin Sorunu (SAT karar örneklerinin / cevaplarının tek tip üretimi)
Bir kursun öğretim asistanı (deterministik olarak) zor sınav soruları üreten bir program yazmayı başardı. Şimdi, karşılık gelen cevapları üreten bir program yazmak istiyor. Examiner Sorun bu her zaman mümkün olup olmadığını sorar; Examiner Konjektür varsayarak belirtiyor, , öyle değil : sorunları ile geliyor onların çözümleri ile geliyor daha kolaydır.P≠NPP≠NP\mathsf{P} \neq …
1
Matematiksel Yazılım Tanıkları
Birçok insan gibi ben de Mathematica ve Maple gibi bir matematiksel yazılım kullanıcısıyım. Ancak, böyle bir yazılımın size uyarı vermeden yanlış yanıtı verdiği birçok durum yüzünden giderek daha fazla hayal kırıklığına uğradım. Basitten operasyonların her türlü gerçekleştirirken oluşabilir toplamlar için optimizasyon diğer birçok örnekler arasında. Bu ciddi sorun hakkında neler …
2
Kandırma
Sabit derinlikteki devreleri kandırmakla ilgili birkaç sorum var. O bilinen tarzında bağımsızlık gerekli aptal bir Cı 0 derinliği devreleri d , burada n, giriş boyutudur. Bunu nasıl ispatlayabiliriz?logO(d)(n)logO(d)⁡(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Yukarıdakiler doğru olduğu için, d derinliği devrelerini kandıracak herhangi bir sözde jeneratörün mutlaka tohum uzunluğu l = Ω ( log d ( …
1
Bitcoin kriptografik olarak güvenli mi?
Bitcoin protokolünü hesaplamalı kriptografik güvenlik bağlamında anlamaya çalışıyorum. Soru, bitcoin'deki kriptografi makalelerinin temellerine referans bir talep. İlk sorum, soyut kriptografik protokol bitcoin'in uygulamaya çalıştığı şey mi? Kriptografide bitcoin yakalayan elektronik para / dijital para birimi tanımımız var mı? Güvenli bir elektronik para için güvenlik gereksinimleri nelerdir? Cevabınız evet ise, eBay …
1
Veritabanı toplama işlemleri nasıl bir monoid oluşturur?
Açık cs.stackexchange İstediğim algebird onlar soyut cebir paketi gerekebilir neden spekülasyon, github scala kütüphanesine. Github sayfasının bazı ipuçları var: Bloom filtresi, HyperLogLog ve CountMinSketch gibi ilginç yaklaşım algoritmaları için Monoid uygulamaları. Bunlar, sayıları yapabileceğiniz gibi bu karmaşık işlemleri düşünmenizi ve güçlü istatistikler ve analizler oluşturmak için bunları hadoop veya çevrimiçi …
4
İki kelime arasında en kısa düzenleme hareketi
Bir veri yapısı ve bir algoritmayı bir sözcüğü diğerine dönüştürmek için gereken minimum değişiklik sayısını hesaplamak için bir algoritma arıyorum. ekstremitelerin birine bir harf ekleyin (örneğin, AB -> ABC), tüm kelimeyi çoğaltın ve birleştirin (örneğin, ABC -> ABCABC), ikiye bir kelime kesin (çoğaltma hareketinin ikizi, ABCABC -> ABC + ABC), …
3
Bilgisayar tarafından bulunan kanıtlar
1996 yılında uzun süredir devam eden bir sorun bilgisayar tarafından çözüldü; Yani, Robbins cebiri ve Boolean cebiri aynıdır. Kanıt, otomatik bir teorem uzmanı tarafından bulundu. Ayrıca, Dört renk teoreminin bilinen kanıtı bilgisayar tarafından üretilen bileşenler içerir. Bu sorunun amacı, bilgisayar tarafından (tamamen veya kısmen) bulunan kanıtları listelemektir (bilinen tek kanıt …
4
Sayısal verilerle güçlü NP zor sorunlarının listesi
Bir azalma için güçlü NP zor problemler arıyorum . Şimdiye kadar aşağıdaki sorunları buldum: 3-bölüm sorunu bin paketleme sorunu Sayısal 3 boyutlu eşleme TSP Sayısal verileri olmayan herhangi bir NP-komple problemi, örneğin, MEMNUNİYET, HAMİLTONYA DÖNGÜSÜ, 3-RENKLİLİĞİ. NP açısından zor olan sorunların bir listesini bilen var mı? Değilse, burada bir tane …
1
Belirli bir normal ifade ile tanımlanan dili tanıyan bir DFA oluşturmak için hangi algoritmalar var?
Tüm ders kitaplarım, regex verilen bir DFA üretmek için aynı algoritmayı kullanıyor: İlk olarak, regex'in dilini tanıyan bir NFA yapın, ardından alt küme ("powerset" olarak da bilinir) yapısını kullanarak NFA'yı eşdeğer bir DFA'ya dönüştürün ( isteğe bağlı olarak DFA'nın en aza indirilmesi). Bir keresinde bir profesörün başka algoritmalar olduğunu ima …
1
Duyarlılığı açısından bir boole işlevinin derecesinde üst sınır
Boole işlevinin karmaşıklık ölçütlerinin araştırılmasında çok ilginç bir açık problem, duyarlılık ve blok duyarlılığı varsayımı olarak adlandırılır. Hassasiyet ve blok duyarlılığı hakkında arka plan için http://www.scottaaronson.com/blog/?p=453 adresindeki aşağıdaki S. Aaronson blog yayınına bakabilirsiniz . Bildiğim kadarıyla, en üst bilinen bağlanmış açısından s ( f ) olan B ler ( f …
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.