Scienza del computer factoring

2

Perché il factoring di interi di grandi dimensioni è considerato difficile?

Ho letto da qualche parte che l'algoritmo più efficiente trovato può calcolare i fattori nel tempo , ma il codice che ho scritto è o possibilmente seconda della divisione e del modulo veloci. Sono abbastanza sicuro di aver frainteso qualcosa da qualche parte, ma non sono sicuro di dove. Ecco …

17 complexity-theory time-complexity factoring primes

2

Ridurre il problema della fattorizzazione a numeri interi a un problema NP-Complete

Faccio fatica a capire la relazione tra NP-Intermediate e NP-Complete. So che se P! = NP basato sul teorema di Ladner esiste una classe di lingue in NP ma non in P o in NP-Complete. Ogni problema in NP può essere ridotto a un problema NP-Completo, tuttavia non ho visto …

17 np-complete reductions factoring

2

Come può P =? NP migliora la fattorizzazione a numeri interi

Se effettivamente uguale a N P , in che modo questo migliorerebbe i nostri algoritmi per fattorizzare gli interi più velocemente. In altre parole, che tipo di intuizione ci darebbe questo fatto nel comprendere meglio la fattorizzazione dei numeri interi?PP{\sf P}N PNP{\sf NP}

14 complexity-theory computability np-complete p-vs-np factoring

2

Perché FACTOR è in Co-NP?

Sto avendo problemi a avvolgere la testa attorno ai problemi PRIME, COMPOSITE, FACTOR e al modo in cui sono correlati in termini di complessità. Capisco che PRIME ha dimostrato di essere in dal test di primalità di AKS e credo che questo funzioni anche per COMPOSITE.PPP Per quanto riguarda FATTORE, …

12 complexity-theory factoring

1

I migliori solutori di SAT possono calcolare numeri facili?

I solutori SAT moderni sono molto bravi a risolvere molti esempi reali di istanze SAT. Tuttavia, sappiamo come generare quelli difficili: ad esempio utilizzare una riduzione da factoring a SAT e fornire i numeri RSA come input. Ciò solleva la domanda: cosa succede se prendo un semplice esempio di factoring. …

11 complexity-theory satisfiability sat-solvers factoring

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

2

Velocità dell'algoritmo di Shor

Sono una giovane studiosa di informatica e mi viene chiesto di scrivere un articolo che implichi la fattorizzazione dei numeri interi. Di conseguenza, devo esaminare l'algoritmo di Shor su computer quantistici. Per gli altri algoritmi, sono stato in grado di trovare equazioni specifiche per calcolare il numero di istruzioni dell'algoritmo …

8 time-complexity quantum-computing factoring

Domande taggate «factoring»