Pertanyaan yang diberi tag «computability»

Biarkan sizesizesize dari λλ\lambda -terms didefinisikan sebagai berikut: size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Biarkan kompleksitas -term didefinisikan sebagai jumlah reduksi beta paralel dari ke bentuk normalnya (menggunakan evaluator optimal dalam pengertian Levy).t t xλλ\lambdattttxtxt x Saya …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

"Nama permainan angka terbesar" meminta dua pemain untuk menuliskan angka secara diam-diam, dan pemenangnya adalah orang yang menuliskan angka yang lebih besar. Gim ini biasanya memungkinkan pemain untuk menuliskan fungsi yang dievaluasi pada suatu titik, jadi 222222222^{2^{2^{2}}} juga akan menjadi hal yang dapat diterima untuk dituliskan. Nilai fungsi Beaver Sibuk, …

11 computability  undecidability 

Istilah pertama digunakan oleh Hilbert dalam karyanya tahun 1928, tetapi dalam karya Gödel kemudian, hal yang sama disebut sebagai Unvollständigkeitssatz ("teorema ketidaklengkapan"). Untuk peneliti CS Jerman saat ini, tampaknya Unvollständigkeitssatz lebih umum digunakan, dan Entscheidungsproblem ("masalah keputusan") masih dipahami, tetapi belum tentu dikaitkan dengan das Halteproblem (yang tampaknya lebih umum …

11 lo.logic  computability  ho.history-overview 

Ada teori grafik algoritmik / teori bilangan / kombinatorik / teori informasi / teori permainan. Apakah ada analisis matematis algoritmik? Menurut wiki, analisis matematis mencakup teori diferensiasi, integrasi, ukuran, batas, deret tak hingga, dan fungsi analitik. Tidak masalah untuk fokus pada analisis nyata (wiki) yang berkaitan dengan bilangan real dan …

11 cc.complexity-theory  reference-request  soft-question  computability 

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 

Apakah ada cara terdokumentasi untuk menghitung simpul? (Lingkaran tertanam dalam ruang Euclidean 3 dimensi). Maksud saya, tipe data untuk mewakili mereka, dan suatu algoritma untuk menentukan apakah dua contoh dari tipe data mewakili simpul yang sama. Jika jawabannya positif, bagaimana dengan kompleksitas masalah itu?

11 ds.algorithms  computability 

Ini mungkin pertanyaan yang naif, tapi begini saja. (Sunting - ini tidak mendapatkan upvotes, tetapi tidak ada yang menawarkan tanggapan; mungkin pertanyaannya lebih sulit, tidak jelas, atau tidak jelas daripada yang saya kira?) Teorema Ketidaklengkapan Pertama Gödel dapat dibuktikan sebagai akibat wajar dari ketidakpastian masalah penghentian (misalnya Sipser Bab 6; …

11 lo.logic  computability  church-turing-thesis 

Masalah berikut dapat diputuskan: Diberi tata bahasa bebas konteks , apakah ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Masalah berikut tidak dapat diputuskan: Diberi tata bahasa bebas konteks , apakah ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Apakah ada karakterisasi bahasa bebas konteks dengan kesetaraan decidable ?MMML(G)=ML(G)=ML(G) = M

11 computability  fl.formal-languages 

Apakah mungkin untuk membangun suatu algoritma yang mengambil sebagai input suatu pushdown automaton bersama dengan janji bahwa bahasa yang diterima oleh automaton ini L ( M ) adalah bahasa bebas bebas konteks-deterministik dan menghasilkan sebuah otomatisasi pushdown deterministic N yang menerima secara tepat bahasa yang diterima oleh M ?M.MML ( …

11 reference-request  computability  fl.formal-languages  automata-theory 

Saya tahu bahwa pertanyaan "apakah formula orde pertama memiliki model" tidak dapat diputuskan secara umum.ϕϕ\phi Adakah yang bisa memberi saya tautan atau buku yang memberikan jawaban untuk model yang terbatas. Jika saya memiliki rumus urutan pertama , apakah dapat diputuskan apakah ϕ memiliki model terbatas? Saya cukup yakin bahwa pertanyaannya …

11 reference-request  lo.logic  computability  finite-model-theory 

Apakah ada gagasan tentang komputabilitas pada set selain bilangan asli? Demi argumen, katakanlah pada set SSS yang biject dengan NN\mathbb{N} . Sangat menggoda untuk mengatakan "ya, mereka adalah fungsi-fungsi dari bentuk g∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1} mana ggg adalah setiap penambangan N→SN→S\mathbb{N} \to S dan fff adalah setiap fungsi yang …

10 computability 

Pertimbangkan permainan 2-pemain berikut: Alam secara acak memilih program Setiap pemain memainkan angka dalam [0, tak terbatas] inklusif sebagai respons terhadap gerakan alam Ambil jumlah minimum pemain, dan jalankan program untuk (hingga) banyak langkah (kecuali kedua pemain memilih angka tak terbatas) Jika program terhenti, pemain yang memainkan angka minimum memperoleh …

10 lo.logic  computability  gt.game-theory 

Masalah telah, secara keseluruhan, diklasifikasikan, berkat Kompleksitas Komputasi. Tetapi, dalam persamaan diferensial, apakah mungkin untuk mengklasifikasikan persamaan diferensial tergantung pada struktur komputasinya? Sebagai contoh, jika persamaan non-homogen orde pertama secara komparatif sulit untuk diselesaikan daripada, katakanlah, persamaan homogen urutan ke-100, dapatkah mereka digolongkan sebagai kelas konveksitas yang terpisah, mengingat metode …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Pertanyaan ini adalah tentang apakah ada tarpit Turing reversibel yang dikenal, di mana "reversibel" berarti dalam arti Axelsen dan Glück , dan "tarpit" adalah konsep yang jauh lebih informal (dan mungkin bukan pilihan kata yang sangat baik), tapi saya akan melakukan yang terbaik untuk menjelaskan apa yang saya maksud dengan …

10 fl.formal-languages  computability  machine-models 

Konteks : Kavvadias dan Sideri telah menunjukkan bahwa masalah Inverse 3-SAT adalah coNP Lengkap: Diberikan satu set model pada n variabel, apakah ada rumus 3-CNF sehingga ϕ adalah set model yang tepat? Formula kandidat langsung muncul yang merupakan gabungan dari semua 3-klausa yang dipenuhi oleh semua model dalam ϕ .ϕϕ\phinnnϕϕ\phiϕϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat