Ciência da Computação

n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

Nesta pergunta, perguntei qual a diferença entre conjunto e tipo . Essas respostas foram realmente esclarecedoras (por exemplo, @AndrejBauer), portanto, na minha sede de conhecimento, me submeto à tentação de perguntar o mesmo sobre categorias: Toda vez que leio sobre a teoria das categorias (que reconhecidamente é bastante informal), não …

11 sets  category-theory 

Entendo que as implementações mais populares de um mutex (por exemplo, std :: mutex em C ++) não garantem imparcialidade - ou seja, elas não garantem que, em casos de contenção, o bloqueio seja adquirido por threads na ordem em que eles chamado lock (). De fato, é até possível …

11 concurrency  synchronization  threads 

O que é indução-indução ? Os recursos que encontrei são: o livro HoTT , no final do capítulo 5.7. Artigo do nLab um artigo chamado definições indutivo-indutivas este post do blog também menciona tipos indutivos-indutivos As duas primeiras referências são muito breves para mim e as duas últimas são muito …

11 type-theory  induction  inductive-datatypes 

Todo mundo conhece "Garey &amp; Johnson", que é a minha referência preferencial sempre que preciso de um problema para mudar para uma prova de dureza NP. No entanto, recentemente, me dependo de uma prova de dureza APX, e me pergunto se existe uma coleção semelhante (e mais atualizada ..?) De …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Estou lutando para entender o objetivo da quantificação universal e existencial de tipos. Estou brincando de escrever uma linguagem de brinquedo baseada no cálculo de construções . Eu tenho lido sobre Morte e Henk para me ajudar a entender melhor. Não entendo por que o CoC tem abstração lambda e …

11 lambda-calculus  type-theory  calculus-of-constructions 

Quero expressar a seguinte restrição, em um programa linear inteiro: y={01if x=0if x≠0.y={0 0E se x=0 01 1E se x≠0y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Eu já tenho as variáveis ​​inteiras prometi que . Como posso expressar a restrição acima, em um formato …

11 linear-programming  integer-programming 

Basicamente, o problema é: Para um conjunto de números positivos, encontre um número mínimo que não seja um divisor de nenhum elemento de , ou seja, .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Denotar n=|S|n=|S|n = |S|e C=max(S)C=max(S)C = \max(S) . Considere a função F(x)=F(x)=F(x) = o menor …

11 algorithms  number-theory 

Ao tentar entender as relações entre a codificação de Huffman, a codificação aritmética e a codificação de intervalo, comecei a pensar nas deficiências da codificação de Huffman relacionadas ao problema do empacotamento de bits fracionário . Ou seja, suponha que você tenha 240 valores possíveis para um símbolo e precise …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

O Complexity Zoo define como a classe de problemas de decisão solucionáveis ​​por uma máquina de Turing determinística em tempo linear.LINeuEuNLIN LIN⊆PLIN⊆PLIN \subseteq P Como o HORN-SAT é passível de solução em (conforme indicado nos algoritmos de tempo linear para testar a satisfação das fórmulas de cornetas proposicionais (1984) )O(n)O(n)O(n) …

11 complexity-theory  time-complexity  reductions 

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 4 anos . Sou um otário pela elegância e rigor matemáticos e …

11 algorithms  algorithm-analysis  reference-request  books 

Existem algoritmos conhecidos que emitem corretamente "yes" para um problema NP-completo sem gerar implicitamente um certificado? Entendo que é fácil transformar um oráculo de satisfação em um localizador de tarefas satisfatórias: apenas itere sobre as variáveis, sempre pedindo ao oráculo de satisfação que resolva a conjunção dessa variável com o …

11 algorithms  complexity-theory  np-complete 

Digamos, por exemplo, que estou processando strings que requer alguma análise de duas strings. Eu não tenho informações sobre o que seus comprimentos podem acabar sendo, então eles vêm de duas famílias distintas. Seria aceitável chamar a complexidade de um algoritmo ou (dependendo se usamos um algoritmo ingênuo ou otimizado)?O …

11 time-complexity  asymptotics  landau-notation  notation 

O problema de determinar se uma determinada expressão booleana é satisfatoriamente distinta em termos computacionais de realmente encontrar uma solução para a expressão? Em outras palavras, existe outra maneira de descobrir que uma determinada expressão é satisfatória sem determinar explicitamente as 'configurações corretas' para as variáveis ​​booleanas? Ou todas as …

11 complexity-theory  satisfiability 

Entendo que a maioria dos problemas é trivial se um oráculo de parada estiver disponível (ou, penso, de forma equivalente, hiper-computação). No entanto, aplicar o argumento que mostra o Problema de Halting é impossível para uma máquina de Turing também mostra que é impossível para um oráculo de Turing + …

11 computability  undecidability  halting-problem  oracle-machines