Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Formule 3-CNF minime insoddisfacenti
Al momento sono interessato a ottenere (o costruire) e studiare formule 3-CNF che sono insoddisfacenti e di dimensioni minime. Cioè, devono consistere nel minor numero possibile di clausole (m = 8 preferibilmente) e nel minor numero possibile di variabili distinte (n = 4 o più), in modo tale che la …
1
Esiste un limite inferiore migliore del lineare per il factoring e il log discreto?
Ci sono riferimenti che forniscono dettagli sui limiti inferiori del circuito per specifici problemi difficili che si verificano nella crittografia come factoring intero, problema logaritmo discreto primo / composito e la sua variante rispetto a un gruppo di punti di curve ellittiche (e le loro varietà abeliane di dimensione superiore) …
4
Parità e
Parity e sono come gemelli inseparabili. O almeno così è sembrato negli ultimi 30 anni. Alla luce del risultato di Ryan, ci sarà un rinnovato interesse per le piccole classi.A C0UNC0AC^0 Furst Saxe Sipser to Yao to Hastad sono tutte parità e restrizioni casuali. Razborov / Smolensky è un polinomio …
5
Perché i database relazionali funzionano affatto, data la complessità esponenziale teorica della ricerca di risposte (nella dimensione della query)?
Sembra essere noto che per trovare una risposta a una query su un database relazionale D , occorre tempo | D | | Q | e non ci si può liberare dell'esponente | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Dato che può essere molto grande, ci chiediamo perché i database funzionino affatto nella …
1
Visualizzazione di giochi unici
Come progetteresti un'immagine per illustrare la congettura unica dei giochi? Questo è per una presentazione "Attualità" su giochi unici al prossimo meeting congiunto AMS e per l'opuscolo che sarà prodotto. Esempi del tipo di illustrazioni prodotte in passato sono disponibili all'indirizzo http://www.ams.org/meetings/lectures/current-events-bulletin e se fai clic sull'edizione 2006 puoi vedere …
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.