Preguntas etiquetadas con reference-request

Cualquier gráfico plano , respectivamente, externo-plano satisfaceG=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6 , respectivamente, , para cada subgrafo G ′ = ( V ' , E ' ) de G . Además, las gráficas planas (externas) se pueden reconocer en tiempo polinómico.|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le 2|V'|-3G′=(V′,E′)G′=(V′,E′)G'=(V',E')GGG Lo que se sabe sobre los gráficos modo que (resp. ) …

16 reference-request  graph-theory  graph-algorithms 

Me pregunto, ¿hay algún trabajo o investigación que trate con autómatas visiblemente pushdown, pero que permita que las palabras, en lugar de letras simples, sean empujadas a la pila. Alternativamente, una construcción que permita que los símbolos se presionen en las transiciones ϵϵ\epsilon podría lograr el mismo objetivo. Obviamente, tales …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

π 1 : A × B → A π 2 : A × B → BA × B ≜ ∀ α .( A → B → α ) → αUN×si≜∀α.(UN→si→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1: A × B → Aπ1:UN×si→UN\pi_1 : A …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Mientras leía el blog de Dick Lipton, me topé con el siguiente hecho cerca del final de su publicación de Bourne Factor : Si, por cada nnn , existe una relación de la forma (2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} donde m=poly(n)m=poly(n)m = poly(n) , y cada una de las …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Dado un nortenorten vértice grafo no dirigido, lo que es el mejor tiempo de ejecución conocido con destino a la búsqueda de un subgrafo que es un k × kk×kk\times k -biclique? ¿Existen algoritmos parametrizados más rápidos que el algoritmo de tiempo de "adivinar" un lado de la biclique y …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

¿Está disponible públicamente el siguiente manuscrito? Dana Scott, 1969, Una teoría de funciones computables de tipo superior . Notas de seminario no publicadas, 7 páginas, Universidad de Oxford. Hay una discusión sobre este artículo en la sección 8.1.2, Tipos como conjuntos , en Cardone & Hindley, 2006 History of Lambda-calculus …

16 reference-request  lo.logic  type-theory  domain-theory 

Tome un gráfico dirigido donde los bordes estén decorados con un número natural. Queremos el conjunto de todas las rutas entre dos vértices y modo que cada borde sucesivo en la ruta esté decorado con un número natural que sea mayor que el número natural que decora el borde anterior.solsolGPAGPAGPv1v1v_1v2v2v_2 …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Es bien sabido que las fórmulas aleatorias -CNF sobre n variables con c n cláusulas son insatisfactorias (es decir, son contradicciones) con alta probabilidad, para una constante c suficientemente grande . Por lo tanto, las fórmulas aleatorias de k -CNF (para c lo suficientemente grande) constituyen una distribución natural sobre …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Dados los puntos en R d y una distancia l, encuentre el subconjunto más grande de estos puntos de tal manera que la distancia euclidiana de ninguno de ellos exceda l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll ¿Cuál es la complejidad de este problema? En el gráfico sobre los puntos que tiene un borde cuando …

16 ds.algorithms  reference-request  cg.comp-geom 

Suponga que tiene dos participantes arbitrariamente poderosos que no confían el uno en el otro. Tienen acceso al compromiso de bits (por ejemplo, sobres sellados que contienen datos que un jugador puede entregar al otro pero que no se pueden abrir hasta que el primer jugador le dé al segundo …

16 reference-request  cr.crypto-security 

Los gráficos sin X son aquellos que no contienen ningún gráfico de X como un subgrafo inducido. Un hoyo es un ciclo con al menos 4 vértices. Un agujero impar es un agujero con un número impar de vértices. Un antiagujero es el complemento de un agujero. Los gráficos libres …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Como en, el área de los artículos en el ACM Journal on Experimental Algorithmic JEA . ¿Cuáles fueron las obras fundamentales? ¿Cuáles son los principales resultados? ¿Cómo se caracterizan? ¿Alguna conexión interesante con otras áreas de la informática?

16 ds.algorithms  reference-request  experimental 

¿Qué debo leer para entender este problema? El poder de los circuitos cuánticos de pequeña profundidad. ¿Es ? En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a la profundidad de polylog (n), siempre que estemos dispuestos a realizar un posprocesamiento clásico en tiempo polinómico? (Se …

16 cc.complexity-theory  reference-request  quantum-computing 

Encuentro algunos libros sobre computadoras, pero todos tratan sobre tecnología. Quiero algo más vinculado a la teoría.

15 reference-request  soft-question  philosophy 

Soy un estudiante graduado en matemáticas, y la informática teórica es un dominio del que nunca entendí de qué se trata porque no pude encontrar una buena lectura sobre el tema. Quiero saber de qué se trata este dominio, qué tipo de temas le conciernen, qué requisitos previos se necesitan …

15 reference-request  soft-question  books