Ciência da Computação

Considere um modelo de CSP em que a alteração do valor de uma variável específica seja cara. Existe algum trabalho em que a função objetivo também considere o número de alterações no valor da variável durante o processo de busca? Um exemplo: a variável dispendiosa para alterar pode estar no …

10 algorithms  constraint-programming 

Entendo que um numeral da Igreja parece com (... n vezes ...) . Isso significa nada mais do que "a função aplicada vezes à função ". λ s . λ z . s scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Uma definição possível da função …

10 lambda-calculus  church-numerals 

Dado um número inteiro e um conjunto de trigêmeos de números inteiros distintos encontre um algoritmo que encontre uma permutação do conjunto modo que ou determina corretamente que não existe tal permutação. Menos formalmente, queremos reordenar os números de 1 a ; cada triplo em indica que deve aparecer antes …

10 algorithms  optimization  scheduling 

Em um rastreador de raios Whitted, cada interseção objeto-raio gera um raio transmitido (se o objeto era translúcido), um raio refletido e um raio sombrio. O raio das sombras contribui com o componente de iluminação direta. Mas o que acontece se o raio das sombras cruzar um objeto transparente? O …

10 graphics 

Eu tenho o seguinte problema algorítmico: Determinar o espaço Turing complexidade de reconhecer seqüências de DNA que são palíndromos Watson-Crick. Os palíndromos de Watson-Crick são cadeias cujo complemento invertido é a cadeia original. O complemento é definido em letras, inspirado no DNA: A é o complemento de T e C …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Na teoria da codificação, 'quão bom é um código' significa quantos erros de canal podem ser corrigidos, ou melhor, o nível máximo de ruído com o qual o código pode lidar. Para obter códigos melhores, os códigos são projetados usando um alfabeto grande (em vez de um código binário). E …

10 information-theory  coding-theory 

Estou curioso. Eu tenho trabalhado nesse tipo de dados no OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que pode ser manipulado usando funções recursivas de tipo explícito (um recurso que foi …

10 logic  programming-languages  coq  inductive-datatypes 

Seja o conjunto de terminais e o conjunto de símbolos não terminais de alguma gramática livre de contexto .ΣΣ\SigmaNNNGGG Digamos que eu tenho uma string tal que que e são as formas de sentenciais .a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in \mathcal{S}(G)x,y∈(Σ∪N)∗x,y∈(Σ∪N)∗x,y\in (\Sigma \cup N)^*S(G)S(G)\mathcal{S}(G)GGG Dado , eu gostaria …

10 algorithms  context-free  formal-grammars  compilers 

OK, então aqui está uma pergunta de um teste passado na minha aula de Teoria da Computação: Um estado inútil em uma TM é aquele que nunca é inserido em nenhuma sequência de entrada. Deixe Prove que \ mathrm {USELESS} _ {\ mathrm {TM}} é indecidível.U S E L E …

10 computability  undecidability  formal-methods  turing-machines 

Estou tentando entender o que há de errado com a seguinte prova da recorrência a seguir T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) A documentação diz que está errado por causa da hipótese indutiva de que T(n)≤cnT(n)≤cn T(n) \leq cn O que estou perdendo?

10 algorithms  landau-notation  asymptotics  recurrence-relation 

Escreva para a expansão decimal de (sem avanço ). Deixe e ser inteiros, com . Considere o idioma das expansões decimais dos múltiplos de mais uma constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} é regular? sem contexto?MMM (Contraste com o idioma do gráfico de uma função …

10 formal-languages  context-free  regular-languages  integers 

No Problema de Correspondência Estável , afirma-se que podem existir casos em que a lista de homens pode se contentar com suas decisões, mas a lista de f não pode quando o algoritmo é executado com propostas de homens.mmmfff Pelo que li, ocorre uma correspondência instável quando e f se …

10 combinatorics 

O agendamento de dois níveis é útil quando um sistema está executando mais processos do que cabem na RAM: um agendador de nível inferior alterna entre processos residentes e um agendador de nível superior alterna entre grupos de processos. Não encontro outra menção ao agendamento de dois níveis nos Sistemas …

10 operating-systems  process-scheduling 

Originalmente em math.SE, mas sem resposta lá. Considere o seguinte algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if …

10 algorithms  loop-invariants  correctness-proof 

A lógica temporal linear e os autômatos determinísticos de Büchi são incomparáveis: o DBA não pode expressar e LTL não pode expressar "pelo menos cada letra ímpar é 'a'" . Mas, às vezes, é interessante saber se a linguagem de um DBA pode ser expressa em LTL.FG aFGumaFGa Eu preciso …

10 logic  automata  linear-temporal-logic  buchi-automata