Perguntas com a marcação «terminology»

Se você pudesse renomear a programação dinâmica, como chamaria?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

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, Abigail (e parte …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

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 entrando no …

30 soft-question  sat  terminology 

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 …

30 ho.history-overview  terminology 

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 termos, mas até onde eu …

25 pl.programming-languages  terminology  term-rewriting-systems 

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 mais?

22 ds.algorithms  reference-request  terminology 

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 preferência estética …

16 graph-theory  co.combinatorics  terminology  graph-colouring 

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 …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

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 computadores completos de Turing a partir de materiais …

16 computability  turing-machines  terminology  physics  natural-computing 

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 afirmarem que a resolução está incompleta. Entendo …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

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 …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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 é NP-difícil, mas …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

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 …

13 cc.complexity-theory  time-complexity  terminology 

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 tenha entendido mal a palavra "pseudo-tempo", mas …

11 terminology  concurrency 

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 análise?

11 terminology  lambda-calculus