Scienza del computer intuition

8

Intuizione algoritmica per complessità logaritmica

Credo di avere una ragionevole comprensione di complessità come , Θ ( n ) e Θ ( n 2 ) .O (1)O(1)\mathcal{O}(1)Θ ( n )Θ(n)\Theta(n)Θ ( n2)Θ(n2)\Theta(n^2) In termini di un elenco, è una ricerca costante, quindi sta solo diventando il capo dell'elenco. Θ ( n ) è dove avrei …

60 algorithms complexity-theory time-complexity intuition

2

Perché crediamo che PSPACE ≠ EXPTIME?

Ho difficoltà a capire intuitivamente perché PSPACE è generalmente ritenuto diverso da EXPTIME. Se PSPACE è l'insieme di problemi risolvibili nel polinomio spaziale nella dimensione di input , allora come può esserci una classe di problemi che sperimentano una maggiore esplosione del tempo esponenziale e non fanno uso dello spazio …

31 complexity-theory complexity-classes intuition

7

Esiste una prova più intuitiva dell'indecidibilità del problema di arresto rispetto alla diagonalizzazione?

Comprendo la prova dell'indecidibilità del problema di arresto (fornita ad esempio nel libro di testo di Papadimitriou), basata sulla diagonalizzazione. Mentre la prova è convincente (capisco ogni passaggio di essa), non mi è intuitivo nel senso che non vedo come qualcuno la deriverebbe, a partire dal solo problema. Nel libro, …

30 computability proof-techniques undecidability halting-problem intuition

2

Regola empirica per sapere se un problema potrebbe essere NP-completo

Questa domanda è stata ispirata da un commento su StackOverflow . Oltre a conoscere i problemi NP-completi del libro Garey Johnson e molti altri; esiste una regola empirica per sapere se un problema sembra un NP-completo? Non sto cercando qualcosa di rigoroso, ma qualcosa che funziona nella maggior parte dei …

26 complexity-theory np-complete intuition

7

Quali sono le caratteristiche di a

A volte è facile identificare la complessità temporale di un algoritmo che sto esaminando attentamente. Gli algoritmi con due loop nidificati di sono ovviamente . Gli algoritmi che esplorano tutte le possibili combinazioni di gruppi di due valori sono ovviamenteN 2 N 2 NNNNN2N2N^2NNN2N2N2^N . Tuttavia non so come "individuare" …

19 algorithm-analysis time-complexity intuition

4

Strategie per non perdere la comprensione della TCS

Sono uno studente universitario che frequenta un corso di teoria del calcolo e ho seri problemi a produrre contenuti una volta che mi viene chiesto. Sono in grado di seguire il libro di testo (Introduzione alla teoria del calcolo di Michael Sipser) e le lezioni; tuttavia, quando mi viene chiesto …

19 computability education intuition

2

Che cosa otteniamo avendo "tipi dipendenti"?

Pensavo di aver capito bene la tipizzazione dipendente (DT), ma la risposta a questa domanda: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-per-creare-teoria-del-tipo-intuitivo mi ha fatto pensare diversamente. Dopo aver letto su DT e aver cercato di capire cosa sono, sto cercando di chiedermi, cosa otteniamo da questa nozione di DT? Sembrano essere più flessibili e …

13 logic type-theory intuition

3

Perché input di dimensioni maggiori implicano istanze più difficili?

Di seguito, supponiamo che stiamo lavorando con una macchina Turing a nastro infinito. Quando ho spiegato la nozione di complessità temporale a qualcuno e perché è misurata in relazione alla dimensione di input di un'istanza, mi sono imbattuto nella seguente affermazione: [..] Ad esempio, è naturale che avresti bisogno di …

12 complexity-theory time-complexity intuition

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

1

Turing Recognizable => enumerable

Ottengo la prova di passare da un enumeratore a una Turing Machine (continuo a eseguire l'enumeratore e vedere se corrisponde all'input) ma non vedo come funziona l'altro modo. Secondo i miei appunti e il libro (Introduzione alla teoria del calcolo - Sipser), per ottenere l'enumeratore di Turing da una macchina …

10 computability turing-machines intuition

3

Intuizione per la convoluzione nell'elaborazione delle immagini

Ho letto molti documenti sulla convoluzione nell'elaborazione delle immagini e molti di loro dicono della sua formula, alcuni parametri aggiuntivi. Nessuno spiega l'intuizione e il significato reale dietro a fare la convoluzione su un'immagine. Ad esempio, l'intuizione della derivazione sul grafico è renderla più lineare, ad esempio. Penso che un …

9 terminology intuition graphics computer-vision

3

Come sentire intuitivamente che una lingua è regolare

Data una lingua L={anbncn}L={anbncn} L= \{a^n b^n c^n\} , come posso dire direttamente, senza guardare le regole di produzione, che questa lingua non è regolare? Potrei usare il lemma del pompaggio, ma alcuni ragazzi stanno dicendo solo guardando la grammatica che questo non è normale. Come è possibile?

9 formal-languages regular-languages pumping-lemma intuition

5

Come capire se una lingua è riconoscibile, riconoscibile o decidibile?

Se hai una lingua L, senza fare alcuna prova, c'è un modo per capire se è riconoscibile o riconoscibile o decidibile? Fondamentalmente tutti i suggerimenti o trucchi che possono essere utilizzati per dire. O forse i modelli comuni da cercare per dire che tipo è?

8 computability undecidability intuition

4

È intuitivo vedere che trovare un percorso hamiltoniano non è in P mentre lo è trovare il percorso di Eulero?

Non sono sicuro di vederlo. Da quello che ho capito, bordi e vertici sono complementari l'uno per l'altro ed è abbastanza sorprendente che questa differenza esista. C'è un modo buono / veloce / facile per vedere che in effetti trovare un sentiero hamiltoniano dovrebbe essere molto più difficile che trovare …

8 complexity-theory graph-theory np-complete intuition

Domande taggate «intuition»