«examples» etiketlenmiş sorular

10/12/08 AT EDIT: Soruyu değiştirmeye çalışacağım, böylece daha fazla insanın fikirlerini paylaşması ilgisini çekebilir. Katkılarınız İHTİYACINIZ VAR! Bu yazı, MO'da birinden esinlenmiştir: Matematikte ortak yanlış inanç örnekleri . Büyük listeler bazen nitelikleri kontrol etmesi zor olan çok sayıda cevap üretmektedir, ancak MO ile ilgili yazının başarısından sonra, TCS'deki bir takım …

62 big-list  examples 

Bu sorunun amacı, bilgisayarların sistematik kullanımının yardımcı olduğu teorik bilgisayar biliminden örnekler toplamaktır. Bir teoremi yönlendiren bir varsayım oluşturmada, Bir varsayım veya ispat yaklaşımını tahrif etmek, bir kanıtı oluşturmak / doğrulamak (bölümlerini). Belirli bir örneğiniz varsa, lütfen nasıl yapıldığını açıklayın. Belki de bu, başkalarının günlük araştırmalarında bilgisayarları daha etkili kullanmalarına …

55 proofs  survey  examples 

Optimal bir çözüm üretmenin, belirli bir aday çözümün kalitesini değerlendirmekten çok daha kolay olduğu bilinen herhangi bir optimizasyon problemi örneği var mı? Somutluk için, şu formdaki polinom-zaman çözülebilir optimizasyon problemlerini düşünebiliriz: "verilen x, simge durumuna küçültme ", burada diyelim ki # P zor. Bu tür sorunlar açıkça var (örneğin, hesaplanmasa …

10 cc.complexity-theory  optimization  examples 

"1965 makalesinde algoritmalarının hesaplama karmaşıklığı üzerine Hartmanis ve Stearns tarafından" yazarlar gerçek zamanlı Turing Makinesi gerçek sayı hesaplar eğer varsayım örneğin içinde, taban 10, daha sonra r ya bir rasyonel sayı veya bir aşkın sayı.rrrrrr Örneğin, temel 10'da gerçek zamanlı bir Turing makinesi tarafından hesaplanamayan hesaplanabilir bir aşkın sayı var …

10 cc.complexity-theory  reference-request  examples 

Let bir alfabe, yani boş olmayan bir sonlu ayarlanmalıdır. Dize, öğesinden herhangi bir sonlu öğe dizisidir (karakter) . Örnek olarak, ikili alfabe veΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 bu alfabe için bir dizedir. Genellikle, ΣΣ\Sigma 1'den fazla öğe içeriyorsa, ΣΣ\Sigmaönemli değil: en iyi ihtimalle bir yerlerde farklı bir sabitle karşılaşırız. Başka bir deyişle, …

9 big-list  encoding  examples