Ciencias de la computación teórica

Esto está en la línea de " Algoritmos del libro ". Aunque las reducciones también son algoritmos, pensé que era dudoso pensar en una reducción en respuesta a la pregunta sobre los algoritmos del libro. Por lo tanto, una consulta por separado! Las reducciones de todo tipo son bienvenidas. Comenzaré …

22 ds.algorithms  np-hardness  big-list  reductions 

La redacción exacta del título se debe a Anand Kulkarni (quien propuso que se creara este sitio). Esta pregunta se hizo como una pregunta de ejemplo, pero tengo una curiosidad increíble. Sé muy poco acerca de la geometría algebraica y, de hecho, solo tengo una comprensión superficial y de pregrado …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-parte xxx con RRR tan pequeño como O(kno(1))O(kno(1))O(k n^{o(1)}) . Puede que no tenga los parámetros más conocidos, pero esta es la idea general. Mi pregunta es: ¿hay fenómenos similares en otros entornos? Lo que quiero decir es que la señal de entrada podría …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Para los algoritmos aleatorios AA\mathcal{A} toman valores reales, el "truco mediano" es una forma simple de reducir la probabilidad de falla a cualquier umbral δ&gt;0δ&gt;0\delta > 0 , a costa de solo un multiplicativo t=O(log1δ)t=O(log⁡1δ)t=O(\log\frac{1}{\delta})sobrecarga. A saber, si elAA\mathcal{A}salida 's cae en un "buen rango"I=[a,b]I=[a,b]I=[a,b]con una probabilidad de (al menos)2/32/32/3, …

22 ds.algorithms  randomized-algorithms 

¿Alguien sabe de un programa de código abierto para calcular la descomposición de gráficos en árbol para una "k" fija (ancho)? Sé que el problema de encontrar Tree-Decomposition es NP-Hard para la variable "k", pero mis instancias de entrada serán realmente pequeñas (~ 10 nodos) y "k" es fijo.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

todo el mundo sabe que existen muchos problemas de decisión que son NP-hard en gráficos generales, pero estoy interesado en problemas que son incluso NP-hard cuando el gráfico subyacente es un camino. Entonces, ¿me pueden ayudar a resolver esos problemas? Ya he encontrado una pregunta relacionada sobre problemas NP-hard en …

22 graph-theory  np-hardness 

Estaba leyendo " ¿Es P versus NP formalmente independiente? ", Pero me desconcertó. Se cree ampliamente en la teoría de la complejidad que . Mi pregunta es sobre qué pasa si esto no es demostrable (digamos en ). (Supongamos que solo descubrimos que es independiente de pero no hay más …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Estoy buscando idiomas que "probablemente no estén libres de contexto" pero no podemos (des) probarlo usando técnicas estándar conocidas. ¿Hay una encuesta reciente sobre el tema o una sección de problemas abierta de una conferencia reciente? Probablemente no haya muchos idiomas que no se sepa que son CF, por lo …

21 reference-request  big-list  context-free 

El siguiente problema apareció recientemente en mi investigación. Al no ser un experto en preguntas algorítmicas, busqué en Google en busca de problemas adecuados para reducir. No veo cómo funcionaría 3SAT, y aunque ZOE es similar en espíritu, una reducción no es obvia. Otra posibilidad sería la teoría existencial de …

21 cc.complexity-theory 

Recientemente, pasé por la experiencia divertida y dolorosa de explicar informalmente el concepto de complejidad computacional a un programador autodidacta joven y talentoso, que nunca antes había tomado un curso formal sobre algoritmos o complejidad. No es sorprendente que muchas nociones parecieran extrañas al principio, pero tenían sentido con algunos …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Estoy escribiendo artículos en informática teórica, a veces siendo un autor único no anónimo. Anteriormente, utilicé la primera persona del plural en dichos documentos, por ejemplo: Mostraremos que las clases de complejidad X e Y coinciden. No soy hablante nativo de inglés ni extremadamente bueno en inglés. Recientemente, recibí un …

21 soft-question  paper-review  writing 

Es bien sabido que el siguiente problema es PSPACE-complete: Dada la expresión regular , ¿ ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* ¿Qué pasa con la determinación de equivalencia a otras expresiones regulares (fijas) ?αα\alpha Dada la expresión regular , ¿ ?L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

¿Hay algún problema natural en P para el cual el límite de tiempo de ejecución más conocido sea de la forma , donde es una constante irracional ?O ( nα)O(norteα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Encontré el siguiente resultado durante mi investigación. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 donde m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) y a1,⋯,ama1,⋯,ama_1,\cdots,a_m se eligen al azar de [n][n][n] . Estoy buscando una referencia / una prueba directa. Crossposted en MO

21 reference-request  co.combinatorics  pr.probability 

Se dice que el CoC es la culminación de las tres dimensiones del Cubo Lambda. Esto no es aparente para mí en absoluto. Creo que entiendo las dimensiones individuales, y la combinación de cualquiera de los dos parece resultar en una unión relativamente sencilla (¿tal vez me falta algo?). Pero …

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions