Perguntas com a marcação «counting»

Minha mãe está fazendo um curso on-line para ser uma espécie de bibliotecária; neste curso, eles abrangem pesquisas booleanas, para que possam pesquisar bancos de dados de maneira eficiente; no entanto, ela tem uma pergunta que soa algo como isto: A pesquisa "x OR y" resultará em 105 000 ocorrências, …

29 sets  counting 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

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 

É sabido que o 2-SAT está em P. No entanto, parece bastante interessante que contar o número de soluções para uma determinada fórmula do 2-SAT, ou seja, # 2-SAT seja # P-difícil. Ou seja, temos um exemplo de um problema para o qual a decisão é fácil, mas a contagem …

14 complexity-theory  counting 

Vamos ser algum problema de contagem, que é conhecido por ser # P -Complete .ΠΠ\PiPPP Isso implica que é A P X- difícil (ou seja, não existe PTAS para o problema, a menos que P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Dada uma matriz booleana X , deixe entradas representam o mar e entradas representam terra. Defina uma ilha como vertical ou horizontalmente (mas não na diagonal) entradas adjacentes .n×mn×mn \times mXX\mathrm X1 1000111111 A questão original era contar o número de ilhas em uma determinada matriz. O autor descreveu uma …

9 algorithms  matrices  counting  streaming-algorithm 

Seja um NFA acíclico.MMM Como é acíclico, é finito.MMML ( M)eu(M)L(M) Podemos calcularem tempo polinomial?| L(M) ||eu(M)||L(M)| Se não, podemos aproximar? Observe que o número de palavras não é igual ao número de caminhos aceitantes em , que é facilmente computável.MMM Deixe-me mencionar uma abordagem óbvia que não funciona: converter …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Estou trabalhando em orientações acíclicas de gráficos não direcionados e tenho as seguintes perguntas: Dado o gráfico simples não direcionado conectado , como encontrar todas as orientações acíclicas possíveis de ?GGGGGG Qual é o número de orientações acíclicas? Sabe-se ( daqui ) ser para um gráfico com vértices onde é …

8 algorithms  graph-theory  counting 

Tendo a string de comprimento , encontrar a contagem de substrings distintos pode ser feito em tempo linear usando o array LCP. Em vez de solicitar substrings exclusivos, conte na cadeia inteira , a consulta contém a indexação que está solicitando a contagem de substring distintas dentro do intervalo de …

7 algorithms  strings  counting  subsequences 

Eu tenho lido sobre a contagem de modelos, também conhecido como o problema #SAT. Quais são as aplicações práticas, se houver, desse problema, e como exatamente elas se reduzem a ele? Não consegui encontrar nada, embora isso seja simplesmente devido à minha própria ignorância sobre o assunto.

7 complexity-theory  applied-theory  counting 

Deixei ΠΠ\Pium problema de contagem parametrizado , em que o parâmetro é o custo da solução, por exemplo, contar o número dekkkde vértice de tamanho médio em um gráfico, parametrizado por kkk. Assuma isso ΠΠ\Pi é #W#W\#W[1] -complete (um problema conhecido, por exemplo, seria contar o número de caminhos simples …

7 complexity-theory  approximation  counting  parameterized-complexity 

Eu tenho um problema que pode ser visualizado de duas maneiras diferentes: Calcule um contexto numérico integral dimensional. O domínio de integração é um hiper-cubo -dimensional de lado .nnnnnnLLL Conte (apenas conte) as raízes de uma função dimensional (não um polinômio).nnn Resolver apenas um deles é suficiente para resolver o …

7 algorithms  numerical-analysis  counting