Ilmu Komputer

Saya memahami bukti ketidaktentuan masalah penghentian (diberikan misalnya dalam buku teks Papadimitriou), berdasarkan diagonalisasi. Sementara buktinya meyakinkan (saya mengerti setiap langkahnya), itu tidak intuitif bagi saya dalam arti bahwa saya tidak melihat bagaimana seseorang akan mendapatkannya, mulai dari masalahnya sendiri. Dalam buku ini, buktinya seperti ini: "misalkan memecahkan masalah penghentian …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Apa perbedaan dan hubungan antara algoritma acak dan algoritma nondeterministic? Dari Wikipedia Sebuah algoritma acak merupakan algoritma yang mempekerjakan tingkat keacakan sebagai bagian dari logika. Algoritme biasanya menggunakan bit acak seragam sebagai input bantu untuk memandu perilakunya, dengan harapan mencapai kinerja yang baik dalam "kasus rata-rata" di atas semua pilihan …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Saya ingin menghitung semua grafik ukuran tidak diarahkan , tetapi saya hanya perlu satu instance dari setiap kelas isomorfisma . Dengan kata lain, saya ingin menghitung semua grafik non-isomorfik (tidak terarah) pada simpul. Bagaimana saya bisa melakukan ini?nnnnnn Lebih tepatnya, saya ingin algoritma yang akan menghasilkan urutan grafik tidak langsung …

30 algorithms  graphs  data-compression  graph-isomorphism 

Tesis Gereja-Turing menyatakan bahwa segala sesuatu yang secara fisik dapat dihitung, dapat dihitung pada Mesin Turing. Makalah "Komputasi analog melalui jaringan saraf" (Siegelmannn dan Sontag, Theoretical Computer Science , 131: 331-360, 1994; PDF ) mengklaim bahwa jaring saraf dari bentuk tertentu (pengaturannya disajikan dalam makalah) lebih kuat. Para penulis mengatakan …

29 computability  turing-machines  church-turing-thesis 

Saya telah mempelajari kompiler untuk sementara waktu, dan saya telah mencari apa yang dimaksud dengan "konteks" dalam tata bahasa dan apa artinya bagi tata bahasa untuk menjadi "bebas konteks", tetapi tanpa hasil. Jadi, adakah yang bisa membantu dengan ini?

29 terminology  context-free  formal-grammars 

Saya menemukan pernyataan di bawah ini oleh Alan M. Turing di sini : "Pandangan bahwa mesin tidak dapat menimbulkan kejutan adalah karena, saya percaya, pada kekeliruan yang menjadi fokus para filsuf dan matematikawan. Ini adalah asumsi bahwa segera setelah sebuah fakta disajikan di benak semua konsekuensi dari fakta tersebut muncul …

29 turing-machines  computability  computation-models 

Saya telah membaca selama beberapa minggu tentang Kalkulus Lambda, tetapi saya belum melihat sesuatu yang secara material berbeda dari fungsi matematika yang ada, dan saya ingin tahu apakah itu hanya masalah notasi, atau apakah ada yang baru properti atau aturan yang dibuat oleh aksioma kalkulus lambda yang tidak berlaku untuk …

29 lambda-calculus  functional-programming 

Jaringan backprop yang sepenuhnya terhubung (setidaknya lapisan ke lapisan dengan lebih dari 2 lapisan tersembunyi) adalah pembelajar universal. Sayangnya, mereka sering lambat dipelajari dan cenderung terlalu pas atau memiliki generalisasi yang canggung. Dari bermain-main dengan jaringan ini, saya telah mengamati bahwa pemangkasan beberapa tepi (sehingga beratnya nol dan tidak mungkin …

29 machine-learning  network-topology  neural-networks 

Ibu saya mengambil kursus online untuk menjadi semacam pustakawan, dalam kursus ini mereka mencakup pencarian boolean, sehingga mereka dapat mencari database secara efisien, namun, dia mendapat pertanyaan yang terdengar seperti ini: Pencarian "x ATAU" akan menghasilkan 105.000 klik, sedangkan pencarian hanya x akan menghasilkan 80.000 klik, dan pencarian hanya y …

29 sets  counting 

Saya menerapkan serangkaian algoritma pencarian jalur seperti Dijkstra's, Depth First, dll. Awalnya saya menggunakan beberapa grafik yang dibuat sendiri, tapi sekarang saya ingin mengambil tantangan sedikit lebih jauh dan dengan demikian saya mencari grafik yang digunakan dalam tolok ukur; grafik kota-kota dunia nyata (atau cara untuk mengunduh info semacam itu …

29 algorithms  graphs  data-sets  benchmarking 

Saat ini saya sedang membaca buku tentang algoritma dan kompleksitas. Saat ini saya sedang membaca tentang fungsi yang dapat dikomputasi dan yang tidak dapat dikomputasi, dan buku saya menyatakan bahwa ada lebih banyak fungsi yang tidak dapat dikomputasi daripada yang dapat dikomputasi, bahkan mayoritasnya tidak dapat dikomputasi. Dalam beberapa hal …

29 computability  turing-machines  combinatorics 

Ada algoritma polinomial yang mudah untuk memutuskan apakah ada jalur antara dua node dalam grafik terarah (cukup lakukan traversal grafik rutin dengan, katakanlah, pencarian-kedalaman-pertama). Namun tampaknya, secara mengejutkan, masalahnya menjadi lebih sulit jika alih-alih menguji keberadaan kami ingin menghitung jumlah jalur. Jika kita mengizinkan jalur untuk menggunakan kembali simpul maka …

29 algorithms  complexity-theory  graph-theory 

Masalah 3SUM mencoba mengidentifikasi 3 bilangan bulat dari himpunan dengan ukuran sehingga .S n a + b + c = 0a , b , cSebuah,b,ca,b,cSSSnnna+b+c=0Sebuah+b+c=0a + b + c = 0 Diduga bahwa tidak ada solusi yang lebih baik daripada kuadratik, yaitu . Atau dengan kata lain: .o ( n …

29 complexity-theory  combinatorics  complexity-classes 

Ketika saya menjelaskan bukti Baker-Gill-Solovay bahwa ada oracle yang dapat kita miliki, , dan sebuah oracle yang dengannya kita dapat memiliki kepada teman , muncul pertanyaan mengapa teknik seperti itu tidak cocok untuk membuktikan masalah , dan saya tidak bisa memberikan jawaban yang memuaskan.P=NPP=NP\mathsf{P} = \mathsf{NP}P ≠ N PP≠NPP≠NP\mathsf{P} \neq …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Karena membeli daya komputasi jauh lebih terjangkau daripada di masa lalu, apakah pengetahuan tentang algoritma dan menjadi efisien menjadi kurang penting? Sudah jelas bahwa Anda ingin menghindari perulangan tanpa batas, jadi, tidak semuanya berjalan. Tetapi jika Anda memiliki perangkat keras yang lebih baik, dapatkah Anda memiliki perangkat lunak yang lebih …

29 efficiency