Vamos supor que eu tenho duas funções FFF e GGG e estou interessado em determinar se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Vamos supor que minhas funções sejam compostas por funções elementares (polinômios, exponenciais, logs e funções trigonométricas), mas não, digamos, séries de...
Eu tenho uma matriz de banda - uma matriz esparsa, quadrada e simétrica cuja estrutura se parece com a seguinte:N×NN×NN \times N Aqui, a área sob as listras azuis são os elementos diferentes de zero; tudo o resto é zero Existe um algoritmo para inverter esse tipo de matriz que é simples, mas...
String é uma classe imutável em Java. Uma classe imutável é simplesmente uma classe cujas instâncias não podem ser modificadas. Por que a linguagem de programação Java escolhe tornar objetos da classe String
Disclaimer: Eu sou um biólogo, desculpe-me pela (talvez) pergunta básica formulada em termos tão grosseiros. Não tenho certeza se devo fazer essa pergunta aqui ou no DS / SC, mas o CS é o maior de três, então aqui vai. (Depois que postei, ocorreu-me que o Validado Cruzado pode ser o melhor...
Às vezes ouvimos "Swift não faz GC clássico (rastreamento), ele usa ARC". Mas não tenho certeza se há algo na semântica do Swift que exija contagem de referência. Parece que é possível criar o próprio compilador e tempo de execução Swift para usar o rastreamento de GC. Então, o que exatamente é...
Dada uma string , eu gostaria de encontrar a subsequência mais repetida (pelo menos duas vezes). Ou seja, eu gostaria de encontrar uma string que seja uma subsequência (não precisa ser um contíguo) de tal que . Ou seja, é uma string cujas metades aparecem duas vezes seguidas. Observe que é uma...
Quero saber até que ponto um sistema de tipos em uma linguagem de programação pode ser benéfico. Por exemplo, eu sei que em uma linguagem de programação de tipo dependente, podemos criar uma Vectorclasse incorporando o tamanho do vetor na assinatura do tipo. É como um exemplo de fato. Também...
Estou aprendendo árvores de pontos de vista, e eu o conheci ao ler o artigo Estruturas de dados e algoritmos para pesquisa de vizinhos mais próximos em espaços métricos gerais de Peter Yianilos ( Proceedings of SODA 1993 , SIAM, páginas 311–321; PDF ). O pseudocódigo a seguir aparece no Algoritmo...
Para provar que a 3 cores é decidível, basta dizer: Cada nó no gráfico possui 3 cores possíveis Portanto, podemos enumerar todas as possibilidades de e verificar se não há duas arestas conectando nós da mesma cor3n3n3^n Isso prova que a 3 cores é decidível? Ou preciso construir uma máquina de...
Nos anos 50, foram inventados vários métodos de minimização de circuitos para funções booleanas . Existe uma extensão desses métodos ou algo semelhante para otimizar a complexidade do tempo ou espaço dos algoritmos? Por exemplo, uma implementação de classificação por bolhas como uma entrada para...
Podemos formar o DFA aceitando números binários divisíveis por .nnn Por exemplo, o DFA que aceita números binários divisíveis por 2 pode ser formado da seguinte maneira: Da mesma forma, o DFA que aceita números binários divisíveis por 3 pode ser formado da seguinte maneira: Podemos seguir um...
Eu já li em muitos artigos na pesquisa de vizinhos mais próximos de dimensões mais altas que as árvores KD são exponenciais em K, mas não consigo determinar o porquê. O que estou procurando é uma sólida análise de complexidade de tempo de execução que explique esse aspecto do...
DFA, NFA e epsilon NFA, todos os três nos permitem representar uma linguagem regular específica. Com qualquer uma dessas representações, podemos chegar à mesma expressão regular, então por que precisamos estudar todas as três formas de representação de autômatos finitos? Pode haver alguma...
Heaps mescláveis aleatórios possuem uma operação "meld", que usamos para definir todas as outras operações, incluindo insert. A questão é: qual é a altura esperada dessa árvore com nós?nnn O teorema 1 de Gambin e Malinkowski, Filas de prioridade aleatória fundível (Proceedings of SOFSEM 1998,...
Hoje, no almoço, levantei essa questão com meus colegas e, para minha surpresa, o argumento de Jeff E. de que o problema é decidível não os convenceu ( aqui está uma publicação intimamente relacionada ao mathoverflow). Uma declaração de problema que é mais fácil de explicar ("é P = NP?") Também é...
Na computação paralela, eu sei que a equação de aceleração é 1s+1−sp1s+1−sp \frac{1}{ s + \frac{1-s}{p} } Mas o que se entende por velocidade superlinear? É algo teórico? Você poderia explicar isso com
Ocorreu-me uma pergunta sobre o problema da interrupção e não consegui encontrar uma boa resposta on-line, imaginando se alguém poderia ajudar. É possível que o problema da parada seja decidível para qualquer TM em qualquer entrada, desde que a entrada não seja a própria TM?...
Alguma confusão sobre complexidade de tempo e A *. De acordo com o A * Wiki, a complexidade do tempo é exponencial na profundidade da solução (caminho mais curto): A complexidade do tempo de A * depende da heurística. No pior caso de um espaço de pesquisa ilimitado, o número de nós expandidos...
Eu estava aprendendo sobre os caminhos mais longos e me deparei com o fato de que os caminhos mais longos nos gráficos gerais não são solucionáveis pela programação dinâmica porque o problema carecia de uma subestrutura ideal (que eu acho que a instrução precisa ser corrigida para os caminhos...
Eu estava resolvendo relações de recorrência. A primeira relação de recorrência foi T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n A solução deste pode ser encontrada pelo Teorema Mestre ou pelo método da árvore de recorrência. A árvore de recorrência seria algo como isto: A solução seria:...