L'informatique

2

Je suis un peu confus quant à la signification exacte d'une «clé» en informatique. Je comprends les paires clé-valeur, clés primaires, etc ... Mais je ne trouve pas de définition de ce que le terme "clé" signifie par lui-même. Pour autant que je sache, cela signifie simplement une donnée. Dans …

14 terminology

1

Des étapes qui garantissent la sortie d'un labyrinthe

Étant donné un labyrinthe à 2 dimensions où vous pouvez donner 4 commandes "monter / descendre / droite / gauche". Connaître le labyrinthe mais pas où se trouve la personne, comment trouver la séquence minimale de commandes qui garantit la sortie du labyrinthe? Je recherche une seule séquence de commandes …

14 algorithms graphs graph-traversal

1

Quels types de problèmes mathématiques peuvent être résolus par les prouveurs de théorèmes automatisés?

Puis-je prouver les énoncés suivants en utilisant les prouveurs de théorèmes automatisés disponibles? .( a + b )2= a2+ b2+ 2 a b(une+b)2=une2+b2+2uneb(a+b)^2=a^2+b^2+2ab Si , alors .11 ∣ 2 a - 3 b11∣2une-3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣septune-5b 11 \mid 7a-5b Si , alors .un x2+ …

14 automated-theorem-proving

1

«Des logiciens célèbres ont commis des erreurs embarrassantes ici», écrit le SICP. À quoi cela fait-il référence?

Voici le contexte ( Structure et interprétation des programmes informatiques , section 1.1.8, sous la rubrique "Noms locaux"): Un paramètre formel d'une procédure a un rôle très spécial dans la définition de la procédure, en ce que le nom du paramètre formel n'a pas d'importance. Un tel nom est appelé …

14 logic

2

Existe-t-il un concept pour un algorithme calculant une fonction en trouvant d'abord un autre algorithme?

Si je comprends bien, un algorithme qui calcule la valeur d'une fonction réelle a une complexité de calcul si les conditions suivantes sont réunies: Lorsque nous calculons à la précision requiert de l'ordre des étapes .FFfO ( g( n ) )O(g(n))O(g(n))FFfδδ\deltag( n )g(n)g(n) Cependant, que se passe-t-il si nous avons …

14 complexity-theory

1

La dérivée d'un graphique est-elle liée aux listes d'adjacence?

Certaines œuvres de Conor McBride, Diff , Dissect , relient la dérivée des types de données à leur "type de contextes à un trou". Autrement dit, si vous prenez la dérivée du type, vous vous retrouvez avec un type de données qui vous montre à quoi ressemble le type de …

14 graph-theory type-theory

2

Graphique résiduel dans le débit maximal

Je lis sur le problème de débit maximum ici . Je ne pouvais pas comprendre l'intuition derrière le graphique résiduel. Pourquoi considérons-nous les bords arrière lors du calcul du débit? Quelqu'un peut-il m'aider à comprendre le concept de graphique résiduel? Comment l'algorithme change-t-il dans les graphiques non dirigés?

14 algorithms graphs graph-theory network-flow

1

Complexité informatique vs hiérarchie de Chomsky

Je m'interroge sur la relation entre la complexité de calcul et la hiérarchie de Chomsky, en général. En particulier, si je sais qu'un problème est NP-complet, cela signifie-t-il que la langue de ce problème n'est pas sans contexte? Par exemple, le problème de clique est NP-complet. S'ensuit-il que le langage …

14 complexity-theory formal-languages

2

Puis-je avoir un «type de coproduit dépendant»?

Je lis le livre HoTT et j'ai une question (probablement très naïve) sur les trucs du premier chapitre. Le chapitre présente le type de fonction puis le généralise en faisant dépendre B de x : A B : A → U ,f:A→Bf:A→B f:A\to B BBBx:Ax:Ax:A et que l'on appelle letype …

14 type-theory dependent-types homotopy-type-theory

2

Est le complément de {ww | …} Sans contexte?

Définissez la langue LLL comme L = { a , b } ∗ - { w w ∣ w ∈ { a , b } ∗ }L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . En d'autres termes, LLL contient les mots qui ne peuvent pas être exprimés …

14 formal-languages context-free formal-grammars

2

Réduction du poly-temps d'ILP à SAT?

Ainsi, comme on le sait, le problème de décision 0-1 d'ILP est NP-complet. Il est facile de montrer qu'il est en NP, et la réduction d'origine provenait de SAT; depuis lors, de nombreux autres problèmes NP-Complete se sont révélés avoir des formulations ILP (qui fonctionnent comme des réductions de ces …

14 np-complete reductions satisfiability integer-programming

2

Exactitude-preuve d'un algorithme gourmand pour la couverture minimale des sommets d'un arbre

Il existe un algorithme gourmand pour trouver la couverture minimale des sommets d'un arbre qui utilise la traversée DFS. Pour chaque feuille de l'arbre, sélectionnez son parent (c.-à-d. Que son parent est dans la couverture de sommet minimum). Pour chaque nœud interne: si l'un de ses enfants n'est pas sélectionné, …

14 algorithms trees greedy-algorithms

2

La langue des mots contenant un nombre égal de 001 et 100 est-elle régulière?

Je me demandais quand les langues contenant le même nombre d'instances de deux sous-chaînes seraient régulières. Je sais que le langage contenant un nombre égal de 1 et de 0 n'est pas régulier, mais est un langage tel que , où = nombre moyen d'instances de la sous-chaîne "001" est …

14 formal-languages regular-languages pumping-lemma

2

Recherche des chemins les plus courts et les plus longs entre deux sommets dans un DAG

Étant donné un DAG non pondéré (graphique acyclique dirigé) D=(V,A)D=(V,A)D = (V,A) et deux sommets et , est-il possible de trouver le chemin le plus court et le plus long de à en temps polynomial? Les longueurs de trajet sont mesurées par le nombre d'arêtes.ssstttsssttt Je suis intéressé à trouver …

14 algorithms graphs shortest-path polynomial-time

7

Pourquoi les indices de tableau négatifs ont-ils un sens?

J'ai rencontré une expérience étrange en programmation C. Considérez ce code: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Lorsque je compile et exécute ceci, je ne reçois aucune erreur ni avertissement. Comme …

14 programming-languages arrays c