L'informatique

3

Le cache CPU est géré par quel composant logiciel?

Les caches CPU sont utilisés en exploitant la localité temporelle et spatiale. Ma question est qui est responsable de la gestion de ces caches? Est-ce que ce système d'exploitation identifie un modèle d'accès particulier puis gère (c.-à-d. Stocke les données dans) le cache, à l'aide d'appels de fonction de système …

9 computer-architecture cpu-cache

2

Complexité de recherche de pics 2D (MIT OCW 6.006)

Dans une vidéo de récitation pour MIT OCW 6.006 à 43:30, Étant donné une matrice avec colonnes et lignes, l'algorithme de recherche de pics 2D, où un pic est une valeur supérieure ou égale à ses voisins adjacents, a été décrit comme suit:m × nm×nm \times nm nUNEAAmmmnnn Remarque: S'il …

9 algorithms algorithm-analysis asymptotics matrices

2

Existe-t-il un algorithme de «tri» qui renvoie une permutation aléatoire lors de l'utilisation d'un comparateur à pièces?

Inspiré par cette question dans laquelle le demandeur veut savoir si le temps d'exécution change lorsque le comparateur utilisé dans un algorithme de recherche standard est remplacé par un coin-flip équitable, et aussi l' échec de Microsoft pour écrire un générateur de permutation uniforme, ma question est donc : Existe-t-il …

9 sorting randomized-algorithms permutations

2

Les réseaux sémantiques sont-ils des ontologies?

Je lutte avec peu de définitions dans la représentation des connaissances et je cherche une aide crédible pour les distinguer. J'ai cherché sur wikipedia et sur de nombreux sites Web la différence entre les ontologies et les réseaux sémantiques (à ne pas confondre avec le web sémantique). Bien que la …

9 terminology knowledge-representation ontologies

2

Une variante de la fonction castor occupé

En lisant cette question « Problèmes naturels indécidables RE mais pas Turing-complete », le langage suivant m'est venu à l'esprit: Si est la fonction de castor occupé (score maximum atteignable parmi toutes les machines de Turing à 2 symboles à arrêt n du type décrit ci-dessus, lorsqu'elles sont démarrées sur …

9 computability turing-machines

1

Dureté d'approximation des programmes entiers 0-1

Étant donné un programme entier (binaire) de la forme:0,10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Notez que la taille de n'est pas fixée dans l'une …

9 complexity-theory np-complete approximation integer-programming

1

Carrelages uniques de carrés

Nous voulons carreler m × mm×mm\times m -square en utilisant deux types de tuiles: 1 × 11×11 \times 1 -square tile et 2 × 22×22 \times 2 -square tile de sorte que chaque carré sous-jacent soit couvert sans se chevaucher. Définissons une fonction F( n )f(n)f(n) qui donne la taille …

9 computability combinatorics

2

Trouvez

Soit le langage de toutes les formules -CNF , de sorte qu'au moins des clauses de puissent être satisfaites.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Je dois prouver qu'il existe st is -hard for any .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon' Nous savons que peut être approximativement au précédent des clauses d'une réduction . Comment dois-je résoudre celui-ci?Max2SatMax2Sat\text{Max}2\text{Sat}55565556\frac{55}{56}Max3SatMax3Sat\text{Max}3\text{Sat}

9 complexity-theory satisfiability approximation

1

Supprimer le nombre minimum de sommets pour déconnecter le graphique

Considérons un graphe non orienté avec une source et un sommet récepteur. Nous aimerions supprimer le nombre minimum de sommets dans ce graphique pour déconnecter tout chemin entre la source et le récepteur. Pouvons-nous le faire en utilisant, par exemple, un algorithme max-flow et min-cut?

9 algorithms graph-theory network-flow

2

Complexité d'une variante de somme de sous-ensemble

Cette variante du problème de somme de sous-ensemble est-elle facile / connue? Étant donné un entier mmm et un ensemble d'entiers positifs tels que chaque a au plus bits mis à ( ); existe-t-il un sous-ensemble tel que la somme de ses éléments soit égale à ?x i k = …

9 complexity-theory reference-request decision-problem

2

Pourquoi les nombres calculables (au sens de Turing) sont-ils énumérables?

Pourquoi les nombres calculables (au sens de Turing) sont-ils énumérables? Cela doit être très évident, mais je ne le vois actuellement pas.

9 computability turing-machines enumeration

1

Trouver le motif répété le plus long dans une chaîne

Je cherche un algorithme efficace pour trouver le motif répété le plus long dans une chaîne. Par exemple, considérez la chaîne de nombres suivante: 5431428571428571428571428571427623874534. Comme vous pouvez le voir, 142857142857c'est le modèle le plus long qui est répété plusieurs fois (au moins deux fois) dans cette chaîne. La chaîne …

9 algorithms strings subsequences

3

Recherche efficace du nombre d'éléments plus petits pour chaque élément d'un tableau

Je suis coincé sur ce problème: Étant donné un tableau des premiers nombres naturels permutés de façon aléatoire, un tableau est construit, de telle sorte que est le nombre d'éléments de à qui sont plus petits que . n B B ( k ) A ( 1 ) A ( …

9 algorithms arrays permutations

1

Coupure minimale dans les graphiques acycliques dirigés pondérés avec des poids éventuellement négatifs

J'ai rencontré le problème suivant: Étant donné un graphique acyclique dirigé avec des poids de bord réels et deux sommets s et t, calculez la coupe minimale st. Pour les graphiques généraux, c'est NP-difficile, car on peut réduire trivialement la coupe maximale en inversant simplement les poids des bords (corrigez-moi …

9 algorithms complexity-theory graph-theory weighted-graphs

1

Sélection de fonctionnalités de type arbre de décision de longueur fixe pour minimiser les performances de recherche moyennes

J'ai une requête complexe utilisée pour rechercher un ensemble de données pour trouver . Chaque requête prend un temps moyen donc le temps global dans la recherche linéaire est. Je peux décomposer une requête en sous-requêtes plus simples q_i et trouver H_ \ text {approx} = \ {s \ in …

9 algorithms optimization machine-learning greedy-algorithms databases