Preguntas etiquetadas con reference-request

Supongamos que denota el conjunto y C (n, k) denota el conjunto de todas las combinaciones de elementos de sin repetición. Supongamos que sea ​​una -tupla en . Decimos que una permutación del conjunto evita si no hay k-tupla de enteros tal que [ n ][norte][n]k [ n ] p …

15 reference-request  co.combinatorics  permutations 

Esto está escrito en la entrada wiki de Ejecución simbólica , pero no puedo encontrar ninguna referencia para ello. ¿Alguien puede mostrarme un puntero? Gracias.

15 reference-request  lo.logic  program-analysis 

Se sabe que minimizar el tamaño de una expresión regular es completo para PSPACE, incluso si tenemos un DFA como la especificación del lenguaje . ¿Cuáles son los resultados si el idioma es finito? Uno puede considerar este problema en dos modelos: La entrada es todas las cadenas en el …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Editar: como no he recibido ninguna respuesta / comentario en una semana, me gustaría agregar que estoy feliz de escuchar algo sobre el problema. No trabajo en el área, así que aunque sea una simple observación, puede que no lo sepa. ¡Incluso un comentario como "Trabajo en el área, pero …

15 reference-request  machine-learning  lg.learning 

Dados los conjuntos y , una relación difuncional entre ellos se define como una relación que satisface la siguiente propiedad:UNUNAsisiB ( ∼ ) ⊆ A × B(∼)⊆UN×si(\sim) \subseteq A \times B Si y y , entonces . a ∼ bun∼sia \sim bun′∼ b′un′∼si′a' \sim b'a ∼ b′un∼si′a \sim b'un′∼ bun′∼sia' …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Una categoría tiene biproductos cuando los mismos objetos son tanto productos como coproductos. ¿Alguien ha investigado la teoría de la prueba de categorías con biproductos? Quizás el ejemplo más conocido es la categoría de espacios vectoriales, en la que la suma directa y las construcciones de producto directo dan el …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

En realidad tengo dos preguntas: ¿Quién utilizó primero las relaciones lógicas para relacionar la semántica? Los rastreé hasta " La relación entre la semántica directa y de continuación " de Reynold , pero no puedo afirmar que haya hecho una búsqueda exhaustiva. He encontrado referencias a relaciones lógicas que datan …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Uso el término del título en un sentido muy laxo. Hay una gran cantidad de trabajo sobre la teoría de los juegos evolutivos, incluidos sus fundamentos matemáticos. Me recomendaron "Juegos evolutivos y dinámica de población", pero aún no he profundizado en ello. También hay una gran cantidad de trabajo sobre …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

¿Cuáles son buenos documentos / libros para comprender mejor el poder de la descomposición modular y sus propiedades? Estoy particularmente interesado en los aspectos algorítmicos de la descomposición modular. He oído que es posible encontrar una descomposición modular de un gráfico en tiempo lineal. ¿Hay un algoritmo relativamente simple para …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Algunos antecedentes: las lógicas de muchos valores logukasiewicz fueron concebidas como lógicas modales, y Łukasiewicz dio una definición extensional del operador modal: (que atribuye a Tarski).◊ A =ree f¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Esto proporciona una lógica modal extraña, con algunos teoremas paradójicos, si no …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Estoy buscando documentos y artículos sobre lógicas subestructurales modales, no sobre la semántica de las modalidades de lógica lineal, sino sobre lógicas subestructurales aumentadas con operadores modales estándar, por ejemplo, K estructural (algo así como MALL con operador de caja, necesidad y reglas K).

15 reference-request  lo.logic  proof-theory 

El teorema del punto fijo de Banach dice que si tenemos un espacio métrico completo no vacío , entonces cualquier función uniformemente contractiva tiene un punto fijo único . Sin embargo, la prueba de este teorema requiere el axioma de elección: debemos elegir un elemento arbitrario para comenzar a iterar …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Como todos saben, el famoso libro de Garey y Johnson (y muchos otros) proporciona una excelente referencia para la técnica de reducción en el entorno clásico. ¿Hay encuestas o libros sobre el tema de la técnica de reducción en algoritmos parametrizados, digamos la reducción de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Al leer el documento " Una teoría aplicativa para FPH " puede encontrar el siguiente pasaje: Considerando las teorías que caracterizan las clases de complejidad computacional, existen tres enfoques diferentes: en uno, las funciones que se pueden definir dentro de la teoría son "automáticamente" dentro de una cierta clase de …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Estoy interesado en la generación de números pseudoaleatorios para la criptografía. Además del Capítulo 5 de Menezes / Oorschot / Vanstone ; Capítulo 8 de Stinson ; y el Capítulo 3 de Goldreich , ¿dónde más podría encontrar más? Me interesan los principios generales para diseñar PRNG (propiedades deseables, pruebas, …

15 cc.complexity-theory  reference-request  pseudorandomness