Scienza del computer

4

Esempio di un algoritmo in cui un termine di ordine inferiore domina il runtime per qualsiasi input pratico?

La notazione Big-O nasconde fattori costanti, quindi esistono alcuni algoritmi che non sono fattibili per qualsiasi dimensione di input ragionevole perché il coefficiente sul termine è così grande.nO ( n )O(n)O(n)nnn Esistono algoritmi noti il cui runtime è ma con un termine di ordine inferiore che è così enorme che …

10 algorithms asymptotics

3

Quale struttura di dati memorizzerebbe in modo efficiente intervalli di numeri interi?

Devo mantenere una raccolta su numeri interi compresi tra 0 e 65535 in modo da poter eseguire rapidamente le seguenti operazioni: Inserisci un nuovo numero intero Inserisci un intervallo di numeri interi contigui Rimuovi un numero intero Rimuovi tutti i numeri interi sotto un numero intero Verifica se è presente …

10 data-structures efficiency search-trees integers

1

Esiste un modo per verificare se due NFA accettano la stessa lingua?

O almeno generare una serie di stringhe accettate da un NFA, in modo da poterlo inserire nell'altro NFA. Se eseguo una ricerca in tutti i percorsi dell'NFA, funzionerà? Anche se ci vorrà molto tempo.

10 algorithms regular-languages finite-automata

3

Durante il test di n articoli, come coprire tutti i sottoinsiemi di T con il minor numero possibile di sottoinsiemi?

Questo problema è nato dai test del software. Il problema è un po 'difficile da spiegare. Prima farò un esempio, quindi proverò a generalizzare il problema. Esistono 10 articoli da testare, ad esempio da A a J, e uno strumento di test in grado di testare 3 articoli contemporaneamente. L'ordine …

10 algorithms combinatorics software-testing

2

Come si possono produrre in modo efficiente tutte le sequenze binarie con un numero uguale di 0 e 1?

Una sequenza binaria di lunghezza è solo una sequenza ordinata modo che ogni sia o . Per generare tutte queste sequenze binarie, si può usare l'ovvia struttura ad albero binario nel modo seguente: la radice è "vuota", ma ogni figlio sinistro corrisponde all'aggiunta di alla stringa esistente e ogni figlio …

10 algorithms graphs binary-trees

3

Assegnazione numero

Dati numeri A_1 \ leq A_2 \ leq ... \ leq A_k tali che \ sum \ limits_ {i = 1} ^ k A_i = k (2k + 1) esiste un'assegnazione dei numeri i_1, i_2, ..., i_ {2k} che è una permutazione di 1, 2, ..., 2k tale chekkkk Σ …

10 np-complete decision-problem

1

Formalismi nella programmazione concorrente e / o distribuita?

Il mio background proveniva da linguaggi imperativi, principalmente C, C ++ e Python. Ho raccolto Scala, Erlang e un po 'di Haskell qualche anno dopo e da allora sono diventato molto interessato alla programmazione funzionale e ai formalismi alla base. Sono anche interessato alla programmazione concorrente e distribuita e ho …

10 distributed-systems concurrency

1

Problema di ghiaia

Pebbling è un gioco di solitario giocato su un grafico non orientato , in cui ogni vertice ha zero o più ciottoli. Una singola mossa di ciottoli consiste nel rimuovere due ciottoli da un vertice e aggiungere un ciottolo a un vicino arbitrario di . (Ovviamente, il vertice v deve …

10 algorithms graph-theory np-complete

1

Problema di ottimizzazione vincolata nell'entropia della matrice

Ho un problema di ottimizzazione vincolato nell'entropia della matrice (Shannon) . La matrice può essere scritta come la somma delle matrici di rango 1 della forma dove è un dato vettore normalizzato. I coefficienti delle matrici di rango uno sono le incognite in cui ottimizziamo e devono essere maggiori di …

10 optimization entropy

1

Dato un grafico cordale

Un grafico è cordale se non ha cicli indotti di lunghezza 4 o superiore. Un albero cricca T di G è un albero in cui i vertici dell'albero sono le cricche massimali di G . Un bordo in T corrisponde a un separatore minimo. Il numero di distinti alberi di …

10 algorithms graph-theory reference-request

3

Equa divisione della torta bidimensionale

Sono interessato a procedure per un'equa divisione della terra (ovvero divisione senza invidia o almeno divisione proporzionale). Contrariamente al ben studiato problema della divisione della torta, la divisione della terra è bidimensionale, cioè le preferenze degli utenti possono variare sia in orizzontale che in verticale. Pertanto, non è pratico limitare …

10 reference-request game-theory

2

Cosa rende rilevante il calcolo lambda per lo studio?

Il prossimo autunno inizierò un corso di informatica, ma non riesco davvero a capire il calcolo λ nel contesto della programmazione funzionale. Potrei interpretare male tutto questo, ma sulla base di questa definizione della Stanford Encyclopedia of Philosophy, è solo un'altra notazione per le funzioni. Se è solo questo, perché …

10 programming-languages lambda-calculus

2

Quale classificatore è più preciso per una classificazione SVM?

Sto imparando la classificazione SVM e ho riscontrato un problema. Non sono sicuro che questo dilemma abbia una sua terminologia. Supponiamo che vorremmo classificare il paziente per SVM dati i campioni di persone sane (di entrambi i sessi) e persone con cancro al fegato (di entrambi i sessi). Se etichettiamo …

10 machine-learning

1

Come capire il fermo SR

Non riesco a capire come funziona SR Latch. Apparentemente, si collega una linea di input da R, e un'altra da S, e si dovrebbe ottenere risultati in e .Q ′QQQQ'Q′Q' Tuttavia, sia R che S richiedono input dall'output dell'altro e output dell'altro richiede input dall'output dell'altro. Cosa viene prima il …

10 circuits sequential-circuit

3

Introduzione all'analisi del programma

Sto cercando risorse per iniziare con l' analisi del programma . L'unico libro che ho trovato sull'argomento è il libro Nielson & Nielson . Oltre a ciò, sembra che ci siano solo libri "compilatori" in cui "analisi del programma" sarebbe un capitolo o qualcosa del genere. Le persone conoscono altre …

10 reference-request compilers semantics