Questions marquées «proof-techniques»

Questions sur les méthodes et techniques générales pour prouver plusieurs théorèmes. Lorsque vous demandez la preuve d'une seule déclaration, utilisez plutôt des balises relatives à l'objet de la preuve.

11
Résoudre ou approximer les relations de récurrence pour des suites de nombres
En informatique, nous avons souvent à résoudre des relations de récurrence , c'est-à-dire à trouver une forme fermée pour une suite de nombres définie récursivement. Quand on considère les temps d'exécution, on s'intéresse souvent principalement à la croissance asymptotique de la séquence . Des exemples sont Le temps d'exécution d'une …
2
Qu'est-ce que la coinduction?
J'ai entendu parler de l'induction (structurelle). Il vous permet de construire des structures finies à partir de plus petites et vous donne des principes de preuve pour raisonner sur de telles structures. L'idée est assez claire. Mais qu'en est-il de la coinduction? Comment ça marche? Comment peut-on dire quelque chose …
4
Quelles sont les techniques courantes pour réduire les problèmes les uns aux autres?
Dans la théorie de la calculabilité et de la complexité (et peut-être dans d'autres domaines), les réductions sont omniprésentes. Il en existe de nombreuses sortes, mais le principe reste le même: montrez qu'un problème est au moins aussi complexe qu'un autre problème en mappant des instances de à des solutions …
7
Existe-t-il une preuve plus intuitive de l'indécidabilité du problème d'arrêt que la diagonalisation?
Je comprends la preuve de l'indécidabilité du problème d'arrêt (donnée par exemple dans le manuel de Papadimitriou), basée sur la diagonalisation. Bien que la preuve soit convaincante (j'en comprends chaque étape), elle n'est pas intuitive pour moi en ce sens que je ne vois pas comment quelqu'un la dériverait, à …
2
Y a-t-il des problèmes spécifiques connus pour être indécidables pour des raisons autres que la diagonalisation, l'auto-référence ou la réductibilité?
Chaque problème indécidable que je connais tombe dans l'une des catégories suivantes: Problèmes indécidables en raison de la diagonalisation (auto-référence indirecte). Ces problèmes, comme le problème d'arrêt, sont indécidables car vous pourriez utiliser un prétendu décideur pour le langage pour construire une MT dont le comportement conduit à une contradiction. …
2
Comment prouver qu'une langue est hors contexte?
Il existe de nombreuses techniques pour prouver qu'une langue n'est pas sans contexte, mais comment puis-je prouver qu'une langue est sans contexte? Quelles techniques existe-t-il pour le prouver? De toute évidence, une façon consiste à présenter une grammaire sans contexte pour la langue. Existe-t-il des techniques systématiques pour trouver une …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.