Scienza del computer reference-question

7

Qual è la definizione di P, NP, NP-complete e NP-hard?

Sono in un corso di informatica e complessità e non riesco a capire cosa significano questi termini. Tutto quello che so è che NP è un sottoinsieme di NP-complete, che è un sottoinsieme di NP-hard, ma non ho idea di cosa significhino effettivamente. Anche Wikipedia non è di grande aiuto, …

249 complexity-theory terminology complexity-classes p-vs-np reference-question

3

Esiste un sistema dietro la magia dell'analisi algoritmica?

Ci sono un sacco di domande su come analizzare il tempo di esecuzione degli algoritmi (vedi, ad esempio, di runtime-analisi e algoritmo di analisi ). Molti sono simili, ad esempio quelli che richiedono un'analisi dei costi di loop nidificati o algoritmi di divisione e conquista, ma la maggior parte delle …

159 algorithms algorithm-analysis runtime-analysis proof-techniques reference-question

4

Come convertire gli automi finiti in espressioni regolari?

La conversione di espressioni regolari in NFA (minimo) che accetta la stessa lingua è facile con algoritmi standard, ad esempio l'algoritmo di Thompson . L'altra direzione sembra essere più noiosa, tuttavia, e talvolta le espressioni risultanti sono disordinate. Quali algoritmi esistono per convertire NFA in espressioni regolari equivalenti? Ci sono …

115 algorithms formal-languages finite-automata regular-expressions reference-question

5

Come non risolvere P = NP?

Ci sono molti tentativi di provare o , e naturalmente molte persone pensano alla domanda, avendo idee per provare entrambe le direzioni.P = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} So che ci sono approcci che hanno dimostrato di non funzionare, e probabilmente ce ne sono altri …

96 complexity-theory reference-request history p-vs-np reference-question

3

Come si fa a sapere quale notazione dell'analisi della complessità del tempo usare?

Nella maggior parte delle lezioni introduttive sugli algoritmi, vengono introdotte notazioni come OOO (Big O) e ΘΘ\Theta , e uno studente in genere imparerebbe ad usare una di queste per trovare la complessità temporale. Tuttavia, ci sono altre notazioni, come ooo , ΩΩ\Omega e ωω\omega . Esistono scenari specifici in …

90 algorithms terminology asymptotics landau-notation reference-question

11

Risolvere o approssimare relazioni di ricorrenza per sequenze di numeri

Nell'informatica, spesso dobbiamo risolvere le relazioni di ricorrenza , ovvero trovare una forma chiusa per una sequenza di numeri definita ricorsivamente. Quando si considerano i runtime, siamo spesso interessati principalmente alla crescita asintotica della sequenza . Ne sono esempi Il tempo di esecuzione di una funzione ricorsiva della coda che …

90 asymptotics proof-techniques combinatorics recurrence-relation reference-question

5

Come dimostrare che una lingua non è senza contesto?

Abbiamo imparato a conoscere la classe di linguaggi senza contesto . È caratterizzato sia da grammatiche senza contesto sia da automi pushdown, quindi è facile dimostrare che una determinata lingua è senza contesto.CFLCFL\mathrm{CFL} Come faccio a mostrare il contrario, però? Il mio TA è stato fermamente convinto che, per farlo, …

89 formal-languages context-free proof-techniques reference-question

10

Come dimostrare che una lingua non è regolare?

Abbiamo imparato a conoscere la classe di lingue regolari . È caratterizzato da un concetto qualsiasi tra espressioni regolari, automi finiti e grammatiche lineari a sinistra, quindi è facile dimostrare che una determinata lingua è regolare.REGREG\mathrm{REG} Come faccio a mostrare il contrario, però? Il mio TA è stato fermamente convinto …

76 formal-languages regular-languages proof-techniques reference-question

6

Come possiamo supporre che le operazioni di base sui numeri richiedano un tempo costante?

Normalmente negli algoritmi non ci interessa il confronto, l'aggiunta o la sottrazione dei numeri - supponiamo che vengano eseguiti nel tempo . Ad esempio, assumiamo questo quando affermiamo che l'ordinamento basato sul confronto è , ma quando i numeri sono troppo grandi per essere inseriti nei registri, normalmente li rappresentiamo …

74 algorithms complexity-theory algorithm-analysis time-complexity reference-question

1

Confronto teorico linguistico delle grammatiche LL e LR

Le persone spesso dicono che i parser LR (k) sono più potenti dei parser LL (k) . Queste dichiarazioni sono vaghe per la maggior parte del tempo; in particolare, dovremmo confrontare le classi per un fisso o l'unione su tutto ? Allora, com'è davvero la situazione? In particolare, sono interessato …

68 formal-languages formal-grammars parsers reference-question

8

Come dimostrare che una lingua è regolare?

Esistono molti metodi per dimostrare che una lingua non è regolare , ma cosa devo fare per dimostrare che una lingua è regolare? Ad esempio, se mi viene dato che è regolare, come posso dimostrare che anche la seguente L ′ è regolare?LLLL'L′L' L': = { w ∈ L : …

48 formal-languages regular-languages automata proof-techniques reference-question

2

Come dimostrare che una funzione non è calcolabile?

So che esiste una macchina di Turing, se una funzione è calcolabile. Quindi come mostrare che la funzione non è calcolabile o che non ci sono macchine di Turing per questo. C'è qualcosa come un lemma del pompaggio?

43 computability proof-techniques undecidability reference-question

6

Affrontare l'intrattabilità: problemi NP-completi

Supponiamo che io sia un programmatore e ho un problema NP completo che devo risolvere. Quali metodi sono disponibili per affrontare i problemi degli NPC? C'è un sondaggio o qualcosa di simile su questo argomento?

43 algorithms reference-request np-complete efficiency reference-question

1

Qual è la differenza tra un algoritmo, una lingua e un problema?

Sembra che su questo sito, le persone spesso correggano gli altri per confondere "algoritmi" e "problemi". Quali sono le differenze tra questi? Come faccio a sapere quando dovrei considerare gli algoritmi e i problemi? E come si collegano al concetto di un linguaggio nella teoria del linguaggio formale?

40 algorithms complexity-theory formal-languages terminology reference-question

4

Quali sono le tecniche comuni per ridurre i problemi gli uni agli altri?

Nella teoria della computabilità e della complessità (e forse in altri campi), le riduzioni sono onnipresenti. Ce ne sono di molti tipi, ma il principio rimane lo stesso: mostra che un problema è difficile almeno quanto un altro problema mappando le istanze da a soluzioni equivalenti in . In sostanza, …

40 complexity-theory computability reductions proof-techniques reference-question

Domande taggate «reference-question»