Computacao_Geral Flashcards
O que é CO-NP?
q executa polinomial numa MT “co não deterministica”. Que responde não se alguém respondeu não.
Forma Normal Conjuntiva?
Forma Normal Conjuntiva é uma conjunção de max-termos (cláusulas). As cláusulas são de OR.
SAT pra 3-SAT?
SAT pra 3-SAT é só botar um z_i num max termo e !z_i no max termo seguinte, até acabar tudo.
Se o SAT original é satisfeito, então na sua solução pra todo maxtermo M, alguma variável v é true. Os maxtermos correspondentes a M no 3-SAT podem ser todos satiseitos movendo os “z_i” pra longe do v.
Se o 3-SAT é satisfeito, o bloco correspondente a M tem alguma variável do SAT original sendo verdadeiro, não tem como satisfazer tudo só com os z_i.
O que que RWX significam em pastas no Linux?
The read bit (r) allows the affected user to list the files within the directory
The write bit (w) allows the affected user to create, rename, or delete files within the directory, and modify the directory’s attributes
The execute bit (x) allows the affected user to enter the directory, and access files and directories inside
Interpretador vs compilador vs montador
- Interpretador executa diretamente na máquina de nível logo abaixo.
- Montador traduz diretamente o programa pra outra linguagem.
- Compilador traduz de forma mais inteligente.
O que vai pro backlog do produto?
Pro Backlog vai tudo importante, incluindo bug grande e refatoração. Mas a maioria é funcionalidade.
Definição geral de gerador e LI de espaços vetoriais, até de dimensão infinita.
- Gerador é que pra todo vetor do espaço existe uma combinação linear FINITA da base que dá ele. Se a base for infinita, não tem conjunto gerador finito.
- LI é que toda combinação linear FINITA de elementos da base só dá 0 se os coeficientes da comblinear são 0. Se a base for infinita, existe um conjunto LI maior que qualquer natural.
Definição de Soma Direta (Algebra Linear)
V+W só que com V \cap W = {0}. Ou seja, só tem 0 nulo em comum.
O que o professor está chamando de “complemento de W”, com W subespaço de V?
Um subespaço W2 tal que sua soma direta com W dá V.
Espaço vetorial V/W, e base dado que {v_1,…,v_m} é base de W e {v_1,…,v_m,v_{m+1},…,v_n} é base de V.
- São as classes de equivalência de W, meio que W deslocado.
- Uma base de V/W seriam os representantes de v_{m+1} até v_n. Ou seja, o resto da base de W, a base de qualquer qualquer espaço complementar a W.
O que perdemos se não for finitamente gerado um espaço vetorial?
- Completar base, já não podemos ir adicionando vetores e mantendo LI até ter uma base.
- Pra provar que T é uma transformação linear bijetiva, não basta provar que é sobrejetiva ou injetiva no caso infinito. Exemplos são os deslocamentos à esquerda e à direita de sequência infinita, e derivada.
- Posto de T^t não é mais o mesmo de T necessariamente
- Anulador do núcleo de T não necessariamente é a imagem de T^t. Apesar de o “contrário” ser verdade, núcleo de T^t = anulador de Im T.
Regra da cadeia pra probabilidades.
p(x,y|H) = p(x|y,H)*p(y|H), é exatamente a definição de condicional, mas assumindo H além das suposições normais.
Definição de n-ésimo momento, e o que acontece se temos todos.
- E[X^n]
- Se temos todos os momentos, temos a distribuição.
Qual o erro padrão médio (IFEC)?
- sigma/raiz_de_n, pra n dados. É o erro padrão médio no sentido de desvio da média.
Lema da transformação linear ser única em relação a bases.
É a única que manda a base B para o conjunto {v_1,v_2,…,v_n}.
