Scienza del computer

2

Regolarità della metà esatta delle parole da una lingua normale

Sia un linguaggio regolare. La lingua regolare?LLLL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} So che è molto simile alla domanda qui , ma il trucco è che non è una semplice sottostringa di una parola in una lingua …

8 formal-languages regular-languages closure-properties

1

Quanto è difficile una variante del puzzle di Sudoku?

Il sudoku è un puzzle ben noto che è noto per essere NP-completo ed è un caso speciale di problema più generale noto come quadrati latini. Una soluzione corretta del quadrato consiste nel riempire ogni riga e ogni colonna con numeri da aN×NN×NN \times N111NNN a condizione che ogni numero …

8 complexity-theory np-complete

2

Cosa si può imparare dai pesi in una rete neurale?

Sono molto nuovo alle reti neurali e ho cercato di capire alcune cose. Supponiamo quindi di imbatterti in una rete neurale che ha 100 input, un layer nascosto con 200 nodi e 32 output. Diciamo anche che tu, lo "scopritore" di questa particolare istanza di una rete neurale, sei in …

8 machine-learning neural-networks

1

Esiste un linguaggio a un contatore rigorosamente non deterministico il cui complemento è un contatore?

Sia A = { L ∣ Lè un contatore e L¯ è anche un contatore }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Chiaramente,Un contatore deterministico ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A È il caso che ?A = Contatore deterministicoA=Deterministic …

8 formal-languages automata closure-properties pushdown-automata

6

Applicazione pratica delle macchine a stati finiti

Sto cercando applicazioni pratiche di macchine a stati finiti come macchine DFA, NFA, Moore, Mealy ... Sarebbe utile se qualcuno punta ad esempi dal kernel Linux. So che DFA viene utilizzato nella corrispondenza delle stringhe come l'algoritmo KMP. Qual è il significato delle macchine NFA, Moore e Mealy?

8 reference-request automata finite-automata

2

6-colorazione di un albero in modo distribuito

Ho delle difficoltà a comprendere l'algoritmo distribuito per l'albero 6 - colorazione nel tempo .O (log*n )O(log*⁡n)O(\log^*n) La descrizione completa è disponibile nel seguente documento: Parallel Symmetry-Breaking in Sparse Graphs. Goldberg, Plotkin, Shannon . In breve, l'idea è ... A partire dalla colorazione valida fornita dagli ID del processore, la …

8 algorithms runtime-analysis distributed-systems colorings

4

Trova la mediana di un elenco di array ordinati

Input: una serie di matrici (di numeri). Gli elementi all'interno di ciascun array sono ordinati, ma l'insieme di array non è necessariamente ordinato. Le matrici non hanno necessariamente le stesse dimensioni. Il numero totale di elementi è .ℓℓ\ellAiAiA_innn Output: il esimo elemento più piccolo tra tutti gli elementi nell'input.kkk Qual …

8 algorithms algorithm-analysis

1

Complessità bit dell'interrogazione O (1) dell'intervallo di tempo in a

Considera il seguente problema: Permettere kkkessere una costante. Ci viene dato unkkk-ary array Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} di 000 e 111'S. PermettereN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Vogliamo creare una struttura di dati mediante preelaborazione AAA per eseguire il seguente tipo di operazioni di query: Date le coordinate di a kkk-a scatola DDD, C'è …

8 reference-request data-structures space-complexity

1

Compilatori di qualità LISP / Scheme per competere con C / C ++

In teoria, è possibile avere un compilatore Lisp / Scheme in grado di produrre codice in grado di competere con il C compilato, diciamo con un margine del 15-25%? Nei miei test, ho scoperto che l'attuale raccolto di compilatori (Bigloo, SBCL, Gambit, Chicken, ecc.) È 20-50 volte più lento del …

8 optimization compilers

1

somma di indici simili in elenchi circolari

Considera il seguente problema: Consenti a una -wheel di essere definita come un elenco indicizzato collegato circolarmente di interi. Per esempio…kkkkkk {3, 4, 9, -1, 6} … È una 5 ruote con 3 in posizione 0, 4 in posizione 1 e così via. Una ruota supporta l'operazione di rotazione, in …

8 algorithms

1

Dimostrare o confutare: BPP (0.90,0,95) = BPP

Mi piacerebbe molto il tuo aiuto per provare o smentire il seguente reclamo: B PP( 0.90 , 0.95 ) = B PPBPP(0.90,0.95)=BPPBPP(0.90,0.95)=BPP. Nella teoria della complessità computazionale, BPP, che sta per tempo polinomiale probabilistico ad errore limitato è la classe di problemi di decisione risolvibili da una macchina di Turing …

8 complexity-theory time-complexity probabilistic-algorithms

3

Come capire la riduzione dal problema del 3-Coloring al problema generale del -Coloring?

Il problema del 3-Coloring può essere dimostrato NP-Complete facendo uso della riduzione da 3SAT Graph Coloring (da 3SAT) . Di conseguenza, il problema 4-Coloring è NP-Complete usando la riduzione di 3-Coloring: Riduzione dall'istanza 3-Coloring: aggiunta di un vertice extra al grafico del problema 3-Coloring e rendendolo adiacente a tutti i …

8 complexity-theory graph-theory terminology np-complete

1

Strutture di dati per complessi cellulari generali (non tetraedrici)

Per le mesh poligonali 2D, le rappresentazioni della struttura dei dati QuadEdge e HalfEdge sono sufficienti per archiviare e consentire una query efficiente di tutte le informazioni topologiche e di incidenza. Esistono strutture dati compatte ed efficienti per le mesh poliedriche 3D? So che ci sono stati lavori recenti su …

8 data-structures computational-geometry

2

Qual è lo stato dell'arte nella ricerca incapsulata nella programmazione logica funzionale?

Sono particolarmente interessato a soluzioni al problema che la ricerca incapsulata può dipendere dall'ordine di valutazione. Secondo [1], la ricerca incapsulata in PAKCS dipende dall'ordine di valutazione, mentre in MCC non lo fa, ma il suo utilizzo richiede la conoscenza dell'implementazione del compilatore e non segue le specifiche del linguaggio …

8 reference-request functional-programming nondeterminism logic-programming

3

Ricerca di valori XOR massimi e minimi consecutivi

Dato un array intero (dimensione massima 50000), devo trovare la minima e massima tale che per alcuni , con .XXXX=un'p⊕un'p + 1⊕ ⋯ ⊕un'qX=ap⊕ap+1⊕⋯⊕aqX = a_p \oplus a_{p+1} \oplus \dots \oplus a_qpppqqqp ≤ qp≤qp \leq q Ho provato questo processo: per tutti . L'ho pre-calcolato in e quindi il valore …

8 algorithms algorithm-analysis performance binary-arithmetic arithmetic