«ds.algorithms» etiketlenmiş sorular

Bir Monoton-2CNF formülü, her bir maddenin tam olarak 2 pozitif değişmezden oluştuğu bir CNF formülüdür. Şimdi, bir Monoton-2CNF formülü . , tatmin edici ödevleri kümesi olsun . Ayrıca aşağıdaki bilgileri verebilen bir kehanet var:FFFSSSFFFOOO Set kardinalitesi (yani çözelti sayısı ).SSSFFF değişkeni verildiğinde : xxx pozitif değişmez değeri içeren çözelti sayısı …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Yani, yan uzunluğu ~ birkaç düzinelerce yaklaşık 100-200 çok seyrek kare boole matrisim var ve ürünlerini hesaplamam gerekiyor. Onları seri olarak çarparsam, ürünün genellikle her adımda seyrek kalacağını biliyorum. Bu durumda özellikle hızlı çalışan matris zincir ürün algoritmaları var mı? Daha yüksek bir seviyede, sorun, çoğu öğenin 0-3'ten fazla olmayacağı …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

3SAT [ 1 ] için alt sınırlarla ilgili tartışmayı takiben, uzay-zaman ödünleşimi olarak formüle edilen ana alt sınır sonuçlarının ne olduğunu merak ediyorum. Savitch'in teoremi gibi sonuçları hariç tutuyorum; iyi bir giriş tek bir soruna ve sınırlarına odaklanır. Örnek olarak şunlar verilebilir: "T ve S, herhangi bir SAT algoritmasının çalışma …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Paley grafikler P q olan tepe-grubu ile verilir olanlardır sonlu alan ana güçlerin q≡1 (mod 4) için GF (q), ve iki köşe bitişik olduğu takdirde bir farklılık sadece 2 bazıları için bir ∈ GF (q). Q'nun asal olması durumunda, GF (q) sonlu alanı sadece modulo q tamsayıları kümesidir. Yakın tarihli …

13 ds.algorithms  graph-theory 

Genetik algoritma kullanılarak çözülen bazı gerçek dünya sorunları nelerdir? Sorun nedir? Bu sorunu çözmek için kullanılan fitness testi nedir?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

2-B ızgara düzenlenmiş nesneleri bir dizi olan bir veri kümesi var. Her satırda soldan sağa gittikçe artan ve her sütunda yukarıdan aşağıya doğru artan katı bir siparişim olduğunu biliyorum. Örneğin, 1 2 3 4 6 7 5 8 9 Tüm veri kümesini doğrusal olarak sıralamak için naif sıralama geliştirebilir miyim …

13 ds.algorithms  total-ordering  sorting 

Leslie Lamport'un "Fast Paxos" gazetesini okuyorum ve hem klasik Paxos'un hem de Fast Paxos'un doğruluğuna dair kanıtlarla takıldım. Tutarlılık için değer fazı koordinatör tarafından çekilen turda tatmin etmelidirvvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): bir tur için , dışında bir değer veya henüz yuvarlak seçilebilir olabilir edilmiştir .j&lt;ij&lt;ij < ivvvjjj Klasik Paxos için , kanıt …

13 ds.algorithms  dc.distributed-comp  proofs 

Her köşeyle ilişkili bir sayı ( ) ve hedef sayısı içeren yönlendirilmiş bir döngüsel grafik .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} DAG altkümesi toplamı sorunu (farklı bir ad altında olabilir, bir başvuru harika olur) köşeleri olup olmadığını sorar , böylece ve bir yol .v1,v2,...,vkv1,v2,...,vkv_1,v_2,...,v_kΣvig(vi)=TΣvig(vi)=T\Sigma_{v_i}g(v_i) = Tv1→..→vkv1→..→vkv_1\to..\to v_kGGG Tam geçişli grafik klasik alt küme …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Da, her matroid için olduğu saptanmıştır ve herhangi bir ağırlık fonksiyonu , bir algoritma var çıkar maksimum ağırlık temelinde döndüren . Peki, ters yön de doğru mu? Yani, açgözlü bir algoritma varsa, o zaman bazı matroid yapı da olmalıdır.MMMwwwAçgözlü Vaha (M, w )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w)MMM

13 ds.algorithms  greedy-algorithms 

Her bir kenarın ağırlığının negatif olabileceği yönlendirilmiş bir döngüsel grafik verildiğinde, "en kısa yol" kavramı yalnızca negatif döngü yoksa mantıklıdır ve bu durumda Bellman-Ford algoritmasını uygulayabilirsiniz. Bununla birlikte, bisiklet sürmeyi içermeyen iki köşe arasındaki en kısa yolu bulmakla ilgileniyorum (yani, aynı tepe noktasını iki kez ziyaret etmeyebileceğiniz kısıtlaması altında). Bu …

13 ds.algorithms  graph-algorithms  shortest-path 

Son baskı öncesi https://arxiv.org/abs/1801.00776 , gerçek sayının zamanında ve doğrusal boşlukta sıralanabileceği iddia edilmektedir . Algoritmalar sıralama konusunda uzman olmasam da makale makul görünüyor.nnnO ( n günlüğün----√) ,Ö(ngünlük⁡n),O(n \sqrt{\log n}), Eğer doğruysa, bu en azından teorik olarak önemli olacaktır. Bununla birlikte, ana argümanın sunumu biraz resmi olmayan ve geleneksel değildir. …

12 cc.complexity-theory  ds.algorithms  sorting 

Farzedelim ki n×nn×nn \times n matrisleri çarpmak istiyoruz . Yavaş matris çarpma algoritması zamanında çalışır ve belleği kullanır. En hızlı matris çarpımı zamanında çalışır , burada doğrusal cebir sabiti, ancak bellek karmaşıklığı hakkında bilinenler nelerdir?O ( n 2 ) n ω + o ( 1 ) ωO(n3)O(n3)O(n^3)O(n2)O(n2)O(n^2)nω+o(1)nω+o(1)n^{\omega + o(1)}ωω\omega Hızlı …

12 ds.algorithms  linear-algebra 

Bir dizi göz önüne alındığında , bir palindrom kapak dizisidir p 1 p 2 ⋯ p m kelimeler arasında p I öyle ki p 1 p 2 ⋯ p m = W ve her bir şekilde, p ı bir palindrom olan .w=σ1σ2…σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯pmp1p2⋯pmp_1p_2\cdots p_mpipip_ip1p2⋯pm=wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i Minimal palindrom kapak boyutunu …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems 

TCS ile ilgilenen bir matematik uzmanıyım. Algoritmaları ve bunların grubun çözülmesi için karmaşıklıklarını kendi kendilerine incelemek istiyorum. Öğelerin sırasını bulma, küme numaralandırması, jeneratör bulma, belirli bir alt kümenin grubu oluşturup oluşturmadığını test etme gibi teorik sorunları. Hangi kitabı okumalıyım?

12 ds.algorithms  reference-request  gr.group-theory  books 

' verildiğinde x , y ∈ N var , bir x 2 + b y = c ' N P-tamamlandı .a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} 'Verilen , x , y ∈ N , bir x 2 + b y 2 = c ' var mı?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by2=cax2+by2=cax^2+by^2=c

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete