«complexity-theory» etiketlenmiş sorular

Neyin hesaplanabileceğini, ne kadar hızlı, ne kadar bellek ve hangi hesaplama modeliyle çalıştığını inceleyen hesaplama teorisine girmeye başlıyorum. Oldukça basit bir sorum var, ama bazılarınızın arkasındaki kavramı anlamama yardımcı olabileceğini umuyorum: Neden her şey DİL (yani normal diller ve bağlamdan bağımsız diller) kavramı ve tanımı etrafında toplanıyor? Ve bunlar bir …

10 complexity-theory  formal-languages 

Biz oldu Cook ve Karp indirimleri ilişkisi hakkında birkaç soru . Cook indirgemelerinin (polinom-zamanlı Turing indirgemeleri), genellikle kullanılan Karp indirimleri (polinom-zaman çok-bir indirimler) ile aynı NP tamlık kavramını tanımlamadığı açıktır. Özellikle Cook indirimleri, P NP olsa bile ko-NP'den ayıramaz . Bu nedenle Cook azaltmalarını tipik azaltma kanıtlarında kullanmamalıyız.≠≠\neq Şimdi, öğrenciler …

10 complexity-theory  reference-request  np-complete  reductions 

Giriş ve gösterimler: İşte algoritmamın (deneylerime göre) sona ermiş gibi görünen yeni ve basit bir sürümü ve şimdi bunu kanıtlamak istiyorum. Gösterim olsun bir bakınız s boyutlu veri noktası (bir vektör). Üç set A, B ve C var, öyle ki | A | = n , | B | = …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Girdi örneği basit bir grafik ve doğal bir tamsayı olan aşağıdaki sorunu göz önünde bulundurun .G,G,Gkkk Bir dizi var bu şekilde G - S bipartit ve | S | \ leq k ?S⊆ V( G )S⊆V(G,)S \subseteq V(G)G - SG,-SG - S| S| ≤k|S|≤k|S| \leq k 3-SAT, k -CLIQUE, k …

10 complexity-theory  np-complete  reductions 

Hesaplamalı Karmaşıklık üzerine ders alıyorum. Benim sorunum Relativizasyon yöntemini anlamıyorum . Ne yazık ki, şimdiye kadar pek çok ders kitabında biraz sezgi bulmaya çalıştım. Kendi başımıza devam edebilmem için birisinin bu konuya ışık tutabileceğini takdir edeceğim. Birkaç cümle soru ve rölativizasyon hakkındaki düşüncelerimdir, tartışmada gezinmeye yardımcı olurlar. Çoğunlukla relativizasyon, sayılabilir …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Teorik Bilgisayar Bilimi alanında bir ana dal arıyorum; özellikle karmaşıklık teorisi ve olasılıklı otomata teorisi ile ilgileniyorum. Bir yıl içinde mezun olduğum için, matematikte hangi gelişmiş dersleri (örneğin Galois teorisi veya Harmonik analizi gibi) önümüzdeki iki yarıyılda üstlenmenin yararlı olacağını düşünüyorsunuz? Neden?

10 complexity-theory  automata  education 

hesaplamanın karmaşıklığı nedir ?nn2,n ∈ Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Soru, Arora-Barak'ın Hesaplamalı Karmaşıklık - Modern Bir Yaklaşım kitabından 1.9 alıştırmasıdır : Bir RAM Turing makinesini, rasgele erişim belleği olan bir Turing makinesi olarak tanımlayın. Bunu şu şekilde resmileştiriyoruz: Makinenin tüm boşluklara başlatılan sonsuz bir A dizisi var. Bu diziye aşağıdaki gibi erişir. Makinenin çalışma bantlarından biri adres bandı olarak …

10 complexity-theory  turing-machines  machine-models  simulation 

Alternatif Formülasyon Aşağıdaki soruna alternatif bir formülasyon buldum. Alternatif formülasyon aslında aşağıdaki problemin özel bir durumudur ve sorunu tanımlamak için iki taraflı grafikler kullanır. Bununla birlikte, alternatif formülasyonun hala NP-zor olduğuna inanıyorum. Alternatif formülasyon, problem tanımını basitleştiren, gelen ve giden düğümlerin ayrık bir setini kullanır. Verilen giden ve gelen düğümleri …

10 complexity-theory  graphs  graph-theory  np-complete 

Bir ödev hazırlamaya çalışıyorum ( Algoritmalar kitabından alınmıştır - S. Dasgupta, CH Papadimitriou ve UV Vazirani , Bölüm 8, sorun 8.6a tarafından) ve söylediklerini tekrar yazıyorum: 3SAT'in, her bir hazır bilginin en fazla iki kez göründüğü formüllerle sınırlı olsa bile NP-tamamlanmış kaldığı göz önüne alındığında, her bir hazır bilgi en …

10 complexity-theory  satisfiability  3-sat 

Aklımda bir sorun var, sanırım bu bir NPC problemi ama bunu nasıl kanıtlayacağımı bilmiyorum. İşte sorun: Orada k çok büyük bir gölde adalar ve orada n yelpaze şeklinde dubaları. Bu dubalar aynı boyuttadır ancak farklı başlangıç ​​yönlerine sahiptir ve gölde farklı orijinal konumlardadır. Dubalar kütle merkezinin etrafında serbestçe dönebilir ve …

10 complexity-theory  np-complete  np-hard 

Kitabım bunu söylüyor Bir karar problemi B P ve A ise B'ye düşerse, karar problemi A P'dir. B NP'de ise ve B NP'de A'daki her problem için bir karar problemi NP tamdır, A B'ye düşer. Bir karar problemi C, NP'de ise NP-tamamlanmıştır ve bazı NP-tam problem B için B, C'ye …

10 complexity-theory  np-complete  decision-problem 

P'nin tanımı, bir polinom zaman algoritması ile karar verilebilen bir dildir. P / poly'nin tanımı, polinom boyutlu bir devre tarafından karar verilebilen bir dil anlamına gelebilir (bkz. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Şimdi, polinom boyutlu bir devre neden polinom zamanında simüle edilemiyor?

10 complexity-theory  time-complexity  circuits 

Aslında içeriğe duyarlı Diller setinin, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} kabul edilen diller), REGREG\mathbf{REG} (normal diller) veya CFLCFL\mathbf{CFL}(bağlamdan bağımsız diller). Ve ayrıca açık problemDSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "benzer" sorun kadar ünlü değil: "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". Gerçekten böyle bir benzetme var mı? İçinde bir dil var mı CSLCSL\mathbf{CSL} içinde olduğu kanıtlanamadı DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (sevmek …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Vikipedi yol sıkıştırma olmadan rütbe ile birlik bir itfa edilmiş zaman karmaşıklığını verir diyor ve rütbe ve yol sıkıştırma hem birlik bir itfa edilmiş zaman karmaşıklığını verdiğini ( olan Ackerman işlevinin tersi). Bununla birlikte, sendika sıralaması olmadan yol sıkıştırmanın çalışma süresinden bahsetmiyorum, ki bu genellikle kendimi uyguluyorum.O(logn)O(log⁡n)O(\log n)O(α(n))O(α(n))O(\alpha(n))αα\alpha Union-find'ın yol …

10 complexity-theory  time-complexity  union-find