Me deram dois conjuntos S,TS,TS, T cada um nnnpontos em , quero encontrar uma bijeção , de modo que seja minimizado, com sendo o euclidiano distância.RkRk\mathbb{R}^ka:S→Ta:S→Ta : S \rightarrow T∑s∈Sd(s,a(s))∑s∈Sd(s,a(s))\sum_{s \in S} d(s, a(s))ddd Estou ciente de que esse problema de transporte...
Sabemos que são equivalentes e a hierarquia polinomial cai para o nível.PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 Quais são os outros colapsos e consequências não...
Estou (tolamente, ao que parece) confiante de que a resposta a esta pergunta é não. Então, por que estou perguntando? Porque o Dr. Aleksandar Prokopec da EPFL em seu curso de programação paralela introduz uma estrutura de dados para a qual ele afirma várias propriedades. Se essas propriedades se...
Eu tenho que construir um ciclo com comprimento fixo que inclua exatamente cantos dentro do retângulo x .nnnkkkwwwhhh Por exemplo: w=5h=3w=5h=3w = 5\\h=3 n=12k=6n=12k=6n = 12\\k = 6 Eu já descobri que preciso de pelo menos cantos e o número de cantos e o número de elementos que não sejam...
No começo: é um problema de concurso de programação, mas não de um problema em andamento. Infelizmente, não posso fornecer nenhum link para esta tarefa, porque ela não está disponível publicamente. Era de um concurso de programação local polonês em 2011, organizado pela Escola de Ciência da...
Eu estou procurando um algoritmo para encontrar redução transitiva de uma hierarquia de contenção de retângulos DAG, ou seja, existe uma aresta direcionada de um retângulo para outro se o primeiro retângulo contiver o segundo.O ( | V| + | E| )O(|V|+|E|)O(|V| + |E|) Ou seja, remova o máximo de...
Todos os trabalhos com o assunto de programação funcional total utilizam algum tipo de verificação estática de tipo para garantir a totalidade. Isso faz sentido, considerando que facilmente é tornar uma linguagem completa de Turing. A pergunta é: existe algum formalismo não tipado / tipado...
Para o meu projeto da feira de ciências, implementei uma otimização na rotina de classificação do Python. A idéia é mover as verificações de segurança que precisam ser realizadas durante cada comparação, por exemplo, verificações de tipo e verificações de largura de caracteres, fora do loop de...
Como minha pergunta se relaciona diretamente a uma parte do texto de um livro de 2004, Lógica em Ciência da Computação: Modelagem e Raciocínio sobre Sistemas (2ª Edição), de Michael Huth e Mark Ryan , para fornecer contexto para a discussão a seguir, citando parcialmente o livro literalmente: O...
Estou tentando resolver esse problema de ramificação e limite, mas não consegui encontrar nenhuma função de custo aproximado que seja melhor que o custo. Digamos GGG é um gráfico de nnn nós {1,2,3,…,n}{1,2,3,…,n}\{1, 2, 3, \ldots , n\}. Para uma permutaçãofff dos nós de GGG, o peso de cada aresta...
Conhecemos uma sequência infinita de problemas de decisão em que o algoritmo mais eficiente para cada problema ocorre Θ(nk)Θ(nk)\Theta(n^k) hora, onde kkk aumenta sem limites? Suponha, por exemplo, que saberíamos que encontrar um k-clique requer Θ(nk)Θ(nk)\Theta(n^k), essa sequência pode ser...
Minha definição diz Uma clique é um gráfico que possui uma aresta conectando todos os pares de vértices mas, pelo que entendi, uma aresta conecta apenas dois vértices. Como .A−BA−BA-B Se queremos conectar três vértices, precisamos de pelo menos duas arestas. Por exemplo, .A−B−CA−B−CA-B-C Não...
Na página da Wikipedia no problema P vs. NP, existe um algoritmo que "resolve" SUBSET-SUM no caso de P = NP em tempo polinomial. (A idéia é encontrar uma TM que dê um certificado). Mas dá "sim" no tempo polinomial e dura para sempre se a resposta for "não". Obviamente, pode ser corrigido para dar...
Basicamente, e como um método simples, podemos acessar o cache com o Endereço físico, que é do TLB. Mas, como outro método, podemos acessar o cache com o Endereço Virtual . Porém, nesse caso, se o cache não for totalmente liberado entre a alternância de contexto (outros dados do processo podem...
Não posso comentar sobre esta questão, por isso pergunto aqui como uma nova pergunta: Ricky Demer afirma lá em um comentário para a primeira resposta "[...] como o FPSPACE pode fornecer resultados exponencialmente longos [...]" Como isso pode ser? Como um algoritmo no FSPACE pode fornecer uma...
Ouvi algumas alegações de que o cálculo de construções sem tipos indutivos não é poderoso o suficiente para expressar provas por indução. Isso está correto? Se sim, por que a codificação da Igreja não é suficiente para
Dadas as saídas do gerador de números pseudoaleatórios, como se pode determinar o tipo (por exemplo, Registro de deslocamento de feedback linear), Multiplicar com transportar, Gerador linear de congratulações etc.) e recuperar a função e a semente? A matriz de números fornecida é com certeza...
Trabalhos modernos sobre índices de pesquisa geralmente contêm uma declaração de que índices invertidos (listas de postagem) são categoricamente superiores aos arquivos de assinatura (filtros de bloom). Aqui estão alguns exemplos de artigos publicados em 2016: Embora essa técnica [arquivo de...
Sabemos que expressões regulares (ER) são implementadas com autômatos finitos (FA). Em alguma linguagem (como JavaScript) no RE, existem recursos como 'capturando parênteses' com 'referências
É claro que o Mathematica usa o teste Baillie – PSW para sua função PrimeQ (que testa a primalidade) e, como eu li na documentação do Mathematica , ele começa com a divisão de teste, depois as bases 2 e 3 de Miller – Rabin e, em seguida, o teste de pseudoprime de Lucas. Minha pergunta é: Podemos...