Ilmu Komputer

Awalnya, matroids diperkenalkan untuk menggeneralisasi pengertian kemerdekaan linear dari koleksi himpunan bagian atas beberapa tanah ditetapkan . Masalah-masalah tertentu yang mengandung struktur ini memungkinkan algoritma serakah untuk menemukan solusi optimal. Konsep greedoid kemudian diperkenalkan untuk menggeneralisasi struktur ini untuk menangkap lebih banyak masalah yang memungkinkan ditemukannya solusi optimal dengan metode …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Otomat adalah model abstrak dari komputer digital. Komputer digital sepenuhnya deterministik; status mereka kapan saja dapat diprediksi secara unik dari input dan kondisi awal. Ketika kita mencoba memodelkan sistem nyata, mengapa memasukkan nondeterminisme dalam teori Automata?

23 automata  nondeterminism  applied-theory 

EPAL, bahasa bahkan palindrom, didefinisikan sebagai bahasa yang dihasilkan oleh tata bahasa bebas konteks berikut: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL adalah 'kutukan' dari banyak algoritma penguraian: Saya belum menemukan algoritma penguraian untuk CFG yang pasti yang …

23 formal-languages  formal-grammars  parsers 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Masalah ini diambil dari interviewstreet.com Kita diberi sebuah array bilangan bulat Y={y1,...,yn}Y={y1,...,yn}Y=\{y_1,...,y_n\} yang mewakili nnn segmen garis sedemikian rupa sehingga titik akhir segmen iii adalah (i,0)(i,0)(i, 0) …

23 algorithms  probability-theory 

Di sini , Dave Clarke mengusulkan bahwa untuk membandingkan pertumbuhan asimptotik, Anda harus merencanakan fungsinya. Sebagai ilmuwan komputer yang secara teori cenderung, saya menyebut (ed) vodoo ini sebagai plot tidak pernah menjadi bukti. Setelah dipikir-pikir, saya harus setuju bahwa ini adalah pendekatan yang sangat berguna yang bahkan kadang kurang dimanfaatkan; …

23 asymptotics  didactics 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . "Alan Turing membuktikan pada tahun 1936 bahwa algoritma umum untuk memecahkan masalah penghentian untuk semua pasangan input-program yang mungkin tidak ada" Dapatkah saya menemukan algoritma umum untuk …

23 computability  formal-methods  halting-problem  software-verification 

Pertanyaan ini dimigrasikan dari Mathematics Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 3 tahun yang lalu . Saya telah berusaha menemukan algoritma untuk menemukan penutup siklus simpul maksimum dari grafik - yaitu, serangkaian siklus terpisah yang berisi semua simpul dalam G , dengan sebanyak mungkin siklus …

23 graph-theory  algorithms 

Saat membaca buku, saya menemukan paragraf yang diberikan di bawah ini: Untuk menyinkronkan semua operasi komputer, jam sistem — kristal kuarsa kecil yang terletak di motherboard — digunakan. Jam sistem mengirimkan sinyal secara teratur ke semua komponen komputer lainnya. Dan satu paragraf lagi: Banyak komputer pribadi saat ini memiliki jam …

23 computer-architecture  clocks 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Dalam artikel Wikipedia ini tentang masalah Clique dalam teori graph, ia menyatakan di awal bahwa masalah menemukan klik ukuran K, dalam grafik G adalah NP-complete: Klik juga …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Seperti judulnya, saya menghabiskan beberapa jam akhir pekan lalu mencoba untuk menyelesaikan pikiran saya tentang kelas bahasa yang cocok dengan ekspresi reguler yang kompatibel dengan Perl, tidak termasuk operator yang cocok yang memungkinkan untuk mengeksekusi kode arbitrer di dalam pola . Jika Anda tidak tahu apa itu PCRE, baca ini …

23 formal-languages  regular-expressions 

Saya mencari beberapa petunjuk dalam pertanyaan yang diajukan oleh instruktur saya. Jadi saya baru tahu masalah keputusan ini adalah :NP-completeNP-complete\sf{NP\text{-}complete} Dalam grafik , apakah ada spanning tree dalam G yang berisi sekumpulan S = { x 1 , x 2 , … , x n } sebagai daun. Saya menemukan …

23 complexity-theory  graphs  np-complete 

Dalam radix sort, pertama-tama kita urutkan berdasarkan digit paling tidak signifikan, lalu kita urutkan berdasarkan digit paling sedikit kedua dan seterusnya dan berakhir dengan daftar yang diurutkan. Sekarang jika kita memiliki daftar nomor kita perlu bit untuk membedakan antara angka-angka itu. Jadi jumlah lintasan sortir radix yang kita buat adalah …

23 algorithms  sorting 

Kapan O besar digunakan pertama kali dalam ilmu komputer dan kapan itu menjadi standar? Halaman Wikipedia tentang ini mengutip Knuth, Big Omicron dan Big Omega Dan Big Theta , SIGACT April-Juni 1976, tetapi awal tulisan itu berbunyi Sebagian besar dari kita telah terbiasa dengan gagasan menggunakan notasi untuk berdiri untuk …

22 asymptotics  history 

Saya sedang mempersiapkan wawancara pengkodean dan saya benar-benar tidak tahu cara paling efisien untuk menyelesaikan masalah ini. Katakanlah kita memiliki dua array yang terdiri dari angka yang tidak disortir. Array 2 berisi angka yang tidak dimiliki Array 1. Kedua array memiliki angka lokasi yang acak, tidak harus dalam urutan yang …

22 algorithms  search-algorithms  arrays  efficiency 

Diberikan grafik berbobot dan tidak terarah G: Kondisi mana yang harus benar sehingga ada beberapa pohon rentang minimum untuk G? Saya tahu bahwa MST itu unik ketika semua bobotnya berbeda, tetapi Anda tidak bisa membalikkan pernyataan ini. Jika ada tepi muliple dengan bobot yang sama dalam grafik, mungkin ada beberapa …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree