Ciência da Computação

No contexto de nossa investigação de autômatos de heap , eu gostaria de provar que uma variante específica não pode aceitar linguagens não sensíveis ao contexto. Como não temos um modelo gramatical equivalente, preciso de uma prova que use apenas autômatos; portanto, tenho que mostrar que autômatos de heap podem …

10 automata  pushdown-automata 

Eu tenho a prova de ir de um enumerador para uma Máquina de Turing (continue executando o enumerador e veja se ele corresponde à entrada), mas não vejo como a outra maneira funciona. De acordo com minhas anotações e o livro (Introdução à Teoria da Computação - Sipser), para obter …

10 computability  turing-machines  intuition 

Existem vantagens em ter mais de 2 camadas ocultas em uma rede neural? Eu já vi alguns lugares que recomendam, outros provam que não há vantagem. Qual é o certo?

10 artificial-intelligence  neural-networks  neural-computing 

Eu estava brincando com a demo do Google Blocky's Maze e lembrei da regra antiga de que, se você quiser resolver um labirinto, mantenha a mão esquerda na parede. Isso funciona para qualquer labirinto conectado simples e pode ser implementado por um transdutor finito. Deixe nosso robô ser representado por …

10 automata  finite-automata  artificial-intelligence 

Estou tentando elaborar uma tarefa (tirada do livro Algoritmos - de S. Dasgupta, CH Papadimitriou e UV Vazirani , Cap 8, problema 8.6a), e estou parafraseando o que afirma: Dado que o 3SAT permanece NP-completo, mesmo quando restrito a fórmulas nas quais cada literal aparece no máximo duas vezes, mostre …

10 complexity-theory  satisfiability  3-sat 

Eu fiz uma pergunta (inicial) sobre somas dos termos do Landau antes , tentando avaliar os perigos de abusar da notação assintótica em aritmética, com sucesso misto. Agora, aqui o nosso guru da recorrência JeffE faz essencialmente isso: ∑i = 1nΘ ( 1Eu) =Θ( Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) …

10 terminology  asymptotics  landau-notation 

Formulação Alternativa Eu vim com uma formulação alternativa para o problema abaixo. A formulação alternativa é realmente um caso especial do problema abaixo e usa gráficos bipartidos para descrever o problema. No entanto, acredito que a formulação alternativa ainda é NP-difícil. A formulação alternativa usa um conjunto separado de nós …

10 complexity-theory  graphs  graph-theory  np-complete 

Eu tenho um problema em minha mente, acho que é um problema de NPC, mas não sei como prová-lo. Aqui está o problema: Existem k ilhas em um lago muito grande e n pontões em forma de leque. Esses pontões têm o mesmo tamanho, mas têm direções iniciais diferentes e …

10 complexity-theory  np-complete  np-hard 

Haverá necessidade de alterar as definições de segurança se tivermos computadores quânticos? Que construções criptográficas irão quebrar? Você conhece uma pesquisa ou um artigo que explica o que será necessário mudar?

10 reference-request  cryptography  quantum-computing 

É sabido que polígonos monótonos desempenham um papel crucial na triangulação de polígonos . 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.PPPeueuLeueuLPPP Dada uma linha e um polígono , existe um algoritmo …

10 algorithms  computational-geometry 

Existe a necessidade de ser infinito para ser indecidível?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quero dizer, e se escolhermos um idioma seja uma versão finita limitada de , ou seja , ( ), com . É possível que seja uma linguagem indecidível? L ⊆ Σ * | L ' | ≤ N N ∈ …

10 formal-languages  computability  undecidability 

Por diversão, estou tentando criar um visualizador de estrutura de arame para o DCPU-16 . Eu entendo como fazer tudo, exceto como ocultar as linhas que estão ocultas na estrutura de arame. Todas as perguntas aqui no SO supõem que você tenha acesso ao OpenGL, infelizmente não tenho acesso a …

10 algorithms  computational-geometry  graphics 

Em muitos textos, um limite inferior para encontrar kkk th menor elemento é derivado fazendo uso de argumentos usando medianas. Como posso encontrar alguém usando um argumento adversário? A Wikipedia diz que o algoritmo do torneio é executado em , e n - k + ∑ n j = n …

10 algorithms  algorithm-analysis 

Devido à natureza da pergunta, tenho que incluir muitas informações básicas (porque minha pergunta é: como restringir isso?) Dito isso, ele pode ser resumido (da melhor maneira possível) como: Quais métodos existem para encontrar ótimos locais em espaços de pesquisa combinatória extremamente grandes? fundo Na comunidade de super-jogos assistida por …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Seja A e B idiomas com A ⊆ B, e B é reconhecível por Turing. A não pode ser reconhecido por Turing? Se sim, existe algum exemplo?

10 computability