Scienza del computer

3

P, NP e macchine di Turing specializzate

Sono un po 'nuovo, ma molto interessato al campo dell'informatica e della teoria della complessità, e voglio chiarire la mia comprensione su come classificare i problemi e quanto fortemente i problemi si collegano alla macchina utilizzata per risolverli. La mia comprensione Macchina di Turing standard - una macchina di Turing …

13 complexity-theory computability terminology turing-machines complexity-classes

7

Possiamo dire che DFA è più efficiente di NFA?

Ho appena iniziato a leggere sulla teoria del calcolo. Se confrontiamo quale è più potente (nell'accettare le stringhe), entrambi sono uguali. Ma che dire dell'efficienza? DFA sarà veloce rispetto a NFA, poiché ha un solo vantaggio in uscita e non ci sarà alcuna ambiguità. Ma nel caso di NFA dobbiamo …

13 finite-automata efficiency nondeterminism

4

Algoritmi che calcolano se un numero è un multiplo di 3

Quando si esegue il calcolo mentale si può fare: Dato un numero intero k, sommare tutte le cifre (in base 10) e se il risultato è un multiplo di 3, allora k è un multiplo di 3. Conosci qualche algoritmo che funziona in modo simile ma che funziona su cifre …

13 algorithms

1

Pareti cellulari in Conway's Game of Life?

Esistono strutture robuste nel gioco della vita di Conway ? Ad esempio, qualcuno ha costruito un'astronave con uno scudo che assorbe tutti i piccoli oscillatori e gli alianti con cui si scontra?

13 cellular-automata

3

Dimostrazione di P = NP senza dichiarazioni matematiche / programma per computer

Questo è il mio primo post dopo essere stato un utente passivo per un po 'di tempo ormai. Vorrei fare alcune domande se posso. Non sono un matematico, ma la mia domanda riguarda il campo della matematica / informatica. In particolare, il problema P vs NP. Sono consapevole che questo …

13 complexity-theory p-vs-np

4

Riduzione transitiva di DAG

Sto cercando l'algoritmo O (V + E) per trovare la riduzione transitiva dato un DAG. Ciò significa rimuovere il maggior numero possibile di spigoli in modo che se si potesse raggiungere v da u, per vu arbitrari, è ancora possibile raggiungere dopo la rimozione dei bordi. Se questo è un …

13 algorithms graphs dag

1

Conseguenze algoritmiche della formula algebrica per la funzione di partizione?

Bruinier e Ono hanno trovato una formula algebrica per la funzione di partizione , che è stata ampiamente descritta come una svolta. Non riesco a capire il documento, ma ha delle conseguenze algoritmiche per un rapido calcolo della funzione di partizione?

13 algorithms complexity-theory number-theory

1

Esiste una struttura di dati per i semilattici simile a una struttura di dati ad albero?

Se consideriamo un albero come un insieme ordinato parziale, diventa un caso speciale di un join-semilattice. Per una join-semilattice, vogliamo essere in grado di calcolare il limite (unico) minimo di due elementi (più o meno) in modo efficiente. Nel caso di un albero, una struttura di dati che consentirebbe questo …

13 data-structures lattices

3

Qual è l'origine del modello di server client?

Mi chiedevo se qualcuno conoscesse l'origine del modello di server client. Da dove viene il termine (carta, applicazione software, libro)?

13 terminology reference-request distributed-systems history

1

che cos'è la semantica?

Ci sono molte lingue popolari. Ma gli informatici ci dicono che per capire il comportamento dei programmi in quelle lingue discutono in modo definitivo e inequivocabile del comportamento dei programmi (ad esempio, dimostrando la loro identità), dobbiamo tradurli in un altro linguaggio ben compreso. Chiamano tale linguaggio "una semantica". Gli …

13 formal-languages semantics

2

Complessità temporale di un ciclo triplo nidificato

Si prega di considerare il seguente ciclo triplo nidificato: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement L'istruzione qui viene eseguita esattamente volte. Qualcuno potrebbe spiegare come è stata …

13 algorithms time-complexity algorithm-analysis

1

Levigante nel modello Naive Bayes

Un predittore Naive Bayes fa le sue previsioni usando questa formula: P( Y= y| X= x ) = α P( Y= y) ∏ioP( Xio= xio| Y= y)P(Y=y|X=X)=αP(Y=y)ΠioP(Xio=Xio|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) dove è un fattore normalizzante. Ciò richiede la stima dei parametri dai dati. Se lo facciamo con smoothing, otteniamo …

13 machine-learning probability-theory statistics

2

Le funzioni non calcolabili diventano asintoticamente più grandi?

Ho letto dei numeri di castori occupati e di come crescono asintoticamente più grandi di qualsiasi funzione calcolabile. Perché è così? È a causa della non calcolabilità della funzione di castoro occupato? In tal caso, allora tutte le funzioni non calcolabili diventano asintoticamente più grandi di quelle calcolabili? Modificare: Ottime …

13 computability asymptotics

1

Ottenere elementi paralleli nella risoluzione delle dipendenze

Ho implementato un ordinamento topologico basato sull'articolo di Wikipedia che sto usando per la risoluzione delle dipendenze, ma restituisce un elenco lineare. Che tipo di algoritmo posso usare per trovare i percorsi indipendenti?

13 algorithms graphs parallel-computing scheduling

2

Le funzioni di ordine superiore forniscono più potenza alla programmazione funzionale?

Ho fatto una domanda simile su cstheory.SE . Secondo questa risposta su Stackoverflow esiste un algoritmo che su un linguaggio di programmazione funzionale puro non pigro ha una complessità , mentre lo stesso algoritmo nella programmazione imperativa è . L'aggiunta di pigrizia al linguaggio FP renderebbe l'algoritmoΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) . …

13 complexity-theory lambda-calculus functional-programming turing-completeness