Houve algum trabalho para recuperar a inclinação de um segmento de linha de sua digitalização? Não se pode fazer isso com perfeita precisão, é claro; o que se quer é um método de derivar de uma linha digitalizada um intervalo de possíveis inclinações. (A noção de uma linha digitalizada que estou...
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'...
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...
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...
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? Tenho certeza de que a pergunta...
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 é...
É 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...
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 Qualquer submatriz formada por duas linhas de não pode...
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...
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 ele iria me...
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...
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...
É possível construir um algoritmo que tenha como entrada um autômato de empilhamento juntamente com a promessa de que a linguagem aceita por esse autômato L ( M ) é uma linguagem determinística livre de contexto e gera um autômato de empilhamento determinístico N que aceita precisamente a linguagem...
NNNrrrf ( x + r ) = f ( x ) a < N r rf( x ) = axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf( x + r ) = f( X )f(x+r)=f(x)f(x+r)=f(x)a <
Vamos fixar e um número inteiro .0<E<10<E<10 E \} mas também, talvez, usando poucas coordenadas do conjunto {i | ci≤E}{i | ci≤E}\{ i ~|~ c_i \leq E \} poderíamos criar outro bom conjunto! Então, prove ou encontre o bug! esperando que possa ser um jogo divertido para você! Motivação da...
Atualmente, estou procurando um bom material de referência que relacione jogos não locais com aspectos benéficos na comunicação quântica. Por exemplo, estou ciente de que jogos não locais são bons em menor complexidade de comunicação de limites, além de garantir a segurança dos protocolos QKD. O...
Estou procurando por uma estrutura de dados com espaço eficiente que armazene conjuntos (sem repetição) de elementos de tamanho de palavras e suporte a inserção rápida (O (1) amortizado). Por "espaço eficiente", quero dizer, idealmente, palavras para armazenar n elementos.n+o(n)n+o(n)n +...
Eu estaria muito interessado em referências à teoria das funções submodulares (do básico ao avançado). Em particular, estou estudando aproximações para problemas de otimização rígida e quero desenvolver minhas bases em funções submodulares, pois são relevantes para os problemas de otimização que...
Gostaria de saber se o seguinte problema pode ser decidido em (logspace nondeterministic):N LNL\mathsf{NL} Dado um gráfico direcionado com dois vértices distintos s e t , existe um caminho único de s para t em G ?GGGssstttssstttGGG Eu sinto que é provável que seja em , uma vez que pode decidir...
O seguinte problema é decidível: Dada uma gramática livre de contexto , L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing O seguinte problema é indecidível: Dada uma gramática livre de contexto , L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Existe uma caracterização de linguagens livres de...