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...
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...
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...
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...
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,...
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...
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....