Scienza del computer

2

Collegamento tra cancelli NAND e completezza di Turing

So che le porte NAND possono essere utilizzate per creare circuiti che implementano ogni tabella di verità e che i moderni computer sono costituiti da porte NAND. Qual è il legame teorico tra le porte NAND e la completezza di Turing? Mi sembra che i circuiti di gate NAND siano …

14 turing-machines turing-completeness digital-circuits

3

Quanta differenza di complessità può esserci tra trovare una soluzione a un puzzle di Sudoku e PROVARE che la soluzione è la soluzione unica?

Quindi di solito il Sudoku è , ma questa domanda si estende anche a puzzle con . Esistono molte regole di deduzione dei tempi polinomiali che possono fare progressi nella ricerca di una soluzione a un puzzle di Sudoku. Ma a volte potrebbe essere necessario indovinare i valori e seguire …

14 complexity-theory sudoku

1

Perché i teoremi di Shaefer e Mahaney non implicano P = NP?

Sono sicuro che qualcuno ci abbia pensato prima o lo abbia immediatamente respinto, ma perché la teoria della dicotomia di Schaefer insieme al teorema di Mahaney su insiemi sparsi non implica P = NP? Ecco il mio ragionamento: creare una lingua che è uguale a SAT intersecata da un insieme …

14 complexity-theory np-complete satisfiability p-vs-np

3

Quali lingue di ricerca hanno un sistema più forte di Haskell e perché?

Qui ho letto che: Haskell sicuramente non ha il sistema di tipi più avanzato (nemmeno vicino se si contano le lingue di ricerca) ma tra tutte le lingue che sono effettivamente utilizzate nella produzione, Haskell è probabilmente al top. Quindi sto chiedendo due cose: quali linguaggi di ricerca hanno sistemi …

14 programming-languages type-theory

2

Differenza tra complessità temporale e complessità computazionale

Per misurare la complessità di un algoritmo, è la complessità temporale o computazionale? Qual'è la differenza tra loro? Ho usato per calcolare il conteggio massimo (peggiore) delle operazioni di base (più costose) nell'algoritmo.

14 complexity-theory terminology algorithm-analysis time-complexity

7

Come viene eseguito un programma a livello di CPU?

So che questa è una domanda molto comune. Ma ho un'angolazione diversa nella mia mente. Proverò solo ad articolarlo qui. Da quello che so, ogni istruzione eseguita da una CPU è nel linguaggio macchina e tutto ciò che la CPU può fare è eseguire alcune operazioni aritmetiche grazie a ALU …

14 computer-architecture cpu

1

Complessità nota più rapida per l'algoritmo ILP combinatorio?

Mi chiedo, qual è l'algoritmo più noto, in termini di notazione Big- , per risolvere la Programmazione lineare integer?OOO So che il problema è completo, quindi non mi aspetto nulla di polinomiale. E so che ci sono molte euristiche e simili che vengono utilizzate in applicazioni pratiche come CPLEX, ma …

14 algorithms complexity-theory reference-request np-complete integer-programming

1

Prova del teorema di Karp-Lipton

Sto cercando di comprendere la dimostrazione del teorema di Karp-Lipton, come affermato nel libro "Computational Complexity: A modern avvic" (2009). In particolare, questo libro afferma quanto segue: Teorema di Karp-Lipton Se NP , quindi PH .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2 Prova: con il Teorema 5.4, per mostrare PH , è …

14 complexity-theory complexity-classes

1

Esiste un problema completo per la classe di Turing Decidable Problems?

Lingue come sono con riduzioni . È banale vedere che anche ha problemi completi. S. Schmitz [1] considera alcune classi tra e . Presentano problemi completi per queste classi con riduzioni appositamente realizzate.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Ci sono problemi completi per (aka ) relativi a riduzioni più deboli? Le riduzioni di Turing sono …

14 computability reductions turing-completeness recursion-theory

2

Esiste un algoritmo efficiente per l'equivalenza delle espressioni?

ad es. xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Le espressioni provengono dalla normale algebra del liceo, ma sono limitate all'aggiunta e alla moltiplicazione aritmetica (ad es. 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), senza inversioni, sottrazioni o divisioni. Le lettere sono variabili. Se aiuta, possiamo vietare qualsiasi espressione rappresentabile con valori numerici diversi da 111 ; cioè non …

14 complexity-theory time-complexity decision-problem

2

Esistono classi di complessità stabilite con numeri reali?

Di recente uno studente mi ha chiesto di verificare una prova di durezza NP. Hanno eseguito una riduzione sulla falsariga di: Riduco questo problema che è noto per essere NP completo al mio problema P (con una riduzione multi-tempo polifunzionale), quindi P è NP-difficile.P′P′P'PPPPPP La mia risposta è stata sostanzialmente: …

14 complexity-theory reference-request complexity-classes real-numbers computable-analysis

2

Prestazioni di microkernel vs kernel monolitico

Un microkernel implementa tutti i driver come programmi per lo spazio utente e implementa funzionalità di base come IPC nel kernel stesso. Un kernel monolitico, tuttavia, implementa i driver come parte del kernel (ad es. Gira in modalità kernel). Ho letto alcune affermazioni secondo cui i microkernel sono più lenti …

14 operating-systems performance os-kernel

2

Quali sono le potenziali insidie nell'avere un kernel minimo che esegue il codice gestito?

Supponiamo che io voglia costruire un sistema operativo basato su un kernel inferiore nativo molto piccolo che funge da interprete / runtime di codice gestito e un kernel superiore più grande compilato in un linguaggio macchina non nativo (bytecode Java, CIL, ecc.). Esempi di sistemi operativi simili sarebbero Singolarità e …

14 operating-systems type-checking interpreters os-kernel

6

Trovare il massimo XOR di due numeri in un intervallo: possiamo fare meglio del quadratico?

Supponiamo stiamo dato due numeri lll e e che vogliamo trovare per l \ le i, \, j \ le r .rrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algoritmo ingenuo controlla semplicemente tutte le coppie possibili; ad esempio in ruby avremmo: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …

14 algorithms algorithms machine-learning statistics testing terminology asymptotics landau-notation reference-request optimization scheduling complexity-theory time-complexity lower-bounds communication-complexity computational-geometry computer-architecture cpu-cache cpu-pipelines operating-systems multi-tasking algorithms algorithm-analysis education correctness-proof didactics algorithms data-structures time-complexity computational-geometry algorithms combinatorics efficiency partitions complexity-theory satisfiability artificial-intelligence operating-systems performance terminology computer-architecture

3

Cosa significano "dati non patologici"?

Ho seguito un corso di algoritmi su Coursera. Lo ha detto il professore nel video sui tavoli di hash Ciò che è vero è che per i dati non patologici otterrete operazioni a tempo costante in una tabella hash correttamente implementata. Cosa significano "dati non patologici"? Puoi fare qualche esempio?

14 hash-tables