Suponha que eu tenho duas fórmulas ΦΦ\Phi e ΨΨ\Psi (sobre o mesmo conjunto de proposições atômicas APAPAP) em CTL . Nós temos issoΦ≡ΨΦ≡Ψ\Phi \equiv \Psi iff SatTS(Φ)=SatTS( Ψ)SatTS(Φ)=SumatTS(Ψ)Sat_{TS}(\Phi) = Sat_{TS}(\Psi) para todos os sistemas de transição TSTSTS sobre A PUMAPAP. Dado que...
Este é um acompanhamento de Como funciona a inspeção de pilha? que explora a noção em mais detalhes A inspeção de pilha é um mecanismo para garantir a segurança no contexto das máquinas virtuais JVM e CLR quando módulos de código baixados externamente de diferentes níveis de confiança podem estar...
Eu tenho lido este site com muito interesse, mas acho que muito disso passa pela minha cabeça. Isso me fez querer aprender muito mais sobre algoritmos e CS em geral. Tanto quanto eu posso dizer da minha pesquisa, existem 2 maneiras principais de fazer isso. Eu posso por um bom livro grosso e...
Considere duas 2D (a matriz de compra) e (a matriz de venda) em que cada elemento está associado a uma matriz de valores de ponto flutuante e a cada valor de ponto flutuante, por sua vez, está associado a uma matriz de números inteiros.BijBijB_{ij} SijSijS_{ij}ithithi^{th} Por exemplo B = [...
Eu sei que essa é uma pergunta simples, mas alguém pode me mostrar como reduz a .( λ y. λ x . λ y. y) ( λ x . λ y. y)(λy.λx.λy.y)(λx.λy.y)(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)λ x . λ y. yλx.λy.y\lambda x. \lambda y.
Considere uma árvore minimax para um problema de pesquisa adversário. Por exemplo, nesta figura (poda alfa-beta): Ao marcar a árvore com baixo para cima, primeiro atravessamos o nó 3 e atribuímos B. \ max = 3 . Depois, atravessamos 12 e 8 nesta ordem, para garantir que B.max = 3...
Percebi na minha curta vida acadêmica que muitos trabalhos publicados em nossa área às vezes não têm muito rigor em relação às estatísticas. Isso não é apenas uma suposição; Eu ouvi professores dizerem o mesmo. Por exemplo, nas disciplinas de CS, vejo trabalhos sendo publicados alegando que a...
Na poda com Alpha-Beta, o NegaScout afirma que pode acelerar o processo configurando [Alpha, Beta] para [Alpha, Alpha-1]. Eu não entendo todo o processo do NegaScout. Como funciona? Qual é o seu mecanismo de recuperação quando sua suposição
Nos é dado um conjunto F={f1,f2,f3,…,fN}F={f1,f2,f3,…,fN}F=\{f_1, f_2, f_3, …, f_N\} do NNNFrutas. Cada fruta tem preço e conteúdo vitamínico ; associamos a fruta ao par ordenado . Agora temos que organizar essas frutas de forma que a lista classificada contenha preços em ordem crescente e conteúdo...
Seja uma matriz . Dizemos que duas entradas são vizinhas se forem adjacentes na horizontal ou na vertical, e ambas as entradas são 1 's. Quer-se encontrar o número mínimo de 1 para adicionar, para que cada 1 possa alcançar outro através de uma sequência de vizinhos.MMM(0,1)(0,1)(0,...
Eu quero contar o número de strings ssssobre um alfabeto finito , que não contém repetições, e com isso quero dizer para qualquer substring deAAAtttsss, 1<|t|<|s|1<|t|<|s|1< |t| < |s|, não há cópia separada de ttt no sss. Por exemplo, deixeA={a,b}A={a,b}A=\{a,b\}. Então é uma das...
Então eu sei que registro∗log∗\log^* significa logaritmo iterado, então registro∗( 3 )log∗(3)\log^*(3) = ( logregistroregistrolog . . . )(loglogloglog...)(\log\log\log\log...) até n ≤ 1n≤1n \leq 1. Estou tentando resolver o seguinte: é registro∗(22n)log∗(22n)\log^*(2^{2^n}) pouco ooo,...
Por que você acha que a maioria dos instrutores de C ++ que ensinam ciências da computação em faculdades desencorajam ou até proíbem o uso de strings para texto, em vez de exigir que os alunos usem matrizes de caracteres? Suponho que essa metodologia tenha alguma intenção de ensinar bons hábitos...
Suponha que eu receba uma matriz de números inteiros de largura fixa (ou seja, eles se encaixam em um registro de largura ), . Eu quero calcular a soma em uma máquina com aritmética de complemento 2, que executa adições do módulo com semântica envolvente. Isso é fácil - mas a soma pode exceder o...
Eu tenho um problema de logística que pode ser visto como uma variante de . É tão natural que tenho certeza de que foi estudado em pesquisa operacional ou algo semelhante. Aqui está uma maneira de encarar o problema.TSPTSP\text{TSP} Eu tenho armazéns no plano cartesiano. Há um caminho de um...
Me pediram para encontrar os argumentos do adversário necessários para encontrar os limites inferiores para a seleção e o tipo de inserção. Não consegui encontrar uma referência a ele em nenhum lugar. Eu tenho algumas dúvidas sobre isso. Entendo que argumentos adversários são geralmente usados...
Eu sei que os problemas de mochila 2D e 3D são NPC, mas existe alguma maneira de resolvê-los em tempo razoável se as instâncias não forem muito complicadas? A programação dinâmica funcionaria? Com mochila 2D (3D), quero dizer que tenho um quadrado (cubo) e uma lista de objetos, todos os dados...
Estou trabalhando no problema H no concurso ACM ICPC 2004-2005 do nordeste da Europa . O problema é basicamente encontrar o pior caso que produz um número máximo de trocas no algoritmo (peneirar) para criar o heap. Entrada: O arquivo de entrada contém ( ).nnn1 ≤ n ≤ 50.0001≤n≤50.0001 \le n \le...
Encontrei o problema P vs NP há algum tempo e recentemente trabalhei no problema de soma de subconjuntos. Eu li um artigo da Wikipedia sobre o problema de Subconjunto de Soma, bem como a pergunta Algoritmo de Subconjunto de Soma Eu olhei para o problema e encontrei algumas soluções, mas até agora...
Aqui, estou realmente interessado em diminuir as barreiras à educação matemática. Alvo: Eu gostaria de ver criado para a comunidade JavaScript, um equivalente das bibliotecas de computação científica e de alto desempenho baseadas em Python / vinculadas (ótimas listas das quais estão disponíveis...