Je me demande comment trouver la circonférence d'un graphe non orienté clairsemé. Par clairsemés, je veux dire . Par optimal, j'entends la complexité temporelle la plus faible.| E| =O( | V| )|E|=O(|V|)|E|=O(|V|) J'ai pensé à une modification de l'algorithme de Tarjan pour les graphiques non...
WalkSAT et GSAT sont des algorithmes de recherche locale simples et bien connus pour résoudre le problème de satisfiabilité booléenne. Le pseudocode de l'algorithme GSAT est copié de la question Mise en œuvre de l'algorithme GSAT - Comment sélectionner le littéral à retourner? et présenté...
Permettez-moi de commencer par noter qu'il s'agit d'un problème de devoirs, veuillez fournir uniquement des conseils et des observations connexes, AUCUNE RÉPONSE DIRECTE s'il vous plaît . Cela dit, voici le problème que je regarde: Soit HALF-CLIQUE = { | est un graphe non orienté ayant un...
Je voudrais écrire un programme simple qui accepte un ensemble de fenêtres (largeur + hauteur) et la résolution d'écran et affiche une disposition de ces fenêtres à l'écran de sorte que les fenêtres prennent le plus d'espace. Il est donc possible de redimensionner une fenêtre, tout en conservant...
Récemment, j'ai trouvé dans un article [1] une version symétrique spéciale de SAT appelée 2/2/4-SAT . Mais il existe de nombreuses variantes complètes, par exemple: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Quelques autres variantes sont traitables: - , Planar-NAE- , ...SAT...
Dans le célèbre essai de Richard Gabriel, The Rise of Worse is Better , il met en contraste les versions caricaturales des philosophies de conception du MIT / Stanford (Lisp) et du New Jersey (C / Unix) selon les axes de la simplicité, de l'exactitude, de la cohérence et de l'exhaustivité. Il donne...
Je voudrais savoir si un type universellement quantifié : est un sous-type, ou cas particulier, de type existentiellement quantifié avec la même signature:TaTaT_aTa=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\}
Supposons que nous ayons une boîte noire que nous pouvons interroger et réinitialiser. Lorsque nous réinitialisons , l'état de est défini sur un élément choisi uniformément au hasard dans l'ensemble où est fixe et connu pour donné . Pour interroger , un élément (la supposition) de est fourni, et la...
Connaissez-vous un algorithme qui calcule efficacement la factorielle après module? Par exemple, je veux programmer: for(i=0; i<5; i++) sum += factorial(p-i) % p; Mais, pest un grand nombre (premier) pour appliquer directement factorielle .(p≤108)(p≤108)(p \leq 10^ 8) En Python, cette tâche est...
J'ai eu du mal à accepter la vue théorique de la complexité de "efficacement résolue par algorithme parallèle" qui est donnée par la classe NC : NC est la classe des problèmes qui peuvent être résolus par un algorithme parallèle dans le temps à p ( n ) ∈ S ( n k ) processeurs avec c , k ∈ N .O (...
Wikipedia a la définition suivante du lemme de pompage pour les langages réguliers ... Soit LLL une langue régulière. Il existe alors un entier ppp ≥ 1 dépendant uniquement de LLL tel que chaque chaîne www dans LLL de longueur au moins ppp ( ppp est appelé la "longueur de pompage") puisse s'écrire...
On vous donne n entiers tous compris entre et . Sous chaque entier vous devez écrire un entier entre 0 et l avec la condition que les b i forment une séquence non décroissante. Définissez la déviation d'une telle séquence comme étant . Concevez un algorithme qui trouve les b_i avec l'écart minimum...
Y a-t-il des problèmes dans qui ont des algorithmes randomisés dépassant les limites inférieures des algorithmes déterministes? Plus concrètement, connaissons-nous des pour lesquels ? Ici \ mathsf {PTIME} (f (n)) signifie l'ensemble des langages décidables par une MT aléatoire avec une erreur...
Avant de lire L'Art de la programmation informatique (TAOCP) , je n'ai pas approfondi ces questions. J'utiliserais un pseudo-code pour décrire des algorithmes, les comprendre et estimer le temps d'exécution uniquement sur les ordres de croissance. Le TAOCP change complètement d'avis. TAOCP utilise...
Supposons que nous ayons un graphe orienté et deux noeuds et . Je voudrais savoir s'il existe déjà des algorithmes pour calculer le problème de décision suivant:A BG=(V,E)G=(V,E)G=(V,E)AAABBB Y a-t-il au moins deux trajets entre et de même longueur?BAAABBB Et la complexité? Puis-je le résoudre en...
bbba c Nab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Je me demande dans quels groupes de complexité (par exemple pour les ordinateurs classiques et quantiques) il s'agit, et quelles approches (c'est-à-dire les algorithmes) sont les meilleures pour accomplir cette tâche. Le lien wikipedia ci-dessus ne...
J'ai lu un peu de littérature récemment et j'ai trouvé des structures de données plutôt intéressantes. J'ai recherché différentes méthodes pour réduire le temps de mise à jour au temps de mise à jour du pire cas [1-7].O ( 1 )O(1)\mathcal{O}(1) Récemment, j'ai commencé à chercher des structures de...
Un commercial de pizza prétend que vous pouvez combiner ses ingrédients à 34 millions de combinaisons différentes. Je ne le croyais pas, alors j'ai dépoussiéré mes compétences de combinatoire rouillée et j'ai essayé de le comprendre. Voici ce que j'ai jusqu'à présent: Sur le site de commande en...
Quelle est la différence entre un langage de programmation et un langage de script? Par exemple, considérons C contre Perl. La seule différence est que les langages de script nécessitent uniquement l'interpréteur et ne nécessitent pas de compilation et de
Actuellement, j'étudie moi-même l'introduction aux algorithmes (CLRS) et il y a une méthode particulière qu'ils décrivent dans le livre pour résoudre les relations de récurrence. La méthode suivante peut être illustrée par cet exemple. Supposons que nous ayons la récurrence T( n ) = 2 T( n--√) +...