Ciência da Computação Teórica

Seja uma fórmula 2CNF um número inteiro não negativo. Está provado neste artigo que o problema de decidir se é possível excluir no máximo cláusulas para tornar satisfatório é um parâmetro fixo tratável, onde é o parâmetro. Minha pergunta é se há algum trabalho que generalize esse resultado para outro …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Dada uma sequência de números, ela pode ser classificada com comparações e swaps / movimentos? Qualquer ponteiro para publicações sobre esse assunto ou contra-argumentos mostrando um limite inferior ajudaria.O ( n ln n ) O ( n ) Ω ( n ln n )nnnO ( n lnn )O(nln⁡n)O(n \ln n)O …

12 cc.complexity-theory  ds.algorithms 

Se é um gráfico com o máximo de grau 3 e é um menor de H , então L é um menor topológica de H .GGGHHHGGGHHH A Wikipedia cita este resultado da "Teoria dos Gráficos" de Diestel. Ele está listado como Prop 1.7.4 na versão mais recente do livro. O …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Podemos pensar na complexidade de Kolmogorov de uma string como o comprimento do programa mais curto P e inserir y de modo que x = P ( y ) . Normalmente, esses programas são extraídos de um conjunto completo de Turing (como P pode ser a descrição de uma máquina …

12 reference-request  computability  kolmogorov-complexity 

Estou procurando lógicas modais, axiomatizadas por um conjunto finito de axiomas de profundidade de aninhamento modal um e cujo problema de satisfação / derivabilidade dificilmente estará no PSPACE. Sem a restrição na profundidade de aninhamento modal, isso não é um problema, consulte, por exemplo, PDL. Mas parece que, ao provar, …

12 cc.complexity-theory  lo.logic  modal-logic 

No algoritmo de criptografia minúscula : Diferentes múltiplos de uma constante mágica são usados ​​para evitar ataques simples com base na simetria das rodadas. A constante mágica, 2654435769 ou 9E3779B9 16 é escolhida como , onde ϕ é a razão áurea.232/ϕ232/ϕ2^{32}/ \phi Que propriedades possui que o tornam útil nesse …

12 cr.crypto-security 

Existem várias noções concorrentes de um "gráfico esparso". Por exemplo, um gráfico incorporado na superfície pode ser considerado esparso. Ou um gráfico com densidade de arestas delimitadas. Ou um gráfico com alta circunferência. Um gráfico com grande expansão. Um gráfico com largura de árvore limitada. (Mesmo dentro do subcampo dos …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

Existe uma pesquisa (em papel, capítulo de livro, tutorial, links, ...) da semântica de vários recursos da linguagem de programação? Eu estava inicialmente impressionado com os recursos de D aqui http://www.digitalmars.com/d/2.0/comparison.html Gostaria de ver o que eu poderia obter daqui, apesar de ter feito uma pergunta semelhante no stackoverflow e …

12 reference-request  pl.programming-languages  survey 

Considere o seguinte problema, Dado um conjunto de números positivos { a 1 , … , a n } em que k ≥ 3 é uma constante, queremos particionar o conjunto em m subconjuntos de tamanho k, para que o produto da soma de cada subconjunto é maximizado.n=kmn=kmn = k …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Estou procurando uma boa referência para os caminhos mais curtos de gargalo. Especificamente, dados os vértices s e t em um gráfico não direcionado com pesos das arestas, você deseja o caminho mais curto de s a t, em que o comprimento de um caminho é a aresta máxima nesse …

12 ds.algorithms  reference-request  graph-algorithms 

x1,…,xnx1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^22323\frac 2 32323\frac 2 3 O pior exemplo que consigo encontrar é 3 pontos em um triângulo equilátero, que atinge o 2323\frac 2 3 . Observe que uma divisão aleatória produziria 1212\frac 1 2 , mas parece intuitivamente óbvio que em dimensões baixas, é possível agrupar-se …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

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 …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Eu gostaria de escrever provas matemáticas usando algum assistente de prova. Tudo será escrito usando lógica de primeira ordem (com igualdade) e dedução natural. O pano de fundo é a teoria dos conjuntos (ZF). Por exemplo, como eu poderia escrever a seguinte prova? Axiom:∀ x ∀ y( x = y↔ …

12 lo.logic  software  proof-assistants 

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 elas. Uma vez iniciado o diálogo, como …

12 big-picture  communication-complexity 

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 entrada consiste apenas em …

12 cc.complexity-theory  np-hardness  graph-algorithms