Ciência da Computação

Essa pode ser uma pergunta ridícula, mas é possível ter um problema que realmente fica mais fácil à medida que as entradas aumentam de tamanho? Duvido que quaisquer problemas práticos sejam assim, mas talvez possamos inventar um problema degenerado que possua essa propriedade. Por exemplo, talvez comece a "se resolver" …

62 algorithms  asymptotics 

Costumo ouvir pessoas falando sobre computação paralela e computação distribuída , mas tenho a impressão de que não há limites claros entre os 2, e as pessoas tendem a confundir isso com bastante facilidade, enquanto acredito que seja muito diferente: A computação paralela é mais fortemente acoplada ao multi-threading, ou …

61 terminology  distributed-systems  parallel-computing 

Sabemos que o problema da parada (nas máquinas de Turing) é indecidível para as máquinas de Turing. Existe alguma pesquisa sobre até que ponto a mente humana pode lidar com esse problema, possivelmente auxiliada por máquinas de Turing ou computadores de uso geral? Nota : Obviamente, no sentido mais estrito, …

60 computability  turing-machines  halting-problem  human-computing 

Existem muitas aplicações em que um gerador de números pseudo-aleatórios é usado. Então, as pessoas implementam uma que acham ótima, apenas para descobrir mais tarde que ela é falha. Algo assim aconteceu recentemente com o gerador de números aleatórios Javascript. RandU muito mais cedo também. Há também problemas de propagação …

60 pseudo-random-generators  random-number-generator 

Estou tentando escrever um script que gera gráficos aleatórios e preciso saber se uma aresta em um gráfico ponderado pode ter o valor 0. na verdade, faz sentido que 0 possa ser usado como um peso de ponta, mas tenho trabalhado com gráficos nos últimos dias e nunca vi um …

60 algorithms  graph-theory  graphs  weighted-graphs 

Acredito que possuo uma compreensão razoável de complexidades como , e .Θ ( n ) Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Em termos de lista, é uma pesquisa constante, portanto, está apenas obtendo o cabeçalho da lista. é onde eu andaria na lista inteira, e caminha pela lista uma vez para …

60 algorithms  complexity-theory  time-complexity  intuition 

Eu tenho um programa linear inteiro (ILP) com algumas variáveis xixEux_i que se destinam a representar valores booleanos. Os xixEux_i são restritos a serem inteiros e a conter 0 ou 1 ( 0≤xi≤10 0≤xEu≤10 \le x_i \le 1 ). Eu quero expressar operações booleanas nessas variáveis ​​com valor de 1/1, …

58 linear-programming  integer-programming 

Alguém poderia explicar a diferença entre tipos dependentes e tipos de refinamento? Pelo que entendi, um tipo de refinamento contém todos os valores de um tipo que atendem a um predicado. Existe um recurso de tipos dependentes que os distingue? Se isso ajudar, me deparei com tipos refinados pelo projeto …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Se eu tenho uma lista de valores-chave de 1 a 100 e quero organizá-los em uma matriz de 11 intervalos, fui ensinado a formar uma função mod H=kmod 11H=kmod 11 H = k \bmod \ 11 Agora todos os valores serão colocados um após o outro em 9 linhas. Por …

58 data-structures  hash  hash-tables  primes 

Li neste tutorial de programação de montagem que 8 bits são usados ​​para dados, enquanto 1 bit é para paridade, que é usada para detectar erros de paridade (causados ​​por falha de hardware ou distúrbio elétrico). Isso é verdade?

56 computer-architecture  numeral-representations 

Eu tenho um entendimento de alto nível do problema e entendo que, se fosse absolutamente "comprovado" ser verdadeiro com uma solução fornecida, isso abriria a porta para a solução de vários problemas no campo da ciência da computação.P=NPP=NPP=NP Minha pergunta é: se alguém publicasse uma prova construtiva e indiscutível de …

56 complexity-theory  p-vs-np 

Muitos parecem acreditar que , mas muitos também acreditam que é muito improvável que isso seja provado. Não há alguma inconsistência nisso? Se você acredita que essa prova é improvável, também deve acreditar que faltam argumentos sólidos para . Ou existem bons argumentos para ser improvável, de maneira semelhante a …

55 complexity-theory  p-vs-np 

Existe um conjunto de construções de linguagem de programação em uma linguagem de programação para que seja considerada Turing Complete? Pelo que sei da wikipedia , o idioma precisa suportar a recursão ou, aparentemente, deve ser capaz de executar sem parar. Isso é tudo o que existe?

55 computability  programming-languages  turing-machines  turing-completeness 

Eu encontrei muitos algoritmos de classificação durante meus estudos no ensino médio. No entanto, nunca sei qual é o mais rápido (para uma matriz aleatória de números inteiros). Então, minhas perguntas são: Qual é o algoritmo de classificação mais rápido atualmente conhecido? Teoricamente, é possível que existam ainda mais rápidos? …

55 algorithms  time-complexity  optimization  sorting 

Linguagens de programação seguras (PL) estão ganhando popularidade. Gostaria de saber qual é a definição formal de PL seguro. Por exemplo, C não é seguro, mas Java é seguro. Suspeito que a propriedade “segura” deva ser aplicada a uma implementação de PL e não ao próprio PL. Nesse caso, vamos …

54 programming-languages