Teorik Bilgisayar Bilimi

İlk önce matematik üzerine sordu . Düzlemsel gömülü bir düzlemsel grafiğim olduğunu varsayalım, ağaç ayrışmasını nasıl bulabilirim? Bir ağacın optimal ağaç ayrışması nedir ddd-tarafından-dddkare ızgara? "Optimal" in nasıl tanımlanacağından tam olarak emin değilim, ancak bir büyük torba ile ayrışma ve birçok büyük torba ile ayrışma arasında ayrım yapmalıdır.

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice 

Kısacası: Tek yönlü permütasyonların var olduğu varsayılarak , kapalı kapı olmayan bir tane inşa edebilir miyiz? Daha fazla bilgi: Tek yönlü permütasyon, hesaplanması kolay, ancak ters çevrilmesi zor olan bir permütasyon pi'dir ( daha resmi bir tanım için bkz. Tek yönlü işlev etiketi wiki ). Genellikle dikkate aileleri tek yönlü …

9 cr.crypto-security  one-way-function 

Michael Held ve Richard M. Karp tarafından " Sıralama Sorunlarına Dinamik Programlama Yaklaşımı " konusuna baktığımda , şu soruyu buldum: TSP için algoritmalarının karmaşıklığı neden (s. 199), yani faktörünü nereden alıyorlar ? Doğru anladıysam , her bir şehir alt kümesi için toplama sayısı anlamına gelir. O zaman neden her ekleme …

9 ds.algorithms  tsp  exp-time-algorithms 

Bir partiyi dürüst olmaya nasıl zorlayabilirsiniz (protokol kurallarına uyun)? Taahhütler, kanıtlar vb. Gibi bazı mekanizmalar gördüm, ancak sadece tüm sorunu çözmediler. Bana öyle geliyor ki, protokol tasarımının yapısı ve bu mekanizmalar işi yapmalı. Herhangi birinin iyi bir sınıflandırması var mı? Düzenle Güvenli protokoller tasarlarken, bir partiyi dürüst olmaya zorlarsanız, bu …

9 cr.crypto-security  gt.game-theory 

Bir veri yapısı arıyorum, bu temelde bir harita ağacı, nerede her düğüm harita bazı yeni öğeler, hem de onun üst düğümün harita elemanları. Burada harita ile STL'de harita veya python'da dikte gibi anahtarlar ve değerler içeren bir programlama haritası kastediyorum. Örneğin, bir kök düğüm olabilir: root = {'car':1, 'boat':2} ve …

9 ds.data-structures  tree  hash-function 

Alice ve Bob ölen Charlie amcalarını (ayrık eşyaların sonlu bir koleksiyonu ) isteklerine göre ayırırlar. Önce A bir öğeyi, sonra B'yi, sonra A'yı vb. Alır.XXX Alice ve Bob'un her birinin ek yardımcı işlevleri , böylece Alice setiyle sonuçlanırsa , yardımcı programı da .ubir,uBuA,uBu_A, u_BY⊆ XY⊆XY \subseteq XΣy∈ Yubir( y)∑y∈YuA(y)\sum_{y \in …

9 gt.game-theory 

Bu, önceki bir sorunun özel bir versiyonudur: Bir Matrisin Öz Denklemini Bulmanın Karmaşıklığı . NxN simetrik matrisleri için, O (N ^ 3) süresinin öz ayrışmasını hesaplamak için yeterli olduğu bilinmektedir. Soru şudur: sub-kübik karmaşıklığa ulaşabilir miyiz? Teşekkürler.

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Hesaplamalı karmaşıklık teorisi, problemleri doğal zorluklarına göre sınıflandırır. Karmaşık sistemler teorisi , sistemin bireysel parçalarının özelliklerinden açıkça ortaya çıkmayan davranışlar sergileyen sistemleri ele alır. Örnekler arasında kaotik sistemler, karmaşık uyarlanabilir sistemler veya doğrusal olmayan sistemler bulunur. Bu alanlar arasında resmi bir köprü var mı? Değeri ne olursa olsun, hücresel otomata …

9 cc.complexity-theory  soft-question  big-picture 

Eğer çalışma süresi en kötü durumda polinomsa, genellikle bir algoritmaya "iyi algoritma" diyoruz. Ancak bazı durumlarda (örneğin Simplex algoritması), algoritmanın en kötü durumu üstel olsa da, pratikte çok iyi çalışabilir. Bu duruma Simplex algoritması dışında (deterministik) örnekler var mı?

9 ds.algorithms 

Son zamanlarda fizikle ilgili bazı soruları kuantum CS'ye "aktarmayı" düşündüm: Hamilton sistemlerinde alan hukuku olgusu kavramı, genellikle bazı kafeslerde yerel bir Hamiltonyen anlamına gelir; bu da, temel alanı, herhangi bir kapalı bölgenin dolaştırılmasının hacmiyle değil, bölgenin yüzeyiyle orantılı olduğu bir özellik sergiler. genel bir devlet için). Ünlü bir varsayım, tüm …

9 quantum-computing  big-picture 

Bir grafik ve parametreleri verildiğini varsayalım . için olup olmadığını test etmek için (veya tüm için yapılabilir ) değer aralıkları var mı? ) zamanında en az bağımsız bir boyut kümesine sahip olmaktan uzak ?GGGk,ϵk,ϵk,\epsilonkkkkkkGGGϵϵ\epsilonkkkO(n+poly(1/ϵ))O(n+poly(1/ϵ))O(n + \text{poly}(1/\epsilon)) Eğer olağan -far (yani en fazla kenarlarının böyle bir set elde etmek için değiştirilmesi …

9 ds.algorithms  graph-theory  reference-request  property-testing 

Düzenli (sıra-kolon iç ürün) tekniği kullanarak matris çarpımı O(n3)O(n3)O(n^{3}) çarpmalar ve O(n3)O(n3)O(n^{3})eklemeler. Ancak eşit büyüklükteki girişlerin (her iki matrisin her girişindeki bit sayısı çarpılarak)mmm bitleri, toplama işlemi aslında gerçekleşir O(n3nm)=O(n4m)O(n3nm)=O(n4m)O(n^{3}nm) = O(n^{4}m) bit. Bu yüzden, bit karmaşıklığı yoluyla ölçülürse, matris çarpımının gerçek karmaşıklığı, O(n4)O(n4)O(n^{4}). (1)(1)(1)Bu doğru mu? Birinin bit karmaşıklığını …

9 cc.complexity-theory  algebraic-complexity 

Altküme Toplamı adı verilen NP-Komple Sorununun bir FPTAS'ı olduğu iyi bilinmektedir. Ben de bir FPTAS olan bir PSPACE Complete sorunu olup olmadığını merak ediyordum? Şimdiden teşekkürler.

9 ds.algorithms  space-bounded  big-picture 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Teorik Bilgisayar Bilimi Stack Exchange için. 3 yıl önce kapalı . Evrensel özyinelemeli bir işlevin kısa bir açık yapısı var mı ? Gördüğüm tüm tanımlar Turing makinelerinin bir …

9 lo.logic  computability  pl.programming-languages 

Sayısal olmayan a, b, c değerlerini alan ve bu değişkenin örneğinin ampirik dağılımının gerçek dağılımdan nasıl saptığını ölçmek istediğimizi varsayalım . Bu durumda aşağıdaki eşitsizlik ( Cover & Thomas'dan ) geçerlidir.nnn Teorem 12.4.1 (Sanov teoremi): X_n iid . Let olasılık dağılımları bir dizi olacak. Sonra burada E'deki bağıl entropide Q'ya …

9 pr.probability  chernoff-bound