Ciencias de la computación teórica

Un colega que trabaja en programación genética me hizo la siguiente pregunta. Primero intenté resolverlo basado en un enfoque codicioso, pero en un segundo pensamiento, encontré un contraejemplo al algoritmo codicioso. Entonces, pensé que vale la pena mencionarlo aquí. Considere dos polinomios que están representados por sus árboles de expresión. …

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

¿Es posible construir una explícita 0 / 1 -matrix con N 1,5 queridos tal que cada N 0.499 × N 0,499 submatriz contiene menos de N 0,501 queridos?norte× NN×NN \times N 0 / 10/10/1norte1,5N1.5N^{1.5}norte0.499× N0.499N0.499×N0.499N^{0.499} \times N^{0.499}norte0,501N0.501N^{0.501} O probablemente sea posible construir un conjunto de golpes explícito para dicha propiedad. …

20 co.combinatorics  matrices  pseudorandomness  pseudorandom-generators 

Esta pregunta se relaciona principalmente con un problema práctico de ingeniería de software, pero me gustaría saber si los teóricos podrían proporcionar más información al respecto. En pocas palabras, tengo una simulación de Monte Carlo que usa un generador de números pseudoaleatorio, y me gustaría paralelizarlo para que haya 1000 …

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

¿Ha habido investigaciones sobre la implementación de construcciones de extractor de aleatoriedad? Parece que las pruebas de extractor utilizan Big-Oh, dejando la posibilidad de grandes constantes ocultas, lo que hace que las implementaciones programáticas sean potencialmente poco realistas. Algún contexto: estoy interesado en usar extractores de aleatoriedad como una fuente …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Esta es una reformulación de una pregunta anterior . Considere el siguiente juego imparcial de información perfecta entre dos jugadores, Alice y Bob. Los jugadores reciben una permutación de los enteros 1 a n. En cada turno, si la permutación actual aumenta, el jugador actual pierde y el otro jugador …

20 gt.game-theory  combinatorial-game-theory 

Un objetivo importante de los métodos formales es demostrar la corrección de los sistemas, ya sea por medios automatizados o dirigidos por humanos. Sin embargo, parece que incluso si puede proporcionar una prueba de corrección, es posible que NO pueda garantizar que el sistema no falle. Por ejemplo: La especificación …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

Discusión : Últimamente he pasado algo de tiempo personal aprendiendo varias cosas en la complejidad de la comunicación. Por ejemplo, me he re-familiarizado con el capítulo relevante en Arora / Barak, comencé a leer algunos documentos y ordené el libro a Kushilevitz / Nisan. Intuitivamente, quiero contrastar la complejidad de …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Estoy buscando una buena encuesta sobre algoritmos y complejidad del álgebra lineal (operaciones como rango, inverso, valores propios, ... para matrices booleanas, y enteros / racionales) con énfasis en paralelo ( jerarquía ) y algoritmos polytime. No pude encontrar uno reciente. NCFpFp\mathbb{F}_pNCNCNC ¿Conoces una buena encuesta reciente o libro sobre …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

En la clase de complejidad , se conjetura que algunos problemas NO están en la clase N C , es decir, problemas con algoritmos deterministas paralelos. El problema del flujo máximo es un ejemplo. Y se cree que hay problemas en N C , pero todavía no se encuentra una …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Se hacen cinco preguntas vinculadas, y se espera una sola respuesta integrada: P1: ¿Existen lenguajes que son reconocidos únicamente por aquellas máquinas de Turing en cuyos exponentes de tiempo de ejecución son indecidibles ?PLLLPAGPP P2: ¿Pueden construirse finitos ejemplos de estas máquinas de Turing? P3: ¿Se pueden crear instancias concretas …

20 cc.complexity-theory 

El título más o menos lo dice todo, pero creo que podría agregar un poco de antecedentes y algunos ejemplos específicos que me interesan. Los teóricos de la complejidad descriptiva, como Immerman y Fagin, han caracterizado muchas de las clases de complejidad más conocidas utilizando la lógica. Por ejemplo, NP …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Es bien sabido que la exponenciación modular (la parte principal de una operación RSA) es computacionalmente costosa, y hasta donde yo entiendo, la técnica de exponenciación modular de Montgomery es el método preferido. La exponenciación modular también se destaca en el algoritmo de factorización cuántica, y también es costosa allí. …

20 cr.crypto-security  quantum-computing  factoring 

Un problema clásico en la teoría de la probabilidad es expresar la probabilidad de un evento en términos de eventos más específicos. En el caso más simple, se puede decir P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Escritura Vamos ABABAB para el evento A∩BA∩BA \cap …

20 reference-request  pr.probability 

Defina la siguiente clase de idiomas "circulares" sobre un alfabeto finito Sigma. En realidad, el nombre ya existe para denotar una cosa diferente que parece, utilizada en el campo de la computación de ADN. AFAICT, esa es una clase diferente de idiomas. Un lenguaje L es circular si todas las …

20 fl.formal-languages  automata-theory  regular-language 

Estaba usando Jung ( http://jung.sourceforge.net/ ) para visualizar el rango de la página y me pareció un poco lento y difícil escalarlo más allá de 100 nodos. Me preguntaba qué otras herramientas utilizan las personas para el análisis y la visualización de redes / redes sociales.

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing