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

Quais documentos sobre o tratamento de erros em sistemas distribuídos você recomenda?

10 reference-request  dc.distributed-comp 

Especificamente, estou pedindo recursos para aprender sobre sistemas de aprendizado de máquina que podem atualizar suas respectivas redes de crenças (ou equivalente) durante a operação. Eu já encontrei alguns, embora não os tenha marcado como favorito. Como você pode imaginar, é um tópico bastante desafiador para pesquisar na internet.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Vamos HALTnHALTnHALT_n denotar a cadeia de comprimento 2n2n2^n correspondente à tabela verdade do problema de parada para entradas de comprimento nnn . Se a sequência das complexidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , uma das sequências de aconselhamento seria usada infinitamente com frequência, e uma TM com essa sequência codificada …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Qual é o resultado do estado da arte sobre a complexidade das consultas de fórmulas 2-DNF apropriadas para o aprendizado do PAC com consultas de amostra e com distribuição uniforme ? Ou algum limite não trivial? Como não estou familiarizado com a teoria da aprendizagem e essa pergunta é motivada …

10 reference-request  lg.learning  boolean-functions 

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 …

9 reference-request  graph-theory 

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−−√&lt;La1+a2+⋯+an&lt;L\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L Eles observam …

9 reference-request  cg.comp-geom  na.numerical-analysis 

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 + ε-3-SAT com 3-SAT com a promessa de que, se a …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

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, Nördstrom etc.) …

9 reference-request  type-theory  type-inference 

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 ?

9 reference-request  machine-models 

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 é …

9 cc.complexity-theory  reference-request  regular-language 

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 comunicação de fLfLf_L é constante. LLLPPPfLfLf_Ln↦max{comm(P,x,y):|x⋅y|=n}n↦max{comm(P,x,y):|x⋅y|=n}n \mapsto \max\{\text{comm}(P, x, …

9 reference-request  communication-complexity  regular-language 

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 com não …

9 ds.algorithms  reference-request  string-matching 

Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Sejam GGG e HHH dois gráficos conectados em rrr de tamanho . Vamos ser o conjunto de permutações P tal que P L P - 1 = H . Se L = H então Um é o conjunto de automorphisms de L .nnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG Qual é o limite superior mais conhecido …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Seja um gráfico que seja a união disjunta de um clique e um conjunto independente, ou seja, GGGG = Kn1 1+ Kn2¯¯¯¯¯¯¯¯= Kn1 1+ In2.G=Kn1 1+Kn2¯=Kn1 1+Eun2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . A classe de gráficos de todos esses gráficos é caracterizada pelos subgráficos induzidos proibidos …

9 reference-request  graph-theory  graph-classes