«reference-request» etiketlenmiş sorular

Referans-istek, yazarın soruyla ilgili çalışmalar hakkında bilgi sahibi olması gerektiğinde kullanılır.

2
Bir Dizeyi Homojenleştirmenin Karmaşıklığı
Motivasyon : Veri sürümü oluşturma araçları geliştirirken, bir tamsayı kümesini diğerine götüren bir dönüşüm dizisi oluşturarak iki tamsayı kümesini "ayırmak" için algoritmalar aradık. Bu sorunu mesafeyi düzenlemek, takas ile gruplamak ve minimum ortak dize bölümü gibi görünen çok doğal soruna indirgedik . Sorun : Bize bir dize, yani bir dizi …
1
Sonlu cisimler üzerinde doğrusal dinamik sistemlerde erişilebilirliğin karmaşıklığı
Let AAA sonlu alan üzerinde bir matris F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} ve xxx , yyy alan vektörleri olduğu Fn2F2n\mathbb{F}_2^n . olup olmadığına karar vermenin hesaplama karmaşıklığıyla ilgileniyorum, t∈Nt∈Nt \in \mathbb{N}öyle ki Atx=yAtx=yA^t x = y , yani sonlu alanlar üzerinden doğrusal dinamik sistemler için ulaşılabilirlik probleminde. Sorun olduğu açıktır NPNP\mathbf{NP} (tahmin …
1
Olasılıksal otomata giriş
Olasılıksal otomata ve nereden tanıdıklarına nereden bir giriş bulabilirim (kelimelerden e kadar bazı fonksiyonlar )? Belirleyici sonlu otomatların (DFA'lar) tanıdığı "normal diller" e benzeyen olasılıklı otomatlar tarafından tanınan bu tür fonksiyonlar için standart bir terim var mı?[ 0 , 1 ][0,1][0,1] DFA'lar ve ifade, kapanış ve karar verilebilirlik özellikleri gibi …
1
Bir dönüştürücünün çıkış uzunluğunun giriş uzunluğuyla sınırlanıp sınırlanmadığı karar verilebilir mi?
Burada dikkate alınan dönüştürücüler Wikipedia'nın sonlu durum dönüştürücüler olarak adlandırdığı dönüştürücülerdir . Bir dönüştürücünün davranışı , yani hesapladığı ilişki [ T ] yazılır : y kelimesi x iff x [ T ] y için bir çıktıdır .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Soru: Aşağıdaki sorun karar verilebilir mi? Verilen: Bir dönüştürücü …
2
Minimum sayıda ekleme kullanarak matris vektör çarpma algoritması
Aşağıdaki sorunu düşünün: matrisi verildiğinde, v ↦ M v hesaplamak için çarpma algoritmasındaki ekleme sayısını optimize etmek istiyoruz .MMMv↦Mvv↦Mvv \mapsto Mv Matris çarpımının karmaşıklığıyla bağları nedeniyle bu problemi ilginç buluyorum (bu problem matris çarpımının sınırlı bir versiyonudur). Bu sorun hakkında ne biliyor? Bu problemi matris çarpım probleminin karmaşıklığıyla ilgili ilginç …
1
(0 = 1) 'in yanlış olduğu gerçeğine ilişkin referans, MLTT'de bir evren gerektirir
Martin-Loef tipi teoride bir eşitsizlikten (örneğin, ) çelişki türetmek oldukça iyi bilinen bir gerçektir .( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Kanıtı da oldukça basittir - evrenlerin yokluğunda, onun şekli olarak ve kanıtlama böylece basit bir türü almak için herhangi bir bağımlı türünden bağımlılıkları silebilirsiniz o biz ispat …
1
Hartmanis-Stearns varsayımı ve hesaplanabilir aşkın sayılar
"1965 makalesinde algoritmalarının hesaplama karmaşıklığı üzerine Hartmanis ve Stearns tarafından" yazarlar gerçek zamanlı Turing Makinesi gerçek sayı hesaplar eğer varsayım örneğin içinde, taban 10, daha sonra r ya bir rasyonel sayı veya bir aşkın sayı.rrrrrr Örneğin, temel 10'da gerçek zamanlı bir Turing makinesi tarafından hesaplanamayan hesaplanabilir bir aşkın sayı var …
3
İspat Karmaşıklık Teorisinde İspatlara grafik teorik kısıtlama
İspat karmaşıklığı, hesaplama karmaşıklığı teorisinin en temel alanıdır. Bu alanın nihai amacı ispatlamaktır , yani herhangi bir ispat verilen girdi formülünün tatmin edilemez olduğuna dair bir kanıt veremez. N-P≠ c o NPN-P≠cÖN-PNP\neq coNP Bir grafik, resmi ispat modellerinden biridir. Benim sorum bu modele daha fazla sınırlama getirmek. Bir kanıt DAG …
1
Dağıtılmış işlemlerde başlıca araştırma konuları nelerdir?
Giriş: İşlem işleme, veritabanı teorisinde geleneksel bir araştırma konusu olmuştur. Günümüzde dağıtılmış işlemler , genellikle veri bölümü (parçalama olarak da adlandırılır) ve veri çoğaltması içeren büyük ölçekli dağıtılmış depolama sistemleri tarafından popülerleştirilmektedir . Dağıtılmış işlemlerde başlıca araştırma konuları nelerdir? (Teorik) iyileştirmeye ihtiyaç duyan tanınmış teoriler ve çözümler var mı? Herhangi …
1
P'de sadece P! = NP ise problem
Polinom zamanında ancak P! = NP olduğunda çözülebilen ve (diyelim) zamanında çözülebilen herhangi bir problem var mı?O(2n)O(2n)O(2^n) Basit bir örnek: P! = NP ise, rastgele bir n-bit sayı için bir öncelik testini hesaplayın, aksi takdirde, her iki tarafta 2n adet olan bir nxn tahtasının genel satrançta rastgele en kötü durum …
2
Vektörlerin nokta ürününün varyansının birim vektörlerinin tüm dağılımları üzerinde minimum nedir?
Bir dağıtım üzerinde bulmaya çalışıyorum nnn say, rasgele vektörler x1,…,xnx1,…,xnx_1,\ldots, x_n üzerinde, kkk boyutlu birim küre (burada n>kn>kn > k ) o en aza indirir maxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j) kısıt tabi E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 . Bazı dağılımları denedim ve neredeyse hepsinin 1 / k varyansı var 1/k1/k1/k. Örneğin, her bir x_i'nin her …
2
Doğrusallaştırma neden bir güvenlik özelliği ve güvenlik özellikleri neden kapalı kümeler?
Nancy Lynch'in "Dağıtılmış Algoritmalar" kitabının 13.Bölümünün "Atomik Nesneleri" nde doğrusallaştırılabilirliğin (atomisite olarak da bilinir) bir güvenlik özelliği olduğu kanıtlanmıştır. Yani, karşılık gelen izleme özelliği Bölüm 8.5.3'te tanımlandığı gibi boş, önek kapalı ve sınır kapalıdır . Gayri resmi olarak, bir güvenlik mülkü genellikle belirli bir “kötü” şeyin asla gerçekleşmediğini söyleyerek yorumlanır. …
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.