L'informatique

Je veux créer une capsule temporelle numérique qui restera illisible pendant un certain temps puis deviendra lisible. Je ne veux pas compter sur un service extérieur pour, par exemple, garder la clé secrète et la révéler au moment voulu. Est-ce possible? Sinon, une preuve est-elle possible? Une stratégie serait basée …

14 cryptography  encryption  digital-preservation 

Nous savons que la est dans par le théorème du théorème d' Immerman-Szelepcsényi et puisque la est par conséquent, la est un espace de journalisation multiple réductible à la . Mais y a-t-il une réduction directe / combinatoire qui ne passe pas par le graphe de configuration des machines de …

14 complexity-theory  reductions  space-complexity 

Je veux établir que cela fait partie de mes devoirs pour un cours que je suis en train de suivre. Je cherche de l'aide pour procéder, PAS UNE RÉPONSE. Telle est la question en question: Une étoile à 5 branches dans un graphique non orienté est une 5-clique. Montrez cette …

14 complexity-theory  time-complexity 

Supposons que nous ayons un ensemble de N codeurs.S= { a1, un2, un3, … , UnN}S={une1,une2,une3,…,uneN}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Chaque codeur a la cote et le nombre de médailles d'or E i qu'il avait remportées jusqu'à présent.RjeRjeR_iEjeEjeE_i Une société de logiciels souhaite embaucher exactement trois codeurs pour …

14 algorithms  algorithm-design 

L'algorithme de sélection aléatoire est le suivant: Entrée: un tableau de nombres (distincts, pour simplifier) ​​et un nombren k ∈ [ n ]AAAnnnk∈[n]k∈[n]k\in [n] Sortie: le " élément de rang " de A (c'est-à-dire celui en position k si A a été trié)A k AkkkAAAkkkAAA Méthode: S'il y a un …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Je suis intéressé par le calcul de la nnn ième puissance d'un la matrice . Supposons que nous ayons un algorithme de multiplication matricielle qui s'exécute en temps . Ensuite, on peut facilement calculer en temps. Est-il possible de résoudre ce problème en moins de temps?n×nn×nn\times nAAAO(M(n))O(M(n))\mathcal{O}(M(n))AnAnA^nO(M(n)log(n))O(M(n)log⁡(n))\mathcal{O}(M(n)\log(n)) Les entrées de …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Je lis actuellement sur l'apprentissage automatique et je me suis demandé comment l'appliquer à la lecture de Connect Four . Ma tentative actuelle est un classifieur multiclasse simple utilisant un modèle de fonction sigmoïde et la méthode one-vs-all. À mon avis, les caractéristiques d'entrée doivent être l'état (disque du lecteur …

14 machine-learning  board-games 

Supposons que nous ayons un langage simple composé des termes: truetrue\mathtt{true} falsefalse\mathtt{false} si sont des termes, alorst1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Supposons maintenant les règles d'évaluation logiques suivantes: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to …

14 logic  semantics  proof-techniques  term-rewriting 

Les algorithmes et les structures de données sans cache sont une nouveauté introduite par Frigo et al. dans Cache-inconscient algorithmes, 1999 . La thèse de Prokop de la même année présente également les premières idées. L'article de Frigo et al. présentent quelques résultats expérimentaux montrant le potentiel de la théorie …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Je cherchais des problèmes ouverts intéressants et faciles à énoncer en calculabilité (compréhensibles par les étudiants de premier cycle prenant leur premier cours en calculabilité) pour donner des exemples de problèmes ouverts (et, évidemment, je veux que les étudiants puissent comprendre le problème sans avoir besoin de trop de nouvelles …

14 computability 

J'essaie de prouver qu'un arbre binaire avec nnn nœuds a au plus ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceilfeuilles. Comment pourrais-je procéder avec l'induction? Pour les personnes qui suivaient la question initiale sur les tas, elle a été déplacée ici .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Le problème de bande passante minimale consiste à trouver un ordre des nœuds de graphique sur une ligne entière qui minimise la plus grande distance entre deux nœuds adjacents. Le problème de décision est NP-complet même pour les arbres binaires. Résultats de complexité pour la minimisation de la bande passante. …

14 complexity-theory  np-complete  reference-request  approximation 

Soit GGG une grammaire sans contexte. Une chaîne de terminaux et de nonterminals est dit être une forme propositionnelle de si vous pouvez l' obtenir en appliquant des productions de zéro fois ou plus au symbole de début de . Let l'ensemble des formes phrastiques de .GGGGGGGGGSSSSF(G)SF⁡(G)\operatorname{SF}(G)GGG Soit et soit …

14 formal-languages  context-free  formal-grammars  closure-properties 

J'expliquais à un ami le célèbre algorithme de sélection déterministe du temps linéaire ( algorithme de la médiane des médianes). La récursivité dans cet algorithme (tout en étant très simple) est assez sophistiquée. Il existe deux appels récursifs, chacun avec des paramètres différents. J'essayais de trouver d'autres exemples d'algorithmes récursifs …

14 algorithms  recursion 

J'ai écrit ∑i = 1n1je= ∑i = 1nO (1)= O (n)∑je=1n1je=∑je=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) mais mon ami dit que c'est faux. De la feuille de triche TCS, je sais que la somme est également appelée qui a une croissance logarithmique en . Donc ma limite …

14 asymptotics  landau-notation