L'informatique

1

Y a-t-il une différence entre la sécurité du type et la solidité du type?

J'ai essayé de démêler les définitions de la sécurité des types et de la solidité des types et j'en ai un sacré moment. J'ai demandé à un professeur récemment et après un peu de réflexion, il a dit qu'il n'y avait vraiment aucune différence. Cependant, après avoir lu cela, il …

9 programming-languages type-theory type-checking

3

Les algorithmes de Kruskal et Prim produisent-ils le même arbre couvrant minimum?

En supposant que les bords ne sont pas orientés, ont un poids unique et aucun chemin négatif, ces algorithmes produisent-ils les mêmes arbres couvrant minimum?

9 graphs trees minimum-spanning-tree

2

Algorithme pour générer une marche aléatoire auto-évitable sur un réseau

Où puis-je trouver du code pour générer des promenades auto-évitables aléatoires sur des réseaux à 2 et 3 dimensions dont les longueurs latérales sont des puissances de deux? La marche doit passer par tous les points du réseau Plus précisément, comment puis-je trouver un chemin hamiltonien aléatoire sur une grande2n×2n2n×2n2^n …

9 random-walks lattices

2

La constante de Chaitin est normale?

Selon cette source, la constante de Chaitin ΩΩ\Omega Est normal. Chaque probabilité d'arrêt est un nombre réel normal et transcendantal qui n'est pas calculable, ce qui signifie qu'il n'y a pas d'algorithme pour calculer ses chiffres. En effet, chaque probabilité d'arrêt est aléatoire de Martin-Löf, ce qui signifie qu'il n'y …

9 halting-problem

1

Existe-t-il un algorithme général pour remplir les trous en termes de calcul des constructions?

Supposons que vous étendez le calcul des constructions avec des "trous" - c'est-à-dire des morceaux de code incomplets que vous n'avez pas encore remplis. Je me demande s'il existe un algorithme pour remplir ces rôles automatiquement. Par exemple (en utilisant la syntaxe de Morte ): Cas A: λ (pred : …

9 machine-learning programming-languages unification

1

Résolution de T (n) = 2T (n / 2) + log n avec la méthode de l'arbre de récurrence

Je résolvais des relations de récurrence. La première relation de récurrence était T( n ) = 2 T( n / 2 ) + nT(n)=2T(n/2)+nT(n)=2T(n/2)+n La solution de celui-ci peut être trouvée par le théorème maître ou la méthode de l'arbre de récurrence. L'arbre de récurrence serait quelque chose comme ceci: …

9 recurrence-relation

3

Quelle est l'intuition pour laquelle le problème du chemin le plus long n'a pas de sous-structure optimale?

J'apprenais les chemins les plus longs et je suis tombé sur le fait que les chemins les plus longs dans les graphiques généraux ne sont pas résolubles par programmation dynamique parce que le problème manquait de sous-structure optimale (dont je pense que l'énoncé doit être corrigé pour les chemins simples …

9 algorithms graphs optimization dynamic-programming

1

Pourquoi l'exponentielle de voisin le plus proche basée sur KD-Tree est-elle dans K?

J'ai lu dans de nombreux articles sur la recherche du plus proche voisin de dimension supérieure que les arbres KD sont exponentiels en K, mais je n'arrive pas à déterminer pourquoi. Ce que je recherche, c'est une solide analyse de complexité d'exécution qui explique cet aspect du problème.

9 algorithm-analysis data-structures search-trees nearest-neighbour search

1

Existe-t-il un algorithme d'optimisation de la complexité spatio-temporelle des algorithmes?

Dans les années 1950, un certain nombre de méthodes de minimisation des circuits pour les fonctions booléennes ont été inventées. Existe-t-il une extension de ces méthodes ou quelque chose de similaire pour optimiser la complexité temporelle ou spatiale des algorithmes? Par exemple, une implémentation du tri à bulles en entrée …

9 algorithms turing-machines time-complexity optimization space-complexity

1

Inverser une matrice de bande

J'ai une matrice de bande - clairsemée, carrée, symétriqueN× NN×NN \times N matrice dont la structure ressemble à ceci: Ici, la zone sous les bandes bleues correspond aux éléments non nuls; tout le reste est nul Existe-t-il un algorithme pour inverser ce type de matrice qui est simple mais plus …

9 algorithms linear-algebra sparse-matrices

3

Pourquoi les chaînes sont-elles immuables dans certaines langues?

String est une classe immuable en Java. Une classe immuable est simplement une classe dont les instances ne peuvent pas être modifiées. Pourquoi le langage de programmation Java choisit-il de rendre les objets de la classe String immuables?

9 programming-languages language-design

3

La taille de la page est-elle toujours égale à la taille du cadre?

J'apprends la pagination. Mon livre dit que les adresses logiques générées par le CPU sont sous la forme |p|d|(numéro de page, décalage de page) et les adresses physiques sont sous la forme |f|d|(numéro de trame, décalage de trame). Il est également spécifiquement mentionné que dle décalage est copié directement pour …

9 memory-management paging

2

Application d'une porte quantique multi-qubit à des qubits spécifiques

Une matrice non gérée contrôlée ressemble à ceci: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[1000010000010010]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix} Cela fonctionne très bien lorsque vous n'avez que …

9 quantum-computing

2

Fractionner dans l'arborescence AVL avec complexité

L'opération de fractionnement peut-elle être mise en œuvre pour les arbres AVL complexes O(logn)O(log⁡n)O(\log n)? Je suis intéressé par des liens vers des articles ou toute information spécifique sur ce sujet. L'opération de division divise l'arborescence AVL en deux arborescences AVL dérivées, en fonction de la clé. L'un des arbres …

9 data-structures search-trees balanced-search-trees

3

Comment savoir si un réseau de comparaison est trié?

On me présente un réseau de comparaison. Comment déterminer si le réseau de comparaison est un réseau de tri? Dans l'image ci-dessous, il y a un exemple de réseau de tri par sélection et de tri par insertion. L'objectif est d'avoir un réseau de comparaison et de trier les valeurs …

9 sorting