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

Como todos sabem, o famoso livro de Garey e Johnson (e muitos outros) fornece uma excelente referência para a técnica de redução no cenário clássico. Existem pesquisas ou livros sobre o tópico da técnica de redução no algoritmo parametrizado, digamos a redução de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

O teorema do ponto fixo de Banach diz que, se tivermos um espaço métrico completo não vazio AUMAA , qualquer função uniformemente contrativa possui um ponto fixo único . No entanto, a prova desse teorema requer o axioma da escolha - precisamos escolher um elemento arbitrário para iniciar a iteração …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Ao ler o artigo " Uma teoria aplicada à FPH ", você pode encontrar a seguinte passagem: Considerando as teorias que caracterizam classes de complexidade computacional, existem três abordagens diferentes: em um, as funções que podem ser definidas na teoria estão "automaticamente" dentro de uma certa classe de complexidade. Nessa …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Estou interessado na geração de números pseudo-aleatórios para criptografia. Além do capítulo 5 de Menezes / Oorschot / Vanstone ; Capítulo 8 de Stinson ; e o capítulo 3 de Goldreich , onde mais eu poderia encontrar mais? Estou interessado em princípios gerais para projetar PRNGs (propriedades desejáveis, testes, etc.).

15 cc.complexity-theory  reference-request  pseudorandomness 

Existem algoritmos / provas mais simples para triangular um polígono plano em tempo linear? Qual é um bom recurso sobre o estado da arte desse famoso problema?

15 reference-request  cg.comp-geom 

Encontro alguns livros sobre computadores, mas todos são sobre tecnologia. Eu quero algo mais ligado à teoria.

15 reference-request  soft-question  philosophy 

Eu sou um estudante de graduação em matemática, e a ciência da computação teórica é um domínio que eu nunca entendi do que se trata, porque não consegui encontrar uma boa leitura sobre o assunto. Quero saber sobre o que realmente é esse domínio, que tipo de tópicos ele está …

15 reference-request  soft-question  books 

Deixe [n][n][n] denotar o conjunto {1,...,n}{1,...,n}\{1,...,n\} e C (n, k) denotam o conjunto de todas as combinações de kkk de elementos de [n][n][n] sem repetição. Seja p=p1p2...pkp=p1p2...pkp= p_1p_2...p_k ser um -tuple em . Dizemos que uma permutação do conjunto evita se não houver k-tupla de números inteirosC ( n , …

15 reference-request  co.combinatorics  permutations 

Isso está escrito na entrada wiki da Symbolic Execution , mas não consigo encontrar nenhuma referência para isso. Alguém pode me mostrar um ponteiro? Obrigado.

15 reference-request  lo.logic  program-analysis 

Sabe-se que minimizar o tamanho de uma expressão regular é completo no PSPACE, mesmo que tenhamos um DFA como especificação da linguagem . Quais são os resultados se o idioma for finito? Pode-se considerar esse problema em dois modelos: A entrada é todas as strings do idioma e medimos o …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Edit: Como não recebo nenhuma resposta / comentário há uma semana, gostaria de acrescentar que estou feliz em saber algo sobre o problema. Eu não trabalho na área, portanto, mesmo que seja uma observação simples, talvez eu não saiba. Mesmo um comentário como "Eu trabalho na área, mas não vi …

15 reference-request  machine-learning  lg.learning 

Dados os conjuntos e , uma relação difuncional entre eles é definida como uma relação que satisfaz a seguinte propriedade:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Se e e , então . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a∼b′a∼b′a \sim b'a′∼ba′∼ba' \sim b Relações difuncionais são uma generalização do conceito de relações de …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Uma categoria possui biprodutos quando os mesmos objetos são os produtos e os coprodutos. Alguém já investigou a teoria da prova de categorias com bioprodutos? Talvez o exemplo mais conhecido seja a categoria de espaços vetoriais, na qual a soma direta e as construções diretas do produto fornecem o mesmo …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Eu uso o termo do título em um sentido muito amplo. Há uma quantidade significativa de trabalho sobre a teoria dos jogos evolucionários, incluindo seus fundamentos matemáticos. Fui recomendado "Jogos Evolucionários e Dinâmica de População", mas ainda não o mergulhei. Há também uma quantidade significativa de trabalho sobre a teoria …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Na verdade, tenho duas perguntas: Quem primeiro usou as relações lógicas para relacionar a semântica? Rastreei-os de volta à " Sobre a relação entre a semântica direta e a continuação " de Reynold , mas não posso afirmar que fiz uma pesquisa exaustiva. Eu encontrei referências a relações lógicas datadas …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations