«ds.algorithms» etiketlenmiş sorular

Bir grafikte, bağımsız bir küme indüklenmiş alt çizgi olarak bir kenar içermeyen bir tepe alt kümesidir. Bir grafikte en büyük bağımsız kümeleri bulma sorunu temel algoritmik bir sorudur ve zor bir sorudur. Bir grafiğin en büyük H-serbest kümesini (daha büyük) bulma konusunda daha genel bir soruyu ele alalım, burada H-serbest, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Johnson-Lindenstrauss lemması bir toplama için kabaca söyler arasında N noktaları R d , harita vardır f : R, d → R, k burada k = O ( giriş N / ε 2 ) bu şekilde tüm x , y ∈ S : ( 1 - ϵ ) | | f …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

İki grup, ve bir homomorfizma vardır izomorfik IFF olduğu söylenir için örten bir. Grup izomorfizması sorunu şöyledir: iki grup verildiğinde, bunların izomorfik olup olmadıklarını kontrol edin. Bir grup girmenin farklı yolları vardır, en çok kullanılan ikisi bir Cayley tablosu ve bir jeneratör grubudur. Burada girdi gruplarının Cayley tabloları tarafından verildiğini …

11 ds.algorithms  gr.group-theory 

Kuantum bilgisayar kullanımında bilinen karmaşıklık avantajı olmayan mevcut doğal hesaplama problemleri listesinin ne olduğunu merak ediyordum. İşe başlamak için, düzenleme mesafesinin hesaplanması, bilinen en hızlı kuantum algoritmasının bilinen en hızlı klasik algoritma gibi göründüğünü düşünüyorum. Daha geçici olarak, bilinen bir kuantum hızının olmadığı bilinen bir başka sorun olarak sıralamayı öneririm …

11 ds.algorithms  quantum-computing  big-list 

Gross ve Tucker'ın Topolojik Grafik Teorisi kitabına göre , bir grafiğin bir yüzeye hücresel gömülmesi göz önüne alındığında ('yüzey' ile burada bazı tutamaçları olan bir küreyi kastediyorum ve S n'nin altında , tam olarak n tutamaçları), orijinal grafiğin yüzlerine köşe olarak muamele ederek ve karşılık gelen yüzlerin orijinal grafikte ortak …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Yaklaşık algoritmalar, bazı sabit faktörlere kadar çıktı verebilir. Bu, tam algoritmalardan biraz daha az tatmin edicidir. Bununla birlikte, zaman karmaşıklığında sabit faktörler göz ardı edilir. Bu yüzden merak ediyorum aşağıdaki hile mümkün veya kullanıldı, bazı sorunu çözmek için :B ∘ AB∘AB \circ A Çözelti sabit faktör dahilinde elde etmek için …

11 ds.algorithms  big-list  approximation-algorithms 

Submodüler fonksiyonlar teorisine referansla çok ilgilenirim (temelden ileri seviyeye). Özellikle, sert optimizasyon problemlerine yaklaşımları inceliyorum ve çalıştığım optimizasyon problemleriyle ilgili oldukları için temellerimi modüler fonksiyonlarda geliştirmek istiyorum. Şimdiden teşekkürler.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Ortalama lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) karşılaştırmaları kullanan karşılaştırma tabanlı bir sıralama algoritması var mı? En kötü durum lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) karşılaştırma algoritmasının varlığı açık bir sorundur, ancak ortalama durum her girdi için beklenen lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) karşılaştırmaları olan rastgele bir algoritma için yeterlidir . Önemi lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) o şekilde o(n)o(n)o(n) tek bir ortalama israf, en uygun olan karşılaştırmalar …

10 cc.complexity-theory  ds.algorithms  sorting 

Motivasyon : Veri sürümü oluşturma araçları geliştirirken, bir tamsayı kümesini diğerine götüren bir dönüşüm dizisi oluşturarak iki tamsayı kümesini "ayırmak" için algoritmalar aradık. Bu sorunu mesafeyi düzenlemek, takas ile gruplamak ve minimum ortak dize bölümü gibi görünen çok doğal soruna indirgedik . Sorun : Bize bir dize, yani bir dizi …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Burada dikkate alınan dönüştürücüler Wikipedia'nın sonlu durum dönüştürücüler olarak adlandırdığı dönüştürücülerdir . Bir dönüştürücünün davranışı , yani hesapladığı ilişki [ T ] yazılır : y kelimesi x iff x [ T ] y için bir çıktıdır .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Soru: Aşağıdaki sorun karar verilebilir mi? Verilen: Bir dönüştürücü …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Let sabit sabit. tamsayısı verildiğinde bir permütasyonu oluşturmak istiyoruz :k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n Konstrüksiyon sabit zaman ve mekan kullanır (yani ön işleme sabit zaman ve mekan gerektirir). Rasgeleleştirmeyi kullanabiliriz. Verilen , sabit zaman ve mekan olarak hesaplanabilir.i∈[n]i∈[n]i\in[n]σ(i)σ(i)\sigma(i) Permütasyon isimli tarzında bağımsız yani tüm , rastgele değişkenler bağımsız ve düzgün dağılmış olan …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

İki çokyüzlüler Verilen ve Q , P ve Q çokyüzlüler sonlu kümeler varsa vardır equidecomposable olan P 1 , ... , p n ve Q 1 , ... , Q n öyle ki P i ve Q i herkes için uyumlu olan i , p = ∪ n i = …

10 ds.algorithms  computational-geometry  polygon 

Basit yazılan lambda terimlerinin beta eşitliğinin karar verilebileceğini biliyoruz. M, N: σ → τ verildiğinde, tüm X: σ, MX NX için karar verilebilir mi ?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Aşağıdaki sorunum var: Giriş: iki set ve aralığı (tüm uç noktalar tamsayılardır). Sorgu: monoton bijection var mı?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T Bijection, ve ayarlanan dahil etme düzeni ile monotondur . T ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Tamsayı katsayıları olan bir polinom in tüm tam sayı köklerini bulmak için hangi algoritmayı kullanabiliriz ?f( x )f(x)f(x) Sage'nin katsayıları çok büyük olsa bile birkaç saniye içinde kökleri bulabileceğini gözlemliyorum . Bunu nasıl yapabilir?f( x )f(x)f(x)

10 ds.algorithms  na.numerical-analysis