Ok, antes de começar, percebo que isso está à margem do tópico (li a ajuda do Questions neste site), principalmente porque esse não é um problema do mundo real. Contudo: Não consigo encontrar nada relevante no Google De um ponto de vista purista, certamente deve estar dentro da Ciência da...
Muitos algoritmos de fluxo máximo que eu normalmente vejo implementados, o algoritmo de Dinic, push relabel e outros, podem ter seu custo de tempo assintótico aprimorado através do uso de árvores dinâmicas (também conhecidas como árvores de corte de link). O reencaminhamento por push é executado...
Costumo interagir com pessoas que desejam solicitar um algoritmo para um problema computacional (ou sua complexidade), mas não o expressam de maneira rigorosa para que nós (cientistas da computação) entendamos. Referenciá-los a livros como o CLRS não é útil porque os exemplos geralmente têm uma...
O refinamento de partição é uma técnica na qual você começa com um conjunto finito de objetos e divide progressivamente o conjunto. Alguns problemas, como a minimização do DFA, podem ser resolvidos usando o refinamento de partição com bastante eficiência. Não conheço outros problemas que geralmente...
Recentemente, encontrei em um artigo [1] uma versão simétrica especial do SAT chamada 2/2/4-SAT . Mas existem muitas variantes completas por aí, por exemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Algumas outras variantes são tratáveis: - , Planar-NAE- , ...SAT...
Eu tive problemas para aceitar a visão teórica da complexidade de "resolvido com eficiência por algoritmo paralelo", que é dada pela classe NC : NC é a classe de problemas que podem ser resolvidos por um algoritmo paralelo em tempo em p ( n ) ∈ S ( n k ) processadores com c , k ∈ N .O ( logcn...
Ultimamente, tenho lido um pouco da literatura e encontrei algumas estruturas de dados bastante interessantes. Eu pesquisei vários métodos diferentes para reduzir o tempo de atualização para pior caso, o tempo de atualização [1-7].O(1)O(1)\mathcal{O}(1) Recentemente, comecei a procurar estruturas...
As linguagens sem contexto não são fechadas sob complemento, sabemos disso. Tanto quanto eu entendo, linguagens sem contexto que são um subconjunto de para algumas letras estão fechadas no complemento (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b Aqui está o meu argumento. Cada linguagem CF tem uma imagem Parikh...
Estou iniciando uma pesquisa bibliográfica pessoal sobre algoritmos de verificação de tipo e quero algumas dicas. Quais são os algoritmos, estratégias e técnicas gerais de verificação de tipo mais usados? Estou particularmente interessado em algoritmos complexos de verificação de tipo que foram...
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...
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(nlogn)O(n \log n) . Em 2D, existem outros algoritmos com pior...
Considere o seguinte problema: Entrada: duas matrizes e de comprimento , onde está na ordem de classificação.AAABBBnnnBBB Consulta: se e contêm os mesmos itens (com sua multiplicidade)?AAABBB Qual é o algoritmo determinístico mais rápido para esse problema? Pode ser resolvido mais rapidamente...
Estruturas de dados persistentes são estruturas de dados imutáveis. As operações neles retornam uma nova "cópia" da estrutura de dados, mas alterada pela operação; a estrutura de dados antiga permanece inalterada. A eficiência geralmente é alcançada compartilhando alguns dos dados subjacentes e...
Comecei a ler cada vez mais trabalhos de pesquisa em idiomas. Acho muito interessante e uma boa maneira de aprender mais sobre programação em geral. No entanto, há geralmente vem uma seção onde eu sempre lutar com (Tomemos por exemplo a terceira parte deste ), pois me falta a base teórica em...
Eu tenho uma pequena questão histórica, a saber, como o título diz, estou procurando usos iniciais de árvores (como estrutura de dados, árvore de pesquisa, o que for) na ciência da
Dizem que 'Eugene Goostman', um programa de computador desenvolvido para simular um garoto de 13 anos, conseguiu convencer 33% dos juízes de que era humano e, assim, passou no Teste de Turing. O programa de computador, também conhecido como chatbot, estava fingindo ser um garoto ucraniano de 13...
Problemas de corte são problemas em que um determinado objeto grande deve ser cortado em vários objetos pequenos. Por exemplo, imagine que você tem uma fábrica que trabalha com grandes folhas de vidro em bruto, de largura e comprimento . Existem vários compradores, cada um dos quais deseja um...
Como se segue da minha pergunta anterior , tenho brincado com a hipótese de Riemann como uma questão de matemática recreativa. No processo, cheguei a uma recorrência bastante interessante e estou curioso quanto ao nome, suas reduções e sua tratabilidade em direção à resolubilidade da diferença...
Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim)....
Algum frontmatter: eu sou um cientista de computador recreacional e empregado um engenheiro de software. Então, desculpe se esse prompt parecer um pouco fora do campo esquerdo - eu brinco rotineiramente com simulações matemáticas e abro problemas quando não tenho nada melhor para fazer. Enquanto...