Bilgisayar Bilimi

Her hesaplanabilir bir fonksiyon için, iyi çözülebilir bir sorun vardır halen mevcut İçeride ISTV melerin RWMAIWi'nin ( f ( n ) ) zaman ya da hesaplanabilir bir işlevi yoktur f bu şekilde çözülebilir her sorunun O ( f ( n ) ) , aynı zamanda olabilir çözülmesi o ( f …

19 complexity-theory 

Tek yönlü grafik, herhangi bir tepe noktasından başka bir tepe noktasına en fazla bir basit yol olacak şekilde yönlendirilmiş bir grafiktir. Unipatik grafiklerin döngüleri olabilir. Örneğin, iki bağlantılı bir liste (dairesel bir liste değil!) Tek yönlü bir grafiktir; listede nnn öğesi varsa, grafikte toplam için 2 uzunluktaki döngüleri vardır .2 …

19 graphs  combinatorics 

Dağıtılmış bir mimaride alfa-beta budama ile satranç için minimax arama ağacını işlememe izin veren etkili bir algoritma arıyorum . Bulduğum algoritmaların (PVS, YBWC, DTS aşağıya bakınız) hepsi oldukça eskidir (1990 en sonuncudur). O zamandan beri birçok önemli gelişme olduğunu varsayıyorum. Bu alandaki mevcut standart nedir? Ayrıca lütfen beni bir aptalın …

19 algorithms  distributed-systems  board-games 

Giriş grafik dersleri genellikle bir sahne oluşturmak için bir ışın izleyici oluşturmanızı isteyen bir projeye sahiptir. Gravür okuluna giren birçok grafik öğrencisi ışın izleme üzerinde çalışmak istediklerini söylüyor. Ve yine de ışın izleme SIGGRAPH gibi mekanlarda ölü bir alan gibi görünüyor. Işın izleme gerçekten istenen tüm aydınlatma vb. İle bir …

19 graphics 

Son zamanlarda, başlatılması gerekmeyen dizilere sahip olmanın mümkün olduğunu okudum, yani her bir üyeyi varsayılan değere ayarlamak için zaman harcamak zorunda kalmadan bunları kullanmak mümkün. yani diziyi, başlatmaya gerek kalmadan varsayılan değer tarafından başlatılmış gibi kullanmaya başlayabilirsiniz. (Üzgünüm, bunu nerede okuduğumu hatırlamıyorum). Örneğin, bunun neden şaşırtıcı olabileceğine dair: Diyelim ki …

19 data-structures  arrays 

İzin Vermek L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Mı düzenli?LLL Bu soru ilk bakışta şüpheli görünüyordu ve bunun ikili ana varsayımla bağlantılı olduğunu fark ettim . Benim sorunum, varsayımın henüz çözülmediği için, dilin düzenli olduğuna …

19 formal-languages  automata  regular-languages  finite-automata 

De Morgan Yasası genellikle bilgisayar bilimleri dersi için bir giriş matematikte tanıtılmaktadır ve bunu sık sık terimleri reddederek VE'dan VEYA'ya çevirmenin bir yolu olarak görüyorum. Bunun neden doğruluk tablolarını hatırlamaktan ziyade işe yaradığına dair daha sezgisel bir açıklama var mı? Bana göre bu kara büyü kullanmak gibidir, daha az matematiksel …

19 logic  discrete-mathematics  didactics 

Hromkovič'in Zor Sorunlar Algoritmasında (2. baskı) bu teorem vardır (2.3.3.3, sayfa 117): Bir (Karar verilebilen) karar sorun vardır , öyle ki her bir algoritma için çözer bu bir algoritma var olan de çözer ve ek yerine getirmektirA P A ′ PPPPAAAPPPA′A′A'PPP ∀∞n ∈ N . T i m ebir'( n …

19 complexity-theory 

Hesaplama teorisinde ders alan bir yüksek lisans öğrencisiyim ve istendiğinde içerik üretmekte ciddi sorun yaşıyorum. Ders kitabını (Michael Sipser tarafından Hesaplama Teorisine Giriş) ve dersleri takip edebiliyorum; ancak bir şeyi kanıtlaması ya da belirli bir TM'nin resmi bir tanımını bulması istendiğinde boğuldum. Bu gibi durumlarda ne yapabilirim? Sanırım benim sorunum, …

19 computability  education  intuition 

Profesörümüz bizden OCaml'de böyle bir işlevi düşünmemizi istedi 'a -> 'b yani bir argümanın herhangi bir şey olabilen ve farklı bir şey döndürebilen bir işlevi. raiseArgümanını göz ardı eden bir işlevde kullanmayı düşündüm : let f x = raise Exit Ancak profesör, standart kütüphanede herhangi bir işlev gerektirmeyen bir çözüm …

19 programming-languages  typing  functional-programming 

Sipser'in "Hesaplama teorisine giriş", sayfa 286'da 3SAT'tan Hamilton yolu sorununa bir azalma var. Daha basit bir azalma var mı? Daha basit bir ifadeyle, (öğrenciler için) anlaşılması daha kolay bir indirgeme kastediyorum. Doğrusal sayıda değişken kullanan bir azalma var mı? Sipser'deki azalma, cümlelerinin sayısı ve değişkenlerin sayısı olduğu değişkenlerini kullanır . …

19 complexity-theory  np-hard 

Birçok işletim sistemi referansı, kooperatif (önleyici yerine) çoklu görevle, bir işlemin CPU'yu açıkça gönüllü olarak askıya alıncaya kadar koruduğunu söylüyor. Çalışan bir işlem, hemen karşılanamayan bir G / Ç isteği gerçekleştirirse (örneğin, henüz kullanılamayan bir tuş darbesi ister), zamanlayıcı bunu askıya alır mı veya istek hizmet verilinceye kadar gerçekten CPU'yu …

19 operating-systems  process-scheduling 

Bir süredir dinamik programlama üzerinde çalışıyorum. Dinamik bir programlama özyinelemesini değerlendirmenin standart yolu, gerekli tüm değerlerin bir tablosunu oluşturmak ve satır satır doldurmaktır. Giriş için Cormen, Leiserson ve ark.'nın "Algoritmalara Giriş" bölümüne bakınız . Tablo tabanlı hesaplama şemasına iki boyutta (satır satır doldurma) odaklanıyorum ve hücre bağımlılıklarının yapısını araştırıyorum, yani …

19 algorithms  dynamic-programming 

Tip kontrol algoritmaları hakkında kişisel bir bibliyografik araştırma başlatıyorum ve bazı ipuçları istiyorum. En sık kullanılan tip kontrol algoritmaları, stratejileri ve genel teknikler nelerdir? Özellikle, C ++, Java 5+, Scala veya diğerleri gibi yaygın olarak bilinen güçlü statik yazılan dillerde uygulanan karmaşık tür denetleme algoritmalarıyla ilgileniyorum. IE, temel dilin çok …

19 algorithms  programming-languages  reference-request  type-checking 

Set farkı operatörü (örneğin, EXCEPTbazı SQL varyantlarında) ilişkisel cebirin birçok temel operatöründen biridir. Bununla birlikte, set farkı operatörünü doğrudan desteklemeyen, ancak LEFT JOIN(bir tür dış birleşimi) destekleyen bazı veritabanları vardır ve pratikte bu, aynı etkiyi elde etmek için ayarlanmış bir fark işlemi yerine kullanılabilir. Bu, bir sorgu dilinin ifade gücünün, …

19 database-theory  relational-algebra  finite-model-theory