Q1 Quando podemos dizer que dois programas (escritos em alguma linguagem de programação como C ++) são diferentes? O primeiro extremo é dizer que dois programas são equivalentes se forem idênticos. O outro extremo é dizer que dois programas são equivalentes se eles computarem a mesma função (ou...
Considere o seguinte problema: Entrada : um hiperplano H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , dado por um vetor a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n e b ∈ Zb∈Zb \in \mathbb{Z} na representação binária padrão. Saída : x ∈ Z n...
Quais são alguns problemas não triviais em que sabemos que o algoritmo atual que temos é o ideal assintoticamente ideal? (Para máquinas de turing) E como isso é
Preâmbulo. A classe de complexidade AM são os problemas que podem ser resolvidos por um sistema de prova interativa de duas etapas entre um provador "Merlin" e um verificador "Arthur". Um problema - que testa alguma propriedade de um objeto X - está em AM se: Para casos SIM , para uma mensagem...
A álgebra booleana pode ser expressa em cálculo lambda sem tipo (por exemplo) desta maneira. true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; Também a álgebra booleana pode ser codificada no Sistema F desta maneira : CBool = All X.X...
O algoritmo Weisfeiler-Lehman (WL) 1-dim é comumente conhecido como rotulagem canônica ou algoritmo de refinamento de cores. Funciona da seguinte maneira: A coloração inicial é uniforme, C 0 ( v ) = 1 para todos os vértices v ∈ V ( G ) ∪ V ( H ) .C0C0C_0C0(v)=1C0(v)=1C_0(v) =...
Na perspectiva da linguagem de programação, o que significa subtipo? Ouvi dizer que "herança não é subtipagem". Então, quais são as diferenças entre herança e
Existem vários algoritmos e estruturas de dados que exploram a idéia de que obtém seu valor mínimo em k = \ sqrt n . Exemplos comuns incluemmax{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algoritmo de passo gigante de baby-step para calcular logaritmo discreto em...
Os gráficos planares são livres de . Tais gráficos podem ser decomposta em componentes conectado-tri, que são conhecidos por ser ou plana ou K 5 componentes.K3,3K3,3K_{3,3}K5K5K_5 Existe uma decomposição "agradável" de gráficos do gênero um? Em seu trabalho seminal sobre menores de gráfico,...
Um gráfico conectado pode ser decomposto em seus componentes biconetados. Essa árvore do ponto de corte do bloco é única. Da mesma forma, os gráficos biconetados podem ser decompostos em componentes triconetados. A árvore SPQR correspondente descreve todos os cortes de 2 vértices no gráfico e é...
Os solucionadores SAT oferecem uma maneira poderosa de verificar a validade de uma fórmula booleana com um quantificador. Por exemplo, para verificar a validade de ∃ x . φ ( x )∃x.φ(x)\exists x . \varphi(x) , podemos usar um solucionador SAT para determinar se é satisfatório. Para verificar a...
Na implementação de um filtro Bloom, a abordagem tradicional exige várias funções hash independentes. Kirsch e Mitzenmacher mostraram que você realmente precisa apenas de dois e pode gerar o restante como combinações lineares. Minha pergunta é: qual é realmente a diferença entre duas funções de...
Para uma incorporação planar de um gráfico planar em um plano com arestas retas, defina um vértice como um vértice nítido se o ângulo máximo entre duas arestas consecutivas em torno dele for maior que 180. Ou, em outras palavras, se houver uma linha passando por ele vértice na incorporação, de modo...
Existe algum pacote de software que permita a decomposição de unidades unitárias de em circuitos quânticos sobre um conjunto de portas universal predefinido?você(
Recentemente, fiquei bastante interessado em parametridade depois de ver o artigo do LICS de Bernardy e Moulin em 2012 ( https://dl.acm.org/citation.cfm?id=2359499 ). Neste artigo, eles internalizam a parametridade unária em um sistema de tipo puro com tipos dependentes e sugerem como você pode...
Considere o seguinte problema: Dado um gráfico de consulta G=(V,E)G=(V,E)G = (V, E) e um gráfico de referência G′=(V′,E′)G′=(V′,E′)G' = (V', E') , queremos encontrar o mapeamento injetivo f:V→V′f:V→V′f : V \rightarrow V' que minimiza o número de arestas (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tal que ....
Dados os conjuntos e , uma relação difuncional entre eles é definida como uma relação que satisfaz a seguinte propriedade:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Se e e , então . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a∼b′a∼b′a \sim b'a′∼ba′∼ba' \sim b Relações difuncionais são uma...
Larry Wasserman tem um post recente, onde fala sobre a "polícia de valor p". Ele faz uma observação interessante (toda a ênfase é minha) (a premissa em itálico que acrescentei e sua resposta abaixo): A queixa mais comum é que físicos e jornalistas explicam o significado de um valor-p...
Qual é a complexidade computacional do seguinte problema: dados duas matrizes complexas e verificam se existe uma matriz de permutação tal que: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Se ajudar, pode-se supor que e são eremitas (ou mesmo que e são reais e
Sabemos que os solucionadores SAT baseados em DPLL falham em responder corretamente em instâncias insatisfatórias de (princípio do buraco de pombo), por exemplo, em "existe um mapeamento injetivo de n + 1 para n