A operação de votação majoritária ocorre com bastante frequência na tolerância a falhas (e sem dúvida em outros lugares), onde a função gera um bit igual ao valor sempre exibido com mais freqüência no valor dos bits de entrada. Por uma questão de simplicidade, vamos assumir que sempre que a entrada...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Dado , quantos NDFs com variáveis e cláusulas são tautologia? (ou quantos CNFs são insatisfatórios?)k n m km,n,km,n,km, n,
Como o termo está sobrecarregado, faça uma breve definição primeiro. Um poset é um conjunto XXX dotado de uma ordem parcial ≤≤\le . Dado dois elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (junção) como seu limite superior mínimo em XXX e similarmente definir x∧yx∧yx \wedge y...
Eu tenho tentado ler “ Projeto Pérolas do algoritmo funcional ” e, posteriormente, “ A álgebra da programação ”, e há uma correspondência óbvia entre tipos de dados definidos recursivamente (e polinomialmente) e objetos combinatórios, com a mesma definição recursiva e, posteriormente, levando para...
Considere uma permutação σσ\sigma de [1..n][1..n][1..n] . Uma inversão é definida como um par (i,j)(i,j)(i, j) de índices tais que i<ji<ji < j e σ(i)>σ(j)σ(i)>σ(j)\sigma(i) > \sigma(j) . Defina AkAkA_k como o número de permutações de [1..n][1..n][1..n] com no máximo kkk...
Esta pergunta é semelhante a uma das minhas perguntas anteriores. Sabe-se que é um menor proibido para gráficos de largura de árvore no máximo t .Kt+2Kt+2K_{t+2}ttt Existe uma família infinita de gráficos, bem parametrizada e bem construída (que não sejam gráficos completos e gráficos de grade)...
Dada uma caminhada aleatória em um gráfico, o tempo de cobertura é a primeira vez (número esperado de etapas) em que todos os vértices são atingidos (cobertos) pela caminhada. Para gráficos não direcionados conectados, o tempo de cobertura é conhecido por ser superior ao . Existem dígrafos...
Uma extensão linear de um poset é uma ordem linear nos elementos de , de modo que em implica em para todos os .P P x ≤ y P x ≤ y L x , y ∈ PLLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx , y∈ Px,y∈Px,y\in\mathcal{P} Um gráfico de extensão linear é um gráfico no conjunto...
Estou interessado em propriedades de gráficos direcionados aleatórios com grau externo fixoddd . Estou imaginando um modelo de gráfico aleatório em que cada vértice escolhe d vizinhos (digamos, com substituição) uar Pergunta : Sabe-se alguma coisa sobre a distribuição estacionária e os tempos...
Assumimos que . Então, o seguinte fato é bem conhecido:G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=lnn+lnlnn+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian...
Sabemos que podemos representar qualquer gráfico plano por um conjunto de círculos no plano, conhecido como gráfico de moedas . Cada círculo representa um vértice e há uma aresta entre dois vértices se e somente se os círculos "beijarem" em seus limites. Suponha que, em vez disso, permitamos que...
É bem conhecido que K5K5K_5 e K3,3K3,3K_{3,3} são proibidos menores para grafos planares. Existem centenas de menores proibidos para gráficos incorporados em um toro. O número de menores proibidos para gráficos incorporáveis na superfície do gênero g é uma função exponencial de g . Minha pergunta...
Recebemos uma família de m subconjuntos de {1, ..., n}. É possível encontrar um limite inferior não trivial à complexidade de decidir se F é uma família Sperner? O limite inferior trivial é O ( n m ) e eu suspeito fortemente que ele não seja rígido.FF\mathcal{F}mmmFF\mathcal{F}O ( n m )O(nm)O(n...
Desculpe, se esta é uma pergunta ingênua, mas não consegui encontrar a justificativa em nenhum dos principais livros de texto como Bondy-Murty, Diestel ou West. Os gráficos perfeitos têm muitas propriedades bonitas, mas qual é a única razão pela qual são chamados de perfeitos? Ou é apenas uma...
Gráficos livres de X são aqueles que não contêm gráfico de X como um subgrafo induzido. Um buraco é um ciclo com pelo menos 4 vértices. Um buraco ímpar é um buraco com um número ímpar de vértices. Um anti - furo é o complemento de um buraco. Os gráficos livres de orifícios ímpares e orifícios...
Este é um acompanhamento para esta pergunta em math.stackexchange. Digamos que um conjunto não vazio S ℤ ℤ seja auto-sustentável se, para todo a ∈ S, existirem elementos distintos b, c ∈ S tais que a = b + c. Para números inteiros positivos n , exemplos simples incluem o ideal S = n ℤ ou...
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,...
Problema relacionado: O Teorema de Veblen afirma que "Um gráfico admite uma decomposição de ciclo se e somente se for par". Os ciclos são separados por arestas, mas não necessariamente separados por nós. Em outras palavras, "O conjunto de arestas de um gráfico pode ser dividido em ciclos se e...
Ao tentar criar meu próprio algoritmo de classificação, estou procurando o benchmark ideal com o qual posso compará-lo. Para uma ordem não classificada dos elementos A e uma ordem classificada B , qual é uma maneira eficiente de calcular o número ideal de transposições para ir de A a B ? Uma...