D'après, les preuves par la méthode probabiliste sont souvent dites non constructives. Cependant, une preuve par méthode probabiliste conçoit en effet un algorithme aléatoire et l'utilise pour prouver l'existence. Cité de la p103 des algorithmes randomisés par Rajeev Motwani, Prabhakar Raghavan :...
J'essaie de m'enseigner la théorie de la calculabilité avec un manuel. Selon mon livre, une fonction sur un alphabet n'est calculable que si la langueFFfA = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , o , p ,
Donc, je me gratte la tête sur ce problème depuis quelques jours maintenant. Étant donné une certaine langueUNEAA et BBB c'est régulier, montrer que la langue LLL qui se compose de toutes les chaînes UNEAA dont la longueur est égale à une chaîne BBB est une langue régulière. Sous forme d'équation:...
Comme le montre le réseau à feuilles persistantes The Physics of Santa , il est physiquement impossible pour le Père Noël d'offrir un cadeau à tous les enfants de la planète. Planification d' itinéraire ne sera pas beaucoup d' aide là - bas, mais peut un bon algorithme de planification au moins...
Comment puis-je montrer que le problème de décider si un PDA accepte une chaîne du formulaire { w! w ∣ w ∈ { 0 , 1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} est indécidable? J'ai essayé de réduire ce problème à un autre indécidable, par exemple si deux grammaires sans contexte acceptent la...
Dans la théorie des algorithmes distribués, il y a des problèmes avec des bornes inférieures, comme , qui sont "grandes" (je veux dire, plus grandes que ), et non triviales. Je me demande s'il y a des problèmes avec des limites similaires dans la théorie de l'algorithme série, je veux dire d'ordre...
Je connais l' ordre des termes d'un arbre B. Récemment, j'ai entendu un nouveau terme: arbre B avec un degré minimum de 2. Nous savons que le degré est lié à un nœud mais quel est le degré d'un arbre? Le degré impose-t-il une sorte de restriction sur la hauteur d'un arbre B?...
Si un graphique avec nnn sommets a plus de (n−1)(n−2)2(n−1)(n−2)2\frac{(n-1)(n-2)}{2} bords puis il est connecté. Je suis un peu confus à propos de cette question, car je peux toujours prouver que pour un graphique connecté, vous avez besoin de plus de |E|>n−1|E|>n−1|E|>n-1...
En classe cette semaine, nous avons découvert les LFC et leurs propriétés de fermeture. J'ai vu des preuves d'union, d'intersection et de compliment, mais pour le renversement, mon conférencier vient de dire que c'était fermé. Je voulais voir la preuve, donc je cherchais depuis quelques jours, mais...
Donné n∈Nn∈Nn \in \mathbb{N} et p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] on peut définir la formule suivante dans le langage de l'arithmétique formelle φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall...
Je m'intéresse à l'auto-réductibilité du problème du graphique 3-Coloralibity. Définition du problème du graphique 3-Coloralibity. Étant donné un graphe non orienté , existe-t-il un moyen de colorer les nœuds en rouge, vert et bleu afin qu'aucun nœud adjacent n'ait la même couleur?GGG Définition de...
3n=2O(n)3n=2O(n)3^n = 2^{O(n)}est apparemment vrai. Je pensais que c'était faux car3n3n3^n croît plus rapidement que n'importe quelle fonction exponentielle avec une base de 2. Comment est 3n=2O(n)3n=2O(n)3^n = 2^{O(n)}
Étant donné un graphique , où . Qu'est - ce qu'un algorithme rapide pour générer la collection de toutes les listes de quartier 2-hop de tous les nœuds .G = ( V, E)g=(V,E)G = (V,E)| V| =n|V|=n|V| = nVVV Naïvement, vous pouvez le faire en . Avec la puissance des matrices, vous pouvez le faire avec...
J'ai deux questions: Je considère la langue suivante L1= { w ∈ { 0 , 1}∗∣ ∄ u ∈ { 0 , 1}∗: w = uuR} .L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. En d'autres termes wwwn'est pas palindrome de même longueur. J'ai prouvé que ce langage n'est...
Pour les maillages polygonaux 2D, les représentations de structure de données QuadEdge et HalfEdge sont suffisantes pour stocker et permettre une interrogation efficace de toutes les informations topologiques et d'incidence. Existe-t-il des structures de données compactes et efficaces pour les...
Je viens de commencer à lire un livre intitulé Introduction to Data Compression, de Guy E. Blelloch. À la première page, il déclare: La vérité est que si un message est raccourci par un algorithme, alors un autre message doit être allongé. Vous pouvez le vérifier en pratique en exécutant GZIP sur...
Je suis particulièrement intéressé par les solutions au problème que la recherche encapsulée peut dépendre de l'ordre d'évaluation. Selon [1], la recherche encapsulée dans PAKCS dépend de l'ordre d'évaluation, tandis que dans MCC, elle ne le fait pas, mais son utilisation nécessite la connaissance...
XOR n'est pas le nom correct, mais je recherche une sorte de comportement exclusif. Je suis en train de résoudre un ensemble de problèmes (d'affectation) différents en modélisant des réseaux de flux et en exécutant un algorithme de min-cost-max-flow. Les réseaux de flux sont très pratiques car de...
Étant donné un tableau entier (taille maximale 50000), je dois trouver le minimum et le maximum XXX tel que X=ap⊕ap+1⊕⋯⊕aqX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_q pour certains ppp, qqq avec p≤qp≤qp \leq q. J'ai essayé ce processus: sumi=a0⊕a1⊕⋯⊕aisumi=a0⊕a1⊕⋯⊕ai\text{sum}_i =...
Le problème de 3-coloration peut être prouvé NP-complet en utilisant la réduction de la coloration de graphique 3SAT (de 3SAT) . En conséquence, le problème de 4-Coloration est NP-Complete en utilisant la réduction de 3-Coloration: Réduction de l'instance 3-Coloring: ajouter un sommet...