Ilmu Komputer

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Definisi masalah Logical Min Cut (LMC) Misalkan G=(V,E)G=(V,E)G = (V, E) adalah digraf tanpa bobot, sss dan ttt adalah dua simpul dari VVV , dan ttt dapat dijangkau dari sss …

24 complexity-theory  graph-theory  np-complete 

Saya mencoba untuk mendapatkan ide tentang bagaimana uji primitif AKS harus ditafsirkan ketika saya mempelajarinya, misalnya konsekuensi wajar untuk membuktikan bahwa PRIMES ⊆ P, atau algoritma yang sebenarnya praktis untuk pengujian primality pada komputer. Tes ini memiliki runtime polinomial tetapi dengan derajat tinggi dan konstanta tinggi yang mungkin. Jadi, dalam …

24 algorithms  efficiency  primes 

Logika konstruktivis adalah sistem yang menghilangkan Hukum Tengah yang Dikecualikan, serta Negasi Ganda, sebagai aksioma. Ini dijelaskan di Wikipedia di sini dan di sini . Secara khusus, sistem tidak memungkinkan pembuktian dengan kontradiksi. Saya bertanya-tanya, apakah ada yang akrab dengan bagaimana ini mempengaruhi hasil mengenai Mesin Turing dan bahasa formal? …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Seiring pemikiran yang sama seperti pernyataan Andrej Bauer dalam jawaban ini Komunitas Haskell telah mengembangkan sejumlah teknik yang diilhami oleh teori kategori, yang mana monad paling terkenal tetapi tidak boleh dikacaukan dengan monad . Apa hubungan antara functors di SML dan functors dalam teori Kategori? Karena saya tidak tahu tentang …

24 programming-languages  functional-programming  category-theory 

Terminologi itu membingungkan saya. Seperti yang saya mengerti Pemecah SAT: memutuskan kepuasan logika proposisional (menggunakan DPLL atau Pencarian Lokal). Prosedur pengambilan keputusan adalah prosedur untuk memutuskan kepuasan suatu teori tingkat pertama tertentu yang dapat ditentukan. SMT solver adalah prosedur keputusan SAT solver +. Prover teorema menunjukkan sesuatu seperti Dynamic Logic, …

24 algorithms  terminology  reference-request  decision-problem 

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya sedikit bingung dengan beberapa terminologi yang saya temui mengenai kompleksitas masalah optimasi. Dalam kelas algoritma, saya memiliki masalah kekikiran besar yang dijelaskan sebagai NP-lengkap. Namun, saya tidak yakin apa …

24 complexity-theory  np-complete  terminology 

Apakah analisis yang dihaluskan menemukan jalannya ke dalam analisis aliran utama dari algoritma? Apakah biasa bagi perancang algoritma untuk menerapkan analisis yang diperhalus pada algoritme mereka?

24 algorithms  complexity-theory  algorithm-analysis 

Di kelas minggu lalu, profesor saya berkomentar dan mengatakan bahwa mesin Turing digunakan sebagai ukuran / model standar dari apa yang dapat dihitung dan merupakan dasar diskusi yang bermanfaat untuk subjek itu. Dia juga mengatakan bahwa semua varian mesin Turing terbukti setara secara komputasi - baca, sama kuat - satu …

24 turing-machines  quantum-computing 

Saya menonton " Lima Tahapan Menerima Matematika Konstruktif " oleh Andrej Bauer dan dia mengatakan bahwa ada dua jenis pembuktian dengan kontradiksi (atau dua hal yang oleh para ahli matematika disebut pembuktian oleh kontradiksi): Anggap salah ... bla bla bla, kontradiksi. Karena itu P benar.PPPPPP Anggap benar ... bla bla …

23 halting-problem  coq 

Katakanlah ada program sedemikian rupa sehingga jika Anda memberikan Sudoku yang terisi sebagian dari ukuran apa pun, itu memberi Anda Sudoku lengkap yang sesuai. Bisakah Anda memperlakukan program ini sebagai kotak hitam dan menggunakannya untuk menyelesaikan TSP? Maksud saya, apakah ada cara untuk merepresentasikan masalah TSP sebagai Sudoku yang terisi …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Ini adalah pertanyaan yang naif dan, karenanya, mungkin cacat, jadi minta maaf terlebih dahulu! Pandangan saya adalah bahwa Mesin Turing dapat dilihat sebagai dasar komputasi untuk bahasa pemrograman prosedural / imperatif. Demikian pula, kalkulus lambda adalah dasar untuk bahasa pemrograman fungsional. Baru-baru ini saya mengetahui bahwa Tesis Gereja-Turing juga menunjukkan …

23 programming-languages  mathematical-foundations  church-turing-thesis 

ini adalah bagian dari kode Majelis section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov …

23 assembly 

Saya berada di wikipedia pada daftar masalah ilmu komputer yang belum terpecahkan dan menemukan ini: Apakah kriptografi kunci publik mungkin? Saya pikir enkripsi RSA adalah bentuk kriptografi kunci publik? Mengapa ini menjadi masalah?

23 cryptography 

Dalam teori komputabilitas, fungsi yang dapat dihitung juga disebut fungsi rekursif. Setidaknya pada pandangan pertama, mereka tidak memiliki kesamaan apa pun dengan apa yang Anda sebut "rekursif" dalam pemrograman sehari-hari (yaitu, fungsi yang menyebut dirinya sendiri). Apa arti sebenarnya dari rekursif dalam konteks kemampuan komputasi? Mengapa fungsi-fungsi itu disebut "rekursif"? …

23 computability  terminology  history 

Seperti lubang hitam dalam ilmu komputer. Kita hanya bisa tahu mereka ada tetapi ketika kita memiliki salah satu dari mereka kita tidak akan pernah tahu itu salah satunya.

23 halting-problem  correctness-proof