Domande taggate «real-numbers»

2
Esistono classi di complessità stabilite con numeri reali?
Di recente uno studente mi ha chiesto di verificare una prova di durezza NP. Hanno eseguito una riduzione sulla falsariga di: Riduco questo problema che è noto per essere NP completo al mio problema P (con una riduzione multi-tempo polifunzionale), quindi P è NP-difficile.P′P′P'PPPPPP La mia risposta è stata sostanzialmente: …
1
È possibile calcolare una sottosequenza di cifre di
Come si può decidere se ha qualche sequenza di cifre? ππ\pimi ha ispirato a chiedermi se la seguente variante dall'aspetto innocente è calcolabile: 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 …
2
Esistono lavori sulla creazione di un quadro di teoria dei numeri reali / probabilità in COQ?
Il COQ è un dimostratore di teorema interattivo che usa il calcolo delle costruzioni induttive, cioè fa molto affidamento sui tipi induttivi. Usando queste, strutture discrete come numeri naturali, numeri razionali, grafici, grammatiche, semantica ecc. Sono rappresentate in modo molto conciso. Tuttavia, da quando ho iniziato ad apprezzare l'assistente per …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.