«reference-request» etiketlenmiş sorular

Belirli bir metin dizesi ve tüm alt dizeleri kabul eden bir döngüsel sonlu durum otomatı üreten bir desen eşleme algoritması ile çalışıyorum. FSA algoritması bir müzik akışının sembolik bir temsili üzerinde yürütülmektedir (örneğin, MIDI verileri). Müzik akışı, her şarkıyı etiketlenmemiş 'bölümlere' bölmek için önceden işlenmiştir. Her şarkıdaki her bölüm için …

10 formal-languages  reference-request  finite-automata 

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 

Doğrusal programları düşünün Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Zayıf ikilik teoremi, x⃗ x→\vec{x} ve y⃗ y→\vec{y} kısıtlamaları karşıladığında c⃗ …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Bir grafik , 4 veya daha fazla uzunluktaki uyarılmış döngülere sahip değilse komandır . G'nin bir klik ağacı ( T) , ağacın köşelerinin G'nin maksimum klikleri olduğu bir ağaçtır . T'deki bir kenar, minimum bir ayırıcıya karşılık gelir. Farklı klik ağaçlarının sayısı, bir korda grafiğindeki köşelerin sayısında üstel olabilir.G,G,G444TTTG,G,GG,G,GTTT Düşük …

10 algorithms  graph-theory  reference-request 

Arazinin adil bölünmesi için prosedürlerle ilgileniyorum (kıskançlık bölünmesi veya en azından orantılı bölünme). İyi incelenen kek bölünmesi sorununun aksine, arazi bölünmesi iki boyutludur, yani kullanıcıların tercihleri ​​hem yatay hem de dikey olarak değişebilir. Bu nedenle, algoritmayı paralel kesimlerle sınırlamak pratik değildir. Şimdiye kadar bulduğum tek referans Karthik Iyer ve Michael …

10 reference-request  game-theory 

Program analizine başlamak için kaynaklar arıyorum . Bu konuda bulduğum tek kitap Nielson & Nielson kitabı. Bunun dışında, "program analizi" nin bir bölüm ya da bu satırlar boyunca bir şey olacağı sadece "derleyici" kitaplar var gibi görünüyor. İnsanlar başka kaynakları biliyorlar mı?

10 reference-request  compilers  semantics 

işlevini ancak f yalnızca hesaplanabilir iki işlevli ise , uygulayabilen (veya ifade edebilen) programlama dilleri (veya mantığı) var mı?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Bilgisayar bilimlerinde doktora yapmayı düşünen birinin POV'sinden geliyor. Doktora programım için araştırmamı neye odaklayacağım konusunda karar vermede sorun yaşıyorum Ayrıca akademi hakkındaki bu soruya bakın . Bu yüzden hangi araştırmanın yapıldığını ve hangi araştırma makalelerinin yayınlandığını okumanın / güncel tutmanın iyi bir ilham kaynağı olduğunu düşünüyorum ... Artı bilmek iyi …

10 reference-request 

Hızlı k-mismatch dize eşleme algoritması arıyorum. M uzunluğunda bir desen dizesi P ve n uzunluğunda bir metin dizisi T verildiğinde, P'nin T'nin bir alt dizesini en fazla k uyuşmazlığıyla eşleştirdiği tüm konumları bulmak için hızlı (doğrusal zaman) algoritmasına ihtiyacım var. Bu, k farklılıkları sorunundan farklıdır (düzenleme mesafesi). Uyumsuzluk alt dizeyi …

10 algorithms  reference-request  strings  string-metrics  substrings 

Bu sorunun buraya ait olup olmadığından emin değilim ve özür dilerim. Ne yapmak için ben muhtemelen belirli bir dize dizeleri bir çanta içinde "ait" olup olmadığını belirleyebilir programatik bir yol geliştirmektir. Örneğin, 10.000 ABD şehir adından oluşan bir çantam varsa ve sonra "Philadelphia" ibarem varsa, 'Philadelphia'nın zaten bildiğim ABD şehir …

10 algorithms  reference-request  string-metrics 

Kuantum bilgisayarlarımız varsa güvenlik tanımlarını değiştirmeye gerek var mı? Hangi kriptografik yapılar kırılacak? Neyin değişmesi gerektiğini açıklayan bir anket veya makale biliyor musunuz?

10 reference-request  cryptography  quantum-computing 

Sorunun doğası gereği, çok sayıda arka plan bilgisi eklemem gerekiyor (çünkü sorum şu: bunu nasıl daraltabilirim?) Bu, (bilgimin en iyisine) şöyle özetlenebilir: Çok büyük birleşik arama alanlarında yerel optimumları bulmak için hangi yöntemler var? Arka fon Araç destekli süper oyun topluluğunda, bir video oyun konsoluna veya emülatörüne bazı maliyetleri en …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Soru hemen hemen başlıkta. Bazı dilinin durumları olan minimal bir DFA tarafından kabul edilebildiği bir zaman var mı , ancak nin ters çevrilmesi olan , durumları olan bir DFA tarafından kabul edilebilir , burada ?LLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Matematik ve CS makalelerinde kullanılan zaman zaman baş döndürücü semboller dizisi vardır. Ancak birçoğu nadiren tek bir yerde öğretilen temel aşinalık olduğunu varsayar. Özellikle CS bakış açısından aşağıdaki gibi bir sözlük arıyorum. Tüm temel matematiksel sembolleri listeler, anlamlarını ve örneklerini verir. Bazen eşdeğer şekillerde kullanılan semboller hakkında konuşurdu. Genel başlangıç …

10 terminology  reference-request  education 

Latin kareleriyle ilgili bir sorun üzerinde çalışıyorum ve esas olarak karar sorununa kaybolan bir yöntem istiyorum: Girdi : Sonlu, basit bir grafik G. Çıktı : YESG önemsiz olmayan bir otomorfizmaya sahipse, NOaksi takdirde. Dolayısıyla ... Soru : Bir grafiğin önemsiz olmayan bir otomorfizme sahip olup olmadığını belirlemek için etkili bir …

9 algorithms  graphs  graph-theory  reference-request