Vote électroniquevignette|Machine à voter à Issy-les-Moulineaux, en France. Le vote électronique est un système de vote dématérialisé, à comptage automatisé, notamment des scrutins, à l'aide de systèmes informatiques. Ce terme générique relève en vérité de plusieurs situations concrètes ; il peut qualifier les votes institutionnels ou l'utilisation de boîtiers de vote interactifs dans un cadre moins contrôlé. À partir du milieu des années 1990, les modalités de votes subissent la grande créativité.
Computational complexityIn computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) and memory storage requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem. The study of the complexity of explicitly given algorithms is called analysis of algorithms, while the study of the complexity of problems is called computational complexity theory.
Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Vote cumulatifLe vote cumulatif (ou "vote par points" ou "vote par répartition de points") est un système de vote pondéré destiné à élire plusieurs candidats (scrutin plurinominal). Ce mode de scrutin est efficace pour représenter la diversité des opinions et permet d'empêcher les phénomènes de tyrannie de la majorité. Le vote cumulatif est fréquemment utilisé en gouvernance d'entreprise et est recommandé par la SEC et par diverses agences en conseil de vote dont ISS.
Votethumb|150px|Urne de vote. Le vote (terme dérivé de l'anglais vote, provenant du latin votum signifiant « vœu ») est une méthode permettant à un groupe une prise de décision commune. Les organisations formelles ou informelles ont recours à cette pratique, de toute nature (économiques, politiques, associatives, etc.). La pratique du vote vise à donner une légitimité à la décision en montrant qu'elle ne vient pas d'un individu isolé.
Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Complexité de la communicationLa complexité de la communication ou complexité de communication est une notion étudiée en informatique théorique. Le dispositif abstrait classique est le suivant : Alice et Bob ont chacun un message, et ils veulent calculer un nouveau message à partir de leurs messages, en se transmettant un minimum d'information. Par exemple, Alice et Bob reçoivent un mot chacun, et ils doivent décider s'ils ont reçu le même mot ; ils peuvent bien sûr s'envoyer leur mot l'un à l'autre et comparer, mais la question est de minimiser le nombre de messages.
Vote préférentielLe vote préférentiel est une modalité du scrutin proportionnel plurinominal dans lequel les électeurs peuvent voter pour un ou plusieurs candidats sur une ou plusieurs listes. Le nombre de sièges est réparti proportionnellement entre les listes, puis les sièges obtenus par chaque liste sont distribués entre les candidats en fonction de leur score personnel. En France, la loi électorale du (article 15) permettait aux électeurs de modifier l'ordre d'inscription des candidats sur les listes en inscrivant un numéro d'ordre en face du nom d'un, de plusieurs ou de tous les candidats de la liste selon la formule du vote préférentiel.
Vote utileLe vote utile est le fait de voter pour un candidat ayant supposément plus de chances d'être élu plutôt que pour celui que l'on préfère. Ce phénomène aurait pour effet d'empêcher un candidat tiers de remporter l'élection. C'est un type de vote stratégique. Le vote utile consiste à renoncer à son vote de cœur pour préférer un candidat qui paraît à la fois plus susceptible de gagner et le moins éloigné de ses préférences politiques.
Quantum complexity theoryQuantum complexity theory is the subfield of computational complexity theory that deals with complexity classes defined using quantum computers, a computational model based on quantum mechanics. It studies the hardness of computational problems in relation to these complexity classes, as well as the relationship between quantum complexity classes and classical (i.e., non-quantum) complexity classes. Two important quantum complexity classes are BQP and QMA.
End-to-end auditable voting systemsEnd-to-end auditable or end-to-end voter verifiable (E2E) systems are voting systems with stringent integrity properties and strong tamper resistance. E2E systems often employ cryptographic methods to craft receipts that allow voters to verify that their votes were counted as cast, without revealing which candidates were voted for. As such, these systems are sometimes referred to as receipt-based systems.
Scrutin à vote unique transférableLe scrutin à vote unique transférable (ou système de Hare) est un système électoral destiné à élire plusieurs candidats. Il est inventé vers 1860, indépendamment par Thomas Hare et par Carl Andrae. Il est utilisé en Irlande, à Malte, en Australie et plus particulièrement en Tasmanie, au Népal, occasionnellement en Estonie et en Alberta (Canada) entre 1926 et 1955. Il est également utilisé aujourd'hui pour les élections locales en Écosse (Royaume-Uni) et certaines élections locales en Nouvelle-Zélande et aux États-Unis, notamment pour la mairie de Wellington et de Portland.
Complexité paramétréeEn algorithmique, la complexité paramétrée (ou complexité paramétrique) est une branche de la théorie de la complexité qui classifie les problèmes algorithmiques selon leur difficulté intrinsèque en fonction de plusieurs paramètres sur les données en entrée ou sur la sortie. Ce domaine est étudié depuis les années 90 comme approche pour la résolution exacte de problèmes NP-complets. Cette approche est utilisée en optimisation combinatoire, notamment en algorithmique des graphes, en intelligence artificielle, en théorie des bases de données et en bio-informatique.
Conseil (informatique théorique)En théorie de la complexité, un conseil est une entrée supplémentaire passée à une machine de Turing qui dépend de la taille de l'entrée, afin d'aider la machine à reconnaître un langage. Cette notion est introduite par Richard Karp et Richard J. Lipton en 1982. Étant donnés une fonction et une classe de complexité , la classe est l'ensemble des langages tels qu'il existe un langage et une suite de conseils de taille tels que pour toute entrée de taille , si et seulement si .
Intervalle (musique)En musique, l'intervalle entre deux notes est l'écart entre leurs hauteurs respectives. Cet intervalle est dit harmonique si les deux notes sont simultanées, mélodique si les deux notes sont émises successivement. En acoustique, l'intervalle entre deux sons harmoniques est le rapport de leurs fréquences. Chaque intervalle d'une échelle musicale, elle-même distinctive d'un type de musique (indienne, occidentale, musique orientale, etc.). La perception des intervalles diffère selon les cultures.
Algorithme de ShorEn arithmétique modulaire et en informatique quantique, l’algorithme de Shor est un algorithme quantique conçu par Peter Shor en 1994, qui factorise un entier naturel N en temps O et en espace . Beaucoup de cryptosystèmes à clé publique, tels que le RSA, deviendraient vulnérables si l'algorithme de Shor était un jour implanté dans un calculateur quantique pratique. Un message chiffré avec RSA peut être déchiffré par factorisation de sa clé publique N, qui est le produit de deux nombres premiers.
NP (complexité)La classe NP est une classe très importante de la théorie de la complexité. L'abréviation NP signifie « non déterministe polynomial » (« en »). Un problème de décision est dans NP s'il est décidé par une machine de Turing non déterministe en temps polynomial par rapport à la taille de l'entrée. Intuitivement, cela revient à dire qu'on peut vérifier « rapidement » (complexité polynomiale) si une solution candidate est bien solution.
Vote électroniquevignette|Machine à voter à Issy-les-Moulineaux, en France. Le vote électronique est un système de vote dématérialisé, à comptage automatisé, notamment des scrutins, à l'aide de systèmes informatiques. Ce terme générique relève en vérité de plusieurs situations concrètes ; il peut qualifier les votes institutionnels ou l'utilisation de boîtiers de vote interactifs dans un cadre moins contrôlé. À partir du milieu des années 1990, les modalités de votes subissent la grande créativité.
Algorithme probabilisteEn algorithmique, un algorithme probabiliste, ou algorithme randomisé, est un algorithme qui utilise une source de hasard. Plus précisément le déroulement de l’algorithme fait appel à des données tirées au hasard. Par exemple à un certain point de l’exécution, on tire un bit 0 ou 1, selon la loi uniforme et si le résultat est 0, on fait une certaine action A et si c'est 1, on fait une autre action. On peut aussi tirer un nombre réel dans l'intervalle [0,1] ou un entier dans un intervalle [i..j].
Algorithmic efficiencyIn computer science, algorithmic efficiency is a property of an algorithm which relates to the amount of computational resources used by the algorithm. An algorithm must be analyzed to determine its resource usage, and the efficiency of an algorithm can be measured based on the usage of different resources. Algorithmic efficiency can be thought of as analogous to engineering productivity for a repeating or continuous process. For maximum efficiency it is desirable to minimize resource usage.
