Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Moltiplicazione binaria e convoluzione di parità
Questa domanda riguarda la relazione tra la moltiplicazione normale dei numeri binari e la moltiplicazione polinomiale mod 2. Per rendere concreta la domanda, vorrei idealmente sapere se esiste una soluzione migliore alla domanda di Knuth vol. 2, 3a edizione, pagina 420 rispetto a quella fornita nel libro. "La moltiplicazione dei …
2
È possibile trascurare il costo di GC quando si analizza il tempo di esecuzione delle strutture di dati nel caso peggiore specificate in un linguaggio di programmazione raccolto in modo inutile?
Ho appena capito che ho assunto la risposta alla mia domanda è "sì", ma non ho una buona ragione. Immagino che forse esista un garbage collector che introduce in modo dimostrabile solo il rallentamento del caso peggiore di . C'è un riferimento definitivo che posso citare? Nel mio caso sto …
2
Versione moltiplicativa di 3-SUM
Cosa si sa della complessità temporale del seguente problema, che chiamiamo 3-MUL? Dato un insieme di numeri interi, ci sono elementi tali che ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Questo problema è simile al problema 3-SUM, che chiede se ci sono tre elementi tali che (o equivalentemente ). 3-SUM è ipotizzato per richiedere un …
2
È possibile utilizzare una crittografia completamente omomorfa per l'esecuzione del codice ignaro?
Dopo aver letto questa risposta qualche tempo fa, mi sono interessato alla crittografia completamente omomorfa. Dopo aver letto l'introduzione della tesi di Gentry, ho iniziato a chiedermi se il suo schema di crittografia potesse essere utilizzato per l'esecuzione del codice ignaro come definito nel terzo paragrafo. In uno schema di …
2
Algoritmi di approssimazione temporale polinomiale per la programmazione delle macchine: quanti problemi aperti rimangono?
Nel 1999, Petra Schuurman e Gerhard J. Woeginger hanno pubblicato il documento "Algoritmi di approssimazione temporale polinomiale per la programmazione delle macchine: dieci problemi aperti" . Da allora, per quanto ne so, non sono apparse recensioni che riguarderebbero lo stesso elenco di problemi. Sarebbe quindi utile e utile se ognuno …
7
Perché il CNF viene utilizzato per SAT e non per DNF?
Non capisco bene perché quasi tutti i solutori di SAT utilizzano CNF anziché DNF. Mi sembra che risolvere DN sia più facile usando DNF. Dopotutto, devi solo scansionare l'insieme di implicanti e verificare se uno di essi non contiene sia una variabile che la sua negazione. Per CNF, non esiste …
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.