Preguntas etiquetadas con counting

Mi madre está tomando un curso en línea para ser una especie de bibliotecaria, en este curso cubren búsquedas booleanas, por lo que pueden buscar bases de datos de manera eficiente, sin embargo, recibió una pregunta que suena así: La búsqueda "x OR y" dará como resultado 105 000 resultados, …

29 sets  counting 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

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 

Es bien sabido que 2-SAT está en P. Sin embargo, parece bastante interesante que contar el número de soluciones para una fórmula 2-SAT dada, es decir, # 2-SAT es # P-difícil. Es decir, tenemos un ejemplo de un problema para el cual la decisión es fácil, pero contar es difícil. …

14 complexity-theory  counting 

Sea un problema de conteo que se sabe que es # -Complete .ΠΠ\PiPPP ¿ Implica que es duro (es decir, no existe PTAS para el problema a menos que )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Dado un matriz booleana , dejemos que entradas representen el mar y entradas representen la tierra. Definir una isla como (pero no en diagonal) vertical u horizontalmente adyacentes entradas.n×mn×mn \times mXX\mathrm X000111111 La pregunta original era contar el número de islas en una matriz dada. El autor describió una solución …

9 algorithms  matrices  counting  streaming-algorithm 

Dejar METROMETROM ser un NFA acíclico. Ya que METROMETROM es acíclico L ( M)L(METRO)L(M) es finito Podemos calcular El | L(M) |El |L(METRO)El ||L(M)| en tiempo polinomial? Si no, ¿podemos aproximarlo? Tenga en cuenta que el número de palabras no es el mismo que el número de rutas de aceptación …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Estoy trabajando en orientaciones acíclicas de gráficos no dirigidos y tengo las siguientes preguntas: Dado el gráfico simple no dirigido conectado , ¿cómo encontrar todas las orientaciones acíclicas posibles de ?solsolGsolsolG ¿Cuál es el número de orientaciones acíclicas? Se sabe (de aquí ) que es para un gráfico con vértices …

8 algorithms  graph-theory  counting