Eu sou um estudante iniciante em CS e estou aprendendo algoritmos. Ouvi dizer que, mesmo com computadores quânticos, esses algoritmos de classificação geral nunca podem ter tempo melhor que . No entanto, eu também sei que algoritmos de fatoração seriam muito mais rápidos. Em termos gerais, que tipo...
O que sabemos é que π é infinito e provavelmente contém todas as seqüências finitas de dígitos possíveis ( sequência disjuntiva ). Eu vi recentemente algum protótipo de πfs que pressupõe que todos os arquivos que você criou (ou qualquer outra pessoa) ou que você criará, já estão lá, por isso é uma...
Gostaria de saber se existe um algoritmo polinomial para "2-SAT com relações XOR". O 2-SAT e o XOR-SAT estão em P, mas é sua combinação? Exemplo de entrada: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b xor c xor d) Em outras palavras, a entrada é a...
A existência de problemas indecidíveis implica imediatamente a imprevisibilidade dos sistemas físicos? Vamos considerar o problema da parada, primeiro construímos um UTM físico, digamos usando a construção habitual baseada em circuito. Então não pode haver uma teoria física decidível que possa...
Existe uma maneira de calcular o tamanho de uma correspondência máxima em um gráfico bipartido não ponderado com mais eficiência (por exemplo, mais rápido) do que calcular uma correspondência máxima? É um tiro no escuro, mas geralmente é um problema interessante para evitar cálculos...
Atualmente, estou participando do curso de programação simultânea em minha universidade e recentemente começamos a falar sobre o conceito de monitor. Embora compreenda a necessidade de exclusão mútua, não entendo por que utilizaria um monitor para isso. Pelo que entendi, um monitor garante que...
Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 4 anos . Sou um otário...
O Complexity Zoo define como a classe de problemas de decisão solucionáveis por uma máquina de Turing determinística em tempo linear.LINeuEuNLIN LIN⊆PLIN⊆PLIN \subseteq P Como o HORN-SAT é passível de solução em (conforme indicado nos algoritmos de tempo linear para testar a satisfação das...
Eu me perguntei por que as fitas não fazem parte da definição formal de uma máquina de Turing. Considere, por exemplo, a definição formal de uma máquina de Turing na página da Wikipedia . A definição, seguindo Hopcroft e Ullman, inclui: o conjunto finito de estados , o alfabeto de fita , o símbolo...
Estou tentando obter uma visão geral da importância do ponto menos fixo (lfp) na análise de programas. Por exemplo, a interpretação abstrata parece usar a existência de lfp. Muitos trabalhos de pesquisa sobre análise de programas também se concentram fortemente em encontrar o ponto menos...
Em problemas de satisfação com restrições, as heurísticas podem ser usadas para melhorar o desempenho de um solucionador de bactracking. Três heurísticas comumente fornecidas para solucionadores de retorno simples são: Valores restantes mínimos (quantos valores ainda são válidos para essa...
Basicamente, o problema é: Para um conjunto de números positivos, encontre um número mínimo que não seja um divisor de nenhum elemento de , ou seja, .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Denotar n=|S|n=|S|n = |S|e C=max(S)C=max(S)C = \max(S) . Considere a função F(x)=F(x)=F(x) =...
A Rodada de Teste do Google Hash Code 2015 ( declaração do problema ) perguntou sobre o seguinte problema: entrada: uma grade com alguns quadrados marcados, um limiar T ∈ N , uma área máxima A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} produção: a maior área possível total de um conjunto...
Ao tentar entender as relações entre a codificação de Huffman, a codificação aritmética e a codificação de intervalo, comecei a pensar nas deficiências da codificação de Huffman relacionadas ao problema do empacotamento de bits fracionário . Ou seja, suponha que você tenha 240 valores possíveis...
Dado um subconjunto de um produto cartesiano de dois conjuntos finitos, desejo encontrar uma cobertura mínima por conjuntos que são os próprios produtos cartesianos.Eu× JEu×JI \times J Por exemplo, dado um produto entre e J = { 1 , 2 , 3 } , posso observar o subconjunto { ( A , 2 ) , ( B , 3 ) , (...
O algoritmo de Shor é frequentemente usado como argumento. Ele pode resolver o problema de fatoração mais rapidamente do que qualquer algoritmo conhecido para computadores clássicos. No entanto, não temos provas de que computadores clássicos também não podem fatorar números inteiros com...
Quero expressar a seguinte restrição, em um programa linear inteiro: y={01if x=0if x≠0.y={0 0E se x=0 01 1E se x≠0y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Eu já tenho as variáveis inteiras prometi que . Como posso expressar a restrição acima, em um formato...
Uma resposta sobre Programmers.SE caracteriza um ensaio de Cook ( Objetos não são ADTs ) como dizendo Os objetos se comportam como uma função característica sobre os valores de um tipo, e não como uma álgebra. Os objetos usam abstração procedural em vez de abstração de tipo ADTs geralmente...
Estou lutando para entender o objetivo da quantificação universal e existencial de tipos. Estou brincando de escrever uma linguagem de brinquedo baseada no cálculo de construções . Eu tenho lido sobre Morte e Henk para me ajudar a entender melhor. Não entendo por que o CoC tem abstração lambda e...
Como um projeto divertido, eu tenho trabalhado na implementação em C # de Richard Korf - Encontrar soluções ideais para o cubo de Rubik usando bancos de dados padrão. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Na verdade, estou funcionando, só estou tentando...