Bilgisayar Bilimi

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

2
Boş dize için λ'nın kökeni nedir?
Genellikle boş dizgi (boş sözcük veya boş dize) için sembolünü kullanırım . Ama bazı insanların yerine kullandığını biliyorum .λ εεε\varepsilonλλ\lambdaεε\varepsilon Ben "Boş" kelimesinden türetilmiştir düşünüyorum . Ancak kökeni nedir bilmiyorum .λεε\varepsilonλλ\lambda Otomata teorisinde, otomatanın epsilon geçişi vardır ve bunun da lambda geçişi olduğu söylenir. Örneğin, JFLAP yazılımı varsayılan olarak epsilon …
5
Ne elemanları maksimal kümesini bulmak için
Algoritmik bir sorunum var. TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Örneğin: Eğer = [1, 3, 4, 1, 3, 6], daha sonra olabilir [3, 3, 6] ya da [3, 4, 6] veya [4, 3, 6].TTTSSS İçinde = [7, 5, 1, 1, 7, 4], daha sonra [7, 5, 7, 4].TTTSSS Bu özyinelemeli işlevi denedim. function(T): …
2
Anlamsal anlambilim, işletimsel anlambilimin cevaplayamayacağı sorular nelerdir?
Programlama dillerini tanımlamak için operasyonel anlambilim (hem küçük hem de büyük adım) hakkında bilgi sahibiyim. Ben de anlamsal semantiği öğrenmekle ilgileniyorum, ama çabaya değip değmeyeceğinden emin değilim. Aynı materyali farklı bir bakış açısıyla öğrenecek miyim, yoksa yalnızca anlamsal anlambilimi anlayarak elde edebileceğim bilgiler var mı?
1
Zor bir karar probleminin sayım varyasyonu neden otomatik olarak zor değil?
2-SAT'ın P'de olduğu iyi bilinmektedir. Bununla birlikte, verilen bir 2-SAT formülüne çözüm sayısını saymanın, yani # 2-SAT'ın # P-sert olması oldukça ilginç görünmektedir. Yani, kararının kolay olduğu, ancak saymanın zor olduğu bir sorun örneğimiz var. Ancak keyfi bir NP-tam problemi düşünün (3-COL deyin). Sayma varyantının sertliği hakkında hemen bir şey …
2
İkili arama ve enterpolasyon aramasını birleştirmenin arkasında herhangi bir çalışma veya teori var mı?
Az önce okudum Bu algoritma hala bir İkili Arama algoritması olarak kabul edilebilir mi? ve birkaç yıl önce tarih / saat penceresine göre büyük düz metin dosyalarındaki günlük girdilerini bulmak için bir dizinleyici / günlük dosyaları aradığımı hatırladım. Bunu yaparken enterpolasyon aramayı denemeye karar verdim (buna ne denildiğini bilmiyordum, bu …
3
Sudoku bulmacasına bir çözüm bulmak ve çözümün benzersiz bir çözüm olduğunu kanıtlamak arasında ne kadar karmaşıklık farkı olabilir?
Yani genellikle Sudoku ise , ancak bu soru kadar uzanır n 2 × n 2 ile bulmaca n > 3 sıra. Sudoku bulmacasına bir çözüm bulmada ilerleme sağlayabilecek birçok polinom zaman indirimi kuralı vardır. Ancak, bir hücrenin değerini veya hücre değerlerinin bir kombinasyonunu ortadan kaldırmak için bazen değerleri tahmin etmek …
3
Hangi araştırma dilleri Haskell'den daha güçlü bir dizgi sistemine sahiptir ve neden?
İşte bunu okudum: Haskell kesinlikle en gelişmiş tip sistemine sahip değildir (araştırma dillerini sayarsanız bile yakın değildir), ancak aslında üretimde kullanılan tüm dillerden Haskell muhtemelen en üsttedir. Bu yüzden iki şey soruyorum: hangi araştırma dillerinin Haskell'den daha güçlü tip sistemlere sahip olduğu; ne geliştiriyorlar. Ben sadece bir programcıyım, bu yüzden …
7
Bir program CPU seviyesinde nasıl yürütülür?
Bunun çok yaygın bir soru olduğunu biliyorum. Ama aklımda farklı bir açı var. Sadece burada ifade etmeye çalışacağım. Bildiğim kadarıyla, bir CPU'nun yürüttüğü her komut makine dilinde ve ALU ve transistörleri sayesinde (donanım seviyesine gidersek) bazı aritmetik işlemler yapmaktır. Ancak bu yazı yazmaktan daha kolaydır. Peki tüm CPU ekliyor, çıkarıyor …
1
Kombinatoryal ILP algoritması için bilinen en hızlı karmaşıklık?
Merak ediyorum, Tamsayı Doğrusal Programlama'yı çözmek için Big- gösterimi açısından en iyi bilinen algoritma nedir?ÖOO Sorunun olduğunu biliyorum , bu yüzden polinom bir şey beklemiyorum. CPLEX gibi pratik uygulamalarda kullanılan birçok buluşsal yöntem ve bunun olduğunu biliyorum, ancak daha kesin bir algoritmanın resmi, en kötü durum karmaşıklığıyla ilgileniyorum.N-PNPNP Bazı -Komple …
1
Karp-Lipton teoreminin kanıtı
"Hesaplamalı Karmaşıklık: Modern bir yaklaşım" (2009) kitabında belirtildiği gibi Karp-Lipton teoreminin kanıtını anlamaya çalışıyorum. Özellikle, bu kitap aşağıdakileri belirtir: Karp-Lipton teoremi Eğer NP , daha sonra pH .P ∖ p o l y = Σ p 2⊆⊆\subseteq P∖ p o l yP∖polyP_{\backslash poly} = Σp2=Σ2p= \Sigma^p_2 Korumalı: teoreminin 5.4 ile …
1
Turing Decidable Problemleri Sınıfı için Tam Bir Sorun Var mı?
Gibi diller olan RE tamamlama birçok kimse indirimleri altında. Co-RE'nin de tam sorunları olduğunu görmek önemsizdir . S. Schmitz [1], ELEM ve REC arasındaki bazı sınıfları dikkate almaktadır . Bu sınıflar için özel hazırlanmış indirimler altında tam problemler ortaya koyarlar.DURTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} İçin komple sorun var mı (diğer adıyla KAYIT ) göreli …
2
İfade denkliği için etkili bir algoritma var mı?
örneğin ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) İfadeler sıradan lise cebirindendir, ancak ters, çıkarma veya bölme olmadan aritmetik toplama ve çarpma (örn. ) ile sınırlıdır . Harfler değişkenlerdir.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Eğer yardımcı olursa, dışındaki sayısal değerlerle temsil edilen herhangi bir ifadeyi yasaklayabiliriz ; yani x 2 veya 3 x veya 4 değil :111x2x2x^23x3x3x444 çok hatlı , …
2
Reel sayılarla belirlenmiş karmaşıklık sınıfları var mı?
Bir öğrenci kısa süre önce benden onlar için bir NP sertlik kanıtı kontrol etmemi istedi. Şunlar boyunca bir azalma gerçekleştirdiler: Bu sorun azaltmak NP-tam benim problem için olduğu bilinir böylece (a poli-zamanlı birçok kimse azalma ile birlikte) NP-zor. P PP'P′P'PPPPPP Cevabım temel olarak: Yana değerlerle örneği var Eğer azalma atlamak …
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.