Pour les fonctions ou les calculs, nous avons des termes comme: Déterministe - Déterminisme Pur - Pureté Maintenant, quel est le nom correspondant correct pour sans effet secondaire ? "Effet secondaire"? "Liberté d'effets secondaires"? "Non efficace
Mon problème est comme ceci: J'ai une disposition physique représentée sous forme de graphique. Les nœuds représentent des crochets / conduits où un fil peut ancrer et les bords sont la connexion possible entre 2 nœuds d'où le fil peut aller. Il existe des nœuds spéciaux, appelés séparateurs, à...
Considérez les programmes linéaires D u a l : → c ≤ → y T APr i m a l :A x⃗ ≤ b⃗ max c⃗ TX⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :c⃗ ≤ y⃗ TUNEmin...
Introduction et notations: Voici une version nouvelle et simple de mon algorithme qui semble se terminer (selon mes expériences), et maintenant je voudrais le prouver. Soit la notation faire référence à un point de données dimensionnelles (un vecteur). J'ai trois ensembles A, B et C, tels que , , :...
Contexte J'apprends l'aide, Coq, par moi-même. Jusqu'à présent, j'ai terminé la lecture du Coq à la hâte d'Yves Bertot . Maintenant, mon objectif est de prouver quelques résultats de base concernant les nombres naturels, culminant avec l'algorithme dit de division. Cependant, j'ai rencontré...
Je cherche un algorithme pour convertir un digraphe (graphe orienté) en graphe non orienté de manière réversible, c'est-à-dire que le digraphe devrait être reconstructible si on nous donne le graphe non orienté. Je comprends que cela se fera au détriment du graphique non orienté ayant plus de...
Nous avons eu plusieurs questions sur la relation entre les réductions Cook et Karp . Il est clair que les réductions de Cook (réductions de Turing à temps polynomial) ne définissent pas la même notion de complétude NP que les réductions de Karp (réductions de plusieurs à un temps polynomial), qui...
Je travaille sur un petit compilateur de calcul lambda qui a un système d'inférence de type Hindley-Milner qui fonctionne et prend désormais également en charge le let récursif (pas dans le code lié), ce qui, je crois, devrait suffire à le rendre complet . Le problème est maintenant que je n'ai...
D'après la preuve de Miller-Rabin , si un nombre passe le test de primalité de Fermat , il doit également passer le test de Miller-Rabin avec la même base (une variable dans la preuve). Et la complexité du calcul est la même.uneunea Ce qui suit est tiré du test de primalité de Fermat : Alors que...
Mon manuel dit: "Nous définissons la fonction comme suit: f ( 1 ) = 2 et f ( i + 1 ) = 2 f ( i ) 1.2 . Notez que étant donné n , nous pouvons facilement trouver dans O ( n 1,5 ) fois le nombre i tel que n soit pris en sandwich entre f ( i ) et f ( i + 1f:N→Nf:N→Nf\colon
Décrivez une langue régulière qui ne peut être acceptée par aucun DFA qui ne comporte que trois états. Je ne sais pas trop par où commencer et je me demandais si quelqu'un pourrait me donner quelques conseils ou astuces. Je comprends que le lemme de pompage peut être utilisé pour prouver qu'une...
Dans l'analyse d'algorithmes, nous supposons une machine d'accès aléatoire (RAM) à un processeur générique. Pour autant que je sache, la machine RAM n'est pas plus efficace que la machine Turing. Tous les algorithmes peuvent être implémentés dans la machine de Turing. Mes questions sont donc: Si la...
Je commence tout juste à entrer dans la théorie du calcul, qui étudie ce qui peut être calculé, à quelle vitesse, en utilisant la quantité de mémoire et avec quel modèle de calcul. J'ai une question assez basique, mais j'espère vraiment que certains d'entre vous pourront m'aider à comprendre le...
La question est à peu près dans le titre. Y a-t-il jamais un moment où une langue peut être acceptée par un DFA minimal avec états, mais , l'inversion de , peut être acceptée par un DFA avec états, où ?LLLL R L m m < nnnnLRLRL^RLLLmmmm <
Dans les méta-mathématiques de Chaitin ! The Quest For Omega , il parle brièvement du 10ème problème de Hilbert. Il dit ensuite que toute équation diophantienne peut être changée en deux polynômes égaux avec des coefficients entiers positifs: p = 0p = 0p=0p=0 .p = 0⟺p1= p2p=0⟺p1=p2p=0 \iff p_1 =...
À la fin des années 1990, lorsque j'étais à l’université, le journal JH Saltzer; DP Reed; DD Clark: arguments de bout en bout dans la conception du système . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 était à peu près une lecture obligatoire dans chaque classe de...
Pour raisonner sur des choses comme l'exhaustivité de NP, nous utilisons généralement plusieurs réductions (c.-à-d. Des réductions de Karp). Cela conduit à des images comme celle-ci: (sous conjectures standard). Je suis sûr que nous connaissons tous ce genre de choses. Quelle image obtenons-nous si...
Si alors la hiérarchie s'effondre à son deuxième niveau (par le théorème de Karp-Lipton). Mais qu'en est-il de N P et de c o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP J'ai essayé de prouver que est contenu dans N P (l'autre sens est trivial si R P = N P ) mais en vain, et je ne suis même...
Une relation d'équivalence sur un ensemble de sommets finis peut être représentée par un graphique non orienté qui est une union disjointe de cliques. L'ensemble des sommets représente les éléments et une arête indique que deux éléments sont équivalents. Si j'ai un graphe et des graphes , on dit...
Étant donné deux entiers et en représentation binaire, quelle est la complexité du calcul de la taille en bits de ?n x nXxxnnnXnxnx^n Une façon de procéder consiste à calculer en calculant une approximation de avec une précision suffisante. Il apparaît que le calcul avec bits de précisions peut se...