L'informatique

1

Tous les soldats devraient tirer en même temps

Quand j'étais étudiant, j'ai vu un problème dans un manuel de conception de systèmes / logique numérique, à propos de N soldats debout dans une rangée, et je voulais tirer en même temps. Une version plus difficile du problème était que les soldats se tenaient dans un réseau général au …

15 algorithms distributed-systems clocks

5

Existe-t-il des propriétés indécidables des automates non complets de Turing?

Existe-t-il des propriétés indécidables des automates linéaires bornés (en évitant l'astuce de la langue vide)? Et pour un automate fini déterministe? (mettre de côté l'intraçabilité). J'aimerais obtenir un exemple (si possible) d'un problème indécidable défini sans utiliser de machines Turing explicitement les . Turing l'exhaustivité d'un modèle est-il nécessaire pour …

15 computability automata undecidability

3

Résolution d'équations de récurrence contenant deux appels de récursivité

J'essaie de trouver un lié pour l'équation de récurrence suivante:ΘΘ\Theta T( n ) = 2 T( n / 2 ) + T( n / 3 ) + 2 n2+ 5 n + 42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Je pense que le théorème principal …

15 asymptotics recurrence-relation master-theorem

1

Trouvez le chemin le plus long de la racine à la feuille dans un arbre

J'ai un arbre (au sens de la théorie des graphes), tel que l'exemple suivant: Il s'agit d'un arbre dirigé avec un nœud de départ (la racine) et plusieurs nœuds de fin (les feuilles). Chacune des arêtes a une longueur qui lui est affectée. Ma question est, comment trouver le chemin …

15 algorithms graphs

3

Comment aborder les problèmes liés au graphe dynamique

J'ai posé cette question à stackoverflow générique et j'ai été dirigé ici. Ce sera formidable si quelqu'un peut expliquer comment aborder les problèmes de graphes partiels ou entièrement dynamiques en général. Par exemple: Trouvez le chemin le plus court entre deux sommets dans un graphique pondéré non orienté pour instances, …

15 algorithms data-structures graphs

4

Un langage de programme peut-il être suffisamment malléable pour permettre aux programmes d'étendre la sémantique des langues

En ce qui concerne les fonctionnalités dans des langages comme ruby (et javascript), qui permettent à un programmeur d'étendre / remplacer des classes à tout moment après l'avoir défini (y compris des classes comme String), est-il théoriquement possible de concevoir un langage permettant aux programmes de s'étendre plus tard sa …

15 programming-languages semantics

2

Intersection de cercle avec l'algorithme de ligne de balayage

Malheureusement, je ne suis toujours pas aussi fort pour comprendre l' algorithme de ligne de balayage . Tous les articles et manuels sur le sujet sont déjà lus, mais la compréhension est encore loin. Juste pour que ce soit plus clair, j'essaie de résoudre autant d'exercices que possible. Mais, des …

15 algorithms computational-geometry

3

Portes logiques en matériaux de tous les jours

Les portes logiques sont un dispositif abstrait qui peut être mis en œuvre avec des relais électromagnétiques, des tubes à vide ou des transistors. Ces implémentations ont réussi dans le calcul en partie en raison de diverses propriétés de chaînabilité, de durabilité et de taille au-delà de leur stabilité binaire …

15 computer-architecture didactics

1

Puissance de calcul des automates à tas min déterministes et non déterministes

Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des …

15 formal-languages automata nondeterminism

2

Temps consacré aux exigences et son effet sur la réussite du projet et le temps de développement

Existe-t-il des preuves suggérant que le temps consacré à la rédaction ou à la réflexion sur les exigences aura un effet sur le temps de développement? Une étude réalisée par Standish (1995) suggère que des besoins incomplets (13,1%) ont partiellement contribué à l'échec des projets. Existe-t-il des études qui montrent …

15 software-engineering

2

Quelle méthode est préférée pour stocker de grands objets géométriques dans un quadtree?

Lorsque vous placez des objets géométriques dans un quadtree (ou octree), vous pouvez placer des objets plus grands qu'un seul nœud de plusieurs manières: Placer la référence de l'objet dans chaque feuille pour laquelle il est contenu Placer la référence de l'objet dans le nœud le plus profond pour lequel …

15 graphics data-structures computational-geometry

2

Nombre de mots d'une longueur donnée dans une langue régulière

Existe-t-il une caractérisation algébrique du nombre de mots d'une longueur donnée dans une langue régulière? Wikipédia énonce un résultat quelque peu imprécis: Pour tout langage régulier il existe des constantes et des polynômes tels que pour tout le nombre de les mots de longueur dans satisfont à l'équation .λ 1 …

15 formal-languages regular-languages word-combinatorics

3

Existe-t-il des ensembles dénombrables qui ne sont pas énumérables par ordinateur?

Un ensemble est dénombrable s'il a une bijection avec les nombres naturels et est numériquement calculable (ce) s'il existe un algorithme qui énumère ses membres. Tout ensemble non finissable pouvant être énuméré doit être dénombrable puisque nous pouvons construire une bijection à partir de l'énumération. Y a-t-il des exemples d'ensembles …

15 computability semi-decidability

2

Quel est l'exemple d'une formule 3-CNF insatisfaisante?

J'essaie d'envelopper ma tête autour d'une preuve d'exhaustivité NP qui semble tourner autour de SAT / 3CNF-SAT. C'est peut-être l'heure tardive, mais je crains de ne pas pouvoir penser à une formule 3CNF qui ne puisse être satisfaite (il me manque probablement quelque chose d'évident). Pouvez-vous me donner un exemple …

15 logic satisfiability 3-sat

2

Qu'est-ce qu'une limite supérieure asymptotiquement serrée?

D'après ce que j'ai appris, la liaison asymptotiquement étroite signifie qu'elle est liée par le haut et par le bas comme dans la notation thêta. Mais que signifie la limite supérieure asymptotiquement serrée pour la notation Big-O?

15 asymptotics