É possível distinguir termos normais que não contêm beta redex como uma sub-expressão, de outros como esses data WithBound a = Var | Other a data Normal a = Neutral (Neutral a) | Abstract (Normal (WithBound a)) data Neutral a = Variable a | Apply (Neutral a) (Normal a) Existe alguma...
Estou lendo a pesquisa de Aaronson sobre P vs. NP, e entendi que, na teoria da CS, as pessoas realmente se preocupam com resultados de des aleatorização, como P vs. BPP etc. Minha pergunta é: qual é o problema da aleatoriedade? Se seu algoritmo exigir apenas um número polinomial de bits aleatórios,...
É sabido que o problema da universalidade para a NFA (decidir se L(A)=Σ∗L(A)=Σ∗L(A)=\Sigma^*) é PSPACEPSPACEPSPACE-completo. No entanto, e se todos os estados da NFA estiverem aceitando? Parece-me que o problema está no máximocococo-NPNPNP, como um contra-exemplo (diferente do caso de uma NFA...
Peço desculpas pelo título longo, mas realmente não sabia como escrevê-lo de maneira diferente, sem a falta de informações sobre o conteúdo. Recentemente, fiz um exame universitário sobre algoritmos paralelos. Um exercício me pediu para escrever um algoritmo para determinar se os elementos de uma...
A análise de gramáticas de expressão (PEGs) é inequívoca e possui uma sintaxe superficialmente semelhante ao BNF , mas inclui três diferenças importantes: O operador de escolha ordenada e1 / e2 / e3. O e predicado &. O operador não !. Eu tenho algumas perguntas: Os idiomas reconhecidos...
Atualmente, estou estudando línguas formais. Minha palestra afirma que, embora as palavras de uma língua sejam finitas, as frases construídas com a gramática subjacente não são. Mas não entendo por que isso geralmente deve ser verdade. Eu posso imaginar a gramática que me deixa com uma quantidade...
Estou tentando implementar um procedimento de otimização em Python usando BFGS e L-BFGS em Python, e estou obtendo resultados surpreendentemente diferentes nos dois casos. O L-BFGS converge para o mínimo adequado super rápido, enquanto o BFGS converge muito lentamente, e isso também para um mínimo...
Recentemente, deparei-me com este post de Brian McKenna explicando o polimorfismo de linha. Pareceu-me uma ideia maravilhosa, mas então percebi que cheira muito a polimorfismo paramétrico limitado: Com polimorfismo de linha: sum: {x: int, y: int | rho} -> int function sum r = r.x + r.y Com...
Acho difícil encontrar definições formais de classes de complexidade de funções. Aqui estão dois da Wikipedia. Uma relação binária P(x,y)P(x,y)P(x,y)está em FP se e somente se houver um algoritmo de tempo polinomial determinístico que, dadoxxx, pode encontrar alguns yyy de tal modo que...
O problema é NP-completo (comprovado) para todos os dados de entrada (sem exceção). Assumimos que P! = NP. É possível que exista um subconjunto (infinitamente grande) do problema, para o qual esse subconjunto esteja em P? Questão
Existe um conjunto de regras indutivas e um ponto fixo dessas regras, mas não é o menor nem o maior ponto
Largura da árvore : 1) Por gráficos de acordes : tamanho da maior camarilha(ω(G))(ω(G))(\omega (G))- 1 em uma conclusão cordial do gráficoGGG. 2) Por decomposição de árvores : Uma decomposição de árvores de G=(V,E)G=(V,E)G = (V , E) consiste em uma árvore TTT (em um conjunto de nós diferente de...
Existe uma estrutura de dados que ofereça suporte eficiente às seguintes operações? Adicionar conjunto Pergunte se algum subconjunto de um conjunto foi adicionado. Isso pode ser implementado com sobrecarga linear, testando todos os conjuntos adicionados durante cada consulta. Pode ser...
Então, eu estou familiarizado com duas estratégias principais de ter polimorfismo de classificação mais alta em um idioma: Polimorfismo no estilo System-F, em que as funções são explicitamente digitadas e a instanciação ocorre explicitamente no tipo de aplicativo. Esses sistemas podem ser...
A máquina de Turing foi inventada por uma mente humana. Presumivelmente, nada menos poderoso do que uma máquina de Turing pode inventar uma máquina de Turing. No entanto, uma máquina de Turing possui fita infinita, enquanto a mente está situada em um universo finito e, portanto, só pode ser uma...
Considere um loop while do formulário: enquanto (C) {S}enquanto (C) {S}\texttt{while (C) {S}} com a condição e o corpo do loop.CC\texttt{C}SS\texttt{S} Seja EuEu\texttt{I} e VV\texttt{V} respectivamente, uma invariável e uma variante desse loop. A regra para a correção total dos loops while é...
Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance No artigo "Chegar a um acordo na presença de falhas", M. Pease et al. provou que não existe um protocolo (de algum tipo) para resolver o probleman≤3mn≤3mn \leq 3m, Onde nnn significa o número de generais e mmmsignifica o número de...
Sabe-se que qualquer máquina de Turing (determinística, com uma única fita) que executa no tempo decide um idioma regular (por exemplo, consulte este link ). Assim, existe uma máquina de Turing equivalente que roda no tempo . Em outras palavras, se entãoo(nlogn)o(nlogn)o(n\log...
Preciso provar que o TAUT é coNP-completo. Eu mostrei esse reduzindo para . No entanto, não consigo descobrir como provar que todos os problemas no coNP podem ser reduzidos para em tempo polinomial. Para fazer isso, eu precisaria de uma de duas coisas:TAUT∈coNPTAUT∈coNP\text{TAUT} \in...
Estou interessado na relação de equivalência alfa em idiomas com ligações variáveis, como: t := x:y 'x belong to y' | bot 'False' | t -> t 'implication' | Ax.t 'forall x, t' Ou o cálculo lambda puro: t := x 'variable' | (t t) 'application ' | Lx.t 'abstraction: \x -> t' Estou...