Teorik Bilgisayar Bilimi

Aşağıdaki abelian-alt grup üyelik testi sorununu göz önünde bulundurun . girişler: Sonlu bir abelya grubu G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} , keyfi büyük didid_i . Bir üretim kümesi {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace , bir alt-grubu H⊂GH⊂GH\subset G . Bir eleman b∈Gb∈Gb\in G . Çıktı: b∈Hb∈Hb\in H ve 'hayır' başka yerlerde ' ise' evet '. Soru: Bu …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

İlişkisel veritabanı teorisi ve ilgili alanlardaki son gelişmelerin neler olduğunu merak ediyorum? Son yıllarda geliştirilen yeni yaklaşımlar, sorgu dilleri (SQL ve / veya uzantılarına alternatifler), ürünler (patentli ve açık kaynak, daha çok açık kaynakla ilgileniyorum) ve araştırma projeleri ile ilgileniyorum.

12 db.databases  relational-structures 

alt sınırlarını kanıtlamaktan düşürebileceğimiz standart problemler nelerdir ?Ω ( n günlüğün )Ω(ngünlük⁡n)\Omega(n\log n) Tabii ki, sıralama ve eleman farklılığı dışındaki durum sorunları.

12 cc.complexity-theory  lower-bounds 

In HAC (10.4.2) bölüm 10 , biz kare kökler faktör zor bir kompozit modulo çıkarma (farz) kullanırken zorluk sıfır bilgi kanıta dayalı iyi bilinen Feige-Fiat-Shamir kimlik protokolünü görüyoruz. Şemayı kendi sözlerimle vereceğim (ve umarım doğru olur). Daha basit bir şema ile başlayalım: , faktoringin çekilemez olduğu kadar büyük boyutta bir …

12 cr.crypto-security  proofs  zero-knowledge 

Genellikle Shannon entropisi kanal kodlama sonuçlarını kanıtlamak için kullanılır. Kaynak-kanal ayırma sonuçları için bile shannon entropisi kullanılır. Shannon (küresel) ve Kolmogorov (yerel) bilgi kavramları arasındaki eşdeğerlik göz önüne alındığında, bu sonuçlar için Kolmogorov karmaşıklığını kullanmak için bir çalışma yapıldı mı (veya en azından kaynak kanal ayırma sonuçlarındaki kaynak kodlama parçasını …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

Benzersiz SAT iyi bilinen sorundur: CNF formülü verildiğinde F'nin tam olarak bir modeli olduğu doğru mu?FFFFFF «Tam -SAT» problemiyle ilgileniyorum : CNF formül F ve m > 1 tamsayısı verildiğinde , F'nin tam olarak m modelleri olduğu doğru mu?mmmFFFm>1m>1m>1FFFmmm Her iki problem de benzer görünüyor. Yani sorularım: 1- «Tam olarak …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

, girişlerin ve kapıların da sınırsız fanout'a sahip olmadığı NOT kapıları ve sınırsız fan girişi VE ve OR kapıları olan sabit derinlikli polinom boyutlu devrelerin sınıfıdır.A C0AC0AC^0 Şimdi arama, yeni bir sınıf dikkate gibi bir C 0 ancak kendileri için giriş ve girişler en ikiye bölme sahip O ( 1 …

12 cc.complexity-theory  circuit-complexity 

Bir sayı dizisi verildiğinde , O ( n ln n ) karşılaştırmaları ve O ( n ) değişimleri / hareketleri ile sıralanabilir mi? Bu konudaki yayınlara veya Ω ( n ln n ) alt sınırını gösteren sayaçlara herhangi bir işaretçi yardımcı olacaktır.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

Let bir 2CNF formülü olabilir ve negatif olmayan bir tamsayı. Bu makalede , varphi'yi tatmin edici hale getirmek için en fazla maddesinden birini silip silemeyeceğine karar verme sorununun sabit parametre izlenebilir olduğu, burada parametresidir. Benim sorum, bu sonucu diğer ikili boole CSP'sinde genelleştiren bir çalışma olup olmadığıdır. (Bu bir en …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Hızlı sürüm Herhangi bir için olarak yayılmayı ayarlayabilmemiz için hatta kuantum yürüyüşü için yapışma modelleri var mı?1 / 2 ≤ k ≤ 1Θ(tk)Θ(tk)\Theta(t^k)1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 Motivasyon Klasik rastgele yürüyüşler algoritma tasarımında yararlıdır ve kuantum rastgele yürüyüşlerin bir dizi serin kuantum algoritması yapmak için yararlı olduğu kanıtlanmıştır (bazen kanıtlanabilir …

12 quantum-computing  random-walks  quantum-walk 

Bir dizi Kolmogorov karmaşıklık düşünebiliriz xxx en kısa programı uzunluğu olarak PPP ve giriş yyy , öyle ki x=P(y)x=P(y)x = P(y) . Genellikle bu programlar bir Turing-complete setinden ( gibi PPPbir Turing makinesinin tanımı olabilir veya LISP veya C'deki bir program olabilir) çizilir . Kaynağa bağlı Kolmogorov karmaşıklığına baktığımızda bile, …

12 reference-request  computability  kolmogorov-complexity 

Eğer maksimum derecede 3 olan bir grafiktir ve küçük bir olan , H , o G bir topolojik küçük olan H .GGGHHHGGG'HHH Wikipedia, bu sonucu Diestel'in "Grafik Teorisi" nden alıntı yapıyor. Kitabın son sürümünde Prop 1.7.4 olarak listelenmiştir. Kitapta kanıt veya alıntı yok. Bunun nerede (orijinal) bir kanıtı olduğu biliniyor …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Modal yuvalama derinliği 1'in bir dizi aksiyomu tarafından aksiyomatik hale getirilen ve memnuniyet / türetilebilirlik probleminin PSPACE'de olması muhtemel olmayan modal mantıkları arıyorum. Kalıcı yuvalama derinliği üzerindeki kısıtlama olmadan bu bir sorun değildir, örneğin PDL'ye bakınız. Ancak, Turing makineleri için bir çeşit döşeme problemine veya kabul problemine indirgeyerek örneğin EXPTIME …

12 cc.complexity-theory  lo.logic  modal-logic 

Darboğazın en kısa yolları için iyi bir referans arıyorum. Özellikle, kenar ağırlıkları olan yönlendirilmemiş bir grafikte s ve t köşeleri verildiğinde, bir yolun uzunluğunun o yoldaki maksimum kenar olduğu s'den t'ye en kısa yolu istiyorsunuz. Bu, medyan kenar ağırlığını bularak ve (dikkatlice) kenarların yarısını tekrar tekrar silerek O (n + …

12 ds.algorithms  reference-request  graph-algorithms 

Gelen Minik Şifreleme Algoritması : Mermilerin simetrisine dayanan basit saldırıları önlemek için farklı bir sihirli sabitin katları kullanılır. Sihirli sabiti, 2654435769 veya 9E3779B9 16 olacak şekilde seçilir 232/ϕ232/ϕ2^{32}/ \phi , φ altın oranıdır. 232/ϕ232/ϕ2^{32}/ \phi bu bağlamda faydalı kılan hangi özelliklere sahiptir?

12 cr.crypto-security