Tendo a string de comprimento , encontrar a contagem de substrings distintos pode ser feito em tempo linear usando o array LCP. Em vez de solicitar substrings exclusivos, conte na cadeia inteira , a consulta contém a indexação que está solicitando a contagem de substring distintas dentro do...
Estou espreitando por um tempo; Esta é minha primeira postagem aqui. Sinto muito se minha pergunta está mal formada ou mal formatada. Essa pergunta surgiu de algumas idéias de outra pergunta de um site irmão. Questão Devido à natureza de uma blockchain, um grande número de lançamentos de moedas...
Eu estava lendo a página Modular Multiplication na wikipedia ... e não conseguia entender o algoritmo para calcular a⋅b(modm)a⋅b(modm)a \cdot b \pmod{m} . uint64_t mul_mod(uint64_t a, uint64_t b, uint64_t m) { long double x; uint64_t c; int64_t r; if (a >= m) a %= m; if (b >= m) b %=...
Há um tempo atrás, penso no Stack Overflow, vi alguém dizer que os literais de Haskell podem ser pensados como funções que não operam em nada. Isso faz sentido para mim, mas eu lembro de outra pessoa que discorda veementemente dele. Se bem entendi, todos os valores em tipos primitivos, ou pelo...
Nem todos os SAT iguais são um problema completo do NP. Vamos agora considerar outra variante do problema. Dado um problema Nem todos iguais (NAESAT) (número arbitrário de literais permitido por cláusula) com uma restrição adicional de que cada par de cláusulas compartilha pelo menos 1 literal...
Estou olhando as notas de Jeffrey Erickson sobre o teorema dos mestres (página 10). A parte (b) do teorema afirma que se , e então T (n) é . Mas eu recebo um resultado diferente.T(n)=aT(nb)+f(n)T(n)=aT(nb)+f(n)T(n) = aT(\frac{n}{b})+f(n)af(nb)=kf(n)af(nb)=kf(n)af(\frac{n}{b}) =...
Sabemos que o problema da parada está no 1º nível da hierarquia aritmética. Sabemos que o Problema da Totalidade está no 2º nível da hierarquia aritmética. Quais são alguns exemplos de problemas no terceiro nível (ou superior) da hierarquia aritmética. +1 para problemas cujas instâncias são...
Então, eu estou tentando convencer Curry-Howard. (Eu tentei várias vezes, não é gelificante / parece muito abstrato). Para abordar algo concreto, estou trabalhando nos dois tutoriais de Haskell vinculados à wikipedia, especialmente no de Tim Newsham . Também há uma discussão útil quando Newsham...
É o que se sabe sobre o problema da parada e a semi-decidibilidade: O problema de parada diz que, para uma dada entrada xe uma máquina H, não podemos dizer se a máquina H pára ou não na entrada x. Diz-se que um idioma é semi-decidível se existir uma máquina de Turing que pare se uma palavra...
Existe uma definição equivalente para a classe NLNL\mathsf{NL}com verificador. Esses verificadores são máquinas de Turing determinísticas que podem ler a fita testemunha apenas uma vez, de uma maneira, da esquerda para a direita. Dada uma função f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} nós dizemos isso...
Eu tenho um aplicativo que precisa calcular bilhões de distâncias de levenshtein entre pares de strings. As cadeias são sequências de DNA curtas (70 de comprimento), consistindo apenas de 4 caracteres. Também pode-se supor que uma das seqüências seja fixa, ou seja, estamos comparando uma sequência...
De acordo com esta descrição da ordem de resolução de método do Python (mro), também conhecida como linearização C3 , o algoritmo pode ser descrito recursivamente da seguinte forma: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) Onde O é a classe da qual toda...
Dado um gráfico bipartido (X,Y，E)(X,Y，E)(X,Y，E), em que não há uma correspondência perfeita, quero encontrar um menor subconjunto que viole a condição de Hall, ou seja, um conjunto de cardinalidade mínima S⊆XS⊆XS \subseteq X para qual
Seja um alfabeto e sejam cadeias de caracteres sobre esse alfabeto. Chame uma string good se for uma subsequência de mas não uma subsequência de nenhuma de .ΣΣ\Sigmax+,x−1,…,x−n∈Σ∗x+,x1−,…,xn−∈Σ∗x^+,x^-_1,\dots,x^-_n \in \Sigma^*s∈Σ∗s∈Σ∗s \in \Sigma^*...
Estou trabalhando para escrever um documento fácil de ler sobre a semântica denotacional do cálculo lambda. Para isso, introduzo CPOs, monotonicidade e continuidade. Um CPO é um conjunto com uma ordem parcial e um elemento inferior , exigindo que seja o menor elemento em e a existência do limite...
Tenho a seguinte prova inacabada de um lema: Goal forall (P : Type -> Prop) (Q : Prop), ((forall x, (P x)) -> Q) -> (exists x, P x -> Q). Proof. intros. eapply ex_intro. intros. apply H. intros. eapply H0. O problema é a última eapplyfalha, com a mensagem Error: In environment P...
A Teoria da Complexidade Computacional é complexa. Meu entendimento do tempo polinomial é em relação a outras classes de complexidade de tempo, como o tempo polinomial não determinístico. Isso é bom para engenheiros e matemáticos, mas estou procurando uma definição simples do termo, adequada para...
Estou tentando provar algumas declarações sobre a execução em programas Java sob algumas restrições pesadas (basicamente tenho uma conjectura de que, se dois métodos satisfazem um conjunto de restrições para uma determinada entrada, então eles são equivalentes - ou seja, que retornam valor e estado...
Estou me sentindo um pouco confuso com a direção das reduções usadas para mostrar que certos idiomas não são recursivos. Por exemplo, digamos que queremos determinar se o problema de parada (HA LTTMHALTTMHALT_{TM}) é indecidível. Eu sei que podemos assumir que é decidível e tentar construir uma...
Estou interessado em um problema tão combinatório: dado um gráfico G = ( V, E)G=(V,E)G=(V, E) e funções de peso Wv: V↦ RWv:V↦Rw_v: V \mapsto Re We: E↦ RWe:E↦Rw_e: E \mapsto R estamos perguntando sobre um subgráfico induzido G′= (V′,E′)G′=(V′,E′)G' = (V', E') do GGG que maximiza a soma: ∑e ∈E′We( e...