L'informatique

28
Génération de combinaisons à partir d'un ensemble de paires sans répétition d'éléments

J'ai un ensemble de paires. Chaque paire est de la forme (x, y) telle que x, y appartiennent à des entiers de la plage [0,n). Donc, si le n est 4, alors j'ai les paires suivantes: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) J'ai déjà les paires. Maintenant, je dois construire une combinaison en utilisant...

28
Y a-t-il des problèmes spécifiques connus pour être indécidables pour des raisons autres que la diagonalisation, l'auto-référence ou la réductibilité?

Chaque problème indécidable que je connais tombe dans l'une des catégories suivantes: Problèmes indécidables en raison de la diagonalisation (auto-référence indirecte). Ces problèmes, comme le problème d'arrêt, sont indécidables car vous pourriez utiliser un prétendu décideur pour le langage pour...

28
Compter les arbres binaires

(Je suis un étudiant avec une formation mathématique et j'aimerais savoir comment compter le nombre d'un type spécifique d'arbres binaires.) En regardant la page Wikipedia pour les arbres binaires , j'ai remarqué cette affirmation que le nombre d'arbres binaires enracinés de taille serait ce nombre...

28
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?

Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...

28
Mesurer la difficulté des instances SAT

Étant donné une instance de SAT, je voudrais pouvoir estimer à quel point il sera difficile de résoudre l'instance. Une façon consiste à exécuter des solveurs existants, mais ce genre de résultat va à l'encontre du but d'estimer la difficulté. Une deuxième façon pourrait être de regarder le rapport...

28
Que signifie «véritable concurrence»?

J'entends souvent des phrases comme «sémantique de concurrence réelle» et «équivalences de concurrence réelle» sans aucune référence. Que signifient ces termes et pourquoi sont-ils importants? Quels sont quelques exemples de véritables équivalences de concurrence et quel est leur besoin? Par...

28
Qu'est-ce qu'un compilateur batch?

J'ai la citation suivante du cours de mon compilateur (dans le contexte de la coloration des graphiques): Parce qu'il est lent, la coloration des graphiques a tendance à être utilisée dans les compilateurs par lots, tandis que le balayage linéaire a tendance à être utilisé dans les compilateurs...