Scienza del computer

1

Ricerca in teoria dei grafi contro algoritmi di grafi

Ho una domanda molto generica da porre. È legato alla ricerca. Sono interessato alla teoria dei grafi. Ci ho fatto un corso. Ho fatto alcuni argomenti relativi alla teoria dei grafi come punto di vista per farlo come studente di matematica e ho anche studiato alcuni algoritmi di grafi. Vado …

12 graph-theory graphs

4

Unione di lingue regolari che non è regolare

Mi sono imbattuto in questa domanda: "Fornisci esempi di due lingue normali che la loro unione non produce una lingua normale". Questo è abbastanza scioccante per me perché credo che le lingue normali siano chiuse sotto il sindacato. Il che significa per me che se prendo due linguaggi regolari e …

12 formal-languages regular-languages closure-properties

5

È 2 ** x più veloce da calcolare di exp (x)?

Perdona l'ingenuità che sarà ovvia nel modo in cui faccio questa domanda e nel fatto che la sto facendo. I matematici in genere usano quanto è la base più semplice / più bella in teoria (a causa del calcolo). Ma i computer sembrano fare tutto in binario, così è più …

12 binary-arithmetic numerical-analysis numeral-representations

1

Quale problema NP-Complete ha l'algoritmo più veloce conosciuto?

In termini di runtime asintotico nel caso peggiore, quale problema NP-completo ha l'algoritmo (esatto) più veloce conosciuto e qual è l'algoritmo? È noto qualcosa che è più veloce di ?O ( n2∗ 2n)O(n2∗2n)O(n^2*2^n)

12 algorithms reference-request np-complete

2

Perché il problema di spanning tree con limite di k NP-complete?

Il problema dell'albero di spanning limitato a è dove hai un grafico non orientato G ( V , E ) e devi decidere se ha un albero di spanning in modo tale che ogni vertice abbia un grado al massimo di k .KkkG ( V, E)G(V,E)G(V,E)Kkk Mi rendo conto che …

12 spanning-trees

4

Quantum Computer è analogico?

Avevamo computer analogici diversi decenni fa. I computer moderni sono digitali. E i computer quantistici? È analogico o digitale? Lo sto chiedendo poiché qubit può essere molte cose contemporaneamente.

12 quantum-computing

9

Che cos'è esattamente un algoritmo?

So che questo può sembrare un po 'fuori dagli schemi, in effetti una volta pensavo sempre dentro la scatola, ma recentemente ho pensato, forse perché l'informatica offre un alto grado di libertà, su modi per ideare programmi diversi da quelli insegnati all'università. Considera la funzione fattoriale. Tipicamente definiamo questa funzione …

12 algorithms

1

Scelta di un sottoinsieme per massimizzare la distanza minima tra i punti

Ho una serie di punti e ho la distanza tra ogni punto D ( P i , P j ) . Queste distanze sono euclidee ma i punti si trovano in realtà in uno spazio di caratteristiche.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) Tra i punti voglio scegliere un sottoinsieme di n punti. Chiama questo sottoinsieme …

12 optimization

2

Calcolo lambda: differenza tra contesti e contesti di valutazione

In primo luogo, vorrei dire che il mio testo qui sotto può contenere errori, quindi sentiti libero di evidenziare eventuali errori nella mia formulazione della domanda. Considera un calcolo lambda non tipizzato con booleani e istruzioni if i cui termini sono dati da questa sintassi: t ::= v | t …

12 programming-languages lambda-calculus

2

Ci sono dei garbage collector che tengono conto del paging?

Le raccolte di rifiuti devono visitare tutti gli oggetti che sono vivi, in modo da trovare la memoria che può essere recuperata. (Avere molte generazioni lo ritarda un po ') A parità di condizioni, è chiaramente meglio prima visitare l'oggetto che è già impaginato nella RAM, prima di impaginare altri …

12 memory-management paging garbage-collection

1

C'è una lingua in grado di esprimere il proprio compilatore Turing-complete?

Un commento su tex.SE mi ha fatto meravigliare. La dichiarazione è essenzialmente: Se riesco a scrivere un compilatore per la lingua X nella lingua X, allora X è Turing completo. In termini di calcolabilità e linguaggi formali, questo è: Se decide e , allora .L ⊆ L T M ⟨ …

12 computability turing-completeness

2

Le macchine di Turing a nastro singolo con input protetto da scrittura riconoscono solo le lingue regolari

Ecco il problema: Dimostrare che le macchine di Turing a nastro singolo che non sono in grado di scrivere sulla parte del nastro contenente la stringa di input riconoscono solo le lingue normali. La mia idea è di dimostrare che questa particolare TM è equivalente a un DFA. L'uso di …

12 formal-languages computability regular-languages turing-machines automata

3

Risolutore SAT multicore

Sto cercando di risolvere un problema SAT con 25k clausole 5k variabili. Dato che funziona da un'ora (precosat) e vorrei risolverne di più grandi in seguito, sto cercando un solutore SAT multi-core. Dato che sembrano esserci molti solutori di SAT, sono abbastanza perso. Qualcuno potrebbe indicarmi il migliore per il …

12 algorithms reference-request parallel-computing sat-solvers

2

La completezza del coNP implica la durezza NP?

La completezza del coNP implica la durezza NP? In particolare, ho un problema che ho dimostrato di essere completo. Posso affermare che è NP-difficile? Mi rendo conto di poter rivendicare la durezza coNP, ma non sono sicuro che la terminologia sia standard. Sono a mio agio con l'affermazione secondo cui …

12 complexity-theory np-hard

2

Come codificare la data come input nella rete neurale?

Sto usando le reti neurali per prevedere una serie temporale. La domanda che sto affrontando ora è come codificare data / ora / numero di serie. di ogni input impostato come input per la rete neurale? Dovrei usare la codifica 1 di C (usata per le categorie di codifica) come …

12 machine-learning artificial-intelligence neural-networks