L'informatique

1

Pourquoi la complexité de l'annulation du cycle négatif ?

Nous voulons résoudre un problème de flux à coût minimal avec un algorithme générique d'annulation de cycle négatif. Autrement dit, nous commençons avec un flux valide aléatoire, puis nous ne sélectionnons pas de «bons» cycles négatifs tels que des cycles de coût moyen minimal, mais utilisons Bellman-Ford pour découvrir un …

9 algorithms graph-theory algorithm-analysis runtime-analysis network-flow

4

Distance la plus courte entre un point en A et un point en B

Étant donné deux ensembles et contenant chacun points disjoints dans le plan, calculez la distance la plus courte entre un point dans et un point dans , c'est-à-dire .AAABBBnnnAAABBBmin { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p …

9 algorithms computational-geometry

3

Quelle est la branche de l'informatique qui étudie le fonctionnement des programmes antivirus?

C'est un exercice banal dans les automates finis de montrer qu'il n'y a pas d'algorithme capable de détecter tous les virus, mais il existe de nombreuses sociétés de logiciels vendant des logiciels antivirus. Y a-t-il une partie de CS qui traite des virus et des antivirus? PS: Je ne demande …

9 reference-request security

1

Les circuits de profondeur 2 avec portes OR et MOD ne sont pas universels?

Il est bien connu que chaque fonction booléenne peut être réalisée en utilisant un circuit booléen de profondeur 2 (sur les variables, leur négation et leurs valeurs constantes) contenant des portes ET au premier niveau et une seule porte OU au niveau supérieur; c'est simplement la représentation DNF de .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to …

9 complexity-theory logic circuits

1

La preuve que

Je voudrais utiliser votre aide pour le problème suivant: . Vérifier que L ∉ R E ∪ C o R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Je sais que pour prouver , il suffit de trouver un langage L ′ …

9 formal-languages computability context-free turing-machines

1

Les jointures peuvent-elles être parallélisées?

Supposons que nous voulons joindre deux relations sur un prédicat. Est-ce en NC? Je me rends compte qu'une preuve qu'il n'est pas en NC équivaudrait à une preuve que P≠ NCP≠NCP\not=NC , donc j'accepterais comme preuve un problème ouvert comme réponse. Je m'intéresse au cas général ainsi qu'aux cas spécifiques …

9 complexity-theory time-complexity parallel-computing database-theory descriptive-complexity

1

Des algorithmes d'apprentissage automatique basés sur la «minimisation structurelle des risques»?

Quels algorithmes d'apprentissage automatique (outre les SVM) utilisent le principe de minimisation des risques structurels ?

9 reference-request machine-learning

3

Comment sentir intuitivement qu'une langue est régulière

Étant donné un langage , comment dire directement, sans regarder les règles de production, que ce langage n'est pas régulier?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Je pourrais utiliser le lemme de pompage mais certains gars disent juste en regardant la grammaire que ce n'est pas normal. Comment est-ce possible?

9 formal-languages regular-languages pumping-lemma intuition

1

Vous recherchez un algorithme de classement qui favorise les nouvelles entrées

Je travaille sur un système de classement qui classera les entrées en fonction des votes qui ont été exprimés sur une période de temps. Je cherche un algorithme qui calculera un score qui est un peu comme une moyenne, mais j'aimerais qu'il préfère les scores plus récents aux anciens. Je …

9 algorithms data-mining

3

Si

Je suis coincé à résoudre le prochain exercice: Faire valoir que si est sans contexte et R est régulier, alors L / R = { w ∣ ∃ x ∈ RLLLRRR (c'est-à-dire lebon quotient) est sans contexte.L/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in …

9 formal-languages context-free finite-automata closure-properties pushdown-automata

4

Qu'entend-on par interruptions dans le contexte des systèmes d'exploitation?

J'ai décidé de lire les concepts de systèmes d'exploitation de Silberschatz, Galvin Gagne (8e édition) au cours de l'été. Je suis arrivé à un sujet qui me déroute - les interruptions et leur rôle en ce qui concerne les systèmes d'exploitation. Le texte dit qu'un système d'exploitation commencera un premier …

9 operating-systems computer-architecture process-scheduling

1

WPA2 avec clé pré-partagée est-il un exemple de preuve de connaissance zéro?

Lors de la configuration d'un point d'accès et de la sélection de WPA2, il faut saisir manuellement une clé pré-partagée (un mot de passe), PSK, dans l'AP et le STA. Les deux parties, AP et STA, doivent s'authentifier mutuellement. Mais ils doivent le faire sans révéler le PSK. Les deux …

9 cryptography security authentication

1

Couverture rectangulaire par ligne de balayage

On me fait un exercice malheureusement je n'ai pas réussi par moi-même. Il y a un ensemble de rectangles et un rectangle . En utilisant un algorithme de balayage plan, déterminez si est complètement couvert par l'ensemble de .R1..RnR1..RnR_{1}..R_{n}R0R0R_{0}R0R0R_{0}R1..RnR1..RnR_{1}..R_{n} Pour plus de détails sur le principe des algorithmes de ligne …

9 algorithms computational-geometry

1

Attaque sur les fonctions de hachage qui ne satisfont pas à la propriété unidirectionnelle

Je suis en train de réviser pour un cours de sécurité informatique et je suis coincé sur l'une des questions passées. Le voici: Alice ( ) veut envoyer un court message à Bob ( ) en utilisant un secret partagé pour authentifier que le message est venu d'elle. Elle propose …

9 cryptography hash one-way-functions

1

Limites inférieures du calcul d'une fonction d'un ensemble

Ayant un ensemble de n éléments, disons que je veux calculer une fonction f ( A ) qui est sensible à toutes les parties de l'entrée, c'est-à-dire qui dépend de chaque membre de A (c'est-à-dire qu'il est possible de changer n'importe quel membre de A en quelque chose sinon pour …

9 complexity-theory