O YouTube recentemente adicionou um recurso chamado reprodução automática, onde cada clipe recebe um clipe (presumivelmente relacionado) que o segue. Com efeito, isso define um gráfico direcionado no conjunto de clipes do youtube, em que cada vértice tem um grau 1. O usuário inicia no vértice de...
Estou analisando vários solucionadores de SAT e tentando entender como eles funcionam e por que são projetados de determinadas maneiras. (Mas eu não estou em uma universidade no momento e não conheço ninguém que seja professor. Então, estou postando aqui esperando que alguém possa me ajudar. Eu...
Atualmente, estou analisando a notação Big O e a complexidade computacional. O problema 1.1 do CLRS faz uma pergunta básica, que é obter uma intuição sobre como as complexidades algorítmicas diferentes crescem com o tamanho da entrada. A pergunta pergunta: Para cada função e tempo na tabela a...
Existe um algoritmo conhecido / existente para pegar uma tela 2D coberta em pontos distribuídos arbitrariamente / aleatoriamente e dividi-la inteiramente em um conjunto de polígonos não sobrepostos? Um exemplo do tipo de resultado que estou
Existe QUALQUER tipo de compactação que possa compactar um arquivo e esse arquivo compactado pode ser pesquisado sem descompactar o
Eu olhei para alguns dos meus livros antigos de teoria do sistema operacional e notei que uma omissão flagrante em todos esses livros do sistema operacional é como realmente acompanhar as páginas físicas que são gratuitas (ou seja, algoritmos para realmente implementar a lista gratuita). Eu sei...
Suponha que eu tenha um alfabeto de n símbolos. Eu posso codificá-los eficientemente com⌈log2n⌉⌈log2n⌉\lceil \log_2n\rceil-bits strings. Por exemplo, se n = 8: A: 0 0 0 B: 0 0 1 C: 0 1 0 D: 0 1 1 E: 1 0 0 F: 1 0 1 G: 1 1 0 H: 1 1 1 Agora eu tenho a restrição adicional de que cada coluna...
Alguém pediu exemplos de linguagens sem contexto com complementos sem contexto . A primeira resposta diz: O idioma eu1 1= { w w ∣ w ∈ { a , b}∗}eu1 1={WW∣W∈{uma,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}não é livre de contexto (como pode ser mostrado usando o lema de bombeamento; veja aqui ). Seu...
Dado um conjunto SSS do NNN pontos em uma esfera e outro ponto PPP na esfera, eu quero encontrar o kkk pontos em SSS que são as mais próximas (distância euclidiana ou grande círculo). Estou disposto a fazer uma quantidade razoável de pré-cálculo. A solução deve ser exata e eficiente (mais rápido...
Não sei como defini-lo com elegância, mas basicamente quero implementar um algoritmo de pesquisa de força bruta, mas existem muitas maneiras diferentes de enumerar através do espaço de pesquisa. Isso pode ser ingênuo da minha parte, mas imagino que a maneira como escolho enumerar através do espaço...
Estou estudando a prova do seguinte teorema: Dada a linguagem REGULARTM={⟨M⟩|MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M é uma máquina de turing e Accept(M)Accept(M)\mathit{Accept}(M) é regular}}\} REGULARTMREGULARTM\mathit{REGULAR}_\mathit{TM} é indecidível. A...
(Usando a sintaxe Haskell, já que a pergunta é inspirada em Haskell, mas se aplica a sistemas polimórficos gerais de Hindley-Milner, como SML ou Elm). Se eu tiver uma assinatura de tipo f :: a -> [a], qual é a proposição lógica codificada por essa assinatura de tipo? Eu sei que tipo de...
Há um tempo atrás, eu lavava minhas roupas tarde da noite. Quando trouxe minha roupa de volta ao meu dormitório, comecei a guardá-la. Meu guarda-roupa está configurado da seguinte maneira: Minhas gavetas são categorizadas pelo tipo de roupa que eles têm, e eu sou muito especial nisso; isso...
Quais métodos gerais de aprendizado de máquina existem que tentam "aprender" ou interpolar uma função multivariada suave e que conseguem realmente escolher os pontos em que a função é avaliada durante o processo de aprendizado (exploração)? A idéia seria que cada avaliação de função seja mais ou...
Existem exemplos de linguagens de computador do mundo real que não são deterministas? Por linguagens de computador eu incluo linguagens de programação, linguagens de marcação, linguagens de consulta, linguagem de modelagem, linguagens de transformação, etc. Por não determinístico, quero dizer que...
Você recebe uma grade mxn. Uma bola adimensional é colocada no centro de um dos quadrados da grade e começa a se mover em uma das quatro direções: nordeste, noroeste, sudeste ou sudoeste. A bola continua se movendo até atingir a borda do tabuleiro; nesse ponto, ela se recupera de acordo com as leis...
Estou trabalhando em problemas práticos para um teste que tenho e todos os exemplos de variantes de loop diminuíram a cada iteração do loop. Nesse, os valores permanecem os mesmos quando a <b. Minhas tentativas também me deram uma variante de loop que tem uma chance de ser negativa, uma vez que...
Esse é um problema de lição de casa que me foi dado e tenho vasculhado meu cérebro há horas (por isso estou satisfeito com algumas dicas). Eu já sei que a taxa de aproximação não pode ser pior do que222. Eu tenho um gráfico de roda, onde cada aresta custa1 11 11 e a distância entre todos os nós que...
Antes de fazer minha pergunta, deixe-me começar com meu entendimento das definições, para me impedir com mais confusão e também fornecer alguns antecedentes. O Código Huffman é o código binário induzido a partir de uma árvore binária, construída pelo algoritmo de Huffman. O código Hu – Tucker é o...
Peço desculpas se esta pergunta já foi feita antes, mas não consegui encontrar uma duplicata. Acabei de ler The Annotated Turing e estou um pouco confuso. Pelo que entendi, o problema do Entscheidung é se existe ou não um algoritmo que pode determinar se uma declaração é comprovável. No artigo,...