Ciencias de la Computación

Mi objetivo es resolver el siguiente problema, que he descrito por su entrada y salida: Entrada: Un gráfico acíclico dirigido con nodos, fuentes y sumidero ( ).solsolGmetrometromnortenorten111m > n ≥ 1metro>norte≥1m > n \geq 1 Salida: El VC-dimensión (o una aproximación de la misma) para la red neuronal con topología …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Sigo encontrando referencias a puntos fijos en preguntas y respuestas en stackexchange y busco el significado en la web, obviamente, encuentro referencias en sitios como Wikipedia. Sin embargo, ninguna de las referencias realmente responde a mi pregunta de qué es un punto fijo y qué significa en el mundo de …

19 terminology 

¿Quieres mejorar esta publicación? Proporcione respuestas detalladas a esta pregunta, incluidas citas y una explicación de por qué su respuesta es correcta. Las respuestas sin suficiente detalle pueden ser editadas o eliminadas. Hemos estado leyendo sobre algoritmos para MST, conectividad fuerte, enrutamiento, etc. en gráficos dirigidos. También recientemente, la gente …

18 graphs  graph-theory  fault-tolerance 

En el documento "Un tipo de datos JSON replicado libre de conflictos" , encontré esta notación para definir formalmente "reglas": ¿Cómo se llama esta notación? ¿Cómo lo leo? Por ejemplo: el DOC regla no tiene nada en su "numerador", ¿por qué no? Las reglas EXECy GETparecen tener dos términos separados …

18 semantics  notation  formal-methods  operational-semantics 

Tenemos la lógica de Hoare. ¿Por qué todavía es posible que un algoritmo sea correcto pero no hay pruebas de que sea correcto? Supongamos que el algoritmo se expresa en C. Luego, podemos argumentar paso a paso que está haciendo lo que se supone que debe hacer. Entonces mi pregunta …

18 correctness-proof  hoare-logic 

Gracias al teorema de corte mínimo de flujo máximo, sabemos que podemos usar cualquier algoritmo para calcular un flujo máximo en un gráfico de red para calcular un corte -min. Por lo tanto, la complejidad de calcular un corte mínimo ( s , t ) no es más que la …

18 complexity-theory  reductions  network-flow  graph-algorithms 

El problema de la detención no se puede resolver en el caso general. Es posible proponer reglas definidas que restrinjan las entradas permitidas y ¿se puede resolver el problema de detención para ese caso especial? Por ejemplo, parece probable que un lenguaje que no permita bucles, por ejemplo, sea muy …

18 computability  undecidability  software-engineering  formal-methods 

¿Existe una función computable tal que:F: N → QF:norte→Qf:\mathbb{N}\rightarrow \mathbb{Q} Para todos lost ∈ N : 0 ≤ f( t ) &lt; Xt∈norte:0 0≤F(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞F( t ) = Xlimt→∞F(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Donde XXX es un número real indiscutible. La única referencia a esta …

18 computability 

¿Es una máquina de Turing sin la capacidad de escribir en celdas en blanco menos potente que Turing estándar? Creo que la respuesta es sí, pero no puedo encontrar un cálculo que la máquina estándar de Turing pueda hacer, pero esta máquina no. ¿Algunas ideas?

18 formal-languages  turing-machines  computability  automata 

Si hay un algoritmo que se ejecuta en el tiempo para algún problema A, y a alguien se le ocurre un algoritmo que se ejecuta en el tiempo, , donde , ¿se considera una mejora con respecto al algoritmo anterior?O ( f ( n ) / g ( n ) …

18 algorithms 

Después del lanzamiento de la biblioteca AIGER para manejar gráficos e inversores en algún momento en 2006 (creo), se lanzaron algunos solucionadores SAT de circuito en 2006-2008, y en algunas carreras / competiciones SAT hubo pistas AIG. Sin embargo, desde entonces parece que el enfoque se ha centrado completamente en …

18 satisfiability  circuits  sat-solvers 

¿Puede una gramática libre de contexto incluir "estados muertos" de un autómata, como G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?sol=({un,si,C},{UN,si,C},{UN→unsi,si→si,si→C,C→CC},UN)?G …

18 context-free  automata  formal-grammars 

Soy nuevo en la teoría del lenguaje de programación. Estaba viendo algunas conferencias en línea en las que el instructor afirmó que una función con tipo polimórfico forall t: Type, t-&gt;tsería la identidad, pero no explicó por qué. ¿Alguien puede explicarme por qué? Tal vez una prueba de la afirmación …

18 programming-languages  type-theory 

Ajuste: expresiones regulares con referencias lenguaje unario (alfabeto de 1 símbolo) ¿Se puede resolver el siguiente problema en esta configuración: Dada una expresión regular con referencias inversas, ¿define un lenguaje regular? Por ejemplo, (aa+)\1define un lenguaje regular, mientras (aa+)\1+que no. ¿Podemos decidir cuál es el caso? Para concreción, "expresiones regulares …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Tengo un problema de decisión NP-completo. Dada una instancia del problema, me gustaría diseñar un algoritmo que genere SÍ, si el problema es factible, y, de lo contrario, NO. (Por supuesto, si el algoritmo no es óptimo, cometerá errores). No puedo encontrar ningún algoritmo de aproximación para tales problemas. Estaba …

18 algorithms  satisfiability  approximation  decision-problem