Bilgisayar Bilimi

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

1
Son SAT çözümleyicilerinin tümü neden SAT devresi yerine CNF üzerinde çalışıyor?
2006'da bir zamanlar ve invertör grafiklerini işlemek için AIGER kütüphanesinin yayınlanmasından sonra (sanırım), 2006-2008'de bazı devre SAT çözücüleri piyasaya sürüldü ve birkaç SAT Races / Müsabakalarında AIG parkurları vardı. Ancak o zamandan beri odak noktası tamamen SMT ya da yanıltıcı SAT çözümleyicileri üzerinde. Sezgisel olarak benim için SAT devresine konsantre …
2
Bağlamdan bağımsız bir gramerde 'ölü devletler' olabilir mi?
Bağlamdan bağımsız bir dilbilgisi, bir otomattaki "ölü haller" gibi G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? ve üretim kuralları sonsuza dek dönecek ve asla bir kelime üretmeyecektir. Buna izin veriliyor mu yoksa üretim kuralları bir noktada bir terminalle mi sona …
7
Lambda hesabı soyut görünmüyordu. Ve amacını göremiyorum
Temel soru: Lambda hesabı bizim için, ortaokul cebirinde genel olarak öğrenilen temel işlev özellikleri ve notasyon ile yapamayacağımız için ne yapar ? Her şeyden önce, soyut lambda hesabı bağlamında ne anlama geliyor? Soyut kelimesini anlamam, bir kavramın kavramsal özeti olan makinelerden ayrılan bir şeydir. Ancak lambda fonksiyonları, fonksiyon isimlerini kaldırarak …
3
Neden SAT ve diğer karar problemleri için yaklaşım algoritmaları yok?
NP-eksiksiz bir karar sorunum var. Sorunun bir örneği göz önüne alındığında, sorun uygulanabilirse EVET ve başka bir şekilde HAYIR çıkaran bir algoritma tasarlamak istiyorum. (Elbette, algoritma optimal değilse, hatalar yapacaktır.) Bu tür problemler için yaklaşık bir algoritma bulamıyorum. SAT için özel olarak bakıyordu ve ben yaklaşık Vikipedi sayfasında bulunan Yaklaşım …
1
Tekli alfabe üzerinden referanslarla düzenli ifadeler
Ayar: backreferences ile düzenli ifadeler tek dilli (1 sembol alfabe) Aşağıdaki ayar bu ayarda belirlenebilir mi? Backreferences ile düzenli bir ifade verildiğinde, normal bir dil tanımlar mı? Örneğin, (aa+)\1normal bir dil tanımlar, ancak tanımlamaz (aa+)\1+. Davanın hangisi olduğuna karar verebilir miyiz? Somutluk için, burada "backreferences ile düzenli ifadeler", örneğin, Perl …
1
Bağımlı tip, arıtma tipi ve Hoare Logic arasındaki fark
Çok az bağımlı tip teorisi biliyorum. Vikipedi'den: Bağımlı tür, tanımı bir değere bağlı olan bir türdür. Ve benim Tip teorisi dersimden bağımlı bir tip olduğunu hatırlıyorum: Bir türe göre dizine alınan tür ailesi. Ancak bağımlı türler ve iyileştirme türleri ve hoare mantığı ile ilgili bir karışıklığım var. Çünkü Depenedent ve …
2
“Minimal” sezgisel tip teorisi?
İnsanların tür kuramlarına yeni türler eklemeye devam etmelerine şaşırdım, ancak hiç kimse minimal bir teoriden bahsetmiyor gibi görünüyor (ya da bulamıyorum). Matatisyenlerin minimal şeyleri sevdiğini düşündüm, değil mi? Doğru anlıyorsam Prop, öngörücü bir tip teoride , λ-soyutlama ve Π-tipler yeterlidir. Yeterli diyerek sezgisel mantık olarak kullanılabilir. Diğer tipler aşağıdaki gibi …
7
RAM olmayan, ancak diski olan bir bilgisayar RAM'li olana eşdeğer mi?
Anladığım kadarıyla bellek birçok şey için kullanılıyor. Disk önbellek görevi görür ve programların talimatlarını ve yığınlarını ve yığınlarını içerir. İşte bir düşünce deneyi. Bir bilgisayarın gıcırdama yapması için gereken hız veya süreyi umursamıyorsa, çok büyük bir diske sahip olduğu varsayılarak, sahip olunabilecek minimum minimum bellek miktarı nedir? Hafızadan kurtulmak ve …
2
Mandelbrot hangi anlamda “hesaplanabilir”?
Mandelbrot kümesi Matematik güzel yaratıktır. Bu setin yüksek hassasiyetle oluşturulmuş çok güzel görüntüleri var, bu yüzden bu set bir anlamda "hesaplanabilir". Bununla birlikte, beni ilgilendiren şey, sadece setin sayılamadığı için özyinelemeli olarak bile numaralandırılamamasıdır. Bu, noktaların bir tür sonlu temsilini gerektirerek çözülebilir. Dahası, sete çok fazla puan ait olduğunu ve …
4
'Eugene Goostman' Turing sınavını gerçekten geçti mi?
13 yaşındaki bir çocuğu simüle etmek için geliştirilen bir bilgisayar programı olan 'Eugene Goostman'ın yargıçların yüzde 33'ünü insan olduğuna ikna etmeyi başardığı ve böylece Turing Testini geçtiği söyleniyor. Bir chatbot olarak adlandırılan bilgisayar programı, İngilizce'nin ikinci dil olduğu 13 yaşında bir Ukraynalı çocuk gibi davranıyordu - gerçekten çok farklı bir …
4
Randomized Quicksort'un neden O (n log n) en kötü çalışma zamanı maliyeti var?
Rastgele Hızlı Sıralama , pivot öğesinin rastgele seçildiği Hızlı Sıralama'nın bir uzantısıdır. Bu algoritmanın en kötü zaman karmaşıklığı ne olabilir? Bana göre, , çünkü en kötü durum rasgele seçilen pivot, sıralı veya ters sıralama düzeninde seçildiğinde gerçekleşir . Ancak bazı metinlerde [1] [2] en kötü zaman karmaşıklığı olarak yazılmıştır.O(n2)O(n2)O(n^2)O(nlogn)O(nlog⁡n)O(n\log{n}) Doğru …
2
Dikey görünürlük sorunu için etkili algoritmalar
Bir problem üzerinde düşünürken, aşağıdaki görevi çözen verimli bir algoritma oluşturmam gerektiğini fark ettim: Sorun: tarafları eksenlere paralel olan iki boyutlu bir yan taraf kare kutusu verilir nnn. Üstünden bakabiliriz. Bununla birlikte, mmm yatay segmentler de vardır. Her segment bir tamsayıdır sahip yyy -coordinate ( 0≤y≤n0≤y≤n0 \le y \le n …
4
Önyargılı bir kalıpla adil bir kalıp simüle et
Önyargılı bir taraflı kalıp verildiğinde , aralığındaki rasgele bir sayı nasıl düzgün bir şekilde oluşturulabilir? Kalıp yüzlerinin olasılık dağılımı bilinmemektedir, bilinen her şey, her yüzün sıfır olmayan bir olasılığa sahip olması ve olasılık dağılımının tüm atışlarda aynı olmasıdır (özellikle atışlar bağımsızdır). Adil sonuçların haksız kalıpla açık bir şekilde genelleştirilmesi budur …
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.