Bilgisayar Bilimi

Herhangi bir tabandan herhangi bir tabana dönüşmenin ardındaki matematiğe bakıyordum. Bu, sonuçlarımı her şeyden çok onaylamakla ilgili. Mathforum.org'daki cevabımın neye benzediğini buldum ama haklı olup olmadığımdan hala emin değilim. Daha büyük bir tabandan daha küçük bir tabana dönüşüm yapıyorum, çünkü sadece bir sonraki rakamı tekrarlamak istediğiniz ilk rakamı baz ile …

35 algorithms  arithmetic  number-formats 

Bilgisayar bilimi algoritmalarını anlama konusunda yeniyim. İkili arama sürecini anlıyorum, ancak etkinliği ile ilgili biraz yanlış anlama yaşıyorum. element boyutunda, belirli bir elementi bulmak için ortalama olarak n adım gerekir. Her iki taraftaki taban 2 logaritmasını almak log 2 ( s ) = n değerini verir . Peki ikili arama …

35 algorithms  runtime-analysis  binary-search 

Doğrusal programlama (LP) P'de ve tamsayılı programlama (IP) NP zordur. Ancak bilgisayarlar sayıları sonlu hassasiyetle değiştirebildiğinden, pratikte bir bilgisayar doğrusal programlama için tam sayılar kullanıyor. Bu nedenle, LP ve IP aynı karmaşıklık sınıfında olmamalı mıdır?

35 complexity-theory  polynomial-time 

Otomata teorisinde, hepimiz otomatayı en baştan, sonlu otomata olarak okuruz. Bilmek istediğim şu ki, neden otomatlar sonlu? Açık olmak gerekirse, sonlu bir otomatın içinde ne var - alfabe, dil, düzenli ifadelerle yapılan ipler ya da ne? Ve (teoride) herhangi bir sonlu olmayan otomata var mı?

35 automata  finite-automata 

Wikipedia'ya göre : Shannon'un entropisi, bir mesajda yer alan bilgileri, mesajın belirlenen (veya tahmin edilebilir) kısmının aksine ölçmektedir. İkincisinin örnekleri, dil yapısındaki fazlalığı veya harf veya kelime çiftlerinin, üçüzlerin ve benzerlerinin oluşum sıklıklarına ilişkin istatistiksel özellikleri içerir. Bu yüzden entropi bir mesajda yer alan bilgi miktarının bir ölçüsüdür. Entropi kodlayıcıları, …

35 information-theory  data-compression  entropy 

Yerinde kararlı sıralama algoritması en kötü durumda veren iyi kaynakları bulmakta sorun yaşıyorum . Herhangi bir iyi kaynak bilen var mı?O ( n, lnn )O(nln⁡n)O(n \ln n) Sadece bir hatırlatıcı, yerinde iletilen diziyi kullandığı ve sıralama algoritmasına yalnızca sabit fazladan boşluk kullanabileceği anlamına gelir. Kararlı, aynı tuşa sahip öğelerin, orijinal …

35 algorithms  reference-request  sorting  in-place 

Klasik olarak, hesaplama hakkında düşünmenin 3 popüler yolu vardır: Turing makinesi, devreler ve lambda-calculus (Bunu, en işlevsel görünümler için bir seçenek olarak kullanıyorum). Her 3 farklı tip problemler hakkında düşünmenin verimli yolları olmuştur ve bu nedenle farklı alanlar farklı formülasyonlar kullanmaktadır. Ancak kuantum hesaplama ile çalışırken, sadece devre modelini düşünüyorum. …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

İdris'in bağımlı türleri olduğunu biliyorum ama tam bir sonuç almadı. Turing eksiksizliğini bırakarak ne yapamaz ve bu bağımlı türlere sahip olmakla mı ilgilidir? Sanırım bu oldukça özel bir soru, ancak bağımlı tipler ve ilgili tip sistemler hakkında çok fazla bir şey bilmiyorum.

35 computability  programming-languages  type-theory  dependent-types 

Çoğumuz, Basic, C / C ++ ve Java gibi "textual" programlama dillerini kullanarak programlama öğrendik. İnsanların görsel olarak düşünmesinin daha doğal ve verimli olduğuna inanıyorum. Görsel programlama, geliştiricilerin grafiksel öğeleri işleyerek programlar yazmasını sağlar. Ben görsel programlama kullanarak kod kalitesini artırmak ve programlama hataları azaltmak gerektiğini düşünüyorum. App Inventor , …

35 programming-languages 

Üniversite düzeyinde bir CS eğitimcisi olarak, ilk programlama kursunda hangi programlama dilinin öğretileceği konusu tartışma için sıklıkla gündeme gelmektedir. Bir dil kampını diğeri üzerinde destekleyen çok sayıda dini ateş (veya ateş) arasında seçim yapabileceğiniz binlerce dil vardır. Her bir programlama dilini çevreleyen bu öznel önyargı, bir eğitimcinin bir dil seçmesini …

35 programming-languages  education 

Genişlik ilk arama için standart sahte kod İşte: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Burada pushve popkuyruk …

35 algorithms  graphs 

Bir meslektaşım ve ben profesörlerimizden birinin notlarını aldık. Notlar, polinom zamanında çözülmesi mümkün olan (PF sınıfında olan) ancak polinom zamanında doğrulanamayan (NPF sınıfında DEĞİLDİR) olmayan işler olduğunu belirtir. Bu sınıflar hakkında detaylı bilgi vermek için: X girdilerinden bazılarını alıyoruz ve (X, Y) görevimizi temsil eden R ilişkisinde olacak şekilde Y …

34 complexity-theory  np 

G = ( V, E)G=(V,E)G=(V,E)ssstttssstttG,GGttts ⇝ ts⇝ts \rightsquigarrow tdolayısıyla, tüm diğer yolun alt yol ise o zaman da DFS biz gelen yollarının sayısını bulmalıyız bitişiklik listesi düşünün örneğin again.For bu alt yolun geçtiği için . Burada DFS, ile başlayacaktır ve sonra ile başlayacağını söyleyecektir, çünkü DFS normal şekilde çalışacaktır. yol …

34 algorithms  graphs 

Aptalca bir soru gibi gelebilir ama bir bilgisayarın bunu nasıl bildiğini bilmek gerçekten merak ediyorum ? Ayrıca, bir bilgisayar tamsayının sırasının ve alfabenin A, B, C, D, ... olduğunu nasıl bilebilir ? Donanımda depolanan bir yer mi yoksa işletim sistemi bu tür bilgileri sağlıyor mu?1 , 2 , 3 , …

34 computer-architecture  reference-question 

Bu gören Chomsky Hiyerarşisi Tip 3 dilde harici bellek (örneğin, bir FA), bir bir durum makinesi tarafından Tip 2 ile bir durum makinesi tarafından kabul edilebilir bir yığın (yani, bir otomat aşağı açılan) tarafından 0 Tip İki istifli bir durum makinesi (veya Turing Makineleri için olduğu gibi eşit olarak bir …

34 formal-languages  applied-theory  computability  automata  formal-grammars