Scienza del computer

3

Cosa non va nelle somme dei termini di Landau?

scrissi ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) ma il mio amico dice che questo è sbagliato. Dal cheat sheet TCS so che la somma è anche chiamata che ha una crescita logaritmica in . Quindi il mio limite non è molto nitido, ma è sufficiente per l'analisi …

14 asymptotics landau-notation

1

Passaggi che garantiscono l'uscita da un labirinto

Dato un labirinto bidimensionale in cui puoi dare 4 comandi "sposta su / giù / destra / sinistra". Conoscendo il labirinto ma non dove si trova la persona, come trovare la sequenza minima di comandi che garantisce l'uscita dal labirinto? Sto cercando una singola sequenza di comandi che funzionerà indipendentemente …

14 algorithms graphs graph-traversal

2

Che cos'è una "chiave" nell'informatica?

Sono un po 'confuso su quale sia esattamente il significato di una "chiave" nell'informatica. Comprendo coppie chiave-valore, chiavi primarie, ecc ... Ma non riesco a trovare una definizione di cosa significhi da solo il termine "chiave". Per quanto ne so, significa solo un dato. In CLRS, i dati associati ai …

14 terminology

1

"Qui famosi logici hanno commesso errori imbarazzanti", una linea della SICP. A cosa si riferisce questo?

Ecco il contesto ( Struttura e interpretazione dei programmi per computer , sezione 1.1.8, sotto il titolo "Nomi locali"): Un parametro formale di una procedura ha un ruolo molto speciale nella definizione della procedura, in quanto non ha importanza il nome del parametro formale. Tale nome è chiamato variabile legata …

14 logic

1

Che tipo di problemi matematici possono essere risolti dai dimostratori di teoremi automatizzati?

Posso provare le seguenti affermazioni usando i tester teorema automatizzato disponibili? ( a + b )2= a2+ b2+ 2 a b(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab . Se , quindi .11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b Se , allora .ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0x = - b ±b2- 4 a c√2 ax=−B±B2-4un'c2un'x=\frac{-b\pm\sqrt{b^2-4ac} }{2a} Se è pari, è …

14 automated-theorem-proving

2

Esiste un concetto per un algoritmo che calcola una funzione trovando prima un altro algoritmo?

Se lo capisco correttamente, un algoritmo che calcola il valore di una funzione reale ha complessità computazionale O ( g ( n ) ) se vale quanto segue: Quando calcoliamo f con precisione δ richiede nell'ordine dei passaggi g ( n ) .fffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) Tuttavia, se avessimo un algoritmo che prima …

14 complexity-theory

1

La derivata di un grafico è correlata agli elenchi di adiacenza?

Alcune delle opere di Conor McBride, Diff , Dissect , mettono in relazione la derivata dei tipi di dati con il loro "tipo di contesti a foro singolo". Cioè, se prendi la derivata del tipo ti viene lasciato un tipo di dati che ti mostra come il tipo di dati …

14 graph-theory type-theory

2

Grafico residuo nel flusso massimo

Sto leggendo il problema del flusso massimo qui . Non riuscivo a capire l'intuizione dietro il grafico residuo. Perché stiamo considerando i bordi posteriori durante il calcolo del flusso? Qualcuno può aiutarmi a capire il concetto di grafico residuo? Come cambia l'algoritmo nei grafici non indirizzati?

14 algorithms graphs graph-theory network-flow

1

Complessità computazionale vs. gerarchia di Chomsky

Mi chiedo quale sia la relazione tra la complessità computazionale e la gerarchia di Chomsky, in generale. In particolare, se so che qualche problema è NP-completo, ne consegue che la lingua di quel problema non è senza contesto? Ad esempio, il problema della cricca è NP-completo. Ne consegue che il …

14 complexity-theory formal-languages

2

Posso avere un "tipo di coprodotto dipendente"?

Sto leggendo il libro HoTT e ho una domanda (probabilmente molto ingenua) sulle cose nel primo capitolo. Il capitolo introduce il tipo di funzione e quindi lo generalizza rendendo B dipendente da x : A B : A → U ,f: A → Bf:UN→B f:A\to B BBBx : AX:UNx:A e …

14 type-theory dependent-types homotopy-type-theory

2

È il complemento di {ww | ...} senza contesto?

Definisci la lingua LLL come . In altre parole, contiene le parole che non possono essere espresse come una parola ripetuta due volte. è senza contesto o no?L={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLLL Ho provato a intersecare con , ma non riesco ancora a provare nulla. …

14 formal-languages context-free formal-grammars

2

Riduzione del poli-tempo da ILP a SAT?

Quindi, come è noto, il problema decisionale 0-1 dell'ILP è NP-completo. Mostrare che è in NP è facile e la riduzione originale era da SAT; da allora, molti altri problemi NP-Complete hanno dimostrato di avere formulazioni ILP (che funzionano come riduzioni di tali problemi a ILP), perché ILP è utilmente …

14 np-complete reductions satisfiability integer-programming

2

Prova di correttezza di un algoritmo avido per la copertura minima del vertice di un albero

Esiste un algoritmo avido per trovare la copertura minima del vertice di un albero che utilizza l'attraversamento DFS. Per ogni foglia dell'albero, seleziona il suo genitore (cioè il suo genitore è nella copertura minima del vertice). Per ciascun nodo interno: se uno dei suoi figli non è selezionato, selezionare questo …

14 algorithms trees greedy-algorithms

2

La lingua delle parole che contiene lo stesso numero di 001 e 100 è regolare?

Mi chiedevo quando le lingue che contenevano lo stesso numero di istanze di due sottostringhe fossero regolari. So che la lingua che contiene lo stesso numero di 1 e 0 non è regolare, ma è una lingua come , dove L = { w ∣ numero di istanze della sottostringa …

14 formal-languages regular-languages pumping-lemma

2

Trovare percorsi più brevi e più lunghi tra due vertici in un DAG

Dato un DAG non ponderato (grafico aciclico diretto) e due vertici e , è possibile trovare il percorso più breve e più lungo da a nel tempo polinomiale? Le lunghezze del percorso sono misurate dal numero di spigoli.D=(V,A)D=(V,A)D = (V,A)ssstttsssttt Sono interessato a trovare la gamma di possibili lunghezze del …

14 algorithms graphs shortest-path polynomial-time