Teorik Bilgisayar Bilimi

Zaman sınırlı kuantum hesaplaması çok ilginçtir. Uzay sınırlı kuantum hesaplamaya ne dersiniz? Sublogaritmik uzay sınırları ve çeşitli kuantum otomata modelleri ile kuantum hesaplaması için birçok ilginç sonuç biliyorum. Öte yandan, sınırsız hata olasılığının ve kuantum boşluğunun, herhangi bir uzayda inşa edilebilir için eşdeğer olduğu gösterilmiştir (Watrous, 1999 ve 2003 ).s(n)∈Ω(log(n))s(n)∈Ω(log⁡(n)) …

17 quantum-computing  space-bounded 

( burada da istendi , cevap yok) Bir -quantum genleştirici bir dağıtım ν üniter grubu üzerinde , U ( d ) özelliği bu: a) | s u p p ν | = d , b) ‖ E U ∼ ν U ⊗ U † - E U ∼ μ H …

17 quantum-computing  spectral-graph-theory 

Fraktal labirent, kendi kopyalarını içeren bir labirenttir. Örneğin, bu makaleden Mark JP Wolf tarafından verilen aşağıdakiler : EKSİ'den başlayın ve ARTI'ya gidin. Labirentin daha küçük bir kopyasını girerken, bu kopyayı çıkışta bırakmanız gerekeceğinden, bu kopyanın harf adını kaydettiğinizden emin olun. Girdiğiniz labirentin iç içe geçmiş her kopyasından çıkmanız ve bunları …

17 computability  fractals 

Yıllar önce, bir DFA'dan (deterministik) minimal NFA'nın (belirsiz olmayan sonlu otomatiğin) hesaplanmasının, on yıllardır bilinen ve verimli bir algoritma. Kimse bir algoritma buldu mu?O(nlgn )Ö(nlg⁡n)O(n \lg n) Hızlı bir araştırma bana kesinlikle zor bir sorun olduğunu kanıtlayan bu makaleyi verdi. Görünüşe göre hiçbir algoritma verilmiyor. [1] Minimal NFA problemleri zor …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Ben keyfi boyut ve aralık iki ikili arama ağaçlarını birleştirmek için bir algoritma arıyorum. Bunu uygulamakla ilgili en açık yol, menzili diğer ağaçtaki keyfi bir dış düğüme sığabilecek tüm alt ağaçları bulmak olacaktır. Bununla birlikte, bu tür bir algoritma için en kötü durum çalışma süresi, sırasıyla her ağacın O(n+m)nerede nve …

17 ds.algorithms  ds.data-structures  tree 

Varsayalım ki, evrensel bir kuantum bilgisayarı oluşturduk. Güvenlikle ilgili sorunlar (kriptografi, gizlilik, ...) dışında, mevcut gerçek dünya sorunlarından yararlanmanın faydaları nelerdir? Her ikisiyle de ilgileniyorum: pratik bir giriş için şu anda çözülemeyen sorunlar, şu anda çözülmekte olan sorunlar, ancak önemli bir hızlanma kullanılabilirliklerini büyük ölçüde artıracaktır.

17 quantum-computing  application-of-theory 

Bağlam: mantık ve otomatlar arasındaki ilişkiler Büchi Teoremi, dizeler üzerindeki Monadic İkinci Dereceden mantığın (MSO) normal dil sınıfını yakaladığını belirtir. Kanıt aslında dizeler üzerinde varolan MSO'nun ( ∃MSO∃MSO\exists\text{MSO} veya EMSO ) normal dilleri yakalamak için yeterli olduğunu göstermektedir. Bu biraz şaşırtıcı olabilir, çünkü genel yapılar üzerinde, MSO dan kesinlikle daha …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Bizim bir grafiktir diyelim olduğu halinde -connected herhangi çıkarılması bir köşe ve her B kenarlarda G her yaprak bağlı bir grafik. Örneğin , standart tanıma göre k bağlantılı bir grafik, yeni tanıma göre ( k - 1 , 0 ) bağlıdır . Karar vermek için bir polinom zamanlı bir algoritma …

17 ds.algorithms  graph-theory  graph-algorithms 

Üç tür düğüm ile bir anahtar ağı (ad icat edilir) yapılır: bir Başlangıç ​​düğümü bir Bitiş düğümü bir veya daha fazla Anahtar düğümü Anahtar düğümünde 3 çıkış bulunur: Sol, Yukarı, Sağ; iki L ve R durumu ve bir hedef durumu TL veya TR'dir . Her anahtar aşağıdaki kurallara göre hareket …

17 ds.algorithms  reference-request  graph-algorithms  np 

Bu soru benzer biri benim önceki sorulardan. Bu bilinmektedir en treewidth grafikleri için yasak küçük olanKt+2Kt+2K_{t+2} .ttt Her treewidth için minimum yasaklanmış küçükler olan güzel yapılandırılmış, parametrelenmiş, sonsuz bir grafik ailesi (tam grafikler ve ızgara grafikler hariç) var mı? Diğer bir deyişle, açık bir grafik yer almaktadır ilgili r, köşe …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Verilen , nasıl birçok k -DNFs ile n değişkenleri ve m totoloji maddeleri nelerdir? (veya kaç tanem,n,km,n,km, n, kkkknnnmmm CNF tatmin edilemez?)kkk

17 co.combinatorics  lo.logic  sat 

x ∉ S y ∈ S x ySSS , bir düzlemdeki nokta kümesidir. Aynı düzlemde rastgele bir noktası verilir. Görev, S'deki tüm ve arasındaki Öklid mesafesine göre sıralamaktır .x∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy Beyinsiz bir yaklaşım, ve arasındaki mesafeleri hesaplamaktıryxxxyyy tüm için ve daha sonra herhangi bir hızlı algoritmayı kullanarak …

17 cg.comp-geom  sorting 

Küçük bir alan üzerinde uzunluk döngüsel konvolüsyonu için en iyi bilinen yöntemler nelerdir , yani | F | « N ? Özellikle sabit boyutlu alanlarla, hatta F ile ilgileniyorumnnn|F|≪n|F|≪n|\mathbb{F}| \ll n. Genel asimtotik etkinlik ifadeleri ve referansları çok takdir edilmektedir.F=F2F=F2\mathbb{F} = \mathbb{F}_2 Arka plan: bir alan olsun ve n > …

17 ds.algorithms  reference-request 

Son zamanlarda ACM destekli bir konferanstaydım. Ziyafet sırasında konferans organizatörleri bize konferansın geleceği ve geçmişi hakkında bilgi verdi. Konferansın 2010 baskısında 5000 $ kayıp olduğunu söylediler. Bize ACM'ye verilen 8000 $ (doğru hatırlıyorsam bütçenin% 10'u) olduğunu görebildiğimiz önceki konferansın bütçesini gösterdiler. Belki de henüz tam olarak sahada olmadığım için (Eylül …

17 soft-question  conferences 

Tanıtım Sorun çok uzun olduğu için burada özünü yakalayan özel bir durum var. Sorun: A, 3-SAT için bir yönetimsel algoritma olsun. A algoritmasını (sorunun her örneğinde) tamamen simüle etme problemidir. P-Space sert mi? (Daha doğrusu, bu görevin P-Space zor olduğuna inanmak için nedenler var mı, bu yönde bir şey standart …

17 cc.complexity-theory  big-picture  structural-complexity