Ciência da Computação

Máquinas de Turing e gramáticas irrestritas são dois formalismos diferentes que definem as linguagens de ER. Algumas linguagens de ER são decidíveis, mas nem todas são. Podemos definir as linguagens decidíveis com as máquinas de Turing dizendo que uma linguagem é decidível se houver uma TM para a linguagem que …

10 computability  turing-machines  formal-grammars 

Considere o seguinte problema cuja instância de entrada é um gráfico simples e um número inteiro natural .GGGkkk Existe um conjunto tal que seja bipartido e ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Eu gostaria de mostrar que esse problema é -completo, reduzindo …

10 complexity-theory  np-complete  reductions 

Recentemente, deparei com um artigo descrevendo a técnica de análise mencionada no título. Infelizmente, a terminologia usada no referido artigo está um pouco além da minha compreensão, por isso tenho tentado entender o algoritmo de construção de maneira mais intuitiva. Acredito que consegui ( esta apresentação foi a fonte do …

10 algorithms  formal-grammars  context-free  parsing 

O que são funções anônimas (lambda)? Qual é a definição formal de uma função anônima em uma linguagem de programação funcional? Em meus termos simples, quando estou programando no esquema / lisp, eu diria que uma função anônima (lambda) é uma função que não está vinculada a um identificador. É …

10 logic  programming-languages  lambda-calculus  functional-programming 

Este é um problema da sessão de treinos do Concurso Polonês de Programação Colegial de 2012 . Embora eu tenha encontrado as soluções para o concurso principal, não consigo encontrar a solução para esse problema em nenhum lugar. O problema é: dado um conjunto de números inteiros positivos distintos não …

10 algorithms  number-theory 

Preciso de ajuda para calcular a função potencial de um heap máximo, para que o extrair max seja concluído em tempo amortizado. Devo acrescentar que não tenho uma boa compreensão do método potencial.O(1)O(1)O(1) Eu sei que a função de inserção deve "pagar" mais para reduzir o custo da extração, e …

10 data-structures  runtime-analysis  heaps  amortized-analysis 

maximize f(x)subject to Ax=bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} Onde f(x)=∑i=1N1+x4i(∑Ni=1x2i)2−−−−−−−−−−−−−⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, x=[x1,x2,...,xN]T∈RN×1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1} e .A∈RM×NA∈RM×N\mathbf{A} \in \mathbb{R}^{M\times N} Podemos ver que é convexo e tem a forma . Também pode ser mostrado que é delimitado em . Eu …

10 optimization 

Fiz um curso sobre compiladores em meus estudos de graduação, nos quais escrevemos um compilador que compila programas de origem em uma linguagem semelhante a Java de brinquedo a uma linguagem de montagem de brinquedos (para a qual tínhamos um intérprete). No projeto, fizemos algumas suposições sobre a máquina de …

10 compilers  computer-architecture 

Existem linguagens de programação (ou lógica) que podem implementar (ou expressar) uma função se e somente se for uma função bijetiva computável?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Eu faço curso de Complexidade Computacional. Meu problema é que eu não entendo o método de relativização . Tentei encontrar um pouco de intuição em muitos livros didáticos, infelizmente, até agora sem sucesso. Apreciaria se alguém pudesse esclarecer esse assunto para que eu possa continuar sozinho. Poucas frases a seguir …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Suponha que eu tenha um gráfico direcionado com pesos de arestas desenhados no intervalo onde é constante. Se estou tentando encontrar o caminho mais curto usando o algoritmo de Dijkstra , como posso modificar a estrutura do algoritmo / dados e melhorar a complexidade do tempo para ?[1,…,K][1,…,K][1,\dots, K]KKKO(|V|+|E|)O(|V|+|E|)O(|V|+|E|)

10 algorithms  data-structures  shortest-path  weighted-graphs 

Eu realmente gostaria da sua ajuda para provar o seguinte. Se então .P = N PNTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aqui, é a classe de todas as línguas que podem ser decididas pela máquina de Turing não determinística no tempo polinomial de e é a classe de todas as línguas que pode …

10 time-complexity  complexity-classes  p-vs-np 

Vindo do ponto de vista de quem está pensando em fazer um doutorado em ciência da computação. Estou tendo problemas para decidir em que focar minha pesquisa quando for para o doutorado. Veja também esta pergunta sobre academia.SE . Então, estou pensando que ler / manter-se atualizado sobre quais pesquisas …

10 reference-request 

Eu tenho um problema que pode ser reduzido a um problema de atribuição. (Em uma pergunta anterior, descobri como fazer isso.) O que significa que temos um conjunto de agentes e um conjunto de tarefas, bem como uma função de custo c (i, j) . Precisamos encontrar uma tarefa para …

10 algorithms  graph-theory  assignment-problem 

Li na Wikipedia que a unificação é um processo de solução do problema de satisfação. Ao mesmo tempo, eu sei que esses solucionadores são chamados de "solucionadores SAT" ou "solucionadores SMT". Então, eles são nomes diferentes para a mesma coisa? Se você diz que eles são diferentes, por favor, indique …

10 terminology  sat-solvers  unification