Ciência da Computação

Então, considerando dois DFAs, o problema de descobrir se eles geram o mesmo idioma é um problema Decidable? Eu já sei que a Igualdade de duas CFL não é Decidable mas e a igualdade de dois DFAs? considerando que a maioria dos problemas com os DFAs é decidível, isso também …

11 computability  automata  finite-automata  decision-problem 

Por isso, atualmente estou estudando o livro HoTT com algumas pessoas. Afirmei que a maioria dos tipos indutivos que veremos podem ser reduzidos a tipos que contêm apenas tipos de função dependentes e universos, tomando o tipo de recorrente como inspiração para o tipo equivalente. Comecei a esboçar como achava …

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

Recebi o seguinte problema durante uma entrevista: Dá uma string que contém uma mistura de parênteses (não colchetes ou chaves - somente parênteses) com outros caracteres alfanuméricos, identifica todas as parênteses que não têm parênteses correspondentes. Por exemplo, na cadeia ") (ab))", os índices 0 e 5 contêm parênteses que …

11 algorithms 

Fiquei com a impressão de que nossos computadores, por serem finitos, não são mais poderosos que as máquinas de estado finito (extraordinariamente grandes). Entretanto, as Máquinas de Turing com Limite Linear também são finitas, mas parece que as Linguagens Regulares são estritamente um subconjunto impróprio de Linguagens Sensíveis ao Contexto. …

11 finite-automata  computation-models  linear-bounded-automata 

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 …

11 data-structures  search-algorithms  quicksort 

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 …

11 combinatorics 

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 é decidido se …

11 formal-languages  computability  mathematical-foundations 

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 aritméticas e …

11 algorithms  algorithm-analysis  arithmetic 

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 …

11 optimization  data-mining 

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, …

11 programming-languages  language-design 

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 dependentes?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

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 …

11 algorithms  computational-geometry 

É 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 mais eficientes do que a execução …

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms 

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 funcionalidade exata …

11 reference-request  programming-languages  semantics  model-checking 

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 ; e |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} para todos i∈Sji∈Sji\in S_j e j=1,…,sj=1,…,sj=1,\ldots,s . Como resolver este problema? É difícil encontrar uma solução …

11 complexity-theory  integer-programming