Ciência da Computação

Quero criar uma cápsula do tempo digital que permanecerá ilegível por algum período de tempo e depois se torne legível. Não quero contar com nenhum serviço externo para, por exemplo, manter a chave em segredo e depois revelá-la no tempo necessário. Isso é possível? Caso contrário, é possível algum tipo …

14 cryptography  encryption  digital-preservation 

O algoritmo de seleção aleatória é o seguinte: Entrada: Uma matriz de n (distintos, para simplificar) números e um número k ∈ [ n ]AAAnnnk∈[n]k∈[n]k\in [n] Saída: O " elemento da classificação " de A (ou seja, aquele na posição k se A foi classificado)kkkAAAkkkAAA Método: Se houver um elemento …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Sabemos que a está em pelo teorema do teorema de Immerman – Szelepcsényi e como é portanto, a é reduzida em muitos espaços de log redutível à . Mas existe uma redução direta / combinatória que não passa pelo gráfico de configuração das máquinas de Turing em ?N G s …

14 complexity-theory  reductions  space-complexity 

Suponha que tenhamos um conjunto de N codificadores.S= { a1, um2, um3, ... , umN}S={a1,a2,a3,…,aN}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Cada Codificador tem a classificação e o número de medalhas de ouro E i , que haviam ganho até agora.REuRiR_iEEuEiE_i Uma empresa de software deseja contratar exatamente três codificadores …

14 algorithms  algorithm-design 

Estou interessado no cálculo do 'th poder de um matriz . Suponha que tenhamos um algoritmo para multiplicação de matrizes que é executado no tempo . Então, pode-se calcular facilmente em . É possível resolver esse problema em menor complexidade de tempo?n × n A O ( M ( n …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Quero estabelecer que isso faz parte da minha lição de casa para um curso que estou fazendo atualmente. Estou procurando ajuda no processo, NÃO RESPOSTA. Esta é a pergunta em questão: Uma estrela de 5 pontas em um gráfico não direcionado é um clique de 5. Mostre que ESTRELA DE …

14 complexity-theory  time-complexity 

Atualmente, estou lendo sobre aprendizado de máquina e me perguntei como aplicá-lo para jogar o Connect Four . Minha tentativa atual é de um classificador multiclasse simples usando um modelo de função sigmóide e o método one-vs-all. Na minha opinião, os recursos de entrada devem ser o estado (disco do …

14 machine-learning  board-games 

Suponha que temos uma linguagem simples que consiste nos termos: truetrue\mathtt{true} falsefalse\mathtt{false} se são termos, o mesmo acontece comt1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Agora assuma as seguintes regras de avaliação lógica: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 …

14 logic  semantics  proof-techniques  term-rewriting 

Algoritmos e estruturas de dados alheios ao cache são algo bastante novo, introduzido por Frigo et al. em algoritmos alheios a cache, 1999 . A tese de Prokop do mesmo ano também apresenta as idéias iniciais. O artigo de Frigo et al. apresentar alguns resultados experimentais mostrando o potencial da …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Estou tentando provar que uma árvore binária com nós tem no máximo leaves. Como eu faria isso com indução?nnn⌈ n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Para as pessoas que estavam seguindo a pergunta original sobre pilhas, ela foi movida para aqui .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Eu estava procurando por problemas abertos interessantes e fáceis de declarar em computabilidade (compreensível por estudantes de graduação que fazem seu primeiro curso em computabilidade) para dar exemplos de problemas abertos (e obviamente eu quero que os alunos possam entender o problema sem precisar de muito novo definições e também …

14 computability 

Eu estava explicando o famoso algoritmo determinístico de seleção em tempo linear ( algoritmo de mediana de medianas) a um amigo. A recursão neste algoritmo (embora seja muito simples) é bastante sofisticada. Existem duas chamadas recursivas, cada uma com parâmetros diferentes. Eu estava tentando encontrar outros exemplos de algoritmos recursivos …

14 algorithms  recursion 

Seja uma gramática livre de contexto. Uma série de terminais e não terminais de é dito ser uma forma sentencial de se você pode obtê-lo através da aplicação de produções de zero ou mais vezes para o símbolo de início de . Vamos ser o conjunto de formas de sentenciais …

14 formal-languages  context-free  formal-grammars  closure-properties 

O problema da largura de banda mínima é encontrar uma ordem dos nós do gráfico na linha inteira que minimiza a maior distância entre dois nós adjacentes. O problema de decisão é NP-completo, mesmo para árvores binárias. Resultados de complexidade para minimização de largura de banda. Garey, Graham, Johnson e …

14 complexity-theory  np-complete  reference-request  approximation 

eu escrevi ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) mas meu amigo diz que isso está errado. Na folha de dicas do TCS, eu sei que a soma também é chamada de que tem crescimento logarítmico em . Portanto, meu limite não é muito preciso, mas é suficiente …

14 asymptotics  landau-notation