Considere um sistema de equações lineares A x = 0Ax=0Ax=0, Onde UMAAA é um n × nn×nn\times nmatriz com entradas racionais. Suponha que a classificação deUMAAA é <
Eu tenho dois problemas relacionados a caminhos em um gráfico direcionado. Deixe que ser um grafo orientado com fonte e alvo . Deixe ser outro vértice em .G=(V,E)G=(V,E)G=(V,E)s∈Vs∈Vs \in Vt∈Vt∈Vt \in Vv∈V∖{s,t}v∈V∖{s,t}v \in V \setminus \{s,t\}GGG Encontre um caminho direcionado simples¹ de até...
A questão é se a seguinte declaração é verdadeira ou falsa: UMA≤TB⟹UMA≤mBUMA≤TB⟹UMA≤mBA \leq_T B \implies A \leq_m B Eu sei que se UMA≤TBUMA≤TBA \leq_T B existe um oráculo que pode decidir A em relação a B. Sei que isso não é suficiente para dizer que existe uma função computável de A a B que...
Uma pergunta foi postada no Stack Overflow solicitando um algoritmo para resolver esse problema: Eu tenho uma matriz (chame de A) que é nxn. Desejo selecionar um subconjunto (denominado B) de pontos da matriz A. O subconjunto consistirá em n elementos, nos quais um e apenas um elemento é obtido...
Tenho uma pergunta geral sobre o mapeamento de reduções. Eu já vi vários exemplos de redução de funções paraATMATMA_{TM} onde ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } M...
Estou trabalhando com "A Implementação de Linguagens de Programação Funcional", de Simon Peyton Jones, e na página 20 eu vejo: SE VERDADEIRO ((λp.p) 3) ↔ SE VERDADEIRO 3 (por β vermelho) (1) ↔ (λx.IF VERDADEIRO 3 x) (por η vermelho) (2) ↔ (λx.3) (3) Os passos 1 a 2 são explicados como...
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Estou confuso com a seguinte afirmação: "Os únicos valores no cálculo lambda sem tipo são abstrações lambda". Por que os outros termos não são valores? O que significa uma abstração lambda ser um valor? A primeira coisa que me veio à mente foi que talvez as abstrações lambda sejam as únicas formas...
Estou tentando atacar o TAOCP mais uma vez, dado o peso literal dos volumes que tenho problemas em comprometer seriamente. No TAOCP 1, Knuth escreve, página 8, conceitos básicos: Seja um conjunto finito de letras. Seja o conjunto de todas as seqüências de caracteres em (o conjunto de todas as...
Seja o autômato de correspondência de cadeia para o padrão , ou sejaAP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})P∈ΣmP∈ΣmP \in \Sigma^m Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) para todos os eq∈Qq∈Qq\in...
Gostaria de saber se existe alguma conexão entre o polígono convexo e o objeto concreto? O que podemos dizer sobre a fundibilidade do objeto se soubermos que o objeto é um polígono convexo e vice-versa. Vamos reunir algumas coisas básicas que precisamos saber. O objeto é moldável se puder ser...
Deixei a≠ba≠ba \neq bsejam dois inteiros do intervaloSeja um primo aleatório comProve que [1,2n].[1,2n].[1, 2^n].ppp1≤p≤nc.1≤p≤nc. 1 \le p \le n^c.Prp∈Primes{a≡b(modp)}≤cln(n)/(nc−1).Prp∈Primes{a≡b(modp)}≤cln(n)/(nc−1).\text{Pr}_{p \in \mathsf{Primes}}\{a \equiv b \pmod{p}\} \le c...
Como é, como você prova que o SAT é NP-completo? Eu sei o que significa NP-complete, então não preciso de uma explicação sobre isso. O que eu quero saber é como você sabe que um problema, como o SAT, é NP-completo sem recorrer à redução de outros problemas, como o problema hamiltoniano ou o que...
Atualmente, estou analisando os potenciais da computação em nuvem em relação à eficiência energética e à TI verde. Em conexão com esta revisão, estou examinando as técnicas para aumentar a eficiência energética em data centers (computação), hardware, redes e dispositivos de...
Essa pergunta foi solicitada por estruturas de dados eficientes para criar um verificador ortográfico rápido . Dadas duas cordas u,vu,vu,v, dizemos que eles estão perto de se sua distância Damerau – Levenshtein ¹ for pequena, ou seja, para um fixo . Informalmente, é o número mínimo de operações de...
Dadas três matrizes queremos testar se . Suponha que as operações aritméticas e tenham tempo constante quando aplicadas a números de .A,B,C∈Zn×nA,B,C∈Zn×nA, B,C \in \mathbb{Z}^{n \times n}AB≠CAB≠CAB \neq C+++−−-ZZ\mathbb{Z} Como posso declarar um algoritmo com erro unilateral que é executado no...
O exercício é Dado um conjunto de pontos e um ponto . Decidir em de tempo, se P é um vértice do polígono convexo formado a partir de pontos de S .SSSpppO(n)O(n)O(n)pppSSS O problema é que estou um pouco confuso com a complexidade do tempo O(n)O(n)O(n) . A solução mais ingênua seria construir...
Estou lendo "Uma Introdução às Línguas Formais e Autômatos", escrito por Peter Linz e, depois de ler os cinco primeiros capítulos, enfrento o problema com gramáticas simples e regulares (especialmente lineares à direita), muito parecidas entre si. Que relação existe entre estes? Qual é a...
Deixei G = ( V, E)G=(V,E)G = (V,E) ser um gráfico tendo nnn vértices, nenhum dos quais está isolado, e n - 1n-1 1n−1 bordas, onde n ≥ 2n≥2n \geq 2. Mostre queGGG contém pelo menos dois vértices de grau um. Eu tentei resolver esse problema usando a propriedade ∑v ∈ Vdeg( v ) = 2 |...
A solução do problema de vazão máxima gera um corte mínimo qualificado. Mas quero vários (talvez centenas) pequenos cortes como candidatos. Os cortes não precisam ser mínimos, desde que sejam pequenos (em peso). Como faço