Teorik Bilgisayar Bilimi

Aşağıdaki işlemi düşünün: Yukarıdan aşağıya doğru düzenlenmiş kutu vardır . Başlangıçta her bölmede bir top bulunur. Her adımda, biznnn rastgele bir top seçin vebbb içeren seleden tüm topları altındaki seleye taşıyın . Zaten en düşük kutu ise, topları işlemden kaldırırız.bbb İşlem sona erene kadar, yani tüm toplar işlemden çıkarılıncaya kadar …

16 pr.probability  markov-chains  stochastic-process 

Nisan, "Uzay Sınırlı Hesaplama için Portedorandom Jeneratörleri" nde, uzay sınırlı hesaplamaları "kandıracak" sözde rastgele bir jeneratör olduğunu kanıtladı. Bu yapı her kehanete uygun mu (en azından uyarlanabilir olmayan sorgular için)?

16 cc.complexity-theory  space-bounded  derandomization 

Blum, Micali ve Feldman (BFM), tüm tarafların (dürüst veya çekişmeli) bir dizeye erişebileceği yeni (kriptografik) bir model ortaya koydu. Dizenin, güvenilir bir tarafça bazı dağıtımlara (genellikle tekdüze dağıtım) göre seçildiği varsayılır. Referans dizesi olarak adlandırılır ve model uygun bir şekilde ortak referans dizesi (CSR) modeli olarak adlandırılır. Model, etkileşimli olmayan …

16 cr.crypto-security 

Arkaplan : Subhash Khot'ın orijinal UGC belgesinde ( PDF ), üçlü bir alfabe üzerinde tüm form eşit olmayan (a, b, c) kısıtlamaları olan belirli bir CSP örneğinin tatmin edici bir ödevi kabul edip etmediğine karar vermenin UG-sertliğini kanıtlıyor 1 - kısıtlamaların veya keyfi olarak küçük için kısıtlamaların satiring hiçbir atama …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Bağlama duyarlı diller (CSL) ve eksiksizlik ile ilgili iki soru ile ilgileniyorum : CSL için eksiksizlik kavramı var mı ve hangi diller eksiksiz? NP-tamamlanmış doğal CSL var mı? 2. için, kesinlikle CSL olan doğal NP-tam dilleri düşünebilirim (CSL NSPACE [ ], SAT bir CSL'dir ), ancak başka bir yol arıyorum, …

16 np-hardness  fl.formal-languages  space-bounded 

Her zaman gerçekten anlamadığımın farkına vardığım bir boşluk, devre karmaşıklığının düzgün olmayan versiyonu temsil ettiği ve Turing makinelerinin tek tip olduğu, üniform olmayan ve üniform hesaplama karmaşıklığı arasındadır. "Tekdüzen" algoritma sınıfını sınırlamak için bir yol olduğunu, örneğin n değişkenleri ile n + 1 değişkenleri sorunu karşılaştırıldığında tamamen farklı bir devre …

16 cc.complexity-theory  circuit-complexity 

-sabitli noktası serbest otomorfizm problemi gösteren bir grafiktir otomorfizm en azından hareket sorar k ( n ) düğümleri. Herhangi bir c > 0 için k ( n ) = n c ise , problem N P- eksiktir .kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Bununla birlikte, ise, problem polinom zamanıdır. Grafik İzomorfizm Problemine indirgenebilir. Eğer k …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Neil Immerman'ın ünlü Dünya Resmi şöyledir (büyütmek için tıklayın): "Gerçekten uygulanabilir" sınıfı başka bir sınıf içermiyor; sorum şu: Pratik olmadığı düşünülen bir AC 0 problemi nedir ve neden?

16 cc.complexity-theory  circuit-complexity 

ACM Dergisi'nde Deneysel Algoritmik JEA dergisinde olduğu gibi . Temel çalışmalar hangileriydi? Ana sonuçlar nelerdir? Nasıl karakterize edilirler? Bilgisayar biliminin diğer alanlarıyla ilginç bir bağlantısı var mı?

16 ds.algorithms  reference-request  experimental 

[1] 'de Turan, bir grafik özelliğinin hassasiyetinin (kağıtta "kritik karmaşıklık" olarak adlandırılır) kesinlikle ; burada , grafikteki köşe sayısıdır. Önemsiz herhangi bir grafik özelliğinin duyarlılık . Bunun için doğrulandığından bahseder . Bu varsayımda bir ilerleme kaydedildi mi?m≥m-1m≤5⌊14m⌋⌊14m⌋\lfloor {1\over 4} m \rfloormmm≥m−1≥m−1\geq m-1m≤5m≤5m \leq 5 Arka fon içinde ikili bir dize …

16 graph-theory  property-testing 

Adleman, FOCS'78 , uzunluğu girişleri için herhangi bir randomize devrenin eşit olmayan bir şekilde derandomize olabileceğini gösterdi. Bununla birlikte, yapı orijinal devre sürelerini etkili bir şekilde çoğaltır , bu yüzden derandomize devre faktörü ile orijinalinden daha büyüktür . Devre boyutunu daha küçük bir faktörle çarpan daha verimli bir yapı var …

16 derandomization 

Lambda hesabının beta-eta-teorisi Post-complete'tur. Beta-eta teorisi dışında konfluent teoriler elde etmek için lambda-hesabının beta teorisini genişletmek için ek kurallar eklenebilir mi? dipnot Bu soru kendi kuralımı ihlal ederek soruların soru soran kişinin neden umursadığını açıklamalıdır. Bu site özel beta sürümüne girmeden kısa bir süre önce beni vurdu, uzatma ve dışlanan …

16 lambda-calculus 

Bu, math.stackexchange ile ilgili bu sorunun bir devamıdır. Her bir S S için, a = b + c olacak şekilde farklı b, c ∈ S öğeleri varsa , boş olmayan bir S ⊆ ℤ setinin kendi kendini desteklediğini söyleyelim . Pozitif tamsayı n için basit örnekler ideal S = n …

16 ds.algorithms  co.combinatorics 

Bir dil için L ⊆ Σ ^ * tanımlamak sözdizimsel eşleşmeyi ≡ ait L üzerinde en kongrüansının olarak Σ ^ * o doyuma L , yani: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Şimdi Nerode denkliğini aşağıdaki doğru uyum olarak tanımlayın : u …

16 automata-theory  fl.formal-languages 

sık sık bazı keyfi bilgileri imzalamak için MD5 algoritmasını kullanırken, paylaşılan sırrın sonunda olması gerektiği söylenir. Neden?

16 hash-function  cr.crypto-security