«ds.algorithms» etiketlenmiş sorular

İlk SAT çözücüsü yapmak istiyorum. SAT rekabetini ve SAT konferansını biliyorum ve bu konuda çok fazla makale var. Ben bir marş, boğulmuş bir marşım. Nereden başlamalıyım? Sonunda modern teknolojiyi zorlamak istiyorum. Nasıl başlayacağımız konusunda uzman tavsiyesi istiyorum, böylece vaktimi gereksiz yere çok erken boşa harcamam. Çok teşekkürler.

24 ds.algorithms  reference-request  lo.logic  sat 

H grafiği kendisine bir homomorfizma bir önyargı ise, H grafiği bir çekirdektir. H'nin bir çekirdeği olması ve G'den H'ye homomorfizması olması durumunda, G'nin bir H alt maddesi G'nin bir çekirdeğidir. Http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Bir grafik G verildiğinde, özünü bulmak için bilinen en iyi kesin algoritma nedir?

24 ds.algorithms  graph-theory  graph-algorithms 

Verilen nnn altkümeleri { 1 , … , d } 'S1,…,SnS1,…,SnS_1,\ldots,S_n nin S n'si .{1,…,d}{1,…,d}\{1,\ldots,d\} Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Bu problemin önemsiz çözümü tüm set çiftlerinden geçer ve zamanındaki bir çiftin dahil edilmesini kontrol eder , bu nedenle genel çalışma zamanı . Bu sorun daha hızlı çözülebilir mi? Literatürde bunun için …

24 ds.algorithms  reference-request 

İzin verilen kelimelerin (alfabetik olarak sıralanmış) ve kelimelerin büyük bir veri tabanı göz önüne alındığında, verilen kelimeye en yakın olan veri tabanını Levenshtein mesafesi cinsinden bulun. Doğal yaklaşım, elbette, verilen kelime ile sözlükteki tüm kelimeler arasındaki levenshtein mesafesini basitçe hesaplamaktır (mesafeleri hesaplamadan önce veritabanında ikili bir arama yapabiliriz). Bu soruna …

24 ds.algorithms  reference-request  string-matching  string-search 

Coppersmith-Winograd algoritması, iki çarpmak için asimptotik bilinen en hızlı algoritma kare matris. Algoritmalarının çalışma süresi şu ana kadar en iyi bilinen . Bu algoritmanın uzay karmaşıklığı nedir? mı ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ ( n2)Θ(n2)\Theta(n^2)

24 ds.algorithms  matrices 

Makul bir şekilde iş etkinliğinde yapılan güncellemeler için benzer veya hatta daha da kötüsü olmayan özelliklere sahip kırmızı-siyah ağaçlara doğal bir paralel analog var mı? Daha genel olarak, güncellemeleri içeren paralel arama için en iyisini yapabiliriz?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Bundan 30 yıl sonra geleceğe bakalım. İyimser olalım ve makine öğrenimi ile ilgili alanların son 10 yılda gördüklerimiz kadar hızlı bir şekilde gelişmeye devam ettiğini varsayalım. Bu harika olurdu, ama o zaman böyle bir gelecekte geleneksel algoritmaların rolü ne olurdu? Burada "geleneksel algoritmalar" ile, TCS'de izlediğimiz olağan süreci kastediyorum: iyi …

23 ds.algorithms  soft-question  machine-learning 

Bu soru, Bilgisayar Bilimleri Yığın Değişim Borsası'ndan geçirilmiştir , çünkü Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan cevaplandırılabilir. 3 yıl önce göç etti . 2016 Bilim kağıt "olarak ölçeklenebilir Şor algoritmanın gerçekleştirilmesi " [ 1 ], yazarlar, "gerekli olan" Tablo 1 'e uygun 8 qubits daha az olan sadece 5 qubits …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Let NFA'ler tarafından verilen iki normal diller olmak girdi olarak.M 1 , M 2L1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 olup olmadığını kontrol etmek istediğimizi varsayalım . Bu açıkça , ürün otomasyonunu hesaplayan ikinci dereceden bir algoritma ile yapılabilir , ancak daha verimli bir şey olup olmadığını merak ediyordum.M 1 , M 2L1∩ L2≠ …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Maksimum Bağımsız Kümenin (MIS) P = NP olmadıkça herhangi bir faktörü için faktörü içinde yaklaşık olarak zor olduğunu biliyoruz . Daha iyi yaklaşım algoritmaları bilinen bazı özel grafik sınıfları nelerdir? ϵ > 0n1 - ϵn1−ϵn^{1-\epsilon}ϵ > 0ϵ>0\epsilon > 0 Polinom-zaman algoritmaları için bilinen grafikler nelerdir? Bunun bilinen mükemmel grafikler olduğunu …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

Ağaç genişliği grafiğin bir ağaca ne kadar yakın olduğunu ölçer. Ağaç genişliğini hesaplamak NP-zordur. En iyi bilinen yaklaşım algoritması, faktörünü elde eder.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle teoremi , monadik ikinci dereceden mantıkta (MSO2) tanımlanabilen herhangi bir grafik özelliğinin, sınırlı ağaç genişliğine sahip herhangi bir grafik sınıfı üzerinde doğrusal zamanda kararlaştırılabileceğini belirtir . Son …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Verilen bir hançer. Her bir düğümü, kaç tane düğüme erişilebileceği ile etiketlemek istiyorsunuz. önemsiz bir üst sınırdır; Ω ( V + E ) bir alt sınırdır (sanırım). Daha iyi bir algoritma var mı? Alt sınırın iyileştirilebileceğine inanmak için sebep var mı (ilgili: geçişli kapatma için alt sınırlar hakkında tam olarak …

23 ds.algorithms  graph-theory 

31 Ağustos'ta güncellenen gönderi : Asıl sorunun altındaki mevcut yanıtların bir özetini ekledim. Tüm ilginç cevaplar için teşekkürler! Tabii ki, herkes herhangi bir yeni bulgu göndermeye devam edebilir. Hangi grafik aileleri için kromatik sayı hesaplamak için bir polinom zaman algoritması vardır ?χ(G)χ(G)\chi(G) Polinom zamanında sorun, (iki taraflı grafikler) olduğunda çözülebilir …

23 ds.algorithms  graph-theory  co.combinatorics 

AKS primality test algoritmasının ilk adımı, giriş sayısının mükemmel bir güç olup olmadığını kontrol etmektir. Bu, kağıt teorisinde ayrıntılı olarak açıklanmadığı için, sayı teorisinde iyi bilinen bir gerçektir. Biri bana polinom zamanında nasıl yapıldığını söyleyebilir mi? Teşekkürler.

23 ds.algorithms  nt.number-theory 

Her kenarın bir 1Ω direnci temsil ettiği düzlemsel bir grafik G olarak modellenmiş bir elektrik ağı düşünün. G'deki iki köşe arasındaki tam etkili direnci ne kadar çabuk hesaplayabiliriz ? Aynı şekilde, 1V bataryayı G'deki iki köşeye takarsak, her bir kenar boyunca akan tam akımı ne kadar hızlı hesaplayabiliriz ? Kirchhoff'un …

22 ds.algorithms  graph-theory  planar-graphs  physics