Pourquoi les langues de haut niveau ne semblent-elles jamais atteindre des langues de niveau inférieur en termes de vitesse? Des exemples de langages de haut niveau seraient Python, Haskell et Java. Les langages de bas niveau seraient plus difficiles à définir, mais disons que C. Des comparaisons...
Une expression régulière est définie récursivement comme uneaa pour certains, est une expression régulière,un ∈ Σa∈Σa \in \Sigma εε\varepsilon est une expression régulière, ∅∅\emptyset est une expression régulière, ( R1∪ R2)(R1∪R2)(R_1 \cup R_2) où et sont des expressions régulières est une...
Tout le monde connaît "Garey & Johnson", qui est ma référence à chaque fois que j'ai besoin d'un problème de transformation pour une preuve de dureté NP. Cependant, j'ai récemment eu besoin d'une preuve de dureté APX, et je me demande s'il existe une collection similaire (et plus à jour ..?) De...
Il faut trouver la puissance (entier positif) de la matrice des nombres réels. Il existe de nombreux algorithmes de multiplication matricielle efficaces (par exemple, certains algorithmes parallèles sont ceux de Cannon, DNS ), mais existe-t-il des algorithmes qui sont exactement destinés à trouver...
Qu'est-ce que l' induction-induction ? Les ressources que j'ai trouvées sont: le livre HoTT , à la fin du chapitre 5.7. Article de nLab un article intitulé Définitions inductives-inductives ce billet de blog mentionne également les types inductifs-inductifs Les deux premières références sont trop...
En java, vous devez explicitement transtyper afin de downcaster une variable public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child...
On me donne un ensemble A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un entier s⩽ks⩽ks\leqslant k et des entiers non négatifs aijaija_{ij} . Mon problème est de trouver sss sous - ensembles disjoints SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} tel que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; et...
Existe-t-il un outil pour prototyper la sémantique et le système de type d'un langage de programmation et qui permet également une sorte de vérification du modèle des propriétés standard, comme la solidité du type? Je pose cette question, car je lis un livre sur Alloy et il fournit la...
J'ai deux ensembles de points dans le plan bidimensionnel. Je veux trouver la paire de points la plus proche telle que , , et la distance euclidienne entre est aussi petite que possible. Comment cela peut-il être fait efficacement? Peut-on le faire en temps , où?S,TS,TS,Ts,ts,ts,ts∈Ss∈Ss \in...
Supposons que l'on veuille raisonner sur les propriétés du code au-delà de choses comme la totalité et la pureté fonctionnelle - on se soucie également de la consommation de mémoire ou de la complexité algorithmique d'une fonction. Cela peut-il être fait à l'aide de systèmes de typage et d'effets...
Cette question est de savoir si chaque théorème mathématique peut être réduit à la question de savoir si une seule machine de Turing s'arrête. En particulier, je m'intéresse aux conjectures qui ne sont actuellement pas prouvées. Par exemple: Wikipedia dit qu'il est actuellement inconnu s'il existe...
Lors de la création d'un client pour une API Web en C #, j'ai rencontré un problème concernant nullla valeur où cela représenterait deux choses différentes: rien , par exemple un foopeut ou peut ne pas avoir unbar inconnu : par défaut, la réponse de l'API ne comprend qu'un sous-ensemble de...
Wikipedia répertorie la complexité temporelle de l'addition comme nnn , où nnn est le nombre de bits. S'agit-il d'une borne inférieure théorique rigide? Ou est-ce simplement la complexité de l'algorithme connu le plus rapide actuellement. Je veux savoir, car la complexité de l'addition souligne...
Supposons que nous lisions une séquence de nnn nombres, un par un. Comment trouver le kkk plus petit élément simplement en utilisant la mémoire de cellule O(k)O(k)O(k) et en temps linéaire ( O(n)O(n)O(n) ). Je pense que nous devrions enregistrer les premiers kkktermes de la séquence et lorsque nous...
Selon ces notes , DFS est considéré comme ayant une complexité d'espace , où b est le facteur de ramification de l'arbre et m est la longueur maximale de tout chemin dans l'espace d'état.O(bm)O(bm)O(bm)bbbmmm La même chose est dite dans cette page Wikibook sur la recherche non informée ....
Ma compréhension est que les implémentations les plus populaires d'un mutex (par exemple std :: mutex en C ++) ne garantissent pas l' équité - c'est-à-dire qu'elles ne garantissent pas qu'en cas de conflit, le verrou sera acquis par les threads dans l'ordre où ils appelé lock (). En fait, il est...
La question générale, comme son titre l'indique, est la suivante: Quelle est la différence entre DS et OR / optimisation. Sur le plan conceptuel, je comprends que DS essaie d' extraire des connaissances des données disponibles et utilise principalement des techniques de statistiques et...
Un jeu de cartes est 52. Une main est 5 cartes des 52 (ne peut pas avoir de doublon). Quel est le moins de bits pour représenter une main de 5 cartes et comment? Une main NE dépend PAS de l'ordre (KQ = QK). 64329 = 96432 Oui, peut utiliser 52 bits. Cela peut représenter une main de n'importe quel...
J'avais l'impression que nos ordinateurs, étant finis, ne sont finalement pas plus puissants que les machines à états finis (extraordinairement grandes). Cependant, les machines de Turing linéairement délimitées sont également finies, mais il semble que les langues régulières soient strictement un...
Donc, étant donné deux DFA, le problème de trouver s'ils génèrent la même langue est-il un problème décidable? Je sais déjà que l'égalité de deux LFC n'est pas décidable mais qu'en est-il de l'égalité de deux DFA? étant donné que la plupart des problèmes avec les DFA sont décidables, est-ce...