Preguntas etiquetadas con reference-request

¿Qué documentos sobre el manejo de errores en sistemas distribuidos me recomiendan?

10 reference-request  dc.distributed-comp 

Específicamente, solicito recursos para aprender sobre los sistemas de aprendizaje automático que pueden actualizar sus respectivas redes de creencias (o equivalentes) durante la operación. Incluso me he encontrado con algunos, aunque no pude marcarlos. Como puede imaginar, es un tema bastante desafiante para buscar en Internet.

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

Deje HALTnHALTnHALT_n denotar la cadena de longitud 2n2n2^n correspondiente a la tabla de verdad del problema de detención para entradas de longitud nnn . Si la secuencia de las complejidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fuera O(1)O(1)O(1) , una de las cadenas de consejos se usaría infinitamente y una TM con esa …

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

¿Cuál es el resultado del estado del arte sobre la complejidad de las consultas de las fórmulas de aprendizaje 2-DNF PAC adecuadas con consultas de muestra y bajo distribución uniforme ? ¿O alguna atadura no trivial? Debido a que no estoy familiarizado con la teoría del aprendizaje y esta pregunta …

10 reference-request  lg.learning  boolean-functions 

Al presentar la descomposición modular del gráfico , la mayoría de los autores utilizan el gráfico de 11 vértices, que copio de wikipedia. La pregunta es quién es (son) el diseñador original de la misma. (No estoy preguntando quién dibujó este gráfico para Wikipedia, sino la fuente original del mismo). …

9 reference-request  graph-theory 

En [1], Garey et al. identifique lo que luego se conocería como el problema de la suma de las raíces cuadradas en el curso de la determinación de la integridad de NP del TSP euclidiano. Dados los enteros y , determine sia1,a2,…,ana1,a2,…,anortea_1, a_2, \ldots, a_nLLLuna1--√+a2−-√+ ⋯ + anorte--√< La1+una2+⋯+unanorte<L\sqrt{a_1} + …

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

¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8 + ε-3-SAT sea 3-SAT con la promesa de que si …

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

En una teoría intuitiva de tipos: parte predictiva de Martin-Löf, se demuestra que la comprobación de tipo es decidible sujeto a ser escribible en primer lugar, demostrando un teorema de normalización para términos de tipo cerrado. Por otro lado, lo he visto escrito en varios lugares (Wikipedia, Nördstrom, etc.) que …

9 reference-request  type-theory  type-inference 

¿Existe un marco / formalismo que defina modelos computacionales basados ​​en proteínas distintas al modelo de ADN de Adleman o este trabajo de Cherry y Qian ?

9 reference-request  machine-models 

Para un lenguaje fijo en algún alfabeto , consideremos el siguiente problema, que llamo -INTERLEAVING :A LLLLUNAAALLL Entrada: dos palabras u , v ∈ A∗u,v∈A∗u, v \in A^* Salida: si existe un entrelazado de tuuu y vvv que está en LLL . Aquí, un entrelazado de dos palabras tuuu y …

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

Deje que sea ​​un lenguaje y defina por iff . Estoy buscando una referencia para:f L : A ∗ × A ∗ → { 0 , 1 } f L ( x , y ) = 1 x ⋅ y ∈ LL⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, …

9 reference-request  communication-complexity  regular-language 

El documento SODA de 2 páginas de Kalai ofrece un algoritmo simple y eficiente para la coincidencia de patrones con no importa (comodines que coinciden con un carácter). En esencia, es tan fácil como la convolución. Pero, ¿qué sucede si estamos buscando patrones múltiples que no le importan? ¿Podemos resolverlo …

9 ds.algorithms  reference-request  string-matching 

Dado un grafo dirigido fijo (dígrafo) , la problema de decisión -Coloreado pregunta si un dígrafo entrada tiene un homomorfismo a . (Un homomorfismo de a es un mapeo de a que conserva los arcos, es decir, si es un arco de , entonces es un arco de )D G …

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

Supongamos que y H son dos gráficos r- conectados regulares de tamaño n . Deje A el conjunto de permutaciones P tal que P G P - 1 = H . Si G = H entonces A es el conjunto de automorfismos de G .solGGHHHrrrnortennUNAAAPAGSPPPAGSG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HAAAGGG …

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

Dejar solsolG ser un gráfico que es la unión disjunta de una camarilla y un conjunto independiente, es decir G =Knorte1+Knorte2¯¯¯¯¯¯¯¯=Knorte1+yonorte2.sol=Knorte1+Knorte2¯=Knorte1+yonorte2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La clase de gráfico de todos estos gráficos se caracteriza por el conjunto de subgrafías inducidas prohibidas H ={2K2,PAGS3}H={2K2,PAGS3}\mathcal{H} = …

9 reference-request  graph-theory  graph-classes