Scienza del computer

1

Decimo problema di Hilbert ed equazione diofantina di Chaitin "Computer"?

In Meta Math di Chaitin ! The Quest For Omega , parla brevemente del decimo problema di Hilbert. Quindi dice che qualsiasi equazione diofantina può essere cambiata in due polinomi uguali con coefficienti interi positivi: .p = 0p=0p=0p = 0⟺p1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Quindi dice che possiamo pensare …

10 logic halting-problem

1

Che aspetto hanno le classi di complessità se utilizziamo le riduzioni di Turing?

Per ragionare su cose come la completezza NP, usiamo tipicamente riduzioni multiple (es. Riduzioni Karp). Questo porta a immagini come questa: (sotto congetture standard). Sono sicuro che abbiamo tutti familiarità con questo genere di cose. Quale immagine otteniamo se lavoriamo con le riduzioni di Turing (ovvero le riduzioni di Cook)? …

10 complexity-theory reductions complexity-classes

3

Perché usare le lingue nella teoria della complessità

Sto appena iniziando ad entrare nella teoria del calcolo, che studia cosa può essere calcolato, quanto velocemente, usando quanta memoria e con quale modello computazionale. Ho una domanda piuttosto semplice, ma spero davvero che alcuni di voi ragazzi possano aiutarmi a capire il concetto alla base: Perché tutto è incentrato …

10 complexity-theory formal-languages

9

Rappresenta un numero reale senza perdita di precisione

L'attuale virgola mobile (ANSI C float, double) consente di rappresentare un'approssimazione di un numero reale. Esiste un modo per rappresentare numeri reali senza errori ? Ecco un'idea che ho avuto, che è tutt'altro che perfetto. Ad esempio, 1/3 è 0.33333333 ... (base 10) o o.01010101 ... (base 2), ma anche …

10 binary-arithmetic arithmetic floating-point real-numbers number-formats

3

Perché Miller – Rabin invece del test di primalità di Fermat?

Dalla prova di Miller-Rabin , se un numero supera il test di primalità di Fermat , deve anche superare il test di Miller-Rabin con la stessa base (una variabile nella dimostrazione). E la complessità di calcolo è la stessa.un'aa Quanto segue proviene dal test di primalità di Fermat : Mentre …

10 algorithms primes

4

Lingua normale non accettata da DFA con al massimo tre stati

Descrivi una lingua normale che non può essere accettata da nessun DFA con solo tre stati. Non sono davvero sicuro da dove cominciare e mi chiedevo se qualcuno potesse darmi qualche consiglio o consiglio. Capisco che il lemma del pompaggio può essere usato per dimostrare che una lingua non è …

10 formal-languages regular-languages finite-automata pumping-lemma

2

Possiamo costruire una riduzione del Karp da una riduzione di Cook tra problemi NP?

Abbiamo avuto diverse domande sulla relazione tra le riduzioni di Cook e Karp . È chiaro che le riduzioni di Cook (riduzioni di Turing a tempo polinomiale) non definiscono la stessa nozione di completezza NP delle riduzioni di Karp (riduzioni a tempo multiplo di polinomio), che di solito vengono utilizzate. …

10 complexity-theory reference-request np-complete reductions

1

Un modo semplice per dimostrare che questo algoritmo alla fine termina

Introduzione e notazioni: Ecco una nuova e semplice versione del mio algoritmo che sembra terminare (secondo i miei esperimenti), e ora vorrei dimostrarlo. Lascia che la notazione riferisca a un punto dati p dimensionale (un vettore). Ho tre set A, B e C, tali che | A | = n …

10 algorithms complexity-theory algorithm-analysis optimization

2

Definisci un elenco usando solo il sistema di tipo Hindley-Milner

Sto lavorando su un piccolo compilatore di calcoli lambda che ha un sistema di inferenza di tipo Hindley-Milner funzionante e ora supporta anche un carattere ricorsivo (non nel codice collegato), che comprendo dovrebbe essere sufficiente per renderlo completo . Il problema ora è che non ho idea di come renderli …

10 lambda-calculus type-theory type-inference

3

Minimizzazione della lunghezza del cablaggio

Il mio problema è così: Ho un layout fisico rappresentato come un grafico. I nodi rappresentano ganci / condotti in cui un filo può ancorarsi e Bordi sono la possibile connessione tra 2 nodi da dove può andare il filo. Esistono alcuni nodi speciali, chiamati splitter, da cui un singolo …

10 algorithms graph-theory optimization

1

Breve e chiara dimostrazione del forte teorema della dualità per la programmazione lineare

Considera i programmi lineari D u a l : → c ≤ → y T APr i m a l :A x⃗ ≤ b⃗ max c⃗ TX⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :c⃗ ≤ y⃗ TUNmin y⃗ …

10 algorithms reference-request linear-programming linear-algebra duality

2

Come discutere i coefficienti nella notazione big-O

Quale notazione viene usata per discutere i coefficienti delle funzioni nella notazione big-O? Ho due funzioni: f(x)=7x2+4x+2f(X)=7X2+4X+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(X)=3X2+5X+4g(x) = 3x^2 + 5x +4 Ovviamente, entrambe le funzioni sono , in effetti , ma ciò non consente un confronto oltre a quello. Come posso discutere i …

10 terminology asymptotics landau-notation

1

Approssimazione asintotica di una relazione di ricorrenza (Akra-Bazzi non sembra applicare)

Supponiamo che un algoritmo abbia una relazione di ricorrenza di runtime: T( n ) = { g( n ) + T( n - 1 ) + T( ⌊ δn ⌋ )f( n ): n ≥ n0: n < n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n<n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : …

10 asymptotics recurrence-relation

8

Sostantivo corrispondente per "side-effect-free"?

Per funzioni o calcoli abbiamo termini come: Deterministico - Determinismo Puro - Purezza Ora qual è il nome corretto corrispondente per privo di effetti collaterali ? "Freeness effetto collaterale"? "Libertà di effetti collaterali"? "Non-side-efficace"?

10 terminology programming-languages

2

Chiaro, completo, prova che una lingua è Turing Competere?

Ho visto siti web che pretendono di "dimostrare" che HTML5 + CSS è Turing Complete. Ho visto siti Web che pretendono di "dimostrare" che SQL è Turing Complete. Ho visto un sacco di siti web che pretendono di "spiegare" cosa significa essere Turing Complete. Abbastanza! Dove posso trovare un libro …

10 computability turing-machines automata turing-completeness church-turing-thesis