Pertanyaan yang diberi tag «computable-analysis»

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 

Misalkan saya diberi satu set terbatas poin di pesawat, dan diminta untuk menggambar kurva C ( P ) yang dapat dibedakan dua kali melalui p i , sedemikian sehingga perimeternya sekecil mungkin. Dengan asumsi p i = ( x i , y i ) dan x i < x i …

11 complexity-theory  np-hard  optimization  computable-analysis 

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