Pertanyaan yang diberi tag «computable-analysis»

Latar Belakang Perhitungan atas bilangan real lebih rumit daripada perhitungan atas bilangan alami, karena bilangan real adalah objek tak terhingga dan ada banyak bilangan real, oleh karena itu bilangan real tidak dapat dengan setia diwakili oleh string berhingga pada alfabet terbatas. Berbeda dengan komputasi klasik atas string hingga di mana …

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

Ini mungkin pertanyaan dasar, tapi saya sudah membaca dan mencoba memahami makalah tentang mata pelajaran seperti perhitungan ekuilibrium Nash dan pengujian degenerasi linier dan tidak yakin bagaimana bilangan real ditentukan sebagai input. Misalnya, ketika dinyatakan bahwa LDT memiliki batas polinomial tertentu lebih rendah, bagaimana bilangan real ditentukan ketika mereka diperlakukan …

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

Saat ini, perhitungan real dalam sebagian besar bahasa populer masih dilakukan melalui operasi floating point. Di sisi lain, teori-teori seperti tipe dua efektifitas (TTE) dan teori domain telah lama menjanjikan perhitungan real yang tepat. Jelas, masalah presisi floating point tidak berkurang dalam relevansi, jadi mengapa teori-teori ini tidak menjadi lebih …

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

Apa kompleksitas (pada RAM bilangan bulat standar) komputasi standar diskrit Fourier transform dari vektor bilangan bulat?nnn Algoritma klasik untuk transformasi Fourier cepat , yang tidak tepat [1] dikaitkan dengan Cooley dan Tukey, biasanya digambarkan sebagai berjalan dalam waktu . Tapi sebagian besar operasi aritmatika dieksekusi dalam algoritma ini mulai dengan …

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

Saya hanya ingin tahu beberapa contoh fungsi yang dapat dihitung oleh kalkulus lambda yang tidak diketik tetapi tidak dengan mengetik kalkulus lambda. Karena saya seorang pemula, beberapa pengulangan informasi latar belakang akan dihargai. Terima kasih. Sunting: dengan kalki lambda yang diketik, saya bermaksud untuk mengetahui tentang Sistem F dan kalkulus …

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

Seperti yang kita ketahui, definisi kompleksitas komputasi algoritma hampir tanpa kontroversi, tetapi definisi kompleksitas komputasi real atau model komputasi atas real tidak dalam kasus seperti itu. Kita tahu model dan model Blum dan Smales dalam buku Computable Analysis. Dan tampaknya, model dalam Analisis Komputasi konsisten dengan model klasik, tetapi definisi …

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

Saya punya pertanyaan, yang jawabannya mungkin terkenal, tetapi saya tidak bisa menemukan sesuatu yang berarti setelah sedikit pencarian, jadi saya sangat menghargai bantuan. Pertanyaan saya adalah apakah diketahui bahwa memutuskan apakah suatu angka bersifat transendental tidak dapat diputuskan. Mungkin, orang menganggap sebagai input, katakan sebuah program yang mengembalikan bit ke-i …

9 computability  computable-analysis