Ciência da Computação

Pelo meu entendimento da prova de que o problema de parada não é computável, esse problema não é computável porque, se tivermos um programa P (x) que calcula se o programa x pára ou não, temos um paradoxo ao fornecer P como entrada para o mesmo P, tendo: P (P), …

19 halting-problem 

As árvores dinâmicas desempenham um papel importante na resolução de problemas como fluxos de rede, gráficos dinâmicos, problemas combinatórios ("Árvores dinâmicas na prática" de Tarjan e Werneck) e a fusão recente de dicionários ("Um dicionário mesclável simples" de Adam Karczmarz), Por árvores dinâmicas, refiro-me à definição declarada no artigo de …

19 data-structures  trees  functional-programming 

Recentemente, eu estava pensando sobre a validade da prova por contradição. Eu li nos últimos dias coisas sobre lógica intuicionista e teoremas de Godel para ver se eles me dariam respostas para minhas perguntas. No momento, ainda tenho perguntas pendentes (talvez relacionadas ao novo material que li) e esperava obter …

19 logic  first-order-logic  propositional-logic  incompleteness 

É sabido que os combinadores S e K formam um conjunto básico para o cálculo do combinador, no sentido de que todos os outros combinadores podem ser expressos em termos deles. Há também a base B, C, K, W de Curry, que possui a mesma propriedade. Deve haver um número …

19 lambda-calculus  combinatory-logic 

Vamos considerar duas gramáticas livres de contexto e e fazer a seguinte pergunta: É , isto é, são as duas gramáticas equivalente?G1G1G_1G2G2G_2L ( G1) = L ( G2)eu(G1)=eu(G2)L(G_1) = L(G_2) Em geral, esse problema é indecidível. No entanto, se ambos e lineares esquerda são (ou lineares direita) gramáticas, então o …

19 formal-languages  context-free  formal-grammars 

Eu tenho um log de banco de dados em que algumas transações vencem (elas são confirmadas antes da falha) e outras perdem (ainda não confirmadas). Aprendemos em sala de aula que as ações dos perdedores devem ser desfeitas para trás. Existe alguma razão para fazer isso ao contrário? Alguém pode …

19 concurrency  databases 

Estou procurando um algoritmo de classificação para matrizes int que não aloque nenhum byte que não seja o tamanho da matriz e esteja limitado a duas instruções: SWAP: troca o próximo índice pelo atual; MOVER: move o cursor para o índice +1 ou -1; Ou seja, você não pode trocar …

19 algorithms  sorting  in-place 

É necessário que um problema difícil de NP seja computável? Acho que não, mas não tenho certeza.

19 complexity-theory  computability  np-hard 

Eu tenho uma matriz de 100.000 cordas, todas de comprimento . Eu quero comparar cada seqüência de caracteres com todas as outras para ver se existem duas seqüências diferentes por 1 caractere. No momento, enquanto adiciono cada string à matriz, eu a comparo com todas as strings já existentes na …

19 algorithms  data-structures  program-optimization  comparison 

Estou estudando a complexidade computacional e fiquei pensando por que os problemas do NP-Complete (NPC) são uma classe importante. Acho óbvio por que estamos interessados ​​em mostrar que um determinado problema de NP é difícil de NP. Eu também entendo a definição de NPC, e que mostrar um determinado problema …

19 complexity-theory  np-complete 

Eu tenho o seguinte código Python. def collatz(n): if n <= 1: return True elif (n%2==0): return collatz(n/2) else: return collatz(3*n+1) Qual é o tempo de execução desse algoritmo? Experimentar: Se denota o tempo de execução da função . Então eu acho que tenho { T ( n ) = …

19 algorithm-analysis  runtime-analysis  recurrence-relation 

Estou tentando descobrir quem cunhou o termo "aprendizado de máquina". Uma questão complementar é de onde Arthur Samuel é citado como definindo o campo do "aprendizado de máquina" em 1959 como: o campo de estudo que dá aos computadores a capacidade de aprender sem serem explicitamente programados ? Você pode …

19 terminology  reference-request  machine-learning  history 

Suponha que você esteja obtendo um número mmm (usando O(logm)O(log⁡m)O(\log m) bits na codificação binária). Quão rápido você pode encontrar (ou determinar que isso não existe) ?n,k∈N,1&lt;k≤n2:(nk)=mn,k∈N,1&lt;k≤n2:(nk)=mn,k\in \mathbb N, 1<k\leq\frac{n}{2}:{n \choose k}=m Por exemplo, dada a entrada m=8436285m=8436285m=8436285 , pode-se produzir n=27,k=10n=27,k=10n=27, k=10 . Um algoritmo ingênuo para o problema …

19 algorithms  combinatorics 

Estou procurando exemplos de problemas que tenham um limite inferior de ) para a entrada x .Ω ( | x |2Ω(|x|2\Omega(|x|^2xxx O problema precisa ter as seguintes propriedades: prova de tempo de execução para qualquer algoritmo - primeira prioridade é ter o mais simples possível argumento limite inferior.Ω ( n2)Ω(n2)\Omega(n^2) …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

O algoritmo de Ramer-Douglas-Peucker para simplificação de linha possui o pior tempo de execução de O(n2)O(n2)O(n^2) . Para entradas aleatórias distribuídas adequadamente, espera-se complexidade do tempo de execução de O(nlogn)O(nlog⁡n)O(n \log n) . Em 2D, existem outros algoritmos com pior complexidade de tempo de execução O(nlogn)O(nlog⁡n)O(n \log n) , que …

19 reference-request  computational-geometry  randomized-algorithms