Ciência da Computação

Eu estou olhando para a recorrência T( n ) = T( n / 2 ) + T( n / 3 ) + n ,T(n)=T(n/2)+T(n/3)+n,T(n) = T(n/2) + T(n/3) + n, que descreve o tempo de execução de algum algoritmo não especificado (casos base não são fornecidos). Usando indução, descobri que …

7 asymptotics  recurrence-relation 

Qual é o número de operações de ponto flutuante necessárias para executar a exponenciação (potência de)? Supondo que a multiplicação de dois carros alegóricos use um FLOP, o número de operações para xnxnx^n será n - 1n−1n-1. No entanto, existe uma maneira mais rápida de fazer isso? Como isso funciona …

7 algorithms  arithmetic  floating-point 

Estou tentando entender a complexidade de tempo de uma fila implementada com uma estrutura de dados de lista vinculada. Meu livro diz que podemos implementar uma fila no tempo O (1): enfileiramento na parte de trás desenfileiramento na cabeça e também diz Observe que, embora adicionar um elemento à cauda …

7 algorithms  time-complexity  linked-lists  queues 

Na era do Windows XP, ao configurar a fala / ditado embutido no sistema operacional Windows, tive que falar um monte de amostras de texto programadas no mecanismo de fala em texto para personalizar meu perfil de voz. Hoje, com mecanismos de fala para texto em rede como Siri ou …

7 algorithms  machine-learning  speech-recognition 

Suponha que tenhamos um oráculo que resolve problemas da forma maximize subject to cTxAx=b,x≥0maximize cTxsubject to Ax=b,x≥0\begin{align*} \text{maximize} ~~ & c^T x \\ \text{subject to} ~~ & A x = b, x\geq 0 \end{align*} quando (todos os coeficientes no alvo de maximização são não negativos).c≥0c≥0c\geq 0 Pode ser usado para …

7 linear-programming 

A forma normal administrativa é uma representação intermediária do programa na qual cada instrução imediata tem um nome. É usado no GHC e no OCaml . A forma normalizada de K é uma representação intermediária na qual cada instrução consiste em uma atribuição e operação. É usado no MLKit, Min-Caml …

7 programming-languages  compilers 

Estou participando de uma aula de teoria da computação e meu professor nos disse que um autômato de empilhamento não pode usar estruturas de dados além de uma pilha (como uma fila ou várias pilhas). Por que é que?

7 automata  pushdown-automata  computation-models 

Temos uma função que recebe uma matriz como entrada. Ele divide uma matriz em partes com tamanhos iguais, onde é o tamanho da sub- matriz . Ele continua quebrando cada um dos sub-arranjos até restarem apenas dois elementos nele. Qual é a profundidade dessa recursão?log2(n)log2⁡(n)\log_2(n)nnn Exemplo do processo: Primeiro, temos …

7 complexity-theory  time-complexity  asymptotics  recursion  mathematical-analysis 

Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , para dar duas) afirma-se que a determinação da "equivalência" de duas matrizes Hadamard (no sentido de permitir sinal-flips e permutações em linhas e colunas) é difícil para NP. Nenhuma fonte que encontrei para essa …

7 np-complete  reference-request  graph-isomorphism 

Estou lendo as palestras sobre a teoria dos tipos cúbicos neste repositório do github . Na aula 1, o autor define a extensionalidade da função da seguinte maneira: funExt (A B : U) (f g : A -> B) (p : (x : A) -> Path B (f x) (g …

7 type-theory  homotopy-type-theory 

Alguém sabe o quão eficiente foi a primeira máquina de Turing fabricada por Alan Turing? Quero dizer, quantos movimentos ele fez por segundo, mais ou menos ... Só estou curioso. Também não foi possível encontrar nenhuma informação sobre isso na web.

7 turing-machines 

Eu estou procurando por uma estrutura de dados para armazenar um conjunto que, considerando duas instâncias do tamanho que são conhecidas por terem interseção não vazia, o elemento mínimo da interseção possa ser encontrado em . Isso é possível de alcançar, para o pior caso ou para a complexidade amortizada? …

7 data-structures  heaps 

Eu gostaria de um algoritmo que possa identificar partes repetidas de grandes rastreamentos de pilha como este: java.lang.StackOverflowError at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at typechecker.Typers$Typer.typedInternal(Typers.scala:5672) at typechecker.Typers$Typer.body$2(Typers.scala:5613) at typechecker.Typers$Typer.typed(Typers.scala:5618) at typechecker.Typers$Typer.$anonfun$typed1$38(Typers.scala:4752) at typechecker.Typers$Typer.silent(Typers.scala:700) at typechecker.Typers$Typer.normalTypedApply$1(Typers.scala:4754) at typechecker.Typers$Typer.typedApply$1(Typers.scala:4801) at typechecker.Typers$Typer.typedInAnyMode$1(Typers.scala:5586) at typechecker.Typers$Typer.typed1(Typers.scala:5603) at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at typechecker.Typers$Typer.typedInternal(Typers.scala:5672) at typechecker.Typers$Typer.body$2(Typers.scala:5613) at typechecker.Typers$Typer.typed(Typers.scala:5618) …

7 algorithms 

Estou lendo o "The Algorithm Design Manual", de Steven Skiena, e em uma de suas histórias de guerra na página 155, ele afirma: A eficiência é um grande desafio no Mathematica, devido ao seu modelo aplicacional de computação (não suporta operações de gravação em tempo constante para matrizes) e a …

7 arrays 

Suponha, temos dois polígonos convexos não sobrepostos AAAe . Como podemos desenhar uma linha reta que divide em duas partes da mesma área e também divide em duas partes da mesma área? Além disso, podemos fazer isso com complexidade ou melhor? ( )BBBAAABBBO(n2)O(n2)O(n^2)n=|A|+|B|n=|A|+|B|n = |A| + |B|

7 computational-geometry