Ciencias de la computación teórica

El teorema de la zona dice que si apuñalamos una disposición de n líneas con otra línea, la complejidad total de su zona , el conjunto de todas las caras 0, 1 y 2 adyacentes a ella, es O (n). La constante real es algo así como 6n al menos …

10 cg.comp-geom 

Hay varias nociones diferentes (probablemente no equivalentes) de universalidad computacional (ver, por ejemplo, las últimas dos páginas de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) y no hay consenso entre expertos sobre las nociones más correctas (ver, por ejemplo, http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Estoy tratando de decir algo sobre un modelo particular de computación biomolecular. Me gustaría …

10 universal-computation 

¿Es posible (barra oblicua puede proporcionar un ejemplo) para reducir la complejidad computacional de un problema mediante el uso de un algoritmo paralelo que no requiere una serie de procesadores en relación con el tamaño de entrada?

10 cc.complexity-theory  dc.parallel-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 

Un DFA o NFA lee a través de una cadena de entrada con un solo encabezado, moviéndose de izquierda a derecha. Parece natural preguntarse acerca de las máquinas de estado finito que tienen múltiples cabezas , cada una de las cuales se mueve a través de la entrada de izquierda …

10 fl.formal-languages  automata-theory  regular-language  nfa 

Se sabe desde principios de los años 70 que N PNP{\bf NP} y E =DTyoMETROmi( 2O ( n ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) no son iguales (porque miE{\bf E} no está cerrado bajo reducciones de tiempo múltiple polinomial, en contraste con N PNP{\bf NP} ) . Sin embargo, hasta donde yo sé, todavía …

10 cc.complexity-theory  complexity-classes  np-complete 

He estado interesado en varios temas como Combinatory Logic, Lambda Calculus, Functional Programming por un tiempo y los he estado estudiando. Sin embargo, a diferencia de la "Teoría de la computación", que se esfuerza por responder a la pregunta de "computabilidad", es decir, cosas que pueden / no pueden computarse …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , los lenguajes decididos por …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

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 

Supongamos que tengo un circuito booleano que calcula alguna función f : { 0 , 1 } n → { 0 , 1 } . Suponga que el circuito se compone de AND, OR y NO compuertas con entrada y salida de ventilador como máximo 2.CCCf: { 0 , 1 …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

El problema parametrizado de k-FLIP SAT se define como: Entrada: una fórmula 3-CNF φφ\varphi con nortenorten variables y una asignación de verdad σ: [ n ] → { 0 , 1 }σ:[norte]→{0 0,1}\sigma : [n] \to \{0,1\} Parámetro: kkk Pregunta: ¿podemos transformar la asignación σσ\sigma en una asignación de saturación …

10 parameterized-complexity  fixed-parameter-tractable 

Digamos que trabajo en la teoría del tipo de homotopía y mis únicos objetos de estudio son categorías convencionales. Las equivalencias aquí son dadas por los functores y que proporcionan equivalencias de las categorías . Existen isomorfismos naturales y para que este functor y functor "inverso" se transforman en unidad …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

La holgura complementaria (CS) se enseña comúnmente cuando se habla de dualidad. Establece una buena relación entre las restricciones / variables primarias y duales desde un punto de vista matemático. Las dos razones principales para aplicar CS (como se enseña en cursos de posgrado y libros de texto): Para verificar …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Estoy interesado en una ligera generalización de DFA. Como de costumbre, tenemos un conjunto de estados QQQ , un alfabeto finito ΣΣ\Sigma , una acción Σ∗Σ∗\Sigma^* definida en QQQ por δ: Q × Σ → Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , y un estado inicial q0 0q0q_0 ; pero en lugar …

10 automata-theory  dfa 

¿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