Questions marquées «real-numbers»

2
Existe-t-il des classes de complexité établies avec des nombres réels?
Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement: Étant donné …


1
Une fonction recherchant des sous-séquences de chiffres de
Comment peut-on décider si a une séquence de chiffres? ππ\pim'a inspiré pour demander si la variation d'apparence innocente suivante est calculable: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation …



2
Existe-t-il des travaux sur la création d'un cadre de théorie des nombres réels / probabilités dans COQ?
COQ est un prouveur de théorème interactif qui utilise le calcul des constructions inductives, c'est-à-dire qu'il s'appuie fortement sur les types inductifs. En utilisant celles-ci, les structures discrètes comme les nombres naturels, les nombres rationnels, les graphiques, les grammaires, la sémantique, etc. sont représentées de manière très concise. Cependant, depuis …
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.