L'informatique

1

Montre CA L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} n'est pas régulier Salut les gars. Je prends un cours de CS et ce truc est vraiment nouveau pour moi, alors soyez indulgent avec moi. J'ai essayé de voir si j'obtenais une contradiction en utilisant le lemme de pompage pour les langues régulières …

8 regular-languages pumping-lemma

1

Comment montrer que l'ensemble des machines qui acceptent les langues

J'aimerais votre aide pour prouver que la langue est décidable ssi .L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P = N PP=NP\mathrm{P}=\mathrm{NP} Si , je comprends que c'est le langage des machines Turing vides. Donc, …

8 computability undecidability p-vs-np

2

Un algorithme de satisfiabilité provisoire

La satisfiabilité générale (à quelques exceptions telles que les clauses de Horn) ne semble pas avoir de solution algorithmique. Cependant, l'algorithme suivant semble être une solution pour la satisfiabilité générale. Quel est exactement le défaut de l'algorithme suivant? Laisser WWW être un ensemble vide qui contiendra toutes les variables qui …

8 algorithms logic satisfiability constraint-programming

5

Texte standard ou supérieur sur la théorie des graphes appliquée

Je recherche un texte de référence sur la théorie des graphes appliquée et les algorithmes de graphes. Existe-t-il un texte standard utilisé dans la plupart des programmes informatiques? Sinon, quels sont les textes les plus respectés dans le domaine? J'ai Cormen et al.

8 algorithms graph-theory reference-request education books

1

Cette langue est-elle sans contexte?

Est la langue L = { a , b}∗∖ { (unenbn)n∣ n ≥ 1 }L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sans contexte? Je crois que la réponse est que ce n'est pas une LFC, mais je ne peux pas le prouver par le lemme d'Ogden ou le lemme …

8 formal-languages context-free pumping-lemma

1

Comment détecter l'ordre des piles?

Nous prenons la séquence d'entiers de à , et nous les poussons dans une pile un par un dans l'ordre. Entre chaque poussée, nous pouvons choisir de faire apparaître n'importe quel nombre d'éléments de la pile (de 0 à la taille de pile actuelle).111nnn Chaque fois que nous sortons une …

8 algorithms stacks

4

Est-il intuitif de voir que trouver un chemin hamiltonien n'est pas dans P alors que trouver un chemin Euler l'est?

Je ne suis pas sûr de le voir. D'après ce que je comprends, les arêtes et les sommets sont des compléments l'un pour l'autre et il est assez surprenant que cette différence existe. Existe-t-il un bon moyen / rapide / facile de voir qu'en fait, trouver un chemin hamiltonien devrait …

8 complexity-theory graph-theory np-complete intuition

2

Comment puis-je trouver le nombre minimum requis pour ajouter à la séquence de telle sorte que leur xor devienne zéro

Étant donné une séquence de nombres naturels, vous pouvez ajouter n'importe quel nombre naturel à n'importe quel nombre dans la séquence de sorte que leur xor devienne zéro. Mon objectif est de minimiser la somme des nombres ajoutés. Considérez les exemples suivants: Pour la réponse est ; en ajoutant à …

8 algorithms integers xor

1

CLRS - Maxflow Augmented Flow Lemma 26.1 - ne comprend pas l'utilisation de def. en preuve

Dans Cormen et. al., Introduction to Algorithms (3e éd.), je n'ai pas de ligne dans la preuve du lemme 26.1 qui déclare que le flux augmentéf↑f′f↑f′f\uparrow f' est un flux GGG et est st |f↑f′|=|f|+|f′||f↑f′|=|f|+|f′||f\uparrow f'| =|f|+|f'| (c'est pp. 717-718). Ma confusion: lorsqu'ils discutent de la conservation des flux, ils …

8 algorithms network-flow

2

Exactement l'un de NP et de co-NP peut-il être égal à P?

Peut-être que je manque quelque chose d'évident, mais est-ce que P = co-NP NP ou vice versa? Mon sentiment est qu'il doit y avoir un théorème qui exclut cette possibilité.⊊⊊\subsetneq

8 complexity-theory p-vs-np

2

Algorithme pour trouver des coupures de devises optimales

Mark vit dans un petit pays peuplé de gens qui ont tendance à trop penser aux choses. Un jour, le roi du pays décide de repenser la monnaie du pays pour rendre le changement plus efficace. Le roi veut minimiser le nombre de pièces attendu pour payer exactement tout montant …

8 algorithms optimization combinatorics integers

2

Minimiser la variation totale d'une séquence de choix discrets

Ma configuration est quelque chose comme ceci: j'ai une séquence d'ensembles d'entiers Ci(1≤i≤n)Ci(1≤i≤n)C_i (1\leq i\leq n), avec |Ci||Ci||C_i| relativement petit - de l'ordre de quatre ou cinq articles pour tous iii. Je veux choisir une séquencexi(1≤i≤n)xi(1≤i≤n)x_i (1\leq i\leq n) avec chaque xi∈Cixi∈Cix_i\in C_i de telle sorte que la variation totale …

8 algorithms complexity-theory optimization

1

Formalisme de type machine de Turing pour le modèle d'acteur

Les machines de Turing ont un alphabet de symboles formel, une description basée sur les règles d'état et de transition de la façon dont un calcul est effectué. Le modèle d'acteur est parfois mentionné comme un modèle de calcul plus puissant que les machines de Turing (pas dans ce qu'il …

8 terminology computability reference-request programming-languages computation-models

4

Algorithme le plus rapide pour trouver la sous-séquence palindrome la plus longue

Tout d'abord, nous devons lire un mot et une taille souhaitée. Ensuite, nous devons trouver le palindrome le plus long créé par les caractères de ce mot utilisé dans l'ordre. Par exemple, pour size = 7 et word = "abcababac", la réponse est 7 ("abababa"). Postscript: la taille du mot …

8 algorithms strings subsequences

1

Classe de complexité correctement incluse dans DLOGTIME

Existe-t-il un problème de décision dans une classe de complexité correctement incluse dans DLOGTIME? (saufO ( 1 )O(1)O(1), bien sûr) Si tel est le cas, pouvons-nous créer des problèmes complets pour DLOGTIME? Alors, peut-il y avoir une réduction deO ( log( journaln ) )O(Journal⁡(Journal⁡n))O(\log(\log n)) ou plus petit?

8 complexity-theory time-complexity complexity-classes