Na pior das hipóteses, a decomposição de árvores é difícil, mas o método ganancioso parece quase ideal em pequenas redes da vida real. Existe algo conhecido sobre a dureza da decomposição de árvores em uma instância "típica" de alguma classe de gráficos? Existe exemplo de uma família de gráficos...
Estou procurando um nome ou qualquer referência a esse problema. Dado um gráfico ponderado, G=(V,E,w)G=(V,E,w)G = (V, E, w) encontre uma partição dos vértices em até n=|V|n=|V|n = |V|define S1,…,SnS1,…,SnS_1,\ldots,S_n para maximizar o valor das arestas de corte:
Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e...
Eu li em SP Jordan, D. Gosset, "PJ Amor -Complete problemas para Hamiltonians stoquastic e matrizes de MarkovQ MUMAQMAQMA " que é improvável que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Fiquei surpreso com essa afirmação. Então, qual é a relação adequada entre e A M ?Q MUMAQMAQMAA...
Deixe e denote por o conjunto de todos os gráficos que podem ser incorporados em uma superfície do gênero modo que todos os vértices estejam situados na face externa . Por exemplo, é o conjunto de gráficos externos. A largura da árvore dos gráficos em ser delimitada por alguma função de...
Quais são os trabalhos de pesquisa mais significativos sobre os fundamentos dos genéricos em C # e
Hoje em dia, a programação linear é muito bem compreendida. Temos muito trabalho que caracteriza a estrutura de soluções viáveis e a estrutura de soluções ideais. Temos a forte dualidade, algoritmos de poli-tempo, etc. Mas o que se sabe sobre soluções mínimas máximas de LPs? Ou,...
Fiz essa pergunta há algumas semanas no mathoverflow , mas não obtive resposta. Aqui, por grade 3D de comprimento lateral , refiro-me ao gráfico com e , ou seja, os nós são colocados em coordenadas inteiras tridimensionais entre 1 e , e um nó é conectado ao at mais 6 outros nós que diferem...
Razborov provou que todo circuito monótono que calcula a função de correspondência perfeita para gráficos bipartidos deve ter pelo menos portas (ele chamou de "permanente lógico"). Foi provado um limite inferior melhor para o mesmo problema desde então? (diga ?) Até onde me lembro, esse problema...
Provavelmente, isso é bem simples, mas considere o problema padrão de correspondência posterior: Dado e β 1 , ... , β N , encontrar uma sequência de índices i 1 , ... , i K de tal modo que ácido a i 1 ⋯ α i K = β i 1 ⋯ β i K . Isso é, obviamente, indecidível.α1,…,αNα1,…,αN\alpha_1, \ldots,...
Essa pergunta é inspirada em uma pergunta existente sobre se uma pilha pode ser simulada usando duas filas no tempo amortizado por operação da pilha. A resposta parece ser desconhecida. Aqui está uma pergunta mais específica, correspondente ao caso especial em que todas as operações PUSH são...
CMSOL é Counting Monadic Second Order Logic, ou seja, uma lógica de gráficos em que o domínio é o conjunto de vértices e arestas, existem predicados para adjacência vértice-vértice e incidência de aresta-vértice, quantificação sobre arestas, vértices, conjuntos de arestas e vértices conjuntos, e...
Isso pretende ser uma pergunta de acompanhamento do post anterior de Robin Kothari sobre resultados de dureza do tempo polinomial . Especificamente, estou interessado em ver algumas provas de dureza para problemas que se acredita terem limites mais baixos, e digo aproximadamente para permitir...
O título fala por si só. Aqui estão Akinator e 20Q . O princípio desses jogos é fazer ao usuário uma série de perguntas relacionadas a alguma entidade escolhida pelo usuário. E então descubra o que é essa entidade. O núcleo do algoritmo é encontrar a "pergunta mais útil" a cada rodada, enquanto...
Existem 4 restrições diferentes que podemos ter ao definir o Random K-SAT. 1) O número total de literais em uma determinada cláusula é exatamente K ou AT no máximo K 2) Um determinado literal pode ser usado com ou sem substituição na mesma cláusula (A ou A ou A) 3) Uma determinada variável pode...
Eu mudei essa pergunta do stackoverflow onde o id não obteve respostas. Tivemos uma pergunta semelhante se o JSON é regular : JSON e XML são freqüentemente chamados de linguagens livres de contexto - ambos são especificados principalmente por uma gramática formal no EBNF. No entanto, isso é válido...
É sabido que as fórmulas CNF podem ser divididas em 2 classes amplas: aleatória versus estruturada. As fórmulas estruturadas de CNF, em oposição às fórmulas aleatórias de CNF, exibem algum tipo de ordem, mostrando padrões que dificilmente acontecerão por acaso. No entanto, pode-se encontrar...
Esta pergunta é semelhante a problemas difíceis de NP em árvores : Há um grande número de problemas NP-completos que são tratáveis nas cografias . Existem problemas conhecidos que permanecem NP-completos quando restritos a cografias? Para ser mais preciso, estou interessado em exemplos em que a...
Digamos que descobrimos civilizações alienígenas capazes de enviar e receber mensagens usando um canal de comunicação digital interestelar. (Diga usando ondas de rádio moduladas, pulsos de laser, reposicionando estrelas em várias órbitas, o que você tem.) Vamos supor que decidimos fazer contato com...
O que se sabe sobre o seguinte problema? Dada uma coleção de funções , encontre a maior sub-coleção sujeita à restrição de que VC-Dimension para algum número inteiro .f : { 0 , 1 } n → { 0 , 1 } S ⊆ C ( S ) ≤ k kCCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆ CS⊆CS...