O problema de clique é um problema bem conhecido de que o tamanho da clique necessária faz parte da entrada. No entanto, o problema de k-clique possui um algoritmo de tempo polinomial trivial ( quando é constante). Estou interessado nos limites superiores mais conhecidos quando k é...
Pelo que aprendi, um vínculo assintoticamente rígido significa que ele é vinculado de cima e de baixo, como na notação teta. Mas o que o limite superior assintoticamente apertado significa para a notação
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 0 ) ∼ ( 1 0 1 0 0 0 0 0 1 0 )8×88×88\times 8n×nn×nn\times...
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) :-...
Estou tentando entender uma prova de completude do NP que parece girar em torno do SAT / 3CNF-SAT. Talvez seja tarde, mas receio que não consiga pensar em uma fórmula 3CNF que não possa ser satisfeita (provavelmente estou perdendo algo óbvio). Você pode me dar um exemplo para essa...
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: é um tetraedro de Delaunay e...
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 estar perdendo espaço quando...
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á...
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...
É 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 que aplique regras...
Eu tenho lido a Álgebra Linear e seus Aplicativos para ajudar a entender o material da ciência da computação (principalmente aprendizado de máquina), mas estou preocupado que muitas informações não sejam úteis para o CS. Por exemplo, saber como resolver com eficiência sistemas de equações lineares...
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...
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...
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...
Um algoritmo de tempo pseudo-polinomial é um algoritmo que possui tempo de execução polinomial no valor de entrada (magnitude), mas tempo de execução exponencial no tamanho da entrada (número de bits). Por exemplo, testando se um número é primo ou não, requer um loop através de números de 2 a n -...
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...
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...
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...
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 possível",...
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...