L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

5
Point fixe, qu'est-ce que cela signifie dans le monde de l'informatique
Je continue à trouver des références à des points fixes dans les questions et réponses à stackexchange et je cherche la signification sur le Web en trouvant évidemment des références sur des sites tels que Wikipedia. Cependant, aucune des références ne répond vraiment à ma question de savoir ce qu'est …
5
Exemple d'algorithme dépourvu de preuve d'exactitude
Nous avons la logique Hoare. Pourquoi est-il toujours possible qu'un algorithme soit correct mais il n'y a aucune preuve qu'il est correct? Supposons que l'algorithme soit exprimé en C. Ensuite, nous pouvons affirmer étape par étape qu'il fait ce qu'il est censé faire. Ma question est donc: Donnez-moi un exemple …
4
Pourquoi les graphiques dirigés sont-ils importants?
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. Nous avons lu sur les algorithmes pour MST, forte connectivité, routage, etc. …
2
Quelle est cette notation de «mathématiques discrètes» de type fraction utilisée pour les règles formelles?
Dans l'article "Un type de données JSON répliqué sans conflit" , j'ai rencontré cette notation pour définir formellement des "règles": Comment s'appelle cette notation? Comment est-ce que je le lis? Par exemple: la DOCrègle n'a rien dans son "numérateur" - pourquoi pas? les règles EXECet GETsemblent avoir deux termes distincts …
5
Est-il possible de résoudre le problème d'arrêt si vous avez une entrée contrainte ou prévisible?
Le problème de l'arrêt ne peut être résolu dans le cas général. Il est possible de trouver des règles définies qui restreignent les entrées autorisées et le problème d'arrêt peut-il être résolu pour ce cas particulier? Par exemple, il semble probable qu'un langage qui n'autorise pas les boucles, par exemple, …
1
Une fonction calculable peut-elle converger vers un nombre non calculable?
Existe-t-il une fonction calculable telle que:F: N → QF:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Pour toutt ∈ N : 0 ≤ f( t ) &lt; Xt∈N: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 Où XXX est un nombre réel non calculable. La seule référence à cette question …
4
Pourquoi une fonction de type polymorphe `forall t: Type, t-> t` doit-elle être la fonction d'identité?
Je suis nouveau dans la théorie des langages de programmation. Je regardais des conférences en ligne dans lesquelles l'instructeur a affirmé qu'une fonction de type polymorphe forall t: Type, t-&gt;tétait l'identité, mais n'a pas expliqué pourquoi. Quelqu'un peut-il m'expliquer pourquoi? Peut-être une preuve de la revendication des premiers principes.
1
Expressions régulières avec références inverses sur l'alphabet unaire
Réglage: expressions régulières avec références arrières langue unaire (alphabet à 1 symbole) Le problème suivant est-il décidable dans ce paramètre: Étant donné une expression régulière avec des références arrières, définit-elle un langage régulier? Par exemple, (aa+)\1définit une langue régulière, alors (aa+)\1+que non. Pouvons-nous décider lequel est le cas? Pour le …
3
Pourquoi n'y a-t-il pas d'algorithmes d'approximation pour SAT et d'autres problèmes de décision?
J'ai un problème de décision NP-complet. Étant donné une instance du problème, je voudrais concevoir un algorithme qui génère OUI, si le problème est réalisable, et NON, sinon. (Bien sûr, si l'algorithme n'est pas optimal, il fera des erreurs.) Je ne trouve aucun algorithme d'approximation pour de tels problèmes. Je …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.