Ciência da Computação Teórica

Um resultado fundamental na complexidade parametrizada dos problemas gráficos é que VERTEX COVER parametrizado pelo tamanho da solução é um parâmetro fixo-tratável (FPT). Por outro lado, quando parametrizado pelo "parâmetro duplo" , torna-se equivalente a INDEPENDENT SET parametrizado pelo tamanho da solução (porque qualquer cobertura de vértice é o complemento …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

No presente trabalho , Hajnal afirma o seguinte lema: Seja o conjunto de todos os gráficos bipartidos com vértices na parte esquerda e vértices na parte direita. Suponha que seja não trivial, monótono e invariável em relação aos isomorfismos dos gráficos bipartidos. Ordene o conjunto de gráficos mínimos com a …

8 graph-theory  query-complexity 

Dado um gráfico bipartido não ponderado . É verdade que sempre existe uma correspondência não vazia M ⊆ E (não necessariamente máxima), de modo que para todo ( i , j ) ∈ E com i correspondido e j sem correspondência, ele detém deg ( i ) > deg ( …

8 graph-theory  matching 

Estou confuso sobre o exemplo dado no artigo da Wikipedia sobre gramática sensível ao contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Eu já mudei a seção discutida no artigo da wikipedia, portanto, o estado atual do artigo será diferente do que estou discutindo nesta pergunta. A versão original está aqui: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 A seguinte …

8 fl.formal-languages  grammars 

Deixe ser um parâmetro gráfico (ex. De diâmetro, o número de domínio, etc)sss Uma família de gráficos possui a propriedade -treewidth se houver uma função tal que, para qualquer gráfico , a largura de árvore de seja no máximo . s f G ∈ F G f ( s )FF\mathcal{F}sssfffG∈FG∈FG\in …

8 graph-theory  graph-algorithms  graph-minor 

(Este é o "extremidade superior" da minha pergunta de mais de 10 meses atrás em cs.stackexchange. Essa pergunta eo "limite inferior" Eu perguntei aqui mais de 8 meses atrás , que eu também tenho uma recompensa por, são ambos sem resposta. Estes são capturas de tela de como essa postagem …

8 np-hardness  csp  promise-problems 

Qual é a primeira publicação do conceito de otimização de mesclagem por identificar sequências de posições consecutivas em ordens crescentes (também conhecidas como execuções) em tempo linear; então mesclando repetidamente as duas seqüências mais curtas e adicionando o resultado dessa mesclagem à lista de fragmentos classificados. Em algumas de minhas …

8 reference-request  sorting  huffman 

Dado um gráfico não direcionado G, podemos dizer que G é quase bipartido se a exclusão de k arestas (ou vértices) o tornasse bipartido. Existem algoritmos de tempo poli para determinar se um gráfico é exatamente ou aproximadamente quase bipartido?

8 ds.algorithms  graph-theory 

Depois de ler Efeitos como Sessões, Sessões como Efeitos , fiquei pensando como seria uma prova de equivalência entre os dois, ou mesmo uma prova dos tipos de Sessões como sendo um Sistema de Tipo e Efeito. De uma maneira mais genérica, como se pode provar uma relação (por exemplo, …

8 type-theory  proofs  type-systems 

O que se sabe sobre a complexidade dos problemas difíceis de NP nos gráficos de Cayley? Suponha que o gráfico seja fornecido explicitamente como a tabela de multiplicação do grupo e a lista de geradores. Portanto, o comprimento da entrada é o tamanho do gráfico. Podemos resolver problemas completos de …

8 np-hardness  np-complete 

Muitas estruturas de árvore balanceadas (árvores vermelhas / pretas, árvores espalhadas etc.) e algumas outras estruturas de dicionário classificadas (skiplists) oferecem suporte a uma operação de junção que realiza dois dicionários em que todas as chaves na primeira estrutura são menores que todas as chaves no segundo, depois combina os …

8 ds.data-structures 

A largura do caminho do gráfico bipartido completo K_ com conjuntos de de tamanho e é no máximo . Estou interessado em planejar este gráfico pelo seguinte processo:K3,nK3,nK_{3,n}333nnn333 Desenhe-o no plano de modo que nenhuma aresta contenha um vértice em seu interior e que não mais que 2 arestas se …

8 graph-theory  co.combinatorics  graph-drawing 

Comparado aos espectros de gráficos não direcionados, que correspondem a matrizes simétricas, o espectro de gráficos direcionados não é muito conhecido: Sabe-se que um gráfico direcionado possui uma matriz de adjacência cujos valores próprios são binários se for a-cíclico. Isto segue classificando os vértices em componentes fortemente conectados: isso corrige …

8 graph-theory  graph-algorithms  linear-algebra  spectral-graph-theory 

Em poucas palavras, minha pergunta é: a prova original de Karp está reduzindo o SAT para 3SAT desnecessariamente elaborado? Os detalhes são os seguintes. Em seu artigo de 1972, Redutibilidade entre problemas combinatórios , Karp provou que o SAT se reduz a 3SAT, afirmando: Substituir um cláusula , onde o …

8 cc.complexity-theory  sat  reductions 

Estou procurando exemplos de problemas para os quais é fácil obter algoritmos em execução no tempo ou 2 O ( n c ) para alguns c > 1, mas para os quais não se sabe se existe um algoritmo em execução no tempo 2 O ( n ) .2O ( …

8 exp-time-algorithms  hamiltonian-paths