Scienza del computer

2

Spiegare SAT agli insegnanti di scienze delle scuole superiori

Sono un secondo anno di scuola superiore che è interessato all'informatica. Ho sviluppato un algoritmo interessante per #SAT e sto implementando e realizzando un progetto scientifico equo su di esso. La mia consulente, che è la migliore insegnante di scienze della mia scuola ed è anche insegnante di AP Comp …

9 algorithms satisfiability

3

Perché la CPU è coinvolta durante l'eco della tastiera?

Attualmente sto studiando per un esame di informatica e mi sono imbattuto in un concetto che mi ha in qualche modo sconcertato. Quando si digita un tasto sulla tastiera, un carattere ASCII viene trasmesso alla CPU. Alla ricezione di questo carattere, la CPU emette lo stesso carattere sullo schermo. Questo …

9 computer-architecture operating-systems user-interface

2

In che modo l'uso delle macchine Oracle Turing non porta a contraddizioni?

Come possiamo assicurarci di continuare a fare affermazioni valide e valide sulle classi di complessità quando utilizziamo oracle Turing Machines? Secondo la mia comprensione (basata sulle definizioni fornite nei libri di testo introduttivi sull'argomento), le macchine di Oracle Turing possono determinare lo stato di appartenenza di una stringa rispetto a …

9 complexity-theory oracle-machines

2

Computer analogici e tesi di Church-Turing

Vorrei citare da Nielsen & Chuang, Quantum Computation e Quantum Information, edizione del decimo anniversario, pagina 5 (sottolineatura mia): Una classe di sfide alla forte tesi Church-Turing proviene dal campo del calcolo analogico. Negli anni trascorsi da Turing, molti diversi team di ricercatori hanno notato che alcuni tipi di computer …

9 computation-models church-turing-thesis

1

Cos'è l'oblio della RAM e come funziona?

Qualcuno potrebbe spiegarmi cos'è esattamente la RAM inconsapevole? Ho trovato il seguente spiegazione che mi rende abbastanza chiaro, ma vorrei avere un'idea degli aspetti tecnici: La crittografia non è sempre sufficiente per garantire la privacy. Se un avversario è in grado di osservare i tuoi schemi di accesso all'archiviazione crittografata, …

9 terminology computer-architecture security memory-hardware memory-access

1

Se uno mostra che UNI-k-SAT è in P, implica P = NP?

Valiant & Vazirani hanno dimostrato che il SAT è riducibile a SAT UNICO con riduzioni probabilistiche randomizzate nel tempo polinomiale. Calabro et al . ha dimostrato che il K-SAT UNICO è duro quanto il k-SAT. Ora la domanda è: se qualcuno mostra che UNICO k-SAT è in P, implica P …

9 complexity-theory satisfiability p-vs-np

1

Qual è l'algoritmo e la struttura dati più efficienti per mantenere le informazioni dei componenti collegati su un grafico dinamico?

Supponiamo che io abbia un grafico sparso finito non indirizzato e che debba essere in grado di eseguire in modo efficiente le seguenti query: IsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2) - restituisce se esiste un percorso tra e , altrimentiN 1 N 2 FTTTN1N1N_1N2N2N_2FFF ConnectedNodes(N)ConnectedNodes(N)ConnectedNodes(N) : restituisce il set di nodi che sono raggiungibili …

9 algorithms graph-theory graphs data-structures

3

Esiste davvero l'immutabilità nella programmazione funzionale?

Anche se lavoro come programmatore nella mia vita quotidiana e utilizzo tutti i linguaggi di tendenza (Python, Java, C, ecc.), Non ho ancora una visione chiara di cosa sia la programmazione funzionale. Da quello che ho letto, una proprietà dei linguaggi funzionali è che le strutture di dati sono immutabili …

9 data-structures functional-programming

1

Date n stringhe, una è una sottostringa di un'altra?

Supponiamo che ci venga data una raccolta di stringhe, . Vorrei sapere se una di queste stringhe è una sottostringa di qualsiasi altra stringa nella raccolta. In altre parole, vorrei un algoritmo per la seguente attività:S 1 , … , S nnnnS1, ... , SnS1,...,SnS_1,\dots,S_n Input:S1, ... , SnS1,...,SnS_1,\dots,S_n Output: …

9 algorithms strings efficiency substrings

2

Algoritmo radice quadrata intera precisione arbitraria?

Esistono algoritmi subquadratici noti per il calcolo del pavimento della radice quadrata di un nintero di bit? L'algoritmo ingenuo sarebbe qualcosa di simile def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: …

9 algorithms numerical-algorithms

1

Come funziona il termine momentum per l'algoritmo di backpropagation?

Quando si aggiornano i pesi di una rete neurale usando l'algoritmo di backpropagation con un termine di momentum, il tasso di apprendimento dovrebbe essere applicato anche al termine di momentum? La maggior parte delle informazioni che ho potuto trovare sull'uso della quantità di moto hanno le equazioni simili a queste: …

9 machine-learning neural-networks

1

Qual è il nome del problema? (grafico di partizionamento in tre copertine)

Mi chiedevo se questo problema ha un nome: Dato un semplice grafico i cui bordi sono di colore rosso, blu e verde, , esiste una colorazione dei vertici tale che ogni bordo ha un endpoint con lo stesso colore?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Inoltre, questo è noto per essere NP-completo? Questo …

9 algorithms complexity-theory graphs satisfiability colorings

3

Equivalenza dell'analisi del flusso di dati, interpretazione astratta e inferenza del tipo?

@La risposta di Babou a una domanda recente mi ricorda che un tempo penso di aver letto un documento sull'equivalenza (in termini di entrambi i fatti che possono essere inferiti o dimostrati e la complessità temporale dell'esecuzione dell'algoritmo di inferenza) dell'analisi del flusso di dati , interpretazione astratta e inferenza …

9 reference-request compilers type-inference program-optimization

1

baz_num_elts esercita da Software Foundations

Sono al seguente esercizio in Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? …

9 coq

1

Scrittura di un sistema operativo multitasking per un processore senza MMU

Ho pensato di scrivere un sistema operativo per hobby per alcuni processori ARM. Esistono molti computer a scheda singola popolari con ARM MPU, quindi volevo semplicemente acquistarne uno (scegliendone uno con più documentazione aperta). Sono stato sorpreso quando ho scoperto che anche le schede con memoria davvero sufficiente non hanno …

9 operating-systems memory-management memory-hardware os-kernel