web-dev-qa-db-fra.com

type-theory

Qu'est-ce que "P = NP?", Et pourquoi est-ce une question si célèbre?

Y a-t-il O(1/n) algorithmes?

Étapes pour créer un NFA à partir d'une expression régulière

Comment calculer les points de fonction

Différences entre Agda et Idris

A quoi sert la fonction absurde de Data.Void?

Quelle est la différence entre le polymorphisme paramétrique et les types de type supérieur?

Qu'est-ce qu'un type existentiel?

En C #, pourquoi String est-il un type de référence qui se comporte comme un type de valeur?

Comment ValueTypes dérive-t-il de Object (ReferenceType) tout en restant ValueTypes?

Qu'entend-on par types dépendant du chemin de Scala?

Quelle est la différence entre un type de référence et un type de valeur en c #?

Quels sont les cas d'utilisation convaincants pour les types de méthode dépendants?

Une raison quelconque pour laquelle scala ne prend pas explicitement en charge les types dépendants?

Pourquoi ne pas être tapé de manière dépendante?

Enum est un type de référence ou un type de valeur?

Convert.ToBoolean échoue avec la valeur "0"

AnyObject et Any in Swift

Une assertion de type / un commutateur de type a-t-il de mauvaises performances / est-il lent dans Go?

Types de retour nullables en PHP7

Comment spécifier plusieurs types de retour à l'aide d'indicateurs de type

le type de retour vide php7 ne fonctionne pas?

PHP 7 interfaces, indication de type de retour et self

Python pour la valeur Enum

Est-ce une mauvaise forme de créer de nouveaux types / données pour plus de clarté?

Qu'est-ce qu'un combinateur Y?

Big-O pour huit ans?

Quelle est la complexité temporelle de l'indexation, de l'insertion et de la suppression des structures de données communes?

Hashtable en C ++?

Explication de base simple d'une table de hachage distribuée (DHT)

Chemin à parcourir de la récursion à l'itération

Qu'est-ce qu'une implémentation d'arbre C ++ bonne et stable?

Temps d'amortissement constant

Qu'est-ce qu'un NP-complet en informatique?

Qu'est-ce que la transparence référentielle?

Trouvez le chemin le plus court dans un graphique qui visite certains nœuds

complexité multiset, map et hash map

Quel est le problème exact de l'héritage multiple?

Est-ce que list :: size () est vraiment O (n)?

Visualisation d'un graphique non orienté trop grand pour GraphViz?

Meilleur algorithme pour détecter les cycles dans un graphe dirigé

Existe-t-il un algorithme parfait pour les échecs?

Règle 34 de Wolfram dans XKCD

Complexité informatique de la séquence de Fibonacci

Quel est le meilleur moyen d’obtenir la valeur minimale ou maximale d’un tableau de nombres?

Comment programmer une fractale?

Qu'est-ce que le Lemme de pompage en termes de Layman?

Qu'est-ce qu'une explication anglaise simple de la notation "Big O"?

Quelle est la définition informatique de l'entropie?

Cycles dans un graphique non orienté

Complexité temporelle de la boucle for imbriquée

A quoi servent les schémas SQL Server?

Trouver tous les cycles dans un graphe dirigé

Comment vérifier si un graphe dirigé est acyclique?

Est-il possible pour un ordinateur "d'apprendre" une expression régulière à l'aide d'exemples fournis par l'utilisateur?

Quel est le moyen le plus rapide d'obtenir la valeur absolue d'un nombre

Quels sont les bons exemples de problèmes que les graphiques peuvent résoudre mieux que l'alternative?

Trouver les chemins entre deux nœuds donnés?

Bibliothèque de graphes C #?

Tri en temps linéaire?

Quels langages de programmation sont sans contexte?

Complexité O (N log N) - Similaire à linéaire?

Qu'est-ce qu'une transaction de base de données?

Quelle est la complexité d'exécution des fonctions de liste python?

Comment écrire un moteur de base de données simple

Coût de la fonction len ()

Événement de sortie d'application de la console .NET

Qu'est-ce que la famine?

Quand devrais-je utiliser Kruskal par opposition à Prim (et vice versa)?

Comment trouver l'ancêtre commun le plus bas de deux nœuds dans un arbre binaire?

Quel est l'algorithme le plus rapide pour trier une liste chaînée?

Est-ce que Big O(logn) log base e?

Un Regex qui ne sera jamais égalé par quoi que ce soit

Quelles sont les différences entre NP, NP-Complete et NP-Hard?

Complexité temporelle de l'accès à un Python dict

Tous les algorithmes itératifs peuvent-ils être exprimés de manière récursive?

Est-ce que log (n!) = Θ (n · log (n))?

Complexité du programme factoriel récursif

Qu'est-ce que O (log * N)?

En quoi les fonctions de hachage comme MD5 sont-elles uniques?

Structure de données graphiques: DFS vs BFS?

clés candidates issues de dépendances fonctionnelles

Exemple de graphe dirigé et de code de tri topologique

Quelles sont les garanties sur la complexité d'exécution (Big-O) des méthodes LINQ?

Comment calculer l'entropie approximative d'une chaîne de bits?

Comment dessiner un graphique dans LaTeX?

Le préprocesseur C99 Turing est-il terminé?

Qu'entend-on par diamètre d'un réseau?

Big-oh vs big-theta

Différence entre le chemin hamiltonien et le chemin euler

Construire une matrice d'adjacence dans MATLAB

Quand est-il pratique d'utiliser le principe Recherche avant profondeur (DFS) ou Recherche avant-champ (BSE)?

Expliquez la preuve de Vinay Deolalikar que P! = NP

Expression régulière pour les chaînes avec un nombre pair de a et un nombre impair de b

Lissage des valeurs dans le temps: moyenne mobile ou quelque chose de mieux?

Une monade est juste un monoïde dans la catégorie des endofoncteurs, quel est le problème?

Comment comprendre que le problème du sac à dos est NP-complet?

Comment empêcher les bords de Graphviz de se chevaucher

Quelle est la complexité de l'expression régulière?

Comment puis-je trouver la coupe minimale sur un graphique en utilisant un algorithme de débit maximal?