Se você pudesse renomear a programação dinâmica ...
Se você pudesse renomear a programação dinâmica, como
43
perguntas sobre definições, termos e nomes comuns na ciência da computação teórica.
Se você pudesse renomear a programação dinâmica, como
Pergunte até a alguém com experiência em ciência da computação o que é uma expressão regular e é provável que a resposta ultrapasse a restrição de estar ao alcance de um autômato de estado finito. Por exemplo, a "expressão regular" /^1?$|^(11+?)\1+$/ criado pela notável personalidade do Perl,...
Em algumas perguntas recentes ( q1 q2 ), houve uma discussão sobre "Teoria A" vs "Teoria B", aparentemente para capturar a divisão entre o estudo das linguagens de lógica e programação e o estudo de algoritmos e complexidade. Essa terminologia era nova para mim, e uma rápida pesquisa na web não...
Alguém ousa tentar esclarecer qual é a relação desses campos de estudo ou talvez até mesmo dar uma resposta mais concreta no nível dos problemas? Como o que inclui quais assumindo algumas formulações amplamente aceitas. Se eu entendi direito, quando você passa de SAT para SMT, está basicamente...
Como não houve resposta no Lambda the Ultimate , tentei novamente aqui: sistemas de reescrita de termos são usados, por exemplo, em teoremas automatizados que provam um cálculo simbólico e, é claro, para definir gramáticas formais. Existem algumas linguagens de programação baseadas na reescrita de...
Existem problemas no CS em que não são conhecidos algoritmos eficientes, apesar dos teoremas da existência provar que esses algoritmos eficientes devem existir? Como são chamados esses problemas? Onde posso descobrir
Desculpe, se esta é uma pergunta ingênua, mas não consegui encontrar a justificativa em nenhum dos principais livros de texto como Bondy-Murty, Diestel ou West. Os gráficos perfeitos têm muitas propriedades bonitas, mas qual é a única razão pela qual são chamados de perfeitos? Ou é apenas uma...
Faça um gráfico direcionado onde as bordas são decoradas com um número natural. Queremos o conjunto de todos os caminhos P entre dois vértices v 1 e v 2, de modo que cada aresta sucessiva no caminho seja decorada com um número natural que seja maior que o número natural que decora a aresta...
Uma das coisas surpreendentes da ciência da computação é que a implementação física é, em certo sentido, "irrelevante". As pessoas construíram computadores com sucesso em vários substratos diferentes - relés, tubos de vácuo, transistores discretos etc. Em breve, as pessoas poderão construir...
Esta pergunta é sobre lógica proposicional e todas as ocorrências de "resolução" devem ser lidas como "resolução proposicional". Essa questão é extremamente básica, mas está me incomodando há algum tempo. Vejo pessoas afirmarem que a resolução proposicional está completa, mas também vejo pessoas...
Durante muito tempo, pensei que um problema era NP-completo se fosse (1) NP-difícil e (2) estivesse em NP. No entanto, no famoso artigo "O método elipsóide e suas conseqüências na otimização combinatória" , os autores afirmam que o problema do número cromático fracionário pertence ao NP e é...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
Dizemos que uma função é construtível no tempo , se existir uma máquina de Turing determinística múltiplas fitas que em todas as entradas de comprimento faça no máximo etapas e para cada existe alguma entrada de comprimento na qual executa exatamente etapas. M n f ( n ) n n M f ( n...
Esta pergunta pode não ser técnica. Como um falante não-nativo e um AT para a classe de algoritmos, sempre me perguntei o que significa gadget em 'cláusula gadget' ou 'variável gadget'. O dicionário diz que um gadget é uma máquina ou um dispositivo, mas não tenho certeza do significado coloquial...
A única definição de "cálculo" de que conheço é o estudo de limites, derivadas, integrais etc. na análise. Em que sentido o cálculo lambda (ou coisas como mu calculus) é um "cálculo"? Como isso se relaciona com o cálculo na
Atualmente, estou ouvindo a palestra de Alan Kays: "É realmente complexo ou acabamos de complicar?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), onde ele diz que "os semáforos eram uma má idéia e havia algo chamado pseudo-tempo que era superior" (às 51:40 no vídeo vinculado). Talvez eu...
Gostaria de saber se o seguinte problema tem um nome ou quaisquer resultados relacionados a ele. Deixe G = ( V, W )G=(V,W)G = (V,w) ser um gráfico ponderada onde w ( u , v)W(você,v)w(u,v) indica o peso da aresta entre vocêvocêu e , e para todo , . O problema é encontrar um subconjunto de vértices...
Todos sabemos que a complexidade mínima de um algoritmo de classificação baseado em comparação é Ω(nlogn)Ω(nlogn)\Omega(n \log n) comparações. Estou tentando fazer uma classificação às cegas , ou seja, dado um número nnn saída de um circuito (com portas booleanas, aritméticas e de "comparação")...
Um gráfico colorido pode ser descrito como tupla (G,c)(G,c)(G,c) onde GGG é um gráfico c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} é a coloração. Diz-se que dois gráficos coloridos (G,c)(G,c)(G,c) e (H,d)(H,d)(H,d) são isomórficos se existir um isomorfismo π:V(G)→V(H)π:V(G)→V(H)\pi : V(G)...
Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta. Se eu tiver duas cláusulas do formulário: B:-A C:-A eu posso transformá-las em: B,C:-A ( Editar: onde B,Cestá uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim...