Ciência da Computação Teórica

No cs.stackexchange , perguntei sobre a biblioteca algebird scala no github, especulando por que eles precisam de um pacote de álgebra abstrata. A página do github tem algumas dicas: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom, HyperLogLog e CountMinSketch. Isso permite que você pense nessas operações …

11 soft-question  machine-learning  linear-algebra  db.databases 

Estou procurando uma estrutura de dados e um algoritmo para calcular o número mínimo de alterações necessárias para transformar uma palavra em outra, considerando as duas palavras como entradas, onde as únicas alterações permitidas são adicione uma letra em uma das extremidades (por exemplo, AB -> ABC), duplicar e concatenar …

11 graph-algorithms  ds.data-structures  edit-distance 

Dados dois subconjuntos do hipercúbica -dimensional (isto é, M , N ⊆ { 0 , 1 } d ), Eu estou procurando um algoritmo que recupera os pontos de m ∈ H , n ∈ N r a distância de Hamming (ou L 1 - distância no hipercubo) d H …

11 cg.comp-geom 

Eu estou procurando problemas fortemente difíceis de NP para uma redução. Até agora, encontrei os seguintes problemas: Problema de 3 partições problema de embalagem Correspondência tridimensional numérica TSP Qualquer problema de NP completo sem dados numéricos, por exemplo, SATISFIABILIDADE, CICLO HAMILTONIANO, 3-COLOURABILITY. Alguém sabe de uma lista de problemas fortemente …

11 np-hardness  big-list  hamiltonian-paths 

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 

Em 1996, um problema aberto de longa data foi resolvido por um computador; ou seja, que a álgebra de Robbins e a álgebra booleana são iguais. A prova foi encontrada por um provador de teoremas automatizado. Além disso, a prova conhecida do teorema das quatro cores contém componentes gerados por …

11 soft-question  big-list  proofs  automated-theorem-proving 

Todos os meus livros usam o mesmo algoritmo para produzir um DFA dado um regex: primeiro, faça um NFA que reconheça o idioma do regex e, usando a construção do subconjunto (também conhecido como "powerset"), converta o NFA em um DFA equivalente ( opcionalmente, minimizando o DFA). Também ouvi uma …

11 automata-theory  regular-expressions  dfa 

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 

Existe algum com as seguintes propriedades:L ∈ N PL∈NPL\in {\bf NP} É sabido que implica .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Não há (conhecido) tempo polinomial redução Turing de (ou algum outro problema -completo) para .N P LSA TSATSATN PNP{\bf NP}euLL Em outras …

11 cc.complexity-theory  np-hardness  reductions 

A ETH afirma que o SAT não pode ser resolvido no pior dos casos no tempo subexponencial. E o caso médio? Existem problemas naturais em PN que são conjecturados como sendo exponencialmente difíceis no caso médio? Tome caso médio para significar o tempo médio de execução com distribuição uniforme nas …

11 cc.complexity-theory  np  average-case-complexity 

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 

Eu sou interessante no sistema de girassol e suas aplicações na ciência da computação. Dado um universo e uma coleção de define é chamado de um sistema de k-girassol se para todos . E é chamado como o núcleo e é chamado de pétalas. k A i A i ∩ …

11 co.combinatorics  set-theory 

Esta pode ser uma pergunta ingênua, mas aqui vai. (Editar - não está recebendo votos positivos, mas ninguém ofereceu uma resposta; talvez a pergunta seja mais difícil, obscura ou pouco clara do que eu pensava?) O primeiro teorema da incompletude de Gödel pode ser comprovado como um corolário da indecidibilidade …

11 lo.logic  computability  church-turing-thesis 

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 

Eu sei como algumas ocorrências negativas podem definitivamente ser ruins: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp …

11 lo.logic  type-theory  soundness