Ciência da Computação

Se eu tiver alguma função cuja complexidade de tempo seja O ( mn ), onde m e n são os tamanhos de suas duas entradas, chamaríamos sua complexidade de tempo de "linear" (já que é linear em m e n ) ou "quadrática" ( já que é um produto de …

24 terminology  asymptotics  landau-notation 

Seja uma fórmula booleana que consiste nos operadores usuais AND, OR e NOT e em algumas variáveis. Gostaria de contar o número de satisfazer atribuições para B . Ou seja, quero encontrar o número de diferentes atribuições de valores de verdade para as variáveis ​​de B para as quais B …

24 complexity-theory  reference-request  satisfiability 

Dado qualquer problema computacional, a tarefa de encontrar limites mais baixos para esse cálculo é realmente possível? Suponho que tudo se resume a como um único passo computacional é definido e qual modelo usamos para a prova, mas, dado que, realmente provamos um limite inferior ao geral? O que quero …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Encontrei muitas definições de linguagens recursivas e recursivamente enumeráveis. Mas eu não conseguia entender direito o que são. Alguém pode me dizer o que são em …

24 formal-languages  computability  turing-machines 

Em um gráfico não ponderado, não direcionado, com vértices VVV e arestas EEE modo que 2V>E2V>E2V \gt E , qual é a maneira mais rápida de encontrar todos os caminhos mais curtos de um gráfico? Isso pode ser feito mais rápido que o Floyd-Warshall, que é O(V3)O(V3)O(V^3) mas muito rápido …

24 algorithms  graphs  shortest-path 

Dado um conjunto de moedas com denominações diferentes e um valor v, você deseja encontrar o menor número de moedas necessário para representar o valor v.c1,...,cnc1,...,cnc1, ... , cn Por exemplo, para o conjunto de moedas 1,5,10,20, isso fornece 2 moedas para a soma 6 e 6 moedas para a …

24 algorithms  combinatorics  greedy-algorithms 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Eu só tive essa pergunta interessante. Qual é a função de crescimento mais rápido conhecida pelo homem? É castor ocupado ? Conhecemos funções como , mas …

24 computability 

Atualmente, estou estudando caminhos mais curtos em gráficos direcionados. Existem muitos algoritmos eficientes para encontrar o caminho mais curto em uma rede, como o dijkstra ou o bellman-ford. Mas e se o gráfico for dinâmico? Ao dizer dinâmico, quero dizer que podemos inserir ou remover vértices durante a execução do …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

Eu tenho duas maneiras de produzir uma lista de itens em uma ordem aleatória e gostaria de determinar se eles são igualmente justos (imparciais). O primeiro método que eu uso é construir a lista inteira de elementos e, em seguida, fazer um shuffle (por exemplo, um shuffle de Fisher-Yates). O …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

Um número surpreendente de problemas tem reduções bastante naturais na programação linear (LP). Veja o Capítulo 7 de [1] para exemplos como fluxos de rede, correspondência bipartida, jogos de soma zero, caminhos mais curtos, uma forma de regressão linear e até avaliação de circuitos! Como a avaliação do circuito se …

24 algorithms  reductions  sorting  linear-programming 

Dado um conjunto múltiplo de números naturais X, considere o conjunto de todas as somas possíveis: somas (X) = { ∑eu ∈ AEu|A ⊆ X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Por exemplo, somas ( { 1 , 5 } )= { 0 , 1 , …

24 algorithms  optimization  combinatorics  integers 

Qual é a melhor maneira que qualquer um pode fazer para ter uma boa introdução à teoria do sistema distribuído, a livros ou referências e a tópicos e tópicos devem ser abordados primeiro e os requisitos para começar a aprender neste tópico.

24 reference-request  education  distributed-systems 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Definição do problema LMC (Log Min Min Cut) Suponha-se que é um digrama não ponderada, s e t são dois vértices de V , e t é acessível a …

24 complexity-theory  graph-theory  np-complete 

Em um artigo recente do CACM [1], os autores apresentam uma implementação para funções em etapas . Eles usam o termo como se fosse bem conhecido, e nenhuma das referências parece uma introdução óbvia. Eles dão uma breve explicação (os meus enfatizam e o número de referência mudou; são 22 …

24 terminology  programming-languages  meta-programming 

Sabemos que os DFAs são equivalentes aos NFAs em poder de expressividade; também existe um algoritmo conhecido para converter NFAs em DFAs (infelizmente agora conheço o inventor desse algoritmo), o que, na pior das hipóteses, nos dá estados, se nosso NFA tivesse estados. S2S2S2^SSSS Minha pergunta é: o que está …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism