Domande taggate «reference-request»

La richiesta di riferimento viene utilizzata quando l'autore deve conoscere il lavoro correlato alla domanda.

5
Ragioni storiche per l'adozione di Turing Machine come modello primario di calcolo.
Comprendo che il modello di Turing è diventato lo "standard" nel descrivere il calcolo. Sono interessato a sapere perché questo è il caso, ovvero perché il modello TM è diventato più ampiamente utilizzato rispetto ad altri modelli teoricamente equivalenti (per quanto ne sappia), ad esempio la recursione μ di Kleene …
12
Basi Gröbner in TCS?
Qualcuno conosce interessanti applicazioni delle basi di Gröbner all'informatica teorica? Le basi di Gröbner sono utilizzate per risolvere equazioni polinomiali multi-variabile, un problema NP-difficile in generale. Mi chiedevo se fossero stati usati alcuni casi speciali trattabili per fornire algoritmi / costruzioni / prove efficienti nelle aree relative al TCS o …
1
Prerequisito per l'apprendimento della GCT
Sembra che la teoria della complessità geometrica richieda molta conoscenza della matematica pura come la geometria algebrica, la teoria della rappresentazione. Mentre sono uno studente CS e NON ho lezioni di matematica molto astratta e pura, sono interessato a questo programma. Esiste un elenco di "conoscenze minime" per l'apprendimento di …
9
Riferimenti per tecniche di prova TCS
Ci sono riferimenti (online o in forma di libro) che organizzano e discutono i teoremi TCS con la tecnica di prova? Garey e Johnson lo fanno per i vari tipi di costruzioni di widget necessarie per le prove di completezza NP (in particolare nel capitolo 3 del loro libro), ma …
5
Risultati in CS teorico indipendente da ZFC
Farò una domanda piuttosto vaga, dal momento che il confine tra informatica teorica e matematica non è sempre facile da distinguere. DOMANDA: Sei a conoscenza di qualche risultato interessante in CS che è indipendente da ZFC (cioè teoria dell'insieme standard), o che è stato originariamente dimostrato in ZFC (+ qualche …
6
Problemi geometrici NP completi in
Numerosi problemi geometrici sono facili se considerati in , ma NP-completi in per (incluso uno dei miei problemi preferiti, la copertura del disco dell'unità).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Qualcuno è a conoscenza di un problema che è risolvibile in tempo polifunzionale per e , ma NP-completo per ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 Più in generale, esistono problemi …
1
Moltiplicare n polinomi di grado 1
Il problema è calcolare il polinomio . Supponiamo che tutti i coefficienti si adattino a una parola macchina, cioè possano essere manipolati in unità di tempo.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) È possibile eseguire tempo applicando FFT in modo albero. Puoi fare O ( n …
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.