Perguntas com a marcação «reference-request»

Parte da dificuldade de descobrir mais sobre esse problema é que o problema de correspondência de gráfico é diferente de seu primo muito mais famoso, o problema de correspondência, mas difícil de ser distinguido quando se usa os mecanismos de pesquisa. Dados dois gráficos e tais que, a tarefa é …

11 reference-request  graph-theory  graph-isomorphism 

Estou tentando entender o protocolo bitcoin no contexto da segurança criptográfica computacional. A questão é uma solicitação de referência para fundações de artigos de criptografia em bitcoin. Minha primeira pergunta é qual protocolo criptográfico abstrato o bitcoin está tentando implementar? Temos uma definição de moeda eletrônica / moeda digital em …

11 reference-request  cr.crypto-security 

Este jogo de informações perfeitas, jogado em gráficos, é conhecido / estudado? Dado um gráfico G=(V,E)G=(V,E)G= (V,E) , dois jogadores alternam escolhendo uma aresta ou um nó isolado. Se o jogador escolher uma aresta e=(u,v)e=(u,v)e = (u,v) os dois nós uuu e vvv serão excluídos juntamente com as arestas incidentes. …

11 reference-request  combinatorial-game-theory 

Um problema em aberto muito interessante no estudo de medidas de complexidade da função booleana é a chamada conjectura de sensibilidade versus sensibilidade de bloco. Para obter informações detalhadas sobre sensibilidade versus sensibilidade de bloco, consulte o seguinte post do blog de S. Aaronson em http://www.scottaaronson.com/blog/?p=453 . Que eu saiba, …

11 cc.complexity-theory  reference-request  fourier-analysis 

Alguns antecedentes: Estou interessado em encontrar limites inferiores "menos conhecidos" (ou resultados de dureza) para o problema de Aprendizagem com erros (LWE) e generalizações dos mesmos, como Aprender com erros por anéis. Para definições específicas, etc., aqui está uma boa pesquisa da Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf O tipo padrão de suposição no …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

Estou interessado na questão de saber se NP é igual a coNP ou não. Eu aprecio muito alguns conselhos sobre boas publicações para ler sobre o assunto. Para o registro, eu sei que esta questão está intimamente ligada à questão de se P é igual a NP ou não (de …

11 cc.complexity-theory  reference-request  p-vs-np 

EDIT (Por Tara B): Eu ainda estaria interessado em uma referência a uma prova disso, pois eu mesmo tinha que provar isso para o meu próprio artigo. Estou procurando a prova do Teorema 4 que aparece neste artigo: Uma hierarquia infinita de interseções de idiomas sem contexto por Liu e …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Seja uma sequência de números inteiros em que cada um é um j ∈ { 1 , 2 , … , n } . Para i ∈ { 1 , 2 , … , n } , deixe m i = | { j : a j = i } …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

O problema tradicional da galeria de arte configura uma região e os guardas com alguma noção de visibilidade e solicita o número mínimo de guardas que precisam ser colocados para ver toda a região. Alguém já olhou as variantes da galeria de arte em que a região de visibilidade é …

11 reference-request  cg.comp-geom 

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 …

11 reference-request  graph-theory 

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 que eu gostaria de …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

É 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 aceita …

11 reference-request  computability  fl.formal-languages  automata-theory 

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