Bilgisayar Bilimi

Dil tanımlayın olarak L = { a , b } * - { w w | w ∈ { a , b } * } . Başka bir deyişle, L , iki kez tekrarlanan bir kelime olarak ifade edilemeyen kelimeleri içerir. Mı L bağlamdan bağımsız mı değil mi?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, …

15 formal-languages  context-free  formal-grammars 

Dinamik programlama egzersizleri yapıyordum ve Floyd-Warshall algoritmasını buldum. Görünüşe göre, negatif ağırlık kenarlarına sahip olabilen, ancak negatif döngüleri olmayan bir grafik için tüm çiftleri en kısa yollar bulur. Peki, negatif ağırlık kenarlarının gerçek dünyadaki önemi nedir acaba? Basit bir İngilizce açıklama yardımcı olacaktır.

15 algorithms  graph-theory 

Bu kitabı sınıfım için Randomize Algoritmalar için okuyorum . Bu özel kitapta, bir dizinin medyanını rastgele seçim kullanarak bulmaya adanmış, daha verimli bir algoritmaya yol açan bütün bir bölüm vardır. Şimdi, bu algoritmanın, bilgisayar bilimi alanında, teorik bir gelişmenin yanı sıra pratik bir uygulama olup olmadığını bilmek istedim. Bir dizinin …

14 runtime-analysis  randomized-algorithms 

Bir nnn öğesinin listesi, her öğeyi komşusu ile karşılaştırarak sıralanmış olarak doğrulanabilir. Uygulamamda, her öğeyi komşusu ile karşılaştıramayacağım: bunun yerine, karşılaştırmalar bazen uzak öğeler arasında olacaktır. Listenin üçten fazla öğe içerdiği ve karşılaştırmanın desteklenen tek işlem olduğu göz önüne alındığında, listenin sıralandığını kanıtlayacak bir karşılaştırma ağı var mı, ancak en …

14 sorting 

CPU'lar, insanların dolaylı ya da açık bir şekilde onun için yazacakları yazılım dikkate alınarak tasarlanmıştır. Bana öyle geliyor ki, talimat seti mimarilerinin tasarımına bakarsanız, her talimatın bir zorunlu stil komutunu kodlaması anlamında çok "zorunludur". Bana öyle geliyor ki, mevcut talimat seti mimarileri kısmen programcıların ürettiği kod türüne göre gelişti. Biri, …

14 computer-architecture  functional-programming 

bir dizi değer verildiğinde , log base Shannon Entropy gelir . Anladığım kadarıyla, taban Shannon Entropy yuvarlanmış, değerlerden tek bir tanesini temsil etmek için ikili sayıdaki minimum bit sayısıdır.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Bu wikipedia sayfasındaki girişten alınmıştır: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Peki, üç değer bir bit ile nasıl temsil edilebilir? olabilir , olabilir ; ama nasıl …

14 information-theory  mathematical-foundations  entropy  binary 

GATE Hazırlığı için Parça Testinde bir soru vardı: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) "Tüm tamsayılar için sonlanacak" yanıtını verdim, çünkü bazı negatif tamsayılar için bile Yığın Taşma Hatası olarak sonlanacak . Ancak arkadaşım, bu kod ve sadece sahte kod uygulanmadığından, bazı negatif tamsayılarda …

14 algorithms  recursion  pseudocode 

Sorun var: Sonsuz uzun süre çalışan ve bu sayının ondalık basamaklarını yazan hiçbir programın bulunmadığı gerçek bir sayı olduğunu gösterin. Sanırım bunu Durma sorununa indirgeyerek çözülebilir, ama bunu nasıl yapacağım hakkında hiçbir fikrim yok. Ayrıca daha fazla uygulama için benzer sorunların bağlantılarını takdir ediyorum.

14 algorithms  reductions  halting-problem 

FORTH ve Cat gibi yığın tabanlı programlama dilleri hakkında okuyordum ve doğası göz önüne alındığında, paradigmalarına bakılmaksızın bir seferde sadece bir eylem gerçekleştirebilecekleri anlaşılıyor (Cat işlevselken FORTH zorunludur). Zorunlu bir dil yığını değiştirir ve Joy gibi tamamen işlevsel bir dil yeni bir yığın döndürür, ama asıl nokta aynı anda yalnızca …

14 concurrency  stacks  evaluation-strategies 

Lambda hesabında bilinmeyen fonksiyonlar için fonksiyonel denklemleri çözmek için herhangi bir teknik var mı? Varsayalım ki, tanımsal olarak tanımlanmış kimlik fonksiyonuna sahibim: Ix=xIx=xI x = x (o fonksiyonun beklenen davranışı için bir denklemi yazarak vardır) ve şimdi bunu çözmek istiyorum o işlev için intensional formülünü elde etmek için bazı cebirsel …

14 lambda-calculus 

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 2 yıl önce kapalı . Genelde matematikçi veya matematik geçmişine sahip bilgisayar programcıları algoritma ve genel olarak bilgisayar programlama açısından çok iyidir. …

14 mathematical-foundations 

Bir çağrının doğrudan sonucunu veren işlevlerin yinelemeli döngüler olarak yeniden yazılabileceği temel kuyruk özyineleme ortadan kaldırılması fikrine aşinayım . foo(...): # ... return foo(...) Ayrıca, özel bir durum olarak, özyinelemeli çağrı bir çağrıya sarılırsa işlevin yeniden yazılabileceğini de anlıyorum cons. foo(...): # ... return (..., foo(...)) Hangi özellik buna consizin …

14 compilers  recursion  program-optimization  tail-recursion 

Bu [komik] soruyu aklımda tutuyorum. Biz girdiler için geçişleri tanımlarken deterministik olmayan sonlu otomatiye neden deterministik olmayan denir . Peki, çoklu ve epsilon geçişleri olmasına rağmen , bunlar tanımlanır , bu da makinenin bu geçişler için belirleyici olduğu anlamına gelir. Yani belirleyici.

14 finite-automata  nondeterminism 

Kuantum hesaplamanın NP tam problemlerini çözmede klasik hesaplamadan daha iyi olmadığı kanıtlanmış mı ya da sadece inanılıyor mu?

14 np-complete  quantum-computing 

Cormen ve arkadaşlarının Algoritmalara giriş bölümünde, bölüm 15.3 Dinamik programlamanın öğeleri notu şu şekilde açıklar: Bir memoized özyinelemeli algoritma, her alt probleme çözüm için bir tabloda bir giriş tutar. Her tablo girişi başlangıçta girdinin henüz doldurulmadığını gösteren özel bir değer içerir. Özyinelemeli algoritma açıldığında alt sorunla ilk karşılaşıldığında, çözümü hesaplanır …

14 dynamic-programming  search-trees  dictionaries  memoization