Pertanyaan yang diberi tag «counting»

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 

Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Sudah diketahui bahwa 2-SAT ada di P. Namun, tampaknya cukup menarik bahwa menghitung jumlah solusi untuk formula 2-SAT yang diberikan, yaitu, # 2-SAT adalah # P-hard. Yaitu, kami memiliki contoh masalah yang keputusannya mudah, tetapi berhitung itu sulit. Tetapi pertimbangkan masalah NP-complete sewenang-wenang (katakanlah 3-COL). Bisakah kita segera mengatakan sesuatu …

14 complexity-theory  counting 

Biarkan menjadi beberapa masalah penghitungan yang dikenal sebagai # P -Lengkap .ΠΠ\PiPPP Apakah itu menyiratkan bahwa adalah A P X -hard (yaitu tidak ada PTAS untuk masalah ada kecuali P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Diberi Boolean matrix , misalkan 0 entri mewakili laut dan 1 entri mewakili tanah. Mendefinisikan sebuah pulau sebagai vertikal atau horizontal (tetapi tidak diagonal) yang berdekatan 1 entri.n×mn×mn \times mXX\mathrm X0001111111 Pertanyaan aslinya adalah untuk menghitung jumlah pulau dalam matriks yang diberikan. Penulis menggambarkan solusi rekursif ( O(nm)O(nm)\mathcal{O}(nm) memori). Tetapi …

9 algorithms  matrices  counting  streaming-algorithm 

Membiarkan MMM menjadi NFA asiklik. Sejak MMM asiklik, L(M)L(M)L(M) terbatas. Bisakah kita menghitung |L(M)||L(M)||L(M)| dalam waktu polinomial? Jika tidak, bisakah kita memperkirakannya? Perhatikan bahwa jumlah kata tidak sama dengan jumlah jalur penerimaan di MMM, yang mudah dihitung. Izinkan saya menyebutkan satu pendekatan yang jelas tidak berhasil: ubah NFA menjadi DFA …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Saya sedang mengerjakan orientasi asiklik pada grafik yang tidak diarahkan dan memiliki pertanyaan-pertanyaan berikut: Diberikan terhubung grafik sederhana yang tidak terarah , bagaimana menemukan semua kemungkinan orientasi asiklik ?GGGGGG Berapa jumlah orientasi asiklik? Diketahui (dari sini ) adalah(−1)p χ(G,−λ)(−1)p χ(G,−λ)(-1)^p\ \chi(G,-\lambda) untuk sebuah grafikGGG dengan ppp simpul mana χχ\chi adalah …

8 algorithms  graph-theory  counting