Scienza del computer

3

Qual è la differenza tra tipi di dati astratti e oggetti?

Una risposta su Programmers.SE caratterizza un saggio di Cook ( Gli oggetti non sono ADT ) come detto Gli oggetti si comportano come una funzione caratteristica rispetto ai valori di un tipo, piuttosto che come algebra. Gli oggetti usano l'astrazione procedurale piuttosto che l'astrazione del tipo Gli ADT di solito …

11 programming-languages object-oriented abstract-data-types

4

Perché il nastro non fa parte della definizione di Turing Machine?

Mi chiedevo perché il nastro / i nastri non facessero parte della definizione formale di una macchina di Turing. Considera, ad esempio, la definizione formale di una macchina Turing sulla pagina di Wikipedia . La definizione, che segue Hopcroft e Ullman, comprende: l'insieme finito di stati , l' alfabeto a …

11 turing-machines computation-models

3

2-SAT con relazioni XOR NP-complete?

Mi chiedo se esiste un algoritmo polinomiale per "2-SAT con relazioni XOR". Sia 2-SAT che XOR-SAT sono in P, ma è la sua combinazione? Esempio di input: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and …

11 np-complete satisfiability xor 2-sat

1

Che tipo di algoritmi sono più veloci con un computer quantistico?

Sono uno studente CS iniziale e sto imparando algoritmi. Ho sentito che anche con i computer quantistici, gli algoritmi di ordinamento generale non possono mai avere risultati migliori di time. Tuttavia, so anche che gli algoritmi di factoring sarebbero molto più veloci. In termini generali, che tipo di algoritmi diventerebbe …

11 algorithms quantum-computing

1

Perché questo argomento per

So che è sciocco, ma sono riuscito a confondermi e ho bisogno di aiuto per risolverlo Supponiamo , quindi chiaramente per ogni oracolo A abbiamo P A = N P A che contraddice il fatto che esiste un oracolo A per il quale P A ≠ N P A , …

11 complexity-theory p-vs-np oracle-machines

1

Generare reti senza scale con distribuzioni di laurea in legge di potere usando Barabasi-Albert

Sto cercando di riprodurre le reti sintetiche (grafici) descritte in alcuni documenti. Si afferma che il modello Barabasi-Albert è stato usato per creare "reti prive di scala con distribuzioni di gradi di legge di potere, ".PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} è una distribuzione di probabilità che restituisce la probabilità di un nodo …

11 algorithms graph-theory graphs randomness sampling

4

Esistono algoritmi di compressione basati su PI?

Quello che sappiamo è che π è infinito e molto probabilmente contiene ogni possibile stringa di cifre finita ( sequenza disgiuntiva ). Ho visto di recente un prototipo di πfs che presuppone che ogni file che hai creato (o chiunque altro) o che creerai, è già lì, quindi si tratta …

11 algorithms data-compression mathematical-programming

2

# Complessità # implica durezza di approssimazione?

Sia un problema di conteggio noto come # -Complete .PΠΠ\PiPPP Implica che è -hard (ovvero non esiste un PTAS per il problema a meno che )?A P X P = N PΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory complexity-classes approximation counting

1

Che cos'è

Sto guardando il calcolo delle costruzioni e il suo posto nel cubo Lambda . Se capisco correttamente, ogni asse del cubo può essere considerato come l'aggiunta di un'altra operazione che coinvolge i tipi nel calcolo tipizzato in modo semplice, λ→λ→\lambda_\to . Il primo asse aggiunge operatori da tipo a termine, …

11 terminology lambda-calculus type-theory dependent-types

2

Problema di isomorfismo grafico per grafici etichettati

Nel caso dei grafici senza etichetta, il problema dell'isomorfismo dei grafici può essere affrontato da una serie di algoritmi che si comportano molto bene nella pratica. Cioè, sebbene il tempo di esecuzione nel caso peggiore sia esponenziale, di solito si ha un tempo di esecuzione polinomiale. Speravo che la situazione …

11 algorithms graph-theory graph-isomorphism

5

Perché la progettazione del sistema operativo è in grado di ridurre il consumo energetico?

Ho letto che i sistemi operativi come Android e iOS sono in qualche modo ottimizzati per migliorare la durata della batteria. La mia comprensione è che una CPU esegue un certo numero di operazioni in un determinato momento, quindi penso che sia possibile accelerare le applicazioni riducendo il numero di …

11 computer-architecture operating-systems performance program-optimization

6

Problemi indecidibili limitano le teorie fisiche

L'esistenza di problemi indecidibili implica immediatamente la non prevedibilità dei sistemi fisici? Consideriamo il problema dell'arresto, prima costruiamo un UTM fisico, diciamo usando la solita costruzione basata su circuito. Quindi non ci può essere alcuna teoria fisica decidibile che possa determinare, data qualsiasi impostazione di ingresso dei circuiti, se il …

11 computability turing-machines undecidability physics

1

Un problema NP-hard può essere in media polinomiale?

Mi chiedo se ci siano problemi di -hard che sono `` polinomiali '' nel caso medio. Penso che ci siano due modi per interpretarlo?NPNPNP Se , può esserci un algoritmo che risolve un -hard con tempo di esecuzione ammortizzato (caso medio) di per una costante ?P≠ NPP≠NPP \neq NPNPNPNPO ( …

11 complexity-theory reference-request np-complete probabilistic-algorithms amortized-analysis

2

Cos'è un algoritmo di approssimazione bicriteria?

Cos'è un algoritmo di approssimazione bicriteria? Questo continua ad emergere nel caso del clustering del flusso di dati. Questo è legato all'ottimizzazione multi-obiettivo? È qui che l'ho trovato: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. L'articolo parla di una versione in streaming dell'algoritmo k-mean. Ci sono riferimenti nel documento ma nessuno di essi fornisce una spiegazione …

11 optimization approximation

1

Complessità nel trovare la matrice pseudoinversa

Quante operazioni aritmetiche sono necessarie per trovare una matrice pseudoinverso di Moore-Penrose di un campo arbitrario? Se la matrice è invertibile e complessa, allora è solo l'inverso. Trovare l'inverso richiede tempo , dove ω è la costante di moltiplicazione della matrice. È Teorema 28.2 in Introduzione agli algoritmi 3a edizione.O …

11 algorithms linear-algebra