«computable-analysis» etiketlenmiş sorular

Arka fon Gerçek sayılarla yapılan hesaplama, doğal sayılarla yapılan hesaplamaya göre daha karmaşıktır, çünkü gerçek sayılar sonsuz nesnelerdir ve sayılamayan çok sayıda gerçek sayılar vardır, bu nedenle gerçek sayılar sonlu dizilerle sonlu bir alfabe üzerinde sadık bir şekilde gösterilemez. Farklı hesaplama modellerinin: lambda matematiği, Turing makineleri, özyinelemeli fonksiyonlar,… gibi eşdeğer …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Bu temel bir soru olabilir, ancak Nash dengesi hesaplama ve doğrusal yozlaşma testi gibi konularda yazılar okuyup anlamaya çalışıyorum ve gerçek sayıların girdi olarak nasıl belirtildiğinden emin değildim. Örneğin, LDT'nin belirli polinom alt sınırlarının olduğu belirtildiğinde, girdi olarak değerlendirildiğinde gerçek sayılar nasıl belirlenir?

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Şu anda, en popüler dillerde gerçeklerin hesaplanması hala kayan nokta işlemleri ile yapılmaktadır. Öte yandan, ikinci tip etkililik (TTE) ve alan teorisi gibi teoriler uzun zamandır gerçeklerin kesin hesaplanmasını vaat etmişlerdir. Açıkça, kayan nokta hassasiyeti sorunu alaka açısından azalmadı, bu yüzden bu teoriler neden daha ana akım haline gelmedi ve …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Bir tamsayı vektörünün standart ayrık Fourier dönüşümünü hesaplamanın karmaşıklığı (standart tamsayı RAM üzerinde) nedir?nnn Cooley ve Tukey'e uygun olmayan [1] hızlı Fourier dönüşümleri için klasik algoritma genellikle zamanında çalışıyor olarak tanımlanır . Ancak bu algoritmada yürütülen aritmetik işlemlerin çoğu, (çoğu ) irrasyonel olan karmaşık . Birlik kökleri ile başlar , …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Sadece türsüz lambda hesabı tarafından hesaplanabilen ancak daktilo lambda hesabı ile hesaplanamayan fonksiyonların bazı örneklerini bilmek istiyorum. Yeni başlayan biri olduğum için, bazı arka plan bilgilerinin tekrarlanması takdir edilecektir. Teşekkürler. Düzenleme: Yazılan lambda calculi tarafından, Sistem F ve basitçe yazılan lambda hesap hakkında bilmek niyetindeydim. İşlev olarak, Turing uyumlu herhangi …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Bildiğimiz gibi, algoritmanın hesaplama karmaşıklığının tanımı neredeyse tartışmasızdır, ancak gerçeklerin veya hesaplama modellerinin gerçekler üzerindeki hesaplama karmaşıklığının tanımı böyle bir durumda değildir. Hesaplanabilir Analiz kitabında Blum ve Smales modelini ve modelini biliyoruz. Ve görünüşte, Hesaplanabilir Analiz'deki model klasik modelle tutarlıdır, ancak gerçeklerin hesaplama karmaşıklığının tanımı klasik modele dönüştürülemez. Gerçek ya …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Cevabı muhtemelen iyi bilinen bir sorum var, ama biraz arama yaptıktan sonra anlamlı bir şey bulamıyorum, bu yüzden biraz yardım için minnettar olurum. Sorum şu ki, bir sayının aşkın olup olmadığına karar vermek kararsızdır. Muhtemelen, giriş olarak kabul edilir, örneğin sayının i ^ bitini döndüren bir program. Herhangi bir işaretçi …

9 computability  computable-analysis