Scienza del computer

1

Come posso convertire la macchina di Turing che riconosce la lingua

Secondo questo articolo di Wikipedia , le grammatiche senza restrizioni sono equivalenti alle macchine di Turing. L'articolo osserva che posso convertire qualsiasi macchina Turing in una grammatica senza restrizioni, ma mostra solo come convertire una grammatica in una macchina Turing. Come posso effettivamente farlo e convertire la macchina di Turing …

19 formal-grammars turing-machines simulation

2

Come viene completata la regola 110 Turing?

Ho letto la pagina di Wikipedia per la regola 110 negli automi cellulari e so più o meno come funzionano (un insieme di regole decide dove disegnare il prossimo 1 o 0). Ho appena letto che Turing è completo, ma non riesco nemmeno a capire come si "programmare" nella "regola …

19 computability automata turing-completeness cellular-automata

2

Idea comune nella moltiplicazione di Karatsuba, Gauss e Strassen

Le identità utilizzate negli algoritmi di moltiplicazione di Karatsuba (numeri interi) Gauss (numeri complessi) Strassen (matrici) sembra strettamente correlato. Esiste un quadro / generalizzazione astratta comune?

19 algorithms matrices

1

Quanti diversi max-heap esistono per un elenco di n numeri interi?

Quanti diversi max-heap esistono per un elenco di numeri interi?nnn Esempio: elenco [1, 2, 3, 4] Il max-heap può essere 4 3 2 1: 4 / \ 3 2 / 1 oppure 4 2 3 1: 4 / \ 2 3 / 1

19 data-structures combinatorics heaps

3

Perché utilizzare i confronti anziché il runtime per confrontare due algoritmi?

Noto che in alcuni articoli di ricerca CS, per confrontare l'efficienza di due algoritmi, viene utilizzato il numero totale di confronto chiave negli algoritmi anziché i tempi di calcolo reali. Perché non possiamo confrontare quale è meglio eseguendo entrambi i programmi e contando il tempo totale necessario per eseguire gli …

19 algorithms algorithm-analysis runtime-analysis

1

Somma ponderata degli ultimi N numeri

Supponiamo di ricevere numeri in uno stream. Dopo aver ricevuto ciascun numero, è necessario calcolare una somma ponderata degli ultimi numeri, in cui i pesi sono sempre gli stessi, ma arbitrari.NNN Quanto efficacemente può essere fatto se ci è permesso mantenere una struttura di dati per aiutare con il calcolo? …

19 algorithms data-structures online-algorithms

2

È determinabile l'insieme delle macchine di Turing che si ferma al massimo in 50 passi su tutti gli ingressi?

Sia . Devo decidere se F è decidibile o enumerabile in modo ricorsivo. Penso che sia decidibile, ma non so come dimostrarlo.F= { ⟨ M⟩ : M è una TM che si ferma per ogni input in al massimo 50 passaggi }F={⟨M⟩:M is a TM which stops for every input …

19 computability undecidability

1

Generazione di input per algoritmi grafici con test casuali?

Quando si testano gli algoritmi, un approccio comune è il test casuale: generare un numero significativo di input secondo una certa distribuzione (di solito uniforme), eseguire l'algoritmo su di essi e verificare la correttezza. I moderni framework di test possono generare input automaticamente data la firma degli algoritmi, con alcune …

19 algorithms graphs randomness software-testing

5

Set indipendente massimo di un grafico bipartito

Sto cercando di trovare il massimo set indipendente di un grafico biparite. Ho trovato quanto segue in alcune note "13 maggio 1998 - Università di Washington - CSE 521 - Applicazioni del flusso di rete" : Problema: Dato un grafo bipartito G=(U,V,E)G=(U,V,E)G = (U,V,E) , trovare un insieme indipendente U′∪V′U′∪V′U' …

19 algorithms graph-theory network-flow

3

Cerchio di chiusura massimo di un dato raggio

Provo a trovare un approccio al seguente problema: Dato l'insieme del punto e il raggio r , trova il punto centrale del cerchio, in modo tale che il cerchio contenga il numero massimo di punti dall'insieme. Il tempo di esecuzione dovrebbe essere O ( n 2 ) .SSSrrrO ( n2)O(n2)O(n^2) …

19 algorithms computational-geometry

2

Percorso più breve su un grafico non diretto?

Quindi ho pensato che questa domanda (sebbene un po 'di base) appartenesse qui: Supponiamo di avere un grafico con nodi di dimensioni 100 disposti in un modello 10x10 (pensa alla scacchiera). Il grafico non è indirizzato e non è ponderato. Lo spostamento attraverso il grafico implica lo spostamento di tre …

19 algorithms graphs graph-theory search-algorithms shortest-path

3

La linea separa due serie di punti

Se esiste un modo per identificare se due serie di punti possono essere separati da una linea? Abbiamo due serie di punti e se esiste una linea che separa e tale che tutti i punti di e solo su un lato della linea, e tutti i punti di e solo …

19 algorithms machine-learning computational-geometry

1

potatura alfa beta distribuita

Sto cercando un algoritmo efficiente che mi permetta di elaborare l'albero di ricerca minimax per gli scacchi con potatura alfa-beta su un'architettura distribuita. Gli algoritmi che ho trovato (PVS, YBWC, DTS vedi sotto) sono tutti piuttosto vecchi (il 1990 è l'ultimo). Presumo che da allora ci siano stati molti progressi …

19 algorithms distributed-systems board-games

4

L'uso di Pumping Lemma per dimostrare la lingua non è regolare

Sto cercando di usare il lemma del pompaggio per dimostrare che L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m|m≥0}L = \{(01)^m 2^m \mid m \ge0\} non è regolare. Questo è quello che ho finora: supponiamo che LLL sia regolare e che ppp sia la lunghezza di pompaggio, quindi …

19 formal-languages regular-languages pumping-lemma

1

Risparmio sull'inizializzazione dell'array

Di recente ho letto che è possibile disporre di array che non devono essere inizializzati, ovvero è possibile utilizzarli senza dover perdere tempo a cercare di impostare ciascun membro sul valore predefinito. cioè è possibile iniziare a usare l'array come se fosse stato inizializzato dal valore predefinito senza inizializzarlo. (Mi …

19 data-structures arrays