Estou tentando resolver um problema de SAT de 5k de cláusulas de 25k. Como está em funcionamento há uma hora (precosat) e gostaria de resolver os maiores depois, estou procurando um SAT-Solver com vários núcleos. Como parece haver muitos SAT-Solvers, estou bastante perdido. Alguém poderia me...
Dada uma distribuição de graus, com que rapidez podemos construir um gráfico que segue a distribuição de graus dada? Um esboço de link ou algoritmo seria bom. O algoritmo deve relatar um "não" caso nenhum gráfico possa ser construído e qualquer exemplo, se vários gráficos puderem ser...
Atualmente, estou escrevendo algum código para gerar dados binários. Eu preciso especificamente gerar números de 64 bits com um determinado número de bits definidos; mais precisamente, o procedimento deve levar cerca de e retornar um número pseudo-aleatório de 64 bits com exatamente n bits definido...
A distância de edição Levenshtein-Distance entre listas é um problema bem estudado. Mas não consigo encontrar muitas melhorias possíveis, se soubermos que nenhum elemento ocorre mais de uma vez em cada lista . Vamos supor também que os elementos são comparáveis / classificáveis (mas as...
Eu recebi o seguinte problema em uma entrevista (que eu já não consegui resolver, sem tentar me enganar): O jogo começa com um número inteiro positivo . (Por exemplo, A 0 = 1234. ) Esse número é convertido em representação binária e N é o número de bits definido como 1 . (Por exemplo, A 0 = b 100...
Considere um gráfico G(V,E)G(V,E)G(V,E) . Cada aresta eee tem dois pesos AeAeA_e e BeBeB_e . Encontrar uma árvore geradora que minimiza o produto (∑e∈TAe)(∑e∈TBe)(∑e∈TAe)(∑e∈TBe)\left(\sum_{e \in T}{A_e}\right)\left(\sum_{e \in T}{B_e}\right) . O algoritmo deve ser executado em tempo polinomial em...
Atualmente, estou lendo a introdução aos algoritmos e vim pelo algoritmo de Johnson, que depende de garantir que todos os caminhos sejam positivos. o algo depende de encontrar uma nova função de peso (w ') que seja positiva para todas as arestas e mantenha a correção das relações de caminhos mais...
Dado a,b,c,d∈Na,b,c,d∈Na,b,c,d \in \mathbb N e ,b,d∉{0}b,d∉{0}b,d \notin \{0\} ab<cd⟺ad<cbab<cd⟺ad<cb \begin{eqnarray*} \frac a b < \frac c d &\iff& ad < cb \end{eqnarray*} Minhas perguntas são: Dadoa,b,c,da,b,c,da,b,c,d Supondo que podemos decidir em , existe alguma maneira de...
Eu sei que isso pode parecer um pouco fora da caixa, na verdade eu costumava pensar sempre dentro da caixa, mas recentemente eu tenho pensado, possivelmente porque a ciência da computação oferece um alto grau de liberdade, sobre maneiras de conceber programas diferentes de os ensinados na...
Ouvi muito essa pergunta da entrevista e esperava obter algumas opiniões sobre quais seriam as boas respostas: você tem um arquivo grande com mais de 10 GB e deseja descobrir qual elemento ocorre mais, qual é uma boa maneira para fazer isso? Iterar e acompanhar um mapa provavelmente não é uma boa...
Considere uma sequência de nnn lançamentos de uma moeda imparcial. Deixe HEuHEuH_i denotar o valor absoluto do excesso do número de cabeças sobre caudas vistas nos primeiros EuEui flips. Defina H= maxEuHEuH=maxEuHEuH=\text{max}_i H_i . Mostre que E[ HEu] = Θ ( i√)E[HEu]=Θ(Eu)E[H_i]=\Theta (...
Uma das perguntas mais populares sobre estruturas de dados e algoritmos, principalmente feita em entrevista por
Alice, uma aluna, tem muito dever de casa nas próximas semanas. Cada item da lição de casa leva exatamente um dia. Cada item também tem um prazo e um impacto negativo em suas notas (assuma um número real, pontos de bônus por apenas assumir comparabilidade), se ela não cumprir o prazo. Escreva...
Então, eu sei que testar se uma linguagem regular RRR é um subconjunto de linguagem regular SSS é decidível, já que pode converter-los tanto para DFAs, compute R∩S¯R∩S¯R \cap \bar{S} , e em seguida, teste se esta linguagem é vazia. No entanto, como isso requer conversão em DFAs, é possível que os...
Eu tenho uma árvore não direcionada cujos vértices eu quero rotular. Os nós das folhas devem ser rotulados como um. Então, assuma que as folhas foram removidas. Na árvore que resta, as folhas devem ser rotuladas como duas. Esse processo continua da maneira óbvia até que todos os vértices tenham um...
O problema de programação linear: encontre um algoritmo de tempo fortemente polinomial que para a matriz A ∈ Rm × n eb ∈ Rm decida se existe x ∈ Rn com Ax ≥ b. Eu sei que o de Steve Smale lista alguns dos problemas não resolvidos em matemática. Mas esse problema de programação linear é até agora...
Uma função heurística h ( n )h(n)h (n) é ... Consistente se o custo estimado do nó nnn à meta não for maior que o custo da etapa para o seu sucessor n′n′n' mais o custo estimado do sucessor à meta. Admissível se h ( n )h(n)h(n) nunca superestimar o custo real para o estado da meta. O livro do...
Dado um polígono ortogonal (um polígono cujos lados são paralelos aos eixos), quero encontrar o menor conjunto de quadrados disjuntos do interior, cuja união é igual ao polígono. Encontrei várias referências a problemas ligeiramente diferentes, como: Cobrir um polígono ortogonal com quadrados -...
Fomos apresentados em classe com um algoritmo para encontrar o máximo em uma matriz em paralelo na complexidade de tempo com n 2 computadores.O(1)O(1)O(1)n2n2n^2 O algoritmo foi: Dada uma matriz A de comprimento n: Crie uma matriz de sinalizadores B de comprimento n e inicialize-a com...
Minha pergunta é para aqueles que se preocupam com algoritmos de biologia computacional. Vou fazer um curso de bioinformática neste outono; o problema, no entanto, é que eu tenho muito pouco conhecimento em biologia e química para me sentir preparado para esse ciclo de leituras (eu era bastante...