Ilmu Komputer

Untuk fungsi atau perhitungan, kami memiliki istilah seperti: Deterministik - Determinisme Murni - Kemurnian Sekarang apa kata benda yang tepat untuk bebas efek samping ? "Efek samping"? "Kebebasan efek samping"? "Tidak efektif dari sisi"?

10 terminology  programming-languages 

Saya perlu menyimpan koleksi pada bilangan bulat dalam kisaran 0 hingga 65535 sehingga saya dapat dengan cepat melakukan hal berikut: Masukkan bilangan bulat baru Masukkan berbagai bilangan bulat yang berdekatan Hapus bilangan bulat Hapus semua bilangan bulat di bawah bilangan bulat Uji apakah bilangan bulat ada Data saya memiliki properti …

10 data-structures  efficiency  search-trees  integers 

Masalah ini muncul dari pengujian perangkat lunak. Masalahnya agak sulit dijelaskan. Pertama saya akan memberikan contoh, kemudian mencoba untuk menggeneralisasi masalah. Ada 10 item yang akan diuji, katakan A ke J, dan alat pengujian yang dapat menguji 3 item sekaligus. Urutan item dalam alat pengujian tidak masalah. Tentu saja, untuk …

10 algorithms  combinatorics  software-testing 

Atau setidaknya menghasilkan serangkaian string yang diterima oleh satu NFA, jadi saya bisa memasukkannya ke NFA lainnya. Jika saya melakukan pencarian melalui setiap jalur NFA, apakah itu akan berhasil? Meskipun itu akan memakan waktu lama.

10 algorithms  regular-languages  finite-automata 

Pebbling adalah permainan solitaire yang dimainkan pada grafik tidak diarahkan , di mana setiap titik memiliki nol atau lebih kerikil. Satu gerakan kerikil terdiri dari menghilangkan dua kerikil dari vertex dan menambahkan satu kerikil ke tetangga sewenang-wenang . (Jelas, titik v harus memiliki setidaknya dua kerikil sebelum pindah.) Masalah PebbleDestruction …

10 algorithms  graph-theory  np-complete 

Latar belakang saya berasal dari bahasa imperatif, terutama C, C ++, dan Python. Saya mengambil Scala, Erlang, dan sedikit Haskell beberapa tahun kemudian dan sejak itu menjadi sangat tertarik pada pemrograman fungsional dan formalisme di belakangnya. Saya juga tertarik pada pemrograman bersamaan dan didistribusikan dan telah melihat formalisme di balik …

10 distributed-systems  concurrency 

Sebuah urutan biner dengan panjang hanya memerintahkan urutan sehingga setiap adalah baik atau . Untuk menghasilkan semua urutan biner seperti itu, seseorang dapat menggunakan struktur pohon biner yang jelas dengan cara berikut: root adalah "kosong", tetapi setiap anak kiri terkait dengan penambahan ke string yang ada dan setiap anak kanan …

10 algorithms  graphs  binary-trees 

Diberi angka sedemikian rupa sehingga apakah ada penetapan angka yang merupakan permutasi dari sedemikian rupaA 1 ≤ A 2 ≤ . . . ≤ A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . . …

10 np-complete  decision-problem 

Saya memulai kursus ilmu komputer sarjana musim gugur mendatang, tetapi saya tidak dapat benar-benar memahami kalkulus dalam konteks pemrograman fungsional. Saya mungkin salah menafsirkan ini sepenuhnya, tetapi berdasarkan definisi ini dari Stanford Encyclopedia of Philosophy, itu hanyalah notasi lain untuk fungsi. Jika adalah hanya itu, mengapa menguntungkan untuk menggunakan λ-kalkulus …

10 programming-languages  lambda-calculus 

Grafik adalah chordal jika tidak memiliki siklus panjang atau lebih. Sebuah pohon klik dari adalah pohon di mana simpul dari pohon adalah geng maksimal . Tepi dalam sesuai dengan pemisah minimal. Jumlah pohon clique yang berbeda dapat eksponensial dalam jumlah simpul dalam grafik chordal.GGG444TTTGGGGGGTTT The berkurang klik grafik adalah gabungan …

10 algorithms  graph-theory  reference-request 

Saya memiliki masalah optimisasi kendala dalam entropi (Shannon) matriks . Matriks A dapat ditulis sebagai jumlah dari matriks peringkat 1 dari formulir [ v i( S u m( e n t r ( e i g ( A ) ) ) ))(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))}SEBUAHAA mana v[ vsayavTsaya][viviT][v_i\,v_i^T] adalah vektor dinormalisasi yang diberikan. …

10 optimization  entropy 

Saya tidak bisa membungkus kepala saya di sekitar bagaimana SR Latch bekerja. Tampaknya, Anda menyambungkan saluran input dari R, dan lainnya dari S, dan Anda seharusnya mendapatkan hasil di dan .QQQQ′Q′Q' Namun, baik R dan S membutuhkan input dari output yang lain, dan output yang lain membutuhkan input dari output …

10 circuits  sequential-circuit 

Saya belajar klasifikasi SVM dan menemui masalah. Saya tidak yakin apakah dilema ini memiliki terminologi untuk itu. Asumsikan kami ingin mengklasifikasikan pasien berdasarkan SVM dengan memberikan sampel orang sehat (baik jenis kelamin) dan orang dengan kanker hati (baik jenis kelamin). Jika kita memberi label sampel orang sehat sebagai kelas 1 …

10 machine-learning 

Saya tertarik pada prosedur pembagian tanah yang adil (yaitu pembagian yang bebas iri, atau setidaknya pembagian yang proporsional). Berbeda dengan masalah pembagian kue yang dipelajari dengan baik, pembagian tanah adalah dua dimensi, yaitu, preferensi pengguna dapat bervariasi baik secara horizontal maupun vertikal. Oleh karena itu, tidak praktis untuk membatasi algoritma …

10 reference-request  game-theory 

Saya mencari sumber daya untuk memulai dengan analisis program . Satu-satunya buku yang saya temukan pada topik adalah buku Nielson & Nielson . Selain itu, sepertinya hanya ada buku "kompiler" di mana "analisis program" akan menjadi bab, atau sesuatu di sepanjang baris itu. Apakah orang tahu sumber daya lain?

10 reference-request  compilers  semantics