Eu achei os sistemas de transição rotulados um bom modelo para o meu aplicativo, ou seja, há um artigo sobre modelagem de casos de uso usando LTSs. A questão é: o que pode ser facilmente comprovado sobre os LTSs? Gostaria de reutilizar as soluções existentes para verificar se elas são úteis para...
Isso está relacionado à questão geral de " Como faço para arbitrar um artigo? ". Estou revendo um artigo para uma conferência, e este artigo deve ser rejeitado, porque não é significativo o suficiente para publicação e apresenta falhas em alguns de seus detalhes técnicos. O artigo não está errado,...
É sabido que existe um algoritmo ideal para o pior caso para calcular o código de Huffman no tempo θ ( n lgn )θ(nlgn)\theta(n\lg n) . Isso é aprimorado de duas formas ortogonais: Os códigos livres de prefixo ideal podem ser calculados mais rapidamente se o conjunto de frequências distintas for...
Os algoritmos genéticos evoluem em menos gerações com uma população maior, mas também levam mais tempo para computar uma geração. Existem algumas diretrizes para equilibrar esses dois fatores, a fim de chegar a uma solução viável o mais rápido possível? Além disso, este é o melhor lugar para a...
Eu tentei o seguinte relaxamento de LP do conjunto independente máximo max∑ixEumax∑ixEu\max \sum_i x_i st xi+xj≤ 1 ∀ ( i , j ) ∈ E st xEu+xj≤1 ∀(Eu,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xEu≥ 0xEu≥0 0x_i\ge 0 Eu recebo 1 / 21/21/2 para cada variável para cada gráfico cúbico não...
Assumindo NP! = CoNP, não há certificado de tamanho polinomial para o problema de coNP-completo. Mas e o certificado de tamanho subexponencial? Particularmente para coSAT, existe uma prova subexponencial de tamanho para provar que uma fórmula é insatisfatória? Caso contrário, qual é a evidência...
Parâmetro fixo e aproximação são abordagens totalmente diferentes para resolver problemas difíceis. Eles têm motivação diferente. A aproximação procura resultados mais rápidos com a solução aproximada. O parâmetro fixo procura uma solução exata com complexidade de tempo em termos da função...
O que me refiro como contagem é o problema que consiste em encontrar o número de soluções para uma função. Mais precisamente, dada uma função (não necessariamente caixa-preta), aproximados # { x ∈ N | f ( x ) = 1 } = | f - 1 ( 1 ) | .f: N→ { 0 , 1 }f:N→{0 0,1}f:N\to \{0,1\}# { x ∈ N∣ f( x ) = 1 }...
Dado nnn denominações de moedas, com e sendo números aleatórios distribuídos uniformemente no intervalo . Assintoticamente, para qual fração de moedas o algoritmo ganancioso gera uma mudança ótima usando esse conjunto de denominações?c1= 1c1=1c_1=1c2< c3< . . <...
Estou começando a investigar a possibilidade de contar com um solucionador SAT para resolver um problema de otimização que me interessa e atualmente estou procurando uma pesquisa que contenha exemplos de transformações "inteligentes" em variantes de SAT (ou seja, transformações resultantes em um...
Toda vez que ensino NP-Completeness, os alunos perguntam "existem problemas conhecidos por não pertencerem a NP?" Como você responderia? Normalmente, dou a eles um problema indecidível como exemplo, mas isso geralmente não resulta bem: (a) se eu der a eles o Problema da Parada, eles acham que é...
Considere o seguinte problema - Dado máxima planar gráficos e L 2 , encontrar o gráfico G com o número máximo de arestas de modo a que haja um subgráfico (induzida não necessariamente) em ambos G 1 e G 2 que é isomorfa a L .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG Isso pode ser feito em tempo...
Antecedentes Esta questão é motivada por um jogo de tabuleiro chamado 'Drácula'. Neste jogo, há um vampiro e quatro caçadores, o objetivo dos caçadores é capturar o vampiro. O jogo acontece na Europa. O jogo é o seguinte: 1. O jogador caçador coloca todos os caçadores nas cidades. Mais de um...
Contexto. Estou escrevendo sobre temas como o teorema Gottesman-Knill , utilizando grupos de estabilizador Pauli, mas no caso de d qudits dimensionais - onde d pode ter mais de um fator primordial. (Enfatizo isso porque a grande maioria da literatura sobre formalismo estabilizador em "dimensões...
No " Conselho para um estudante de graduação iniciante ", de Manuel Blum : LEONID LEVIN acredita, enquanto faço isso, qualquer que seja a resposta para P = NP? problema, não será como você pensa que deveria ser. E ele deu alguns exemplos maravilhosos. Por um lado, ele forneceu um algoritmo de...
Isenção de responsabilidade : enquanto me preocupo com a teoria dos tipos, não me considero um especialista em teoria dos tipos. No cálculo lambda de digitação simples, o tipo zero não possui construtores e um eliminador exclusivo: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M...
Estou procurando uma implementação de um algoritmo para calcular a largura de caminho de um gráfico. É sabido que o cálculo da largura do caminho é equivalente ao cálculo do número de busca do nó, número de separação de vértices ou espessura do intervalo do gráfico. O algoritmo não precisa ser...
Essa pergunta é motivada por uma pergunta do MathOverflow de Peng Zhang . Valiant mostrou que contar cliques máximos em um gráfico geral é # P-completo, mas e se restringirmos aos gráficos de incomparabilidade (ou seja, queremos contar os antichains máximos em um posito finito)? Essa questão parece...
O popular algoritmo DEFLATE usa a codificação Huffman em cima do Lempel-Ziv. Em geral, se tivermos uma fonte aleatória de dados (= entropia de 1 bit / bit), nenhuma codificação, incluindo Huffman, provavelmente a compactará em média. Se Lempel-Ziv fosse "perfeito" (que se aproxima da maioria das...
Paridade-L, também conhecida como L, é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação". Uma pergunta relacionada recente foi feita por Niel de Beaudrap.⊕⊕\oplus Minha pergunta é...