Ilmu Komputer

Sebagai Contoh ketika kita mempertimbangkan DFA yang memungkinkan string tidak memiliki sub-string 00atau 11saya dapat menghasilkan dua DFA berikut:

17 automata  finite-automata 

Ada banyak (dan maksud saya banyak) bahasa yang dapat dihitung yang dapat didekati oleh Turing. Bisakah bahasa yang tak terhitung dapat menjadi pilihan Turing?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Saya membaca bahwa algoritma yang paling efisien ditemukan dapat menghitung faktor dalam waktu, tetapi kode saya tulis adalah O ( n ) atau mungkin tergantung pada seberapa cepat pembagian dan modulus. Saya cukup yakin saya telah salah mengerti sesuatu di suatu tempat, tapi saya tidak yakin di mana. Inilah yang …

17 complexity-theory  time-complexity  factoring  primes 

Dari bacaan saya tentang Sistem Operasi (membaca materi dasar di Wikipedia, situs teknologi, dll) Saya telah belajar bahwa Sistem Operasi adalah program yang memungkinkan program dan aplikasi untuk berinteraksi dengan perangkat keras dengan cara yang efisien dan aman. Namun saya bingung tentang bagaimana Sistem Operasi mengawasi operasi komputer ketika itu …

17 operating-systems 

Dalam kursus Algoritma dan Struktur Data saya , profesor, slide dan buku ( Pengantar Algoritma, edisi ke-3 ) telah menggunakan kata NILuntuk menunjukkan misalnya anak dari simpul (di pohon) yang tidak ada. Suatu kali, selama kuliah, alih-alih mengatakan NIL, teman sekelasku berkata null, dan profesor memperbaikinya, dan aku tidak mengerti …

17 algorithms  terminology  data-structures  notation 

Menurut Wikipedia , Operasi uji-dan-atur dapat menyelesaikan masalah konsensus bebas-tunggu selama tidak lebih dari dua proses bersamaan. Mengapa tidak bisa menyelesaikan masalah selama lebih dari dua proses?

17 concurrency  consensus 

Saya rasa saya tahu apa sistem operasi real-time yang "sulit". Ini adalah sistem operasi dengan penjadwal yang menyediakan kontrak dengan pemrogram aplikasi. Aplikasi menyediakan tenggat waktu dengan setiap permintaan alokasi sumber daya. Jika permintaan tenggat waktu layak , penjadwal menjamin bahwa setiap sumber daya akan dialokasikan untuk aplikasi yang meminta …

17 terminology  operating-systems  process-scheduling  real-time 

Adakah yang pernah benar-benar menulis sebuah sistem (perangkat lunak atau penjelasan terperinci di atas kertas dengan contoh sederhana) yang menghasilkan program komputer? Saya memasukkan dan ia menciptakan sebuah program yang mencantumkan bilangan prima kurang dari 10. secara sederhana didefinisikan sebagai Profesor mengatakan mereka bisa tetapi tidak ada yang memberikan contoh …

17 logic  type-theory  coq  proof-assistants 

Saya membaca buku HoTT dan mengalami kesulitan dengan induksi jalur. Ketika saya melihat jenis di bagian 1.12.1 : saya tidak punya masalah memahami apa artinya (saya baru saja menulis jenis dari memori, untuk memeriksa itu).ind=SEBUAH: ∏C: ∏x , y:A( x =SEBUAHy) → U( ( ∏x :AC( x , x ,reflx) …

17 induction  dependent-types  homotopy-type-theory 

Apakah ada mesin Turing yang menghentikan semua input tetapi properti itu tidak dapat dibuktikan karena alasan tertentu? Saya bertanya-tanya apakah pertanyaan ini telah dipelajari. Catatan, "tidak dapat dibuktikan" dapat berarti sistem bukti "terbatas" (yang dalam arti lemah berpikir jawabannya pasti ya). Saya tentu saja tertarik pada jawaban terkuat yang mungkin, …

17 computability  reference-request  turing-machines  halting-problem 

Saya telah mempelajari buku "C ++ Demystified" . Sekarang saya sudah mulai membaca "Pemrograman Berorientasi Objek dalam Turbo C ++ edisi pertama (edisi 1)" oleh Robert Lafore. Saya tidak memiliki pengetahuan pemrograman yang melampaui buku-buku ini. Buku ini mungkin sudah usang karena sudah berusia 20 tahun. Saya memiliki edisi terbaru, …

17 programming-languages  object-oriented  programming-paradigms 

Apakah ada teknik umum untuk membuktikan masalah BUKAN NP-Lengkap? Saya mendapat pertanyaan ini pada ujian yang meminta saya untuk menunjukkan apakah beberapa masalah (lihat di bawah) adalah NP-Complete. Saya tidak bisa memikirkan solusi yang nyata, dan hanya membuktikannya dalam P. Jelas ini bukan jawaban yang nyata. NP-Complete didefinisikan sebagai sekumpulan …

17 complexity-theory  np-complete  proof-techniques 

Apa perbedaan antara penglihatan komputer dan pemrosesan gambar? Misalnya, dalam pengenalan objek, apa peran visi komputer dan pemrosesan gambar?

17 terminology  computer-vision  image-processing  education 

Saya pikir array asosiatif (yaitu peta, atau kamus) dan tabel hashing adalah konsep yang sama, sampai saya melihat di Wikipedia itu Untuk kamus dengan jumlah binding yang sangat kecil, mungkin masuk akal untuk mengimplementasikan kamus menggunakan daftar asosiasi, daftar binding yang terhubung. ... Implementasi tujuan umum yang paling sering digunakan …

17 data-structures  abstract-data-types 

Saya berjuang untuk memahami hubungan antara NP-Intermediate dan NP-Complete. Saya tahu bahwa jika P! = NP berdasarkan Teorema Ladner ada kelas bahasa dalam NP tetapi tidak dalam P atau NP-Lengkap. Setiap masalah dalam NP dapat direduksi menjadi masalah NP-Complete, namun saya belum melihat contoh untuk mengurangi dugaan masalah NPI (seperti …

17 np-complete  reductions  factoring