Ciencias de la computación teórica

¿Hay algún resultado que demuestre que los modelos (digamos SVM, Neural-Net, kNN, etc.) tendrán dificultades para aprender instancias "raras" / fenómenos de cola?

8 machine-learning  lg.learning  pac-learning 

¿Existe un protocolo criptográfico que, al menos en teoría (y bajo los supuestos criptográficos estándar) permite a las personas votar de forma segura desde sus hogares? Pude ver cómo se podrían abordar los diversos problemas (como: evitar que las personas voten dos veces, presentar pruebas de que el voto se …

8 cr.crypto-security 

Considere una gráfica ponderada con algunos bordes rojos. Estamos interesados ​​en encontrar una coincidencia perfecta, de modo que el número de bordes rojos sea uniforme, y bajo las restricciones anteriores, el peso se minimiza. ¿Es este problema solucionable en tiempo polinómico? ¿Incluso para gráficos bipartitos? ¿Qué pasa con una extensión …

8 matching 

Problema general Supongamos que tenemos una función polinomial multivariada y varias funciones lineales . ¿Qué se sabe sobre la complejidad de resolver el siguiente problema de optimización?F( x )F(X)f(\mathbf{x})ℓyo( x )ℓyo(X)\ell_i(\mathbf{x}) MaximizarSujeto a: F( x )ℓyo( x ) ≤ 0 para todo iMaximizarF(X)Sujeto a: ℓyo(X)≤0 0 para todos yo\begin{align*} \text{Maximize} …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado. Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k .k>1k>1k>1nknkn^knk/knk/kn^k/k La …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

¿Alguno de ustedes conoce una referencia para el siguiente resultado (sorprendentemente tedioso de probar)? Dado un gráfico plano conectado con vértices y aristas, tiene un separador de vértices de tamaño .GGGnnnn+tn+tn+tO(t√+1)O(t+1)O( \sqrt{t}+1)

8 reference-request  planar-graphs  separation 

Considere los siguientes problemas: Problema de vectores ortogonales Entrada: Un conjunto SSS de nnn vectores booleanos de longitud ddd . Pregunta: ¿Existen vectores distintos v 1v1v_1 y v 2 ∈ S dev2∈Sv_2 \in S modo que v 1 ⋅ v 2 = 0v1⋅v2=0v_1 \cdot v_2 = 0 ? Problema de …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Considere una máquina (es decir, un algoritmo probabilístico que usa espacio de registro y polinomialmente muchos bits aleatorios). Se sabe (Saks-Zhou) que B P L ⊆ D S P A C E ( l o g 1.5 ( n ) ) .B PLsiPAGSLBPLB PL ⊆ D SPAGSA Cmi( l o …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Considere el problema de la intersección de conjuntos: Alice y Bob obtienen cada uno un subconjunto de {1,…,n}{1,…,n}\left\{ 1,\ldots, n\right\} , y les gustaría saber si sus conjuntos se intersecan. Este es un problema canónico de la complejidad de la comunicación, y es bien sabido que los protocolos aleatorizados para …

8 reference-request  communication-complexity 

Tenía una pregunta sobre el subtipo en el documento "Un sistema de efectos para efectos algebraicos y controladores" . Me preguntaba por qué no hay una regla de subtipo para agregar efectos en ambos lados de un tipo de controlador, algo como esto: T! UNA⇒R !si⩽T! ( A ∪ C)⇒R …

8 pl.programming-languages 

La biblioteca StreamMemo para Coq ilustra cómo memorizar una función f : nat -> Asobre los números naturales. En particular cuando f (S n) = g (f n), imemo_makecomparte el cálculo de llamadas recursivas. Supongamos que, en lugar de números naturales, queremos memorizar funciones recursivas sobre árboles binarios: Inductive binTree …

8 dependent-type  coq  agda 

¿Cuál es la complejidad del problema de satisfacción local para la lógica modal ? Aquí denotamos por la lógica modal sobre tramas euclidianas extendidas con modalidad inversa. ¿Podría darnos alguna referencia? ¿Está en ? I K 5 N PIK5IK5\mathit{IK5}IK5IK5IK5NPNPNP ¿Qué sé sobre el tema? Es fácil ver que está en …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

A la luz de la muerte de Stephen Hawking hoy, me preguntaba si alguno de sus resultados tiene un impacto directo en cs. El candidato obvio sería la computación cuántica, o más bien la construcción de una computadora cuántica física, pero quizás haya resultados que tengan otro impacto. Estoy familiarizado …

8 big-list  physics  bibliography 

Es fácil ver un algoritmo de tiempo de ejecución para el isomorfismo de grupo abeliano. Más tarde, trabajando en este problema en 2003, Vikas mejoró el resultado del tiempo de ejecución de O ( n 2 ) a O ( n log n ) . En 2007, Kavitha demostró que …

8 cc.complexity-theory  ds.algorithms 

En el problema de partición estándar , se nos dan algunos números cuya suma es y tenemos que decidir si se pueden dividir en dos subconjuntos cuya suma es . Se sabe que es NP-duro.2 s 2s2ssss Sin embargo, suponga que se nos permite designar uno de los números como …

8 np-hardness  reductions  partition-problem