Ciência da Computação Teórica

A integridade e a integridade dos sistemas interativos de prova são definidas informalmente como: Completude: se uma afirmação é verdadeira, o provador honesto pode convencer o verificador honesto desse fato whp . Solidez: Se uma afirmação é falsa, o provador de trapaça não pode convencer o verificador honesto (da validade …

11 cc.complexity-theory  interactive-proofs 

Não me lembro de ter visto uma separação de classes não baseada em resultados de diagonalização e relativização. A diagonalização ainda pode ser usada para separar as classes conhecidas restantes, porque argumentos não relativizadores ainda podem ser usados ​​na conclusão da diagonalização ou na construção da máquina de Turing diagonalizada. …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Todos os museus e exposições relacionados a computadores que conheço parecem cobrir apenas a história das máquinas de computação, mas nada sobre tópicos de ciência da computação. Você está envolvido na criação de um novo Museu da Computação, criado para educar, divertir e inspirar o público em geral em uma …

11 soft-question  big-list  ho.history-overview 

Estou procurando uma estrutura de dados altamente eficiente para armazenamento de dados semelhante à seguinte. Tags de identificação Pedido1 Pedido2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Eu preciso ser capaz de consultar essa estrutura de tal forma a que …

11 ds.data-structures  application-of-theory  db.databases 

matriz tem dimensão . Queremos preencher usando inteiros entre e , inclusive.n × n ( n - 1 ) A 1 nUMAAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)UMAAA111nnn Requisitos: Cada coluna de é uma permutação de .1 , … , nUMAAA1 , … , n1,…,n1, \dots, n …

11 co.combinatorics  cr.crypto-security  coding-theory 

É preciso chamar a estrutura mapReduce de um tipo de estrutura de programação paralela síncrona em massa sem retenção de memória local nos processadores entre as sincronizações? Caso contrário, qual modelo de programação paralela encapsula com mais precisão a estrutura mapReduce?

11 dc.parallel-comp  machine-models 

Gostaria de perguntar se já existe um resultado publicado sobre isso: Pegamos todos os caminhos diferentes possíveis entre cada par de nós de dois gráficos regulares conectados (com grau , digamos, e número de nós n ) e anotamos seus comprimentos. Claro que esse número de caminhos distintos é exponencial. …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

Eu sei que a pergunta "uma fórmula de primeira ordem tem um modelo" é indecidível em geral.ϕϕ\phi Alguém poderia me dar um link ou um livro que dê a resposta para modelos finitos. Se eu tiver uma fórmula de primeira ordem , é decidível se ϕ possui um modelo finito? …

11 reference-request  lo.logic  computability  finite-model-theory 

Lógicas condicionais são lógicas que aumentam a implicação lógica tradicional com operadores modais correspondentes a outras noções de condição (por exemplo, a condicional causal indica " A causa" B ", ou condicionamento probabilístico" A | B ", que lê" A dado B ").A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Normalmente, essas lógicas são estudadas …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

Eu tenho um problema que está no NEXP e também pode ser resolvido por uma TM alternada usando tempo exponencial e apenas uma alternância (iniciando em um estado existencial).NPNP^{\text{NP}} Existe algo conhecido sobre NEXP ? É igual a NEXP ou alguma outra classe? Existem problemas completos além do genérico (dado …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Nurikabe é um quebra-cabeça de preenchimento de grade baseado em restrições, muito semelhante ao Campo Minado / Nonogramas; os números são colocados em uma grade que deve ser preenchida com valores ativados / desativados para cada célula, com cada número indicando uma região de células 'on' conectadas desse tamanho e …

11 cc.complexity-theory  np-hardness  puzzles 

Estou tentando encontrar problemas cuja complexidade de espaço de caso médio foi analisada. Mais especificamente, estou interessado em saber se existem problemas com um limite inferior da complexidade de espaço comprovado que é super-linear e, especialmente, se houver algum com uma análise de caso médio (por exemplo, o limite é …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

A segurança do SHA-1 foi discutida desde que um algoritmo para encontrar colisões foi publicado pela primeira vez no CRYPTO 2004 e posteriormente aprimorado. A Wikipedia lista algumas referências , no entanto, parece que a pesquisa mais recente publicada (e mais tarde retirada) sobre esse assunto foi em 2009 (Cameron …

11 cr.crypto-security  hash-function  cryptographic-attack 

Em seu artigo de oficina de 1999 "Um modelo métrico do PCF" , Martín Escardó mostrou que é possível dar uma interpretação simples do PCF na categoria de espaços ultramétricos completos e mapas não expansivos. Ele mostrou que esse modelo era adequado e que poderia modelar a adição de uma …

11 pl.programming-languages  denotational-semantics  metric-spaces 

Merlin, que possui recursos computacionais ilimitados, quer convencer Arthur de que para com e O cálculo dessa soma da maneira direta (exponenciação e adição modular) leva tempo com multiplicação baseada em FFT. * Mas Arthur só pode executar operações . ( N , m , k )m|∑p≤N, p primepkm|∑p≤N, p …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory