Ciência da Computação

Eu estava lendo uma pergunta no Stack Overflow perguntando se era NP- difícil listar todos os ciclos simples em um gráfico contendo um nó específico e me ocorreu que eu não conseguia pensar em nenhuma classe de complexidade existente que fosse adequada para falando sobre problemas no formulário "liste todas …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Suponha duas listas de itens comparáveis: u e s. Seja INV (u) o número de inversões em u. Estou procurando um algoritmo eficiente para inserir os itens de s em u com um aumento mínimo de INV (u). Basicamente, gostaria de inserir objetos em uma lista, mantendo-o "o mais ordenado …

15 algorithms  sorting 

No artigo de Philip Wadler sobre Teoremas de graça, ele afirma na Seção 2 sobre Parametricidade que não existem modelos ingênuos de teoria dos conjuntos de cálculo lambda polimórfico No modelo ingênuo da teoria dos conjuntos, os tipos são conjuntos e as funções são funções da teoria dos conjuntos que …

15 functional-programming 

Eu estou muito familiarizado com Dijkstra e tenho uma pergunta específica sobre o algoritmo. Se eu tiver um gráfico enorme, por exemplo, 3,5 bilhões de nós (todos os dados do OpenStreetMap), claramente não seria capaz de ter o gráfico na memória; portanto, o gráfico é armazenado em disco em um …

15 algorithms  graph-theory  graphs  shortest-path 

Seja Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Uma linguagem L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* é dito ter a propriedade "anti-palíndromo" se por todos os textos www que é um palíndromo, w∉Lw∉Lw\notin L . Além disso, para cada string uuu que não seja um palíndromo u∈Lu∈Lu\in L ou Reverse(u)∈LReverse(u)∈L\mathrm{Reverse}(u) \in L , …

15 formal-languages 

O que significa logO(1)nlogO(1)⁡n\log^{O(1)}n ? Estou ciente da notação big-O, mas essa notação não faz sentido para mim. Também não consigo encontrar nada sobre isso, porque não há como um mecanismo de pesquisa interpretar isso corretamente. Para um pouco de contexto, a sentença em que a encontrei diz "[...] chamamos …

15 asymptotics  landau-notation 

É possível analisar um documento usando uma única passagem de uma máquina de estado. Qual é o benefício de ter dois passes, ie. tendo um lexer para converter texto em tokens e tendo um analisador para testar as regras de produção nesses tokens? Por que não ter uma única passagem …

15 compilers  parsers 

No meu livro de texto, é mencionado que: ∅∗= { ϵ }∅∗={ϵ}\emptyset^*=\{\epsilon\} onde ∅∅\emptyset é um idioma vazio. No entanto, sabemos que L ⋅ ∅ = ∅eu⋅∅=∅L \cdot \emptyset = \emptyset , onde eueuL é qualquer idioma. Eu não sou capaz de compreender intuitivamente este conceito porque as Kleene pontos …

15 formal-languages  kleene-star 

No outono passado, fiz uma excursão pelo supercomputador Blue Waters na Universidade de Illinois. Perguntei se alguém já usou o computador inteiro. Disseram-me que estava sempre trabalhando em vários projetos. Isso me fez pensar sobre a utilidade dos supercomputadores. Talvez o Blue Waters seja incomum, pois precisa ser compartilhado pela …

15 computer-architecture 

Um quebra-cabeça "Flow Free" consiste em um número inteiro positivo e um conjunto de pares (não ordenados) de vértices distintos no gráfico da grade modo que cada vértice esteja no máximo em um par. Uma solução para esse quebra-cabeça é um conjunto de caminhos não direcionados no gráfico, de modo …

15 np-hard  square-grid 

Algumas CPUs possuem um registro de sinalizadores (ARM, x86, ...), outras não (MIPS, ...). Qual é a vantagem de ter uma instrução CMP para atualizar o registro de sinalizadores seguido por uma instrução de ramificação, em vez de usar um registro zero e ramificações condicionais para verificar se há sinal, …

15 computer-architecture 

Eu sei que pode ser comprovado que o PROLOG é Turing-completo construindo um programa que simula uma máquina de Turing como esta: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, …

15 programming-languages  turing-completeness  logic-programming  prolog 

Estou confuso sobre o motivo pelo qual os projetistas do MIPS incluem 5 bits dedicados à mudança e têm código de operação e bits de função separados. Como o MIPS é tão RISC, presumo que apenas a troca seria feita em algumas instruções, de modo que esses 5 bits parecem …

15 computer-architecture 

Eu tenho um tetraedro e um poliedro p . t é restringido de forma que sempre compartilhe todos os seus vértices com p . Quero determinar se t está dentro de p .ttt ppptttpppttt ppp Gostaria de acrescentar um detalhe ao problema, caso ele possa contribuir para a solução: é …

15 algorithms  computational-geometry  topology 

Eu estou tentando construir todas as matrizes (ou se desejar) com elementos 0 ou 1. A operação que fornece matrizes equivalentes é a troca simultânea da linha iej e da coluna iej . por exemplo. paran × n 1 ↔ 2 ( 0 0 0 0 1 1 1 0 …

15 algorithms  combinatorics