O artigo SODA de duas páginas da Kalai fornece um algoritmo simples e eficiente para a correspondência de padrões com não se preocupa (caracteres curinga que correspondem a um caractere). Em essência, é tão fácil quanto a convolução. Mas o que acontece se estivermos procurando por vários padrões...
Vamos L⊆A∗L⊆A∗L \subseteq A^* seja um idioma, e definir fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} por fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 sse x⋅y∈Lx⋅y∈Lx\cdot y \in L . Estou procurando uma referência para: Proposição. LLL é regular se a complexidade determinística da...
Para um idioma fixo em algum alfabeto , vamos considerar o seguinte problema, que chamo de INTERLEAVING :A LeuLLUMAAAeueuL Entrada: duas palavrasu , v ∈ A∗você,v∈UMA∗u, v \in A^* Saída: se existe uma intercalação de e , que está em .v LvocêvocêuvvveueuL Aqui, uma intercalação de duas palavras e...
Existe uma estrutura / formalismo que define modelos computacionais baseados em proteínas que não sejam o modelo de DNA de Adleman ou este trabalho de Cherry e Qian
Na Teoria Intuicionista de Tipos: Parte Predicativa de Martin-Löf , está provado que a verificação de tipo é decidível, sujeita a um tipo de letra em primeiro lugar, provando um teorema de normalização para termos tipificados fechados. Por outro lado, eu já vi escrito em vários lugares (Wikipedia,...
Quais são os limites superiores assintóticos mais conhecidos em tamanhos de provas probabilisticamente verificáveis? Idealmente, estou procurando uma pesquisa contemporânea sobre essa ampla questão, mas, se não houver, estou especialmente interessado na falta de aproximação do 3-SAT. Seja 7/8 +...
Em [1], Garey et al. identificar o que mais tarde seria conhecido como o Problema da Soma das Raízes Quadradas no decurso da conclusão da PN do Euclidean TSP. Dados os números inteiros e , determine sea1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_nLLLa1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} +...
Ao introduzir a decomposição modular do gráfico , a maioria dos autores usa o gráfico de 11 vértices, que eu copio da wikipedia. A questão é quem é (é) o criador original dele. (Não estou perguntando quem desenhou este gráfico para a wikipedia, mas a fonte original dele.) A página da wikipedia...
Comecei a examinar estruturas de incidência e projetos combinatórios (motivação possível: limitar algumas estruturas na automontagem generalizada), e o artigo da Wikipedia faz a seguinte declaração interessante, mas inexplicável: projetos de blocos têm aplicação no teste de software. (A página da...
É necessária uma referência a técnicas para provar que o tamanho de uma lacuna de integralidade é limitado por alguma expressão para um LP específico (ou SDP, mas menos importante). Também seria bom ter uma referência a um local onde são descritas técnicas para minimizar as lacunas de...
Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas?
Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta. Se eu tiver duas cláusulas do formulário: B:-A C:-A eu posso transformá-las em: B,C:-A ( Editar: onde B,Cestá uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim...
Existe um banco de dados de problemas conhecidos com informações sobre sua complexidade e algoritmos, problemas relacionados, referências etc. que estão disponíveis para nós? [Se não, podemos fazer um? Eu sei que isso está fora de tópico, mas seria TÃO
Imagino que seja uma pergunta introdutória de geometria computacional, mas não tenho certeza das melhores frases de pesquisa e também estou interessado em variações da pergunta, por isso espero encontrar indicadores úteis para referências. Estou interessado em algoritmos viáveis para o seguinte...
Estou procurando uma referência para a (clássica) complexidade de comunicação aleatória unidirecional quando o universo pode ser grande. Digamos que Alice e Bob tenham conjuntos de tamanho escolhidos entre um universo de tamanho U e Bob queira determinar se a interseção de seus conjuntos está vazia...
A dimensão VC é uma medida da complexidade das classes de funções que está intimamente ligada à complexidade da amostra. A dimensão de quebra de gordura é uma generalização adequada para domínios ordenados mais ricos: ou seja, . Existe uma generalização padrão da dimensão VC adequada para funções...
O lema a seguir não é difícil de provar. Lema : Deixe- c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] e k∈[n]k∈[n]k \in [n] . Se m1,m2,…,mrm1,m2,…,mrm_1, m_2, \dots, m_r são números inteiros (alguns deles podem ser negativos), de modo que , então números inteiros satisfazendo...
Quais são as melhores referências para auto-estudo no DATALOG? Estou particularmente interessado em poder expressivo, resultados de complexidade, métodos de avaliação, extensões de DATALOG com negação, etc. Existem livros ou documentos que cobrem tudo
Estou procurando trabalho em sistemas semelhantes às sequências de ordem superior de K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ). O único trabalho que conheço é o trabalho recente de Iemhoff e Metcalfe ("Teoria da prova de regras admissíveis", Annals of Pure and Applic Logic 159 (1-2),...
Recebemos pilhas que contêm "itens" de cores diferentes e uma máquina que pode processar vários itens da mesma cor de uma só vez. Em cada etapa, podemos remover um item da parte superior de cada pilha e colocá-lo em nossa máquina (para que a máquina possa processar no máximo itens em uma única...