Ciência da Computação

Se eu tenho uma gramática tipo 3, ela pode ser representada em um autômato de empilhamento (sem fazer nenhuma operação na pilha) para que eu possa representar expressões regulares usando linguagens livres de contexto. Mas eu posso saber se uma gramática do tipo 3 é , L L ( 1 …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Seja uma função construtiva de tempo fixa.fff O resultado clássico da simulação universal para as TMs (Hennie e Stearns, 1966) afirma que existe uma TM duas fitas que, dada aUUU a descrição de uma TM , e⟨M⟩⟨M⟩\langle M \rangle uma sequência de entrada ,xxx corre para as etapas e retorna …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Introdução Passo um Escrevi uma rede neural padrão de backpropegating e, para testá-la, decidi mapear o XOR. É uma rede 2-2-1 (com função de ativação tanh) X1 M1 O1 X2 M2 B1 B2 Para fins de teste, configurei manualmente o neurônio do meio superior (M1) como uma porta AND e …

16 machine-learning  neural-networks 

No livro "Geometria Computacional: Algoritmos e Aplicações", de Mark de Berg et al., Existe um algoritmo de força bruta muito simples para calcular as triangulações de Delaunay. O algoritmo usa a noção de arestas ilegais - arestas que podem não aparecer em uma triangulação válida do Delaunay e precisam ser …

16 algorithms  time-complexity  algorithm-analysis  computational-geometry  runtime-analysis 

Algum frontmatter: eu sou um cientista de computador recreacional e empregado um engenheiro de software. Então, desculpe se esse prompt parecer um pouco fora do campo esquerdo - eu brinco rotineiramente com simulações matemáticas e abro problemas quando não tenho nada melhor para fazer. Enquanto brincava com a hipótese de …

16 algorithms  reference-request  discrete-mathematics 

Nos é dado um conjunto de pontos bidimensionais e um número inteiro . Precisamos encontrar uma coleção de círculos que incluam todos os pontos, de modo que o raio do maior círculo seja o menor possível. Em outras palavras, devemos encontrar um conjunto de pontos centrais, de modo que a …

16 algorithms  computational-geometry 

Definição : Um polígono no plano é chamado monotônico em relação a uma linha reta , se todas as linhas ortogonais a cruzarem no máximo duas vezes.L L PPPPLLLLLLPPP Dado um polígono , é possível determinar se existe alguma linha modo que o polígono seja monótono em relação a ? …

16 algorithms  computational-geometry 

Estou realmente lutando com esta propriedade: Deixe que X,YX,YX,Y ser espaços coerentes e ser uma função monótona. é contínuo se e somente se , para todos os modo que seja um conjunto direcionado.f f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x )f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: …

16 terminology  programming-languages  semantics 

Pensa-se que um limite inferior assintótico, como dureza exponencial, implica que um problema é "inerentemente difícil". A criptografia que é "inerentemente difícil" de quebrar é considerada segura. No entanto, uma assintótica limite inferior não descarta a possibilidade de que uma enorme, mas finita classe de instâncias de problemas são fáceis …

16 complexity-theory  cryptography  asymptotics 

Em Teoria da computação de Michael Sipser, na página 270, ele escreve: P = a classe de idiomas para os quais a associação pode ser decidida rapidamente. NP = a classe de idiomas para os quais a associação pode ser verificada rapidamente. Qual é a diferença entre "decidido" e "verificado"?

16 complexity-theory  terminology  decision-problem 

Percebi que diferentes estruturas de dados são usadas quando implementamos algoritmos de busca. Por exemplo, usamos filas para implementar a primeira pesquisa de largura, pilhas para implementar a pesquisa em profundidade e min-heaps para implementar o algoritmo A * . Nesses casos, não precisamos construir a árvore de pesquisa explicitamente. …

16 algorithms  graphs  data-structures  search-algorithms 

Digamos que temos uma grande coleção de tarefas e uma coleção de processadores idênticos (em termos de desempenho) que operam completamente em paralelo. Para cenários de interesse, podemos assumir . Cada leva uma certa quantidade de tempo / ciclos para concluir, uma vez que é atribuído a um processador \ …

16 probability-theory  scheduling  parallel-computing 

Estou aprendendo sozinho os provedores de teoremas automatizados / solucionadores de SMT / assistentes de prova e postar uma série de perguntas sobre o processo, começando aqui . Por que os provadores automatizados de teoremas, como solucionadores de ACL2 e SMT, não precisam de assistência humana, enquanto os assistentes de …

16 logic  proof-assistants  automated-theorem-proving  smt-solvers 

De acordo com a Wikipedia : Informalmente, do ponto de vista da teoria algorítmica da informação, o conteúdo da informação de uma string é equivalente ao comprimento da menor representação possível possível dessa string. Qual é a definição rigorosa informal análoga de "informação útil"? Por que a "informação útil" não …

16 information-theory  terminology  kolmogorov-complexity 

Eu estou tentando provar que um montão binária com nnn nodos tem exatamente ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceilfolhas, dado que o heap é construído da seguinte maneira: Cada novo nó é inserido via percolate up . Isso significa que cada novo nó deve ser criado no próximo filho disponível. O que quero …

16 data-structures  binary-trees