Bilgisayar Bilimi

Tüm normal dillerin düzenli ifadelerle ifade edilebileceğini düşündüm (eğer bir dil düzenli ise, normal ifade ile ifade edilebilir), ancak bunun için düzenli işlemlerin üçüne (birleştirme, birleşme ve yıldız) ihtiyacınız olduğu söylendi. tutmak. Örneğin, ben söylendi ben eğer sadece birlik ve birleştirme kullanmak (3 2 takım) regex işlemlerini, sadece bu ikisiyle …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

Alice, öğrenci, gelecek haftalarda çok ödev yapıyor. Ödevlerin her biri tam olarak bir gün sürer. Her öğenin ayrıca bir son tarih ve notları üzerinde olumsuz bir etkisi vardır (gerçek sayıyı varsayar, sadece karşılaştırılabilirliği varsaymak için bonus puanlar), son tarihi kaçırırsa. (Son teslim tarihi, not etkisi) listesi veren bir fonksiyon yazın, …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

Sipser'in Yazışma Sonrası Problem hakkında Hesaplama Teorisine Giriş kitabındaki bazı sayfaları okudum ve PCP'nin aslında NP'de olduğunu düşünüyorum. Formu dolduran olan: kazık bir giriş yapılandırması için bitiştirme bir dize kadar ve bitiştirme dizesini , ardından ikisinin eşit olup olmadığını görmek için ve karşılaştırın ve ardından girdinin aslında PCP için bir …

12 complexity-theory  decision-problem  np 

Veri yapıları ve algoritmalardan en çok sorulan sorulardan biri, çoğunlukla telefon görüşmesi üzerine sorulmuştur.

12 algorithms  data-structures  linked-lists 

Bunun çok aptalca (veya belirtilemeyecek kadar açık) bir soru gibi göründüğünün farkındayım. Ancak, bir noktada kafam karıştı. Bunu gösterebiliriz P NP=== biz çözer hiçbirinde sorun örneğini verdiği o bir algoritma tasarlayabilir ve ancak eğer NP polinom zamanda. Ancak, ben yeryüzünde bunu kanıtlayabilirim anlamıyorum P NP . Lütfen bu kadar alakasız …

12 complexity-theory  p-vs-np 

Ben otomata konusunda yeniyim ve bana dün düzenli ifadelere kısa bir giriş yapıldı. Normal bir ifadeyi tanımlamak için çeşitli kuralları okudum. Ama düzenli ifadeler ve bir dilin grameri arasında ayrım yapamıyorum (düzenli ifadeler için dilbilgisi öğretilmemiştir). Dilbilgisinin bir dilde geçerli dizeleri oluşturmamıza yardımcı olduğunu anlıyorum, ancak normal ifadeler durumunu tanımlamak …

12 automata  formal-grammars  regular-expressions 

Listeler arasındaki Levenshtein-Distance düzenleme mesafesi iyi incelenmiş bir sorundur. Ancak , hiçbir öğenin her listede bir kereden fazla gerçekleşmediği biliniyorsa , olası iyileştirmeler hakkında fazla bir şey bulamıyorum . Ayrıca, öğelerin karşılaştırılabilir / sıralanabilir olduğunu varsayalım (ancak karşılaştırılacak listeler başlamak için sıralanmamıştır). Özellikle, elemanların benzersizliğinin, Ukkonen'in zaman karmaşıklığı ve boşluk …

12 algorithms  strings  string-metrics  edit-distance 

Arthur-Merlin karmaşıklık sınıfında herhangi bir sorun olup olmadığını merak ediyorum. Grafik Olmayan İzomorfizma (GSMH) bir problem klasik örneği gibi görünüyor yılında AM, ama muhtemelen tam bir tane değil. Ayrıca "tam" bir sorunun AM için iyi tanımlanmış olup olmadığını merak ediyorum. AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Çok özel bir kullanım durumu için bir bellek içi nesne veritabanı tasarlıyorum. Tek bir yazardır, ancak verimli eşzamanlı okumaları desteklemesi gerekir. Okumalar izole edilmelidir. Sorgu dili yoktur, veritabanı yalnızca şunları destekler: özniteliğe / öznitelik kümesine göre nesne / -s alma (ifadeler için destek olabilir, ör. x.count < 5) nesnenin niteliğini …

12 data-structures  concurrency  databases 

Bilgisayar biliminde, 2D'de belirli bir nokta kümesini kapsayan minimum sayıda düz çizgi bulan popüler bir sorun [1] [2] vardır. Çok sayıda makale taramış olmama rağmen, hiçbirinin sorun için açık bir motivasyonu yok. Bu sorunu çözmenin faydası nedir? Bunu açıklayan bir kağıt var mı?

12 reference-request  computational-geometry  applied-theory 

XOR-3-SAT'ın nasıl verimli bir şekilde çözülebildiğini gördüm (örneğin, Boole doygunluğu sorunu için Wikipedia girişindeki "XOR-satisfiability" bölümüne bakın ). Temel bir soruyu merak ediyorum: XOR-k-SAT, madde başına değişen miktarlarda formül içeren formüller için verimli bir şekilde çözülebilir mi? Gerçekten, madde başına değişmez miktarları 3'ten fazla artırabilir miyiz ve karışık cümle uzunluklarına …

12 complexity-theory  satisfiability 

Bu muhtemelen aptalca bir soru, ama anlamıyorum. Başka bir soruda Schaefer'in ikilik teoremini ortaya attılar . Bana göre, her CSP sorununun P veya NP-tamamında olduğunu kanıtlıyor gibi görünüyor, ancak ikisi arasında değil. Her NP problemi Polinom zamanında CSP'ye dönüştürülebildiğinden (CSP NP-tamamlanmış olduğundan), bu neden P ve NP-Complete arasında boşluk olmadığını …

12 np-complete  satisfiability  p-vs-np 

Bir kutu en az topu içeriyorsa dolu olarak adlandırılır . Amacımız mümkün olduğunca çok sayıda çöp kovası yapmak.kkk En basit senaryoda, bize topları verilir ve bunları keyfi olarak düzenleyebiliriz. Bu durumda, yapabileceğimiz en iyi şey keyfi olarak bidonları ve her birine topları koymaktır .nnn⌊n/k⌋⌊n/k⌋\lfloor n/k \rfloorkkk Ben şu senaryo ile …

12 combinatorics  balls-and-bins 

Dinamik mükemmel karma tablolar ve guguklu karma tablolar , en kötü durum O (1) aramalarını ve beklenen O (1) zamanlı ekleme ve silme işlemlerini destekleyen iki farklı veri yapısıdır. Her ikisi de O (n) yardımcı alan ve işlemleri için karma fonksiyon ailelerine erişim gerektirir. Bu veri yapılarının her ikisinin de …

12 data-structures  hash-tables 

Turing'in durma problemini anlamakta zorlanıyorum. Kanıtı, bir bilgisayarın belirli bir giriş için sonsuza kadar durup durmayacağını belirleyebilecek sihirli bir makine olduğunu varsayar . Sonra çıktıyı tersine çeviren başka bir makine ekliyoruz ve bir çelişkimiz var ve bu nedenle olamaz.HHHHHH Benim kaygım, sanki bir cevabın yanlış olduğunu söylüyoruz, çünkü tersine çevirdik. …

12 computability  halting-problem