Ciencias de la computación teórica

Un -net para un espacio de rango es un subconjunto de tal que no es vacío para todos tal que.( X , R ) N X N ∩ R R ∈ R | X ∩ R | ≥ ε | X |εε\varepsilon( X, R )(X,R)(X,\mathcal{R})norteNNXXXnorte∩ RN∩RN\cap RR ∈ RR∈RR\in \mathcal{R}El …

8 ds.algorithms  cg.comp-geom  vc-dimension  epsilon-nets 

Se nos dan pilas que contienen "elementos" de diferente color y una máquina que puede procesar múltiples elementos del mismo color de una sola vez. En cada paso, podemos eliminar un elemento de la parte superior de cada pila y ponerlo en nuestra máquina (de manera efectiva, la máquina puede …

8 ds.algorithms  reference-request  scheduling 

Estoy escribiendo un modelo de juguete , y estoy en el punto en que es hora de implementar la traducción de autómatas LTL a Buchi. Por una variedad de razones obvias, deseo que el algoritmo sea simple :) por ejemplo, quiero que el código permanezca extremadamente claro y conciso durante …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic 

La pregunta es si es posible modelar en lógica lineal dos modos de acceso a un recurso. Sé que son posibles dos modos de recursos, es decir: !r⊢!r⊢!r \vdash r está infinitamente disponible r solo está disponible una vez r⊢r⊢r \vdash \quad Pero, ¿y si no quiero decidir si r …

8 lo.logic  linear-logic 

La idea básica de la inducción hacia atrás es comenzar con todas las posiciones finales posibles de un juego en el que el jugador X gana. Entonces, para el ajedrez, mira todas las formas en que las blancas pueden hacer jaque mate a las negras. Ahora trabaje hacia atrás a …

8 cc.complexity-theory  graph-algorithms  board-games 

por favor, ¿puede proporcionar una referencia o dar ejemplos particulares de problemas completos de PSPACE que se puedan resolver en tiempo pseudo-polinomial? Notas Adicionales: Definición de tiempo pseudopolinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time En respuesta a algunos comentarios mencionados anteriormente. He preguntado antes si había algún problema que fuera PSPACE-complete que tuviera un FPTAS. …

8 cc.complexity-theory  complexity-classes 

Estoy buscando trabajo en sistemas que sean similares a los secuenciantes de orden superior de K. Dosen ("Sistemas secuenciales para lógica modal", JSL 50 ). El único trabajo que conozco es el reciente trabajo de Iemhoff y Metcalfe ("Teoría de la prueba de reglas admisibles", Annals of Pure and Applied …

8 reference-request  lo.logic  proof-theory 

¿Cuáles son las mejores referencias para el autoestudio en DATALOG? Estoy particularmente interesado en el poder expresivo, los resultados de complejidad, los métodos de evaluación, las extensiones de DATALOG con negación, etc. ¿Hay libros o documentos que cubran todo esto?

8 reference-request  lo.logic  db.databases  logic-programming 

La pregunta es: ¿Existe siempre un esquema de aproximación de polivinilos para problemas con NP completo que tienen algoritmos de tiempo pseudopolinomiales (como la mochila, por ejemplo)?

8 cc.complexity-theory  approximation-algorithms 

Entiendo la consistencia estricta y secuencial independientemente bastante bien. El estricto C básicamente impone el orden real en el que se ejecutaron las instrucciones en el reloj global. La coherencia secuencial básicamente impone el orden solo en un procesador. Sin embargo, tengo problemas para reunir algo de literatura. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html describe …

8 pl.programming-languages  dc.parallel-comp  concurrency 

El siguiente lema no es difícil de probar. Lema : Sea y k ∈ [ n ] . Si m 1 , m 2 , ... , m r son enteros (algunos de ellos pueden ser negativos) de modo que m 1 c 1 + m 2 c 2 + …

8 reference-request  nt.number-theory 

La conectividad algebraica de un gráfico G es el segundo valor propio más pequeño de la matriz laplaciana de G. Este valor propio es mayor que 0 si y solo si G es un gráfico conectado. La magnitud de este valor refleja qué tan bien conectado está el gráfico general. …

8 graph-theory  co.combinatorics  spectral-graph-theory 

La dimensión VC es una medida de la complejidad de las clases de funciones que está estrechamente vinculada a la complejidad de la muestra. La dimensión de rotura de grasa es una generalización adecuada para dominios ordenados más ricos: es decir, . ¿Existe una generalización estándar de la dimensión VC …

8 reference-request  lg.learning  vc-dimension 

Inspirado por esta pregunta , tenía curiosidad por saber si había una estrategia de reducción para los combinadores de SKI sin tipo que se sabía que era normal o perpetua. Como se describe aquí (Doce aquí ), las reglas no determinantes del cálculo del combinador son las siguientes: yox → …

8 pl.programming-languages  combinatory-logic 

Estoy mirando la página 28 de Lovasz "Programas semidefinidos y optimización combinatoria" y ofrece la siguiente aproximación del número de independencia del gráfico maxu′Zumaxu′Zu\max u' Z u sujeto a Z≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 ¿Puedo obtener un conjunto independiente (o algo parecido a un conjunto …

8 ds.algorithms  graph-theory  semidefinite-programming  independent-set