L'informatique

5

Est-ce que 2 ** x est plus rapide à calculer que exp (x)?

Pardonnez la naïveté qui sera évidente dans la façon dont je pose cette question ainsi que dans le fait que je la pose. Les mathématiciens utilisent généralement car c'est la base la plus simple / la plus agréable en théorie (en raison du calcul). Mais les ordinateurs semblent tout faire …

12 binary-arithmetic numerical-analysis numeral-representations

2

Pourquoi le problème du spanning tree lié à k est-il NP-complet?

Le problème de l'arbre couvrant délimité par est celui où vous avez un graphe non orienté et vous devez décider s'il a ou non un arbre couvrant tel que chaque sommet a un degré d'au plus .G ( V , E ) kkkkG(V,E)G(V,E)G(V,E)kkk Je me rends compte que pour le …

12 spanning-trees

1

Quel problème NP-Complete possède l'algorithme le plus rapide connu?

En termes d'exécution asymptotique dans le pire des cas, quel problème NP-complet a l'algorithme le plus rapide connu (exact) et quel est l'algorithme? Existe-t-il quelque chose de plus rapide que ?O ( n2∗ 2n)O(n2∗2n)O(n^2*2^n)

12 algorithms reference-request np-complete

4

L'ordinateur quantique est-il analogique?

Il y a plusieurs décennies, nous avions des ordinateurs analogiques. Les ordinateurs modernes sont numériques. Et les ordinateurs quantiques? Est-ce analogique ou numérique? Je pose la question car le qubit peut être beaucoup de choses en même temps.

12 quantum-computing

9

Qu'est-ce qu'un algorithme exactement?

Je sais que cela peut sembler un peu hors de la boîte, en fait, je pensais toujours à l'intérieur de la boîte, mais récemment, j'ai pensé, peut-être parce que l'informatique offre un haut degré de liberté, sur les moyens de concevoir des programmes autres que ceux enseignés à l'université. Considérez …

12 algorithms

1

Choisir un sous-ensemble pour maximiser la distance minimale entre les points

J'ai un ensemble de points , et j'ai la distance entre chaque pointCCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) . Ces distances sont euclidiennes mais les points se trouvent en fait dans un espace caractéristique. Parmi les points je veux choisir un sous-ensemble de points. Appelez ce sous-ensemble . Je veux choisir ce sous-ensemble afin de …

12 optimization

2

Calcul lambda: différence entre les contextes et les contextes d'évaluation

Tout d'abord, je voudrais dire que mon texte ci-dessous peut contenir des erreurs, alors n'hésitez pas à signaler toute erreur dans ma formulation de la question. Considérons un calcul lambda non typé avec des booléens et des instructions if dont les termes sont donnés par cette syntaxe: t ::= v …

12 programming-languages lambda-calculus

2

Y a-t-il des récupérateurs qui prennent en compte la pagination?

Les ramasse-miettes doivent visiter tous les objets vivants, afin de trouver la mémoire qui peut être récupérée. (Avoir de nombreuses générations retarde juste un peu cela) Toutes choses étant égales par ailleurs, il est clairement préférable de visiter d'abord l'objet qui est déjà paginé dans la RAM, avant de paginer …

12 memory-management paging garbage-collection

1

Existe-t-il un langage capable d'exprimer son propre compilateur Turing-complete?

Un commentaire sur tex.SE m'a fait réfléchir . La déclaration est essentiellement: Si je peux écrire un compilateur pour la langue X dans la langue X, alors X est Turing-complete. En termes de calcul et de langage formel, c'est: Si décide et , alors .L ⊆ L T M ⟨ …

12 computability turing-completeness

3

Solveur SAT multicœur

J'essaie de résoudre un problème SAT de 25k clauses 5k variables. Comme il fonctionne depuis une heure (précosat) et que j'aimerais en résoudre de plus gros par la suite, je cherche un Solveur SAT multicœur. Comme il semble y avoir beaucoup de solveurs SAT, je suis assez perdu. Quelqu'un pourrait-il …

12 algorithms reference-request parallel-computing sat-solvers

2

Les machines de Turing à bande unique avec entrée protégée en écriture reconnaissent uniquement les langues régulières

Voici le problème: Prouvez que les machines de Turing à bande unique qui ne peuvent pas écrire sur la partie de la bande contenant la chaîne d'entrée ne reconnaissent que les langues normales. Mon idée est de prouver que cette MT particulière est équivalente à un DFA. L'utilisation de cette …

12 formal-languages computability regular-languages turing-machines automata

2

La complétude du coNP implique-t-elle une dureté NP?

La complétude du coNP implique-t-elle une dureté NP? En particulier, j'ai un problème dont j'ai montré qu'il était coNP-complet. Puis-je prétendre qu'il est NP-difficile? Je me rends compte que je peux revendiquer la dureté coNP, mais je ne sais pas si cette terminologie est standard. Je suis à l'aise avec …

12 complexity-theory np-hard

2

Comment coder la date en entrée dans le réseau neuronal?

J'utilise des réseaux de neurones pour prédire une série chronologique. La question à laquelle je suis confronté maintenant est de savoir comment encoder la date / l'heure / le numéro de série. de chaque jeu d'entrée comme entrée du réseau neuronal? Dois-je utiliser 1 du codage C (utilisé pour les …

12 machine-learning artificial-intelligence neural-networks

1

Compter le nombre de sommes provenant de sous-réseaux contigus d'un tableau

On nous donne un tableau avec tous a [ i ] > 0 .a [ 1 … n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 Maintenant, nous devons trouver combien de sommes distinctes peuvent être formées à partir de ses sous-réseaux (où un sous-réseau est une plage contiguë du …

12 arrays substrings suffix-array

3

Relation entre la théorie des types russellienne et les systèmes de types

Je me suis récemment rendu compte qu'il existe une sorte de relation entre la théorie des types russellienne et les systèmes de types, comme par exemple dans Haskell. En fait, une partie de la notation des types dans Haskell semble avoir des précurseurs dans la théorie des types. Mais, à …

12 programming-languages type-theory