Bilgisayar Bilimi

Bilgisayar bilimi öğrencileri, araştırmacıları ve uygulayıcıları için soru-cevap

2
AO * algoritması nasıl uygulanır?
Arama algoritmalarını uygularken farklı veri yapılarının kullanıldığını fark ettim. Örneğin, genişlik ilk aramayı uygulamak için kuyruklar, önce derinlik araması uygulamak için yığınlar ve A * algoritmasını uygulamak için yığınlar kullanırız . Bu gibi durumlarda, arama ağacını açıkça oluşturmamız gerekmez. Ancak AO * algoritmasının arama sürecini simüle etmek için basit bir …
2
Neden bazı çıkarım motorları insan yardımına ihtiyaç duyarken, diğerleri çıkmıyor?
Ben öğreniyorum otomatik teorem ispatlama / SMT çözümleyici / Kanıtı Yardımcıları kendim ve başlangıç süreci hakkında sorular, bir dizi yayınlamak burada . Otomatik teorem kanıtlayıcıların, yani ACL2 ve SMT çözücülerin neden kanıt asistanları, yani Isabelle ve Coq , insan yardımına ihtiyaç duymadığını ? Dizinin sonraki sorusunu burada bulabilirsiniz .
3
Algoritmik bilgi teorisinde “bilgi” ve “yararlı bilgi” arasındaki fark
Wikipedia'ya göre : Gayri resmi olarak, algoritmik bilgi teorisi açısından, bir ipin bilgi içeriği, o ipin mümkün olan en kısa bağımsız temsilinin uzunluğuna eşittir. "Yararlı bilgiler" in benzer gayrı resmi titiz tanımı nedir? "Yararlı bilgi" neden daha doğal veya daha temel bir kavram olarak kabul edilmemektedir; safça tamamen rastgele bir …
2
İkili yığın kanıtlanması vardır
Ben ispat etmeye çalışıyorum ikili yığın ile nnn düğümlerinin tam olarak sahip Yığın aşağıdaki şekilde oluşturulduğu göz önüne alındığında 2 ⌉yaprak:⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Her yeni düğüm percolate up ile yerleştirilir . Bu, her yeni düğümün bir sonraki kullanılabilir alt öğede oluşturulması gerektiği anlamına gelir. Bununla kastettiğim, çocukların aşağıya doğru ve …
2
Dilbilgisi ve Otomata Dillerinde Karar Verme
Bu bir üniversitede CS kursuna çalışmaya ilişkin bir sorudur Not, bu ödev DEĞİLDİR ve bulunabilir burada Güz 2011 exam2 altında. İşte geçmiş bir sınavdan baktığım iki soru. İlki gibi görünüyorlar, ilki: İzin Vermek FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = …
2
Sonlu otomatanın değiştirilmiş versiyonları tarafından kabul edilen diller
Deterministik bir sonlu otomat (DFA), tüm ve sadece normal dilleri kabul edebilen bir durum makine modelidir. DFA'lar, her bir durumun giriş alfabesinin tüm elemanları için bir geçiş sağlaması gerektiği şekilde tanımlanabilir (ve genellikle tanımlanabilir); diğer bir deyişle, geçiş fonksiyonu δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow Q bir (toplam) fonksiyon olmalıdır. …
1
Yazılı kural sistemini değerlendirme yöntemleri
Bir kuruluş için tüzükleri temel mantığını belirleyecek şekilde değerlendirecek bir sistem bulmaya çalışıyordum. Bence birinci dereceden bir yüklem sistemi, konuşma bölümü etiketleme ve diğer NLP teknikleri yoluyla metinden çevrilebilecek kuralları temsil etmek için işe yarayacaktır. Birinci dereceden mantık kurallarını bir bütün olarak veya elemanlar arasındaki benzerlikleri bulmak için ikinci bir …
2
Endüstride kullanılan birçok derleyicide devam eden geçiş stiline göre neden statik-tekli atama tercih edilir?
Statik-tek atama (SSA) hakkındaki Wikipedia sayfasına göre , SSA, LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey ve V8 gibi büyük ve iyi bilinen projeler tarafından kullanılırken, devam eden stili kullanan projelerdeki sayfa (CPS) karşılaştırıldığında biraz eksik. CPS'nin öncelikle işlevsel dilleri uygulayan derleyiciler ve tercümanlar tarafından tercih edildiğini düşünüyorum - özellikle Haskell …
3
Bir dil homoikonik nasıl yapılır
Bu makaleye göre , aşağıdaki Lisp kodu satırı "Merhaba dünya" yı standart çıktıya yazdırır. (format t "hello, world") Homikonik bir dil olan Lisp, kodu veri olarak şu şekilde ele alabilir: Şimdi aşağıdaki makroyu yazdığımızı hayal edin: (defmacro backwards (expr) (reverse expr)) geriye doğru, bir ifadeyi (liste olarak temsil edilir) alan …
2
Min. Kesimden maksimum akış hesaplayın
Biliyoruz ki bir maksimum akış hesaplaması. kapasiteleri olan bir ağın minimum kesimi eşdeğerdir; bakınız Maksimum akım dakika kesilmiş teoremi . Maksimum akışları hesaplamak için (az ya da çok verimli) algoritmalarımız var ve maksimum akış göz önüne alındığında minimum kesimi hesaplamak da ne zor ne de pahalı. Peki bunun tersi ne …
2
Y birleştiricisi Curry-Howard yazışmalarıyla çelişiyor mu?
Y birleştiricisi türüne sahiptir . Curry-Howard Yazışması ile, tipinde yerleşim olduğu için, gerçek bir teorime karşılık gelmelidir. Bununla birlikte, her zaman doğrudur, bu nedenle Y birleştiricisinin türü , her zaman doğru olmayan teoremine karşılık gibi görünür . Bu nasıl olabilir?( a → a ) → a(bir→bir)→bir(a \rightarrow a) \rightarrow a( …
1
Kuantum Hesaplama - Hamilton ve Üniter model arasındaki ilişki
Kuantum hesaplamada algoritmalar geliştirirken, bunun yapıldığı iki temel model olduğunu fark ettim. Bazı algoritmalar - örneğin Hamilton NAND ağaç sorunu (Farhi'ye Goldstone, Guttman) için - bir Hamiltoniyeni ve bazı başlangıç durumunu tasarımı ve daha sonra bir süre için Schrödinger denkleme göre sistemin geliştirilmesi sağlayarak iş ölçüm yapmadan önce.ttt Faktoring için …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.