«ds.algorithms» etiketlenmiş sorular

Herkese selam, şu anda otomata teorisinin bazı dallarıyla veya biçimsel dillerle ilgili sağlam bir yüksek lisans tez konusu bulmaya çalışıyorum. Kabul edilebilir bir konunun ne olacağı konusunda iyi fikirler üretmeye çalışıyorum, hırslı ama aynı zamanda yapılabilecek bir şey. Herhangi bir öneriniz çok takdir edilecektir!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Herhangi bir için {0,1} ila {0,1} arasında 1-1 eşlemesi olduğunu görmek kolaydır, böylece herhangi bir için vektörü "dengeli" dir, yani eşit sayıda 1 ve 0'dır. Böyle bir tanımlamak mümkün mü, böylece verildiğinde etkili bir şekilde hesaplayabiliyoruz ?nnnFFFnn^nn+O(logn)n+O(log⁡n)^{n+O(\log n)}xxxF(x)F(x)F(x)FFFxxxF(x)F(x)F(x) Teşekkürler.

10 ds.algorithms  ds.data-structures  encoding 

FFT'nin bölünme ve fethetme doğası otomatik olarak diğer dönüşümlere (z Dönüştürme, cıvıltı, vb.) Genelleştirilebilir mi? Dönüşümün açıklamasını alan bir algoritma var mı (hangi bilgilerin gerekli olacağını bilmiyorum) ve hızlı bir FFT benzeri fonksiyon üretebilir mi?

10 ds.algorithms 

Let için belirgin ve derecesi sınırlanan, düzenli olmayan bir bağlı grafik olabilir. Her düğümün benzersiz bir jeton içerdiğini varsayalım.G = ( V, E)G,=(V,E)G= (V, E) Ben sadece yerel takas kullanarak (yani iki bitişik düğüm arasında belirteç değişimi) grafik arasında belirteçleri düzgün bir şekilde karıştırmak istiyorum? Bu sorun için bilinen bir …

10 ds.algorithms  random-walks  dc.distributed-comp 

Bir boole devresim olduğunu varsayalım CCC bazı fonksiyonları hesaplayan f: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}. Devrenin, en fazla 2 adet fan girişi ve fan çıkışı olan AND, OR ve NOT kapılarından oluştuğunu varsayalım. İzin Vermek x ∈ { 0 , 1}nx∈{0,1}nx \in \{0,1\}^nbelirli bir …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Dualite hakkında konuşurken tamamlayıcı gevşeklik (CS) yaygın olarak öğretilir. Matematiksel bir bakış açısından primal ve ikili kısıtlama / değişkenler arasında güzel bir ilişki kurar. CS başvurusunun iki temel nedeni (lisansüstü derslerde ve ders kitaplarında öğretildiği gibi): LP'nin uygunluğunu kontrol etmek İkili çözmenize yardımcı olmak için Günümüzün bilgi işlem gücü ve …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Açgözlü formel olmayan bir terimdir, ancak bazı problemler için açgözlülüğün matematiksel olarak formüle edilebileceği ve bu nedenle optimal açgözlü algoritmanın olmadığı kanıtlanabilir (emin değilim, bu yüzden soruyorum). Mümkün mü?

10 ds.algorithms  greedy-algorithms 

Birçok problem için, en iyi asimtotik karmaşıklığa sahip algoritmanın, büyük O gösterimi ile gizlenen çok büyük bir sabit faktörü vardır. Bu, matris çarpımı, tamsayı çarpımı (özellikle, Harvey ve van der Hoeven'in son O (n log n) tamsayısı çarpma algoritması, düşük derinlikli sıralama ağları ve grafik küçükleri bulma, birkaç yapmak için …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Yağ ağırlığı sezgisel (maksimum akış için iki algoritma) ile Ford-Fulkerson veya Edmonds-Karp'ın, bazı ağırlıkların irrasyonel olması durumunda durmaya ihtiyaç duymadığı bilinmektedir. Aslında, yanlış değer üzerinde bile birleşebilirler ! Bununla birlikte, literatürde bulabildiğim tüm örnekler [aşağıdaki referanslar ve içindeki referanslar] sadece tek bir irrasyonel değer kullanır: eşlenik altın oranφ'= (5-√- 1 …

9 ds.algorithms  graph-algorithms  max-flow 

Z3 veya Boolector gibi SMT çözücüleri, sorunları çözmek için karmaşık bir sezgisel tarama seti kullanır. Bununla birlikte, bu aynı zamanda belirli bir problem için böyle bir çözücünün performansını tahmin etmeyi çok zorlaştırır. Benim sorum şu: Soru Niceleyici içermeyen bitvektörler (QFBV) teorisindeki belirli bir kişi için bir SMT çözücüsünün performansını anlamak …

9 ds.algorithms  sat  heuristics 

Masa oyunları oynarken sinir ağlarının daha yeni ve daha yeni başarılarından sonra, belirlediğimiz bir sonraki hedefin Starcraft'ta insanları yenmekten daha yararlı bir şey olabileceğini düşünüyoruz. Daha doğrusu, Sinir ağları klasik algoritmik problemleri çözmek için eğitilebilir mi? Burada, örneğin ağın , ağırlıklı kenarları ve iki köşesi ve belirtilmiş bir giriş grafiği …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

verildiğinde hızlı bir şekildea , bbir,ba, bminx , y> 0|birx-by|minx,y>0|birx-by| \min_{x, y > 0} |a^x - b^y| Burada x , yx,yx, y tamsayılardır. Açıkçası x = y= 0x=y=0x = y = 0 ilginç bir cevap veriyor; genel olarak bu güçler ne kadar yaklaşabilir? Ayrıca, minimizing x, y'yi hızlı bir şekilde …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

Kalai'nin 2 sayfalık SODA kağıdı , umursamayan desen eşleştirme için basit ve etkili bir algoritma sağlar (bir karakterle eşleşen joker karakterler). Özünde, evrişim kadar kolaydır. Ama umursamadığımız çoklu kalıplar ararsak ne olur ? Yine de bir şekilde örneğin FFT tabanlı tekniklerle çözebilir miyiz?

9 ds.algorithms  reference-request  string-matching 

Schönhage – Strassen tamsayı çarpma algoritmasını uygulamaya çalışıyorum, ancak yinelemeli adımda bir tökezleyen bloğa çarptı. Benim bir değerim var xxxile bit ve hesaplamak istiyorum . Başlangıçta fikir almaya olduğunu düşündüm k öyle ki 4 ^ k \ geq 2n , split x içine k ^ 2 ile her adet 2 …

9 ds.algorithms 

Sadece P'deki problemleri göz önüne alırsak, bilinen en hızlı kelime-RAM algoritması ile belirli sorunlar için bilinen en hızlı Turing makinesi algoritması arasında büyük boşluklar var mı? Özellikle genel çıkarları olan doğal sorunlar için geniş boşluklar varsa ilgileniyorum.

9 cc.complexity-theory  ds.algorithms