Ciencias de la computación teórica

Estoy buscando problemas que son difíciles de resolver en tiempo FPT pero que tiene un algoritmo de aproximación. Es decir, problemas que son: R1. W [1] -duro. R2. Admita un algoritmo de aproximación (preferiblemente constante) en tiempo FPT. El problema con el que estoy familiarizado es contar el número de …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Me gustaría pedir ayuda a los investigadores que realizan una investigación en un área de árboles de búsqueda. ¿Podría por favor escribir la lista de los documentos que debe leer y los documentos más recientes que es importante leer si quiero escribir documentos sobre árboles de búsqueda? Personalmente, tengo la …

9 ds.data-structures  binary-trees 

Actualmente soy un estudiante de segundo año interesado en TCS. Recientemente me ha molestado un poco la dificultad de ingresar a programas de doctorado en el futuro ya que la selección es muy competitiva. Revisé las páginas web de algunas de las mejores escuelas de CS y descubrí que sus …

9 soft-question 

Estoy tratando de entender los conceptos de tipos universales y existenciales, pero en todas partes veo intuiciones lógicas u operativas (o implementaciones) (por ejemplo, el libro TAPL de B. Pierce), que, bueno ... es bueno , pero me gustaría ver las definiciones (donde las vemos como conjuntos), y de ellas, …

9 lo.logic  type-theory  type-systems  set-theory 

Problema clásico: Deje que se dé un número . El problema -clique es el siguiente.kkkkkkk Dado un gráfico , ¿existe un subconjunto de vértices para que dos vértices de sean adyacentes?S k SGGGSSSkkkSSS Problema de hipergrafía: Deje que se den los números y . El problema -hiperclique es el siguiente.k …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece …

9 cc.complexity-theory  reference-request  circuit-complexity 

Estoy tomando un curso de posgrado en teoría de la información y constantemente me sorprende la cantidad de optimización convexa que hay en esta materia. Sin embargo, las pruebas parecen eludir el uso de toda la maquinaria de la teoría de la relajación, la dualidad, etc. Esto es comprensible ya …

9 reference-request  it.information-theory  convex-optimization 

Dado un gráfico y un δ > 0, uno quiere calcular h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) . ( ϕ ( S ) = E ( S , ˉ S )G = ( V, …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Siendo ingeniero de software profesional, he visto mucho trabajo técnico realmente interesante, muchos de ellos publicados como artículos técnicos en revistas técnicas y sitios web como http://www.drdobbs.com y http://www.codeproject.com y muchos otros, aquí hay algunos ejemplos en algunas áreas de interés: Algoritmo de ingeniería e implementación: http://www.codeproject.com/Articles/18113/KD-Tree-Searching-in-N-dimensions-Part-I http://www.codeproject.com/Articles/9021/Simple-and-fast-Huffman-coding http://www.drdobbs.com/cpp/sorting-an-immutable-list/240163397 http://www.codeproject.com/Articles/33781/Calculate-Percentiles-in-O-1-space-and-On-time …

9 soft-question  research-practice 

Tenemos un algoritmo de tiempo para determinar si un gráfico G tiene un ciclo de longitud exactamente k . ¿Cómo podemos encontrar cuántos k- ciclos están presentes en G usando el mismo algoritmo o cualquier otro?f(k)n3f(k)n3f(k) n^3GGGkkkkkkGGG

9 graph-theory  graph-algorithms 

No se cree que lo siguiente sea cierto: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 ¿Puedes ayudarme a ver dónde se rompe la discusión? El problema de accesibilidad dirigida está completo para . Sostengo que está en -uniform .L N C 1LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} El problema de accesibilidad dirigida sobre los gráficos …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Considere un problema en el que se le proporciona una cuadrícula 2D (por ejemplo, un tablero de ajedrez) donde están ocupados ciertos cuadrados y necesita colocar el número mínimo de rectángulos no superpuestos de cualquier tamaño wxh donde w = 1 o h = 1 (es decir, "cuadrado segmentos ") …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Actualmente estoy investigando en pseudoaleatoriedad, que involucra un zoológico de objetos maravillosos, como generadores pseudoaleatorios, extractores de aleatoriedad, gráficos de expansión, etc. Me parece un tema fascinante, pero una cosa que me vuelve loco es el exceso de parámetros que son involucrado. Entiendo que estos objetos son muy complejos, pero …

9 soft-question  research-practice 

Estoy trabajando en algoritmos de aproximación para un problema de conjunto dominante mínimo. En particular, estoy interesado en las clases de gráficos restringidas por subgrafos inducidos prohibidos. Dado que el problema de la dominación y sus variantes se han estudiado ampliamente, supongo que alguien podría haber trabajado en esto antes. …

9 graph-theory  graph-algorithms  approximation-algorithms