Ciência da Computação

Eu tenho uma tarefa de casa em que tenho criticado há algum tempo e gostaria de receber qualquer dica. Trata-se de escolher um problema conhecido, cuja integridade do NP é comprovada, e construir uma redução desse problema para o seguinte problema, que chamarei DGD (diagnóstico de gráfico direcionado). Problema Um …

11 complexity-theory  np-hard  graph-theory 

O algoritmo simplex caminha avidamente nos cantos de um politopo para encontrar a solução ideal para o problema de programação linear. Como resultado, a resposta é sempre um canto do politopo. Os métodos de pontos internos percorrem o interior do politopo. Como resultado, quando um plano inteiro do polítopo é …

11 algorithms  optimization  linear-programming 

Atualmente, estou aprendendo o cálculo lambda e estava pensando nos dois tipos diferentes de escrita de um termo lambda. λ x y. x yλxy.xy\lambda xy.xy λ x . λ y. x yλx.λy.xy\lambda x.\lambda y.xy Existe alguma diferença no significado ou na maneira como você aplica a redução beta, ou essas …

11 logic  lambda-calculus 

Eu tenho o seguinte idioma {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estou tentando determinar em qual classe de idioma Chomsky se encaixa. Eu posso ver como isso pode ser feito usando uma gramática sensível ao contexto, então eu sei que é pelo menos sensível …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Isso pode estar relacionado à ciência cognitiva computacional, mas estou curioso para saber como o processo seguido por algoritmos comuns de busca de caminhos (como A * ) se compara ao processo que os humanos usam em diferentes situações de busca de caminhos (com as mesmas informações). Esses processos são …

11 algorithms  graphs  artificial-intelligence 

Um dispensador de bebidas exige que o usuário insira uma moeda ( ) e pressione um dos três botões: solicita uma xícara de chá , o mesmo para café , e solicita um reembolso (ou seja, a máquina devolve a moeda: ). Este dispensador pode ser modelado pelo seguinte processo …

11 logic  concurrency  modelling  process-algebras  ccs 

Se bem entendi, a NFA tem o mesmo poder expressivo que as expressões regulares. Freqüentemente, é fácil ler expressões regulares equivalentes do NFA: você traduz ciclos para estrelas, junções como alternativas e assim por diante. Mas o que fazer neste caso: [ fonte ] Os ciclos sobrepostos dificultam a visualização …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Como é possível decidir se possui alguma sequência de dígitos? ππ\pime inspirou a perguntar se a seguinte variação de aparência inocente é computável: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the …

11 computability  real-numbers 

Sistema de reescrita é um conjunto de regras na forma de . Se aplicarmos essa regra a uma string w , substituiremos qualquer substring A em w por um substring B e vice-versa.A ↔ BUMA↔BA \leftrightarrow BWWwUMAUMAAWWwBBB Dada uma sequência inicial podemos derivar B A A B no sistema com …

11 computability  term-rewriting 

Sejam L1L1L_1 , L2L2L_2 , L3L3L_3 , ……\dots uma sequência infinita de linguagens livres de contexto, cada uma das quais é definida sobre um alfabeto comum . Seja a união infinita de L_1 , L_2 , L_3 , \ dots ; ou seja, L = L_1 \ xícara L_2 \ …

11 formal-languages  context-free  closure-properties 

Eu observei que existem dois tipos diferentes de estados na previsão de ramificações. Na execução superescalar, em que a previsão de ramificação é muito importante e ocorre principalmente no atraso da execução, em vez do atraso da busca. No pipeline de instruções, onde a busca é mais problemática, pois as …

11 cpu-pipelines  computer-architecture 

Considere um sistema de arquivos direcionado a alguns dispositivos incorporados que faz pouco mais do que armazenar arquivos em uma estrutura de diretórios hierárquica. Esse sistema de arquivos carece de muitas das operações com as quais você pode estar acostumado em sistemas como unix e Windows (por exemplo, suas permissões …

11 operating-systems  filesystems 

É teoricamente possível especificar uma linguagem de programação para a qual não existe implementação? Uma linguagem de programação é uma maneira de definir funções. Uma implementação significa um método para executar um determinado programa nesse idioma em uma determinada entrada para a saída da função correspondente ao programa nessa entrada. …

11 formal-languages  computability  programming-languages 

Qual das seguintes afirmações está correta? existem condições suficientes e necessárias sobre a regularidade de uma língua, mas ainda não foram descobertas. Não há condição suficiente e necessária sobre a regularidade de um idioma. O lema de bombeamento é uma condição necessária para a não regularidade de um idioma. O …

11 formal-languages  regular-languages 

Considerando esse pseudo-código de um conjunto de bolhas: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Quais seriam …

11 algorithms  time-complexity  sorting  average-case