Teorik Bilgisayar Bilimi

Hamiltonian (Kısaca Ham) Döngüsünün NP tamamlandı ve Düzlemsel Ham Döngüsünün NP Tamamlandı olduğu bilinmektedir. Düzlemsel Ham Döngüsü'nün kanıtı Ham Döngüsünden değildir. G grafiği verildiğinde, tüm geçişleri bazı düzlemsel gadget'larla değiştirecek, böylece G 'gibi düzlemsel bir grafiğiniz olacak güzel bir gadget var mı? G'nin bir Ham döngüsü var, i 'G' bir …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Karmaşıklık teorisindeki geniş kapsamlı hiyerarşilerden esinlenerek, bu tür hiyerarşilerin tip sistemleri için de mevcut olup olmadığını merak ettim. Bununla birlikte, şu ana kadar bulduğum iki örnek, hiyerarşilerden ziyade (sıralı ve daha etkileyici tip sistemlerle) kontrol listelerine (dik özelliklere sahip) benzer. Bulduğum iki örnek Lambda küpü ve k dereceli polimorfizm kavramı …

23 pl.programming-languages  type-theory 

Kuantum hesaplamada, bazı d-boyutlu sistemler için özel üniter operatör grubu G'nin ya tüm gruba SU (d) tam olarak ya da yoğun bir SU (d) kapağının sağladığı bir yaklaşıma sahip olduğu durumlarda sıklıkla ilgileniyoruz. C (d) d boyutlu bir sistem için Clifford grubu gibi bir sonlu düzen grubu yoğun bir örtü …

23 quantum-computing 

Herkes #P olan problemleri ve / veya problemleri sayma konusunda iyi ve yeni bir anket önerebilir mi?

23 cc.complexity-theory  reference-request  counting-complexity 

Pratik olarak, sonunda derlenebilecek / sistem düzeyinde talimatlara dönüştürülebilecek bir dil için, bağlamsız bir gramer olması gerekli midir? Örneğin: Tüm programlama / komut dosyası dilleri ücretsiz gramer içeriyor mu? Java, CFG'lere dayanmaktadır, ancak gerçekte tüm programlama dillerinin CFG'lere dayanması söz konusu mu? Zorunlu görünmüyor, fakat anlayışımda boşluklar var. Sorunun bazı …

23 pl.programming-languages  context-free 

Teorik Bilgisayar Bilimi Yığın Değişimi alanında yanıtlanabildiği için bu soru Çapraz Doğrulama'dan taşındı . 8 yıl önce göç etmiş . Çözmem gereken oldukça benzersiz bir problemim var ve burada birinin nasıl en iyi şekilde mücadele edebileceği konusunda bana biraz fikir verebileceğini umuyorum. Sorun: N sayısının bir listesinin, hiçbir katılımcının paylaştığı …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Dışbükey gövde düşünün KKK Kalkış ve simetrik merkezli (yani, eğer x∈Kx∈Kx\in K sonra ). Farklı bir dışbükey cisim bulmak istiyorum, öyle ki ve aşağıdaki önlem en aza indirilmiş:−x∈K−x∈K-x\in KLLLK⊆LK⊆LK\subseteq L f(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}) , ki burada , L'den rasgele eşit olarak seçilen bir noktadırxxx Ölçüme sabit faktör yaklaşımı ile iyiyim. …

23 cg.comp-geom  approximation  convex-geometry 

Bu alanda insanların (teorik bilgisayar bilimi) sunum yapmak için hangi araçları kullandığını merak ediyordum. Bilgisayar bilimlerinin büyük bir kısmı sadece kağıt yazmak değil, aynı zamanda sunum yapmak olduğu için bunun önemli bir yumuşak soru olacağını düşündüm. Bu, önceki sorudan , yazı yazmak için hangi araçları kullandığınızı ilham alır . Gördüğüm …

23 soft-question  research-practice  writing 

Kuantum bilgisayarlar, klasik bilgisayarları nasıl kullanacağımızı bilmediğimiz dağıtımları örneklemek için çok iyidir. Örneğin f Boole fonksiyonu ise, (dan için ) o zaman dağıtım verimli örnek olup tarafından tarif kuantum bilgisayar polinom bir sürede elde edilebilir F Fourier genişlemesi. (Klasik bilgisayarlarla nasıl yapıldığını bilmiyoruz.){ - 1 , 1 }n{-1,1}n\{-1,1\}^n- 1 , …

23 quantum-computing  cg.comp-geom  optimization 

Muhtemelen PL'deki lineer tiplerin en yaygın uygulaması, bunları takma işlemini kontrol eden dilleri vermek için kullanmaktır (yani, lineer bir değer, kendisine veya daha azına tek bir işaretçiye sahiptir). Ancak bu kullanım ile tipik mantıksal ifade modelleri arasında hafif bir uyumsuzluk var. IIRC, Benton, bir Kartezyen kapalı kategorisinin güçlü bir değişmeli …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Gerçek hayat problemleriyle ilgili grafikleri nereden bulabilirim? Bildiğim iki depo: Florida Üniversitesi Seyrek Matrix Koleksiyonu Bodlaender'in TreewidthLib

23 graph-theory  big-list  co.combinatorics  data-sets 

(2 boyutlu) dikdörtgenlerin özdeş kopyalarını, üst üste bindirmeden dışbükey (2 boyutlu) bir çokgenin içine paketleme sorunu ile ilgileniyorum. Benim sorunumda, dikdörtgenleri döndürmenize izin verilmiyor ve bunların eksenlere paralel olarak yönlendirildiğini varsayabilirsiniz. Size sadece bir dikdörtgenin boyutları ve çokgenin köşeleri verilmiştir ve dikdörtgenin kaç tane aynı kopyasının çokgene paketlenebileceği sorulmuştur. Dikdörtgenleri …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Ne hesaplamak SAT kadar uzunluğu minimal devreleri olduğunu bulma karmaşıklığı hakkında bilinen ? nnn Daha biçimsel: verilen bir fonksiyon karmaşıklığı ne girdi olarak en az bir devre çıkışları şekilde herhangi bir formül ile , ?1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq nC(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Özellikle alt sınırlarla ilgileniyorum.) Saf deterministik algoritması (uzunluğuna kaba kuvvet kadar …

23 cc.complexity-theory  sat 

D. Bera, F. Green ve S. Homer (ACM SIGACT News'in s. 36, Haziran 2007 cilt 38, no. 2) tarafından yapılan "Küçük Derinlikli Kuantum Devreleri" anketinde , şu cümleyi okudum: Klasik bir versiyonudur (ki buradaki bir K D ve O R kapıları çok sabit fanout var) daha kanıtlanabilir zayıf olan bir …

23 cc.complexity-theory  circuit-complexity 

Bu soru, başka bir soruya cevaben gönderdiğim bir cevapla ilgilidir . 3 bölümlü problem şu problemdir: Örnek : Pozitif tamsayı 1 ,…, a n , burada n = 3m ve n tamsayıların toplamı mB'ye eşittir, öyle ki her bir i, B / 4 <a i <S / 2. Soru : …

23 cc.complexity-theory  np-hardness