Pertanyaan yang diberi tag «real-numbers»

Seorang siswa baru-baru ini meminta saya untuk memeriksa bukti kekerasan NP untuk mereka. Mereka melakukan pengurangan sepanjang garis: Saya mengurangi masalah ini P′P′P' yang dikenal sebagai NP-lengkap untuk masalah saya PPP (dengan banyak-satu pengurangan poli-waktu), jadi PPP adalah NP-keras. Jawaban saya pada dasarnya: Karena PPP memiliki instance dengan nilai-nilai dari …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Sebagian besar tutorial tentang Lambda Calculus memberikan contoh di mana Integer Positif dan Boolean dapat diwakili oleh Fungsi. Bagaimana dengan -1 dan saya?

14 data-structures  lambda-calculus  integers  real-numbers 

Bagaimana bisa diputuskan apakah memiliki beberapa urutan digit? ππ\pimengilhami saya untuk bertanya apakah variasi yang tampak tidak bersalah berikut ini dapat dihitung: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal …

11 computability  real-numbers 

Titik mengambang saat ini (ANSI C float, dobel) memungkinkan untuk mewakili perkiraan bilangan real. Apakah ada cara untuk merepresentasikan bilangan real tanpa kesalahan ? Inilah ide yang saya miliki, yang sama sekali tidak sempurna. Misalnya, 1/3 adalah 0,33333333 ... (basis 10) atau o.01010101 ... (basis 2), tetapi juga 0,1 (basis …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

Apakah "teorema Padi untuk real yang dapat dihitung" - yaitu, tidak ada properti nontrivial dari angka yang diwakili oleh real komputer yang diberikan yang dapat ditentukan - benar? Apakah ini sesuai dengan beberapa cara langsung dengan keterhubungan real?

10 computability  real-numbers  computable-analysis 

COQ adalah prover teorema interaktif yang menggunakan kalkulus konstruksi induktif, yaitu sangat bergantung pada tipe induktif. Dengan menggunakan itu, struktur diskrit seperti bilangan asli, bilangan rasional, grafik, tata bahasa, semantik, dll terwakili dengan sangat ringkas. Namun, karena saya mulai menyukai asisten bukti, saya bertanya-tanya apakah ada perpustakaan untuk struktur tak …

8 probability-theory  coq  real-numbers  uncountability