Questions marquées «terminology»

Questions sur la façon dont les notions spécifiques doivent être comprises ainsi que les conventions de notation.

7
Différences et relations entre les algorithmes randomisés et non déterministes?
Quelles sont les différences et les relations entre les algorithmes randomisés et les algorithmes non déterministes? De Wikipédia Un algorithme randomisé est un algorithme qui utilise un degré d'aléatoire dans le cadre de sa logique. L'algorithme utilise généralement des bits uniformément aléatoires comme entrée auxiliaire pour guider son comportement, dans …
2
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 . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
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 exemple, dans quels cas sont-ils plus applicables que des équivalences …
1
Distinguer la procédure de décision vs le solveur SMT vs le prouveur de théorème vs le solveur de contraintes
Ces terminologies me confondent. Tel que je le comprend Solveur SAT: décider de la satisfiabilité de la logique propositionnelle (en utilisant DPLL ou Local Search). La procédure de décision est une procédure pour décider de la satisfiabilité d'une certaine théorie décidable du premier ordre. Le solveur SMT est un solveur …
2
Problèmes d'optimisation «NP-complet»
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . Je suis légèrement confus par une terminologie que j'ai rencontrée concernant la complexité des problèmes d'optimisation. Dans une classe d'algorithmes, j'ai eu le gros …
4
Pourquoi les fonctions calculables sont-elles également appelées fonctions récursives?
Dans la théorie de la calculabilité, les fonctions calculables sont également appelées fonctions récursives. Au moins à première vue, ils n'ont rien de commun avec ce que vous appelez "récursif" dans la programmation quotidienne (c'est-à-dire les fonctions qui s'appellent elles-mêmes). Quelle est la signification réelle de récursif dans le contexte …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.