Ciência da Computação Teórica

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 . Essa é uma generalização …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

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 generalização do conceito de relações de …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

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 estender a construção a aridades arbitrárias. Eu …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

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, …

15 graph-theory  cg.comp-geom  graph-drawing 

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 incorretamente. …

15 ds.algorithms  soft-question  big-list 

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, Roberston e Seymour mostraram que todos os …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

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 é determinada exclusivamente a …

15 graph-theory  co.combinatorics 

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 hash e uma com o …

15 ds.data-structures  it.information-theory  hash-function 

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 O(n−−√)O(n)O(\sqrt n) , faixa ortogonal 2D estática contando em …

15 ds.algorithms  ds.data-structures  big-list  teaching 

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 …

15 lo.logic  type-theory  lambda-calculus 

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) = …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

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 subtipagem?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

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 , …

15 cc.complexity-theory  interactive-proofs  unique-solution 

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ê( 2n)você(2n)U(2^n)

15 quantum-computing  software 

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 …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice