Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

1
¿La complejidad de Kolmogorov es casi sobreyectiva?
Para las complejidades de Kolmogorov inducida por lenguajes de descripción esencialmente óptimos, ¿existe un entero c tal que para todos los enteros positivos n , exista una cadena x tal queKK\hspace{.02 in}KCccnnnxxxn&lt;K(x)&lt;n+cn&lt;K(x)&lt;n+c\;\;\; n \: < \: K(x) \: < \: n\hspace{-0.04 in}+\hspace{-0.03 in}c \;\;\;\;? A diferencia de la pregunta que …
2
Partición de un conjunto de enteros en subconjuntos con sumas prescritas
Vi este problema: Se dice que una secuencia no creciente de enteros positivos es n-realizable si el conjunto puede dividirse en subconjuntos mutuamente disjuntos tal que para cada .m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_kIn={1,2,...,n}In={1,2,...,n}I_n=\{1,2,..., n\}kkkS1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k∑x∈Six=mi∑x∈Six=mi\sum_{x\in S_i} x = m_i1≤i≤k1≤i≤k1\leq i \leq k en el documento "PARTICIÓN DE UN CONJUNTO DE INTEGRADORES EN SUBSETES CON …
2
Resultados de complejidad sobre gráficos localmente bipartitos
Un gráfico es localmente bipartito si la vecindad abierta de cada vértice induce un gráfico bipartito. (Según las búsquedas, el mismo nombre podría usarse para otra cosa relacionada con las superficies). ¿Qué problemas de NP-hard para gráficos generales se convierten en polinomios para gráficos localmente bipartitos y cuáles permanecen NP-hard? …
1
Conversión entre k-SAT y XOR-SAT
De acuerdo con el Módulo XOR Satisfiability Solver para la integración DPLL por Tero Laitinen, necesitamos cláusulas CNF para convertir una cláusula XOR-SAT literal si no queremos aumentar el número de literales. Entonces, entiendo que el costo computacional para convertir una expresión XOR-SAT en un estrictamente CNF -SAT es exponencial.2n …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.