Bilgisayar Bilimi

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

1
İki veya üç sorguda bir polinom bulun
kara kutusu , polinom f ( x ) 'i herhangi bir noktada değerlendirebileceğim anlamına gelir .f(x)f(x)f(x)f(x)f(x)f(x) Girdi : d derece siyah monik polinom kutu .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Çıktı: Polinom f ( x ) ' nin katsayıları .dddf(x)f(x)f(x) Algoritmam: let f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + …
2
Programın Doğruluğu, Şartname
Wikipedia'dan: Teorik bilgisayar biliminde, algoritmanın bir spesifikasyona göre doğru olduğu söylendiğinde bir algoritmanın doğruluğu iddia edilir. Ancak sorun, "uygun" şartnameyi elde etmenin önemsiz bir görev olmaması ve doğru olanı elde etmek için% 100 doğru bir yöntem (bildiğim kadarıyla) olmaması, sadece bir tahmin, yani sadece "biri" gibi "göründüğü" için bir şartname …
2
Büyük tam sayıları çarpanlara ayırmak neden zor olarak değerlendiriliyor?
En verimli bir algoritma faktörler hesaplayabilir bulunan bir yerde okumak zaman, ama yazdığı kod O ( n ) ya da Muhtemelen O ( n log n ) bölünme ve modülün ne kadar hızlı olduğuna bağlı olarak ... Bir yerde bir şeyleri yanlış anladığımdan eminim, ama nerede olduğundan emin değilim.O(exp((64/9⋅b)1/3⋅(logb)2/3)O(exp⁡((64/9⋅b)1/3⋅(log⁡b)2/3)O(\exp((64/9 \cdot …
4
İşletim Sistemi, yönetmesi gereken aynı yonga üzerinde nasıl çalışabilir?
İşletim Sistemleri hakkındaki okumalarımdan (Wikipedia, teknik siteler vb. Temel materyalleri okuyarak) İşletim Sisteminin, programların ve uygulamaların donanımla etkin ve güvenli bir şekilde etkileşime girmesini sağlayan bir program olduğunu öğrendim. Ancak, işletim sisteminin kendisi çalıştırılması gerektiğinde bilgisayarın çalışmasını nasıl denetlediğiyle ilgili kafam karıştı. Ne demek istiyorum? Bir İşletim Sisteminin çalışmasını hayal …
3
Boş düğümleri temsil etmek için NIL kullanmanın amacı nedir?
Benim içinde Algoritmalar ve Veri Yapıları Tabii, profesörler, slaytlar ve kitap ( Algoritmalar, 3 baskısına giriş ) kelimesini kullanıyoruz NILörneğin mevcut değil (ağaçta) bir düğümün bir çocuk göstermek için. Bir keresinde, bir ders sırasında, söylemek yerine, NILsınıf arkadaşım dedi nullve profesör onu düzeltti ve profesörlerin bu kelimeyi neden vurguladığını anlamıyorum. …
4
Bir çift çakışmayan bit vektörü bulma
Size k genişliği nnn bitvector'larının bir listesini veriyorum . Amacınız, listeden ortak 1'si olmayan iki bitvector döndürmek veya böyle bir çiftin olmadığını bildirmektir.kkk Örneğin, size verirsem [00110,01100,11000][00110,01100,11000][00110, 01100, 11000]tek çözüm {00110,11000}{00110,11000}\{00110, 11000\} . Alternatif olarak, girişin [111,011,110,101][111,011,110,101][111, 011, 110, 101] çözümü yoktur. Ve tamamen sıfır bitvector 000...0000...0000...0 ve başka bir …
4
Bilgisayar Programlarını teknik özelliklerinden yazan bir Sistem Aslında Yapılmış mı?
Hiç kimse bilgisayar programları üreten bir sistem (yazılım veya basit örnekler ile kağıt üzerinde ayrıntılı bir açıklama) yazdı mı? girdim ve küçük asal sayıları listeleyen bir program oluşturur. basitçe Profesörler yapabileceklerini söylüyor ancak kimse gerçek tam örnekler vermiyor.Prime(x)∧x&lt;10Prime(x)∧x&lt;10Prime(x) \wedge x<10Prime(x)Prime(x)Prime(x)1&lt;x∧∄As.t.1&lt;A∧A&lt;x∧x=A×B, with A,B∈N1&lt;x∧∄As.t.1&lt;A∧A&lt;x∧x=A×B, with A,B∈N1<x \wedge \not\exists A\; s.t. 1<A \wedge …
3
“Yumuşak” gerçek zamanlı işletim sistemlerinin sağladığı garantiler aslında
Sanırım "zor" gerçek zamanlı bir işletim sisteminin ne olduğunu biliyorum. Uygulama programcısı ile sözleşme sağlayan bir programlayıcıya sahip bir işletim sistemidir. Bir uygulama, her kaynak ayırma isteği için bir son tarih sağlar. Eğer son başvuru isteklerdir uygulanabilir , zamanlayıcı her kaynak tarihinden önce istekte bulunan uygulamaya tahsis edileceğini garanti eder. …
3
Yol indüksiyonu yapıcı mıdır?
İçinden okuyorum HOTT kitapta ve yol indüksiyon ile zor anlar var. I bölümünde tip baktığımızda 1.12.1 : bunun ne anlama geldiğini anlamada bir sorunum yok (bunu kontrol etmek için türü bellekten yazdım).ind=bir: ∏C: ∏x , y: A( x =biry) → U( ( ∏x : AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} …
3
Tüm girdilerde duran bir TM var mı, ancak bu özellik kanıtlanabilir değil mi?
Tüm girdileri durduran bir Turing makinesi var mı, ancak bu özellik bir nedenden dolayı kanıtlanamaz mı? Bu sorunun incelenip incelenmediğini merak ediyorum. "Kanıtlanamaz", "sınırlı" bir kanıt sistemi anlamına gelebilir (zayıf anlamda cevabın evet olması gerektiğini düşünür). Tabii ki mümkün olan en güçlü cevaba, yani ZFC set teorisindeki ya da her …
8
OOP uygulamada hangi prosedürel programlama problemlerini çözüyor?
"C ++ Demystified" kitabını inceledim . Şimdi okumaya başladım "Turbo C ++ birinci basımda Nesneye Yönelik Programlama (1. basım)" Robert Lafore'nin . Bu kitapların ötesinde programlama bilgim yok. Bu kitap eski olabilir çünkü 20 yaşında. En son sürüme sahibim, eskiyi kullanıyorum çünkü beğendim, esas olarak sadece C ++ 'da kullanılan …
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.