Bilgisayar Bilimi

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

3
Kuantum bilgisayarların klasik bilgisayarlardan daha verimli olduğuna dair bir kanıt var mı?
Shor'un algoritması genellikle argüman olarak kullanılır. Çarpanlara ayırma problemini klasik bilgisayarlar için bilinen herhangi bir algoritmadan daha hızlı çözebilir. Yine de, klasik bilgisayarların tamsayıları etkili bir şekilde etkileyemeyeceğine dair bir kanıtımız yok. Bazı problemleri klasik bilgisayarlardan daha hızlı çözebilecek gerçek bir kanıt kuantum var mı?
3
Soyut Veri Türleri ve nesneler arasındaki fark nedir?
Programcılar üzerine bir cevap, Cook tarafından yapılan bir makaleyi ( Nesneler ADT değildir ) şöyle ifade eder: Nesneler, bir cebir yerine bir türün değerleri üzerinde karakteristik bir işlev gibi davranır. Nesneler tip soyutlama yerine prosedürel soyutlama kullanır ADT'lerin genellikle bir programda benzersiz bir uygulaması vardır. Bir kişinin dili modüllere sahip …
3
Neden semafor yerine bir monitör kullanasınız?
Şu anda üniversitemde eşzamanlı programlama kursuna katılıyorum ve yakın zamanda bir monitör kavramı hakkında konuşmaya başladık. Karşılıklı dışlamanın gerekliliğini anlasam da, bunun için neden bir monitör kullanacağımı anlamıyorum. Anladığım kadarıyla, bir monitör her zaman kritik bölümde tam olarak bir veya hiç sürecin olmadığını garanti eder. Tam olarak bunu bir semaforla …
1
Ağırlıksız iki parçalı bir grafikte maksimum eşleme boyutunu ne kadar hızlı hesaplayabiliriz?
Ağırlıksız iki parçalı bir grafikteki maksimum eşleşmenin boyutunu, maksimum eşleştirmeyi hesaplamaktan daha verimli (örneğin daha hızlı) hesaplamanın bir yolu var mı? Uzun bir çekimdir, ancak bunlar gibi ıskarta hesaplamalardan kaçınmak genellikle ilginç bir sorundur. Motivasyon Çözmeye çalıştığım problem , iki setin farklı boyutlarda olduğu maç-2 . Daha küçük kümedeki tüm …
2
Program analizinde en az sabit nokta (lfp) neden önemlidir?
Program analizinde en az sabit nokta (lfp) 'nin önemi hakkında büyük bir resim elde etmeye çalışıyorum. Örneğin soyut yorum, lfp'nin varlığını kullanıyor gibi görünmektedir. Program analizi üzerine birçok araştırma makalesi de en az sabit noktayı bulmaya odaklanmaktadır. Daha spesifik olarak, wikipedia'daki bu makale: Knaster-Tarski Teoremi lfp'nin program semantiğini tanımlamak için …
4
Bant neden Turing Makinesi tanımının bir parçası değil?
Kasetin / bantların neden Turing Machine'nin resmi tanımının bir parçası olmadığını merak ettim. Örneğin, bir Turing makinesinin Wikipedia sayfasındaki resmi tanımını düşünün . Hopcroft ve Ullman'ı izleyen tanım şunları içerir: sonlu durum kümesi , bant alfabesi , boş simge , başlangıç ​​durumu , son durum kümesi , geçiş fonksiyonu . …
1
Kuantum bilgisayarlarda ne tür algoritmalar daha hızlı?
Ben bir CS öğrencisiyim ve algoritmalar öğreniyorum. Kuantum bilgisayarlarda bile, genel sıralama algoritmalarının zamanından daha iyi olamayacağını duydum . Ancak faktoring algoritmalarının çok daha hızlı olacağını da biliyorum. Genel anlamda, kuantum bilgisayarlarda ne tür algoritmalar önemli ölçüde daha hızlı olur?nlognnlog⁡nn\log n
1
için bu argüman neden yanlış?
Aptalca olduğunu biliyorum, ama kendimi karıştırmayı başardım ve bunu halletmek için yardıma ihtiyacım var Varsayalım ki , daha sonra açık bir şekilde her torpil için A Elimizdeki P A = N P A bir torpil var olduğu gerçeğini ters A olan P bir ≠ N P A , bu nedenle …
6
Kararsız problemler fiziksel teorileri sınırlar
Kararsız sorunların varlığı derhal fiziksel sistemlerin öngörülemezliğini ima ediyor mu? Durma problemini düşünelim, önce normal devre tabanlı yapıyı kullanarak fiziksel bir UTM inşa ediyoruz. Daha sonra, devrelerin herhangi bir giriş ayarı verildiğinde, devrenin durup durmayacağını belirleyebilen hiçbir karar verilebilir fiziksel teori olamaz. Bu önemsiz gibi görünüyor, ama bu bize kuantum …
4
PI tabanlı sıkıştırma algoritmaları var mı?
Bildiğimiz şey, inf'nin sonsuz olması ve olası her sonlu basamak dizisini ( büyük olasılıkla sıralı dizisi ) içermesidir . Son zamanlarda, oluşturduğunuz (veya başka herhangi bir dosyanın) her dosyanın olduğunu veya yaratacağınızı varsayan bazı πfs prototipi gördüm, zaten var, bu yüzden çıkartma meselesi. Dosyalarınızı pi meta verilerine dönüştürebilen piFile de …
5
İşletim sistemi tasarımı neden güç tüketimini azaltabilir?
Android ve iOS gibi işletim sistemlerinin pil ömrünü uzatmak için bir şekilde optimize edildiğini okudum. Anladığım kadarıyla, bir CPU belirli bir zamanda belirli sayıda işlem gerçekleştirir, bu yüzden gerekli işlem sayısını azaltarak uygulamaları hızlandırabileceğinizi düşünürüm, ancak CPU yine de y içinde x işlem yapacağından , gücü etkiler mi? Ayrıca, bir …
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.