Ciência da Computação

8
Definição do modelo de aprendizado do PAC

O modelo de aprendizado provavelmente aproximadamente correto (PAC) é definido como: Uma classe de conceito CCC é dito ser aprendido por PAC se existe um algoritmo AAA e uma função polinomial poly(⋅,⋅,⋅,⋅)poly(·,·,·,·)poly(·,·,·,·)de modo que, para qualquer e , para todas as distribuições em e...

8
Recolorindo gráficos bipartidos

Dado um gráfico bipartido onde cada vértice é colorido em vermelho ou azul, estou tentando minimizar o número de vértices azuis usando a seguinte operação:G = ( A , B , E)G=(UMA,B,E)G = (A,B,E) Escolha um vértice emvumavumav_aUMAUMAA Inverta as cores de , o que significa que e todos os vizinhos...

8
Tarefa para tornar a fórmula insatisfatória

Vamos imaginar que temos uma fórmula satisfatóriaF(A0,A1,...Ak,S0,...,Sn)F(A0,A1,...Ak,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n) O problema a ser resolvido é "Existe uma atribuição para variáveis (S0,...,Sn)(S0,...,Sn)(S_0,...,S_n) o que tornará F insatisfatório? ". Uma maneira de resolver é...

8
Problema de consenso de sistemas distribuídos

Comecei a ler sobre sistemas distribuídos pela primeira vez. Há uma prova bastante clara da impossibilidade de consenso em um modelo assíncrono usando alguma topologia combinatória. Por outro lado, existem vários protocolos de consenso usados ​​em sistemas práticos para sincronizar máquinas de...