O título diz tudo, mas estou curioso porque não é óbvio como um provador de teoremas foi chamado de 'Isabelle'. Foi nomeado para uma pessoa? Não consegui descobrir em algumas pesquisas no
Existe uma maneira fácil de entender por que o NP está em EXPTIME? Parece-me a priori concebível que poderia haver um problema que requer tempo superexponencial para ser resolvido, mas cuja solução poderia ser verificada em tempo
Por que os idiomas de alto nível aparentemente nunca alcançam idiomas de baixo nível em termos de velocidade? Exemplos de linguagens de alto nível seriam Python, Haskell e Java. Linguagens de baixo nível seriam mais difíceis de definir, mas digamos C. Comparações podem ser encontradas em toda a...
Uma expressão regular é definida recursivamente como aaa para algunsa∈Σa∈Σa \in \Sigma é uma expressão regular, εε\varepsilon é uma expressão regular, ∅∅\emptyset é uma expressão regular, (R1∪R2)(R1∪R2)(R_1 \cup R_2) ondeR1R1R_1 eR2R2R_2 são expressões regulares é uma expressão...
Todo mundo conhece "Garey & 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...
É necessário encontrar a potência (número inteiro positivo) da matriz de números reais. Existem muitos algoritmos eficientes de multiplicação de matrizes (por exemplo, alguns algoritmos paralelos são Cannon, DNS ), mas existem algoritmos destinados exatamente a encontrar o poder da matriz e que são...
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...
Em java, você deve converter explicitamente para fazer o downcast de uma variável public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple...
Recebi um conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , um número inteiro s⩽ks⩽ks\leqslant k e números inteiros não negativos aijaija_{ij} . Meu problema é encontrar sss subconjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ;...
Existe alguma ferramenta para prototipar uma semântica da linguagem de programação e um sistema de tipos que também permita algum tipo de verificação de modelo de propriedades padrão, como a solidez do tipo? Estou perguntando isso, porque estou lendo um livro sobre o Alloy e ele fornece a...
Eu tenho dois conjuntos de pontos no plano bidimensional. Quero encontrar o par mais próximo de pontos s , t tal que s ∈ S , t ∈ T , e a distância euclidiana entre s , t é a menor possível. Com que eficiência isso pode ser feito? Isso pode ser feito no tempo O ( n log n ) , onde n = | S | + | T |...
Suponha que alguém queira raciocinar sobre propriedades do código além de coisas como totalidade e pureza funcional - também se preocupa com o consumo de memória ou com a complexidade algorítmica de uma função. Isso pode ser feito através de sistemas de digitação e efeitos...
Esta questão é sobre se todo teorema matemático pode ser reduzido à questão de uma única máquina de Turing parar. Em particular, estou interessado em conjecturas que atualmente não são comprovadas. Por exemplo: a Wikipedia diz que atualmente não se sabe se existem números perfeitos ímpares. Como é...
Ao criar um cliente para uma API da web em C #, deparei-me com um problema referente a nullum valor em que representaria duas coisas diferentes: nada , por exemplo, um foopode ou não ter umbar desconhecido : por padrão, a resposta da API inclui apenas um subconjunto de propriedades, é necessário...
A Wikipedia lista a complexidade temporal da adição como , onde é o número de bits.nnnnnnn Esse é um limite inferior teórico rígido? Ou isso é apenas a complexidade do algoritmo conhecido mais rápido atual. Eu quero saber, porque a complexidade da adição sublinha todas as outras operações...
Suponha que lemos uma sequência de números, um por um. Como encontrar o menor elemento do apenas com o uso da memória da célula e no tempo linear ( ). Acho que devemos salvar os primeiros termos de sequência e, quando obter o termo ', exclua um termo que tenha certeza de que não pode ser o ' é o...
De acordo com essas notas , o DFS é considerado como tendo complexidade de espaço , em que é o fator de ramificação da árvore em que é o comprimento máximo de qualquer caminho no espaço de estado.O ( b m )O(bm)O(bm)bbbmmm O mesmo é dito nesta página do Wikibook na Pesquisa não informada . Agora,...
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 (embora seja...
A questão geral, como o título sugere, é: Qual é a diferença entre DS e OR / otimização. Em um nível conceitual, entendo que o DS tenta extrair conhecimento dos dados disponíveis e usa principalmente técnicas estatísticas, de aprendizado de máquina. Por outro lado, OR usa os dados para tomar...
Um baralho de cartas é 52. Uma mão é 5 cartas dos 52 (não pode ter uma duplicata). Qual é a menor quantidade de bits para representar uma mão de 5 cartas e como? Uma mão NÃO depende da ordem (KQ = QK). 64329 = 96432 Sim, pode usar 52 bits. Isso pode representar uma mão de qualquer número de...