Bilgisayar Bilimi

Bu saçma bir soru olabilir, ancak girdilerin boyutu büyüdükçe gerçekten kolaylaşan bir problemin olması mümkün mü? Herhangi bir pratik sorunun bu şekilde olduğundan şüpheliyim ama belki de bu özelliğe sahip dejenere bir problem yaratabiliriz. Örneğin, belki büyüdükçe “kendini çözmeye” başlar veya başka bir tuhaf şekilde davranır.

62 algorithms  asymptotics 

İnsanların paralel hesaplamalardan ve dağıtılmış bilgisayarlardan bahsettiğini sık sık duyuyorum , ancak bu ikisi arasında net bir sınır olmadığı izlenimini edindim ve insanlar çok farklı olduğuna inanırken, bunu oldukça kolay karıştırıyorlar: Paralel hesaplama, çoklu iş parçacığına veya tek bir CPU'dan nasıl tam olarak yararlanılacağına daha sıkı bir şekilde bağlıdır. Dağıtılmış …

61 terminology  distributed-systems  parallel-computing 

Bir sözde rasgele sayı üretecinin kullanıldığı birçok uygulama vardır. Böylece insanlar, daha sonra kusurlu olduğunu bulmak için harika olduğunu düşündüklerini uygularlar. Son zamanlarda Javascript rasgele sayı üretecinde böyle bir şey oldu. RandU da daha erken. Twister gibi bir şey için uygun olmayan ilk tohumlama sorunları da var. İki veya daha …

60 pseudo-random-generators  random-number-generator 

Durma sorununun (Turing Makineleri üzerinde) Turing Makineleri için kararsız olduğunu biliyoruz. İnsan zihninin bu sorunla ne kadar iyi başa çıkabileceği, muhtemelen Turing Makineleri veya genel amaçlı bilgisayarların yardımı ile ilgili bir araştırma var mı ? Not : Açıkçası, en katı anlamda, her zaman hayır diyebilirsiniz, çünkü tek bir insanın hayatında …

60 computability  turing-machines  halting-problem  human-computing 

Rasgele grafikler üreten bir komut dosyası yazmaya çalışıyorum ve ağırlıklı grafikteki bir kenarın 0 değerine sahip olup olmadığını bilmem gerekiyor. Aslında 0'ın bir kenarın ağırlığı olarak kullanılabileceği anlaşılıyor, ancak son birkaç gündür grafiklerle çalışıyorum ve bunun bir örneğini hiç görmedim.

60 algorithms  graph-theory  graphs  weighted-graphs 

, ve gibi karmaşıklıkların makul bir kavrayışına sahip olduğuma inanıyorum .Θ ( n ) Θ ( n- 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Liste açısından, sürekli bir aramadır, bu yüzden listenin başına geçiyor. , tüm listeyi yürüdüğüm yer ve listedeki her öğe için listeyi bir kez yürüyor.Θ ( n ) Θ ( n- 2 …

59 algorithms  complexity-theory  time-complexity  intuition 

Ben boolean değerleri göstermek için bazı değişkenleri olan bir tamsayı doğrusal program (ILP) var . 'in tam sayı olduğu ve tutmak için kısıtlı olarak ya 0 ya da 1 ( ).x i 0 ≤ x i ≤ 1xixix_ixixbenx_i0≤xi≤10≤xben≤10 \le x_i \le 1 0/1 değerli değişkenler üzerinde boole işlemlerini doğrusal kısıtlamalar …

58 linear-programming  integer-programming 

Birileri bağımlı tipler ile arıtma tipleri arasındaki farkı açıklayabilir mi? Anladığım kadarıyla bir geliştirme türü, bir yüklemeyi yerine getiren bir türün tüm değerlerini içerir. Onları ayıran bağımlı türlerin bir özelliği var mı? Eğer yardımcı olursa, Liquid Haskell projesi ile Rafine tiplerine ve Coq ve Agda üzerinden bağımlı tiplere rastladım. Bu, …

57 terminology  programming-languages  type-theory  functional-programming  dependent-types 

1 ile 100 arasında bir anahtar değerler listesine sahipsem ve bunları 11 kova dizisinde düzenlemek istiyorsam mod işlevi oluşturmam öğretildi. H=kmod 11H=kmod 11 H = k \bmod \ 11 Şimdi tüm değerler 9 satırda birbiri ardına yerleştirilecektir. Örneğin, ilk kovada 0,11,22…0,11,22…0, 11, 22 \dots . İkincisi, 1,12,23…1,12,23…1, 12, 23 \dots …

57 data-structures  hash  hash-tables  primes 

Bu derleme programlama dersinde 8 bitin veri için kullanıldığını, 1 bitlik parite için olduğunu, sonra da parite hatasını (donanım arızası veya elektriksel bozulma nedeniyle) tespit etmek için kullanıldığını okudum . Bu doğru mu?

56 computer-architecture  numeral-representations 

sorununu yüksek düzeyde anlıyorum ve sağlanan bir çözümle gerçek olacağı kesin olarak "kanıtlanmış" olsaydı, bilgisayar bilimleri alanında sayısız problemi çözmenin kapısını açacağını anlıyorum.P= NPP=NPP=NP Sorum şu ki, eğer birisi tartışılmaz ve yapıcı bir kanıtını yayınlayacaksa , böyle bir keşifte göreceğimiz acil etkilerden bazıları nelerdir? P= NPP=NPP=NP 5-10 yıl içinde dünyanın …

56 complexity-theory  p-vs-np 

Birçoğu inanıyor gibi görünmekle birlikte , birçoğu bunun kanıtlanabileceği ihtimalinin çok düşük olduğuna inanıyor. Buna bir tutarsızlık yok mu? Böyle bir ispatın mümkün olmadığına karar verirseniz, P ≠ N P için ses argümanlarının eksik olduğuna da inanmalısınız . Veya P ≠ N P'nin , sayıları benzer olmayan bir şekilde, büyük …

55 complexity-theory  p-vs-np 

Turing Complete olarak kabul edilmesi için bir programlama dilinde bir dizi programlama dili yapısı var mı? Wikipedia'dan söyleyebileceğimden , dilin özyinelemeyi desteklemesi gerekiyor ya da görünüşte durmadan çalışabilmesi gerekiyor. Hepsi bu kadar mı?

55 computability  programming-languages  turing-machines  turing-completeness 

Lise çalışmalarım sırasında birçok sıralama algoritmasına rastladım. Ancak hangisinin en hızlı olduğunu asla bilemem (rastgele bir tamsayılar dizisi için). Yani benim sorularım: Şu anda bilinen en hızlı sıralama algoritması hangisi? Teorik olarak, daha hızlı olanlar olması mümkün mü? Peki, sıralama için en az karmaşık olan nedir?

55 algorithms  time-complexity  optimization  sorting 

Bir derleyicinin zaman karmaşıklığıyla ilgileniyorum. Açıkçası bu çok karmaşık bir sorudur çünkü birçok derleyici, derleyici seçeneği ve dikkate alınması gereken değişkenler vardır. Özellikle, LLVM ile ilgileniyorum ancak insanların araştırma yapmaya başlayabilecekleri veya yerleri olabileceği düşünceleriyle ilgileneceğim. Oldukça google çok az şey getiriyor. Benim tahminim üstel, ancak gerçek zaman üzerinde çok …

54 compilers