Scienza del computer

4

Numero minimo di viaggi di shopping per un gruppo di persone per comprare regali l'uno per l'altro

Abbiamo un gruppo di nnn persone. Ci viene fornito un elenco di chi deve acquistare regali per chi all'interno del gruppo. Ogni persona potrebbe aver bisogno di acquistare / ricevere un numero qualsiasi di regali, o forse nessuno. In un giro di shopping, un sottogruppo di persone viaggia insieme nello …

10 algorithms graph-theory set-cover

1

Qual è la possibilità che questo codice termini?

Ho scritto questo codice Python e mi chiedevo se a volte semplicemente non terminasse (supponendo che avessimo memoria / tempo infiniti e nessun limite di profondità di ricorsione). Intuitivamente penseresti che finisca, dal momento che a un certo punto devi essere fortunato , e se non termina hai un infinito …

10 trees probability-theory termination

1

Implementazione di Naive Bayes

Sto implementando un algoritmo Naive Bayes per la categorizzazione del testo con il livellamento di Laplacian. Il problema che sto riscontrando è che la probabilità si avvicina allo zero perché sto moltiplicando molte piccole frazioni. Pertanto, la probabilità alla fine produce zero. Questo perché ci sono diverse parole nei documenti …

10 machine-learning natural-language-processing floating-point numerical-algorithms

2

Positività rigorosa

Da questo riferimento: positività rigorosa La rigorosa condizione di positività esclude dichiarazioni come data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Perché A è negativo? Anche perché B è consentito? Capisco …

10 type-theory inductive-datatypes

3

Perché una ricerca hashtable (senza collisioni) è davvero O (1)?

Disclaimer: so che ci sono domande simili già qui e su StackOverflow. Ma si tratta di collisioni, che non è ciò che chiedo. La mia domanda è: perché innanzitutto la ricerca senza collisioni O(1)? Supponiamo di avere questa tabella hash: Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 xcnvb …

10 complexity-theory hash hash-tables performance

1

I tipi di sé rendono obsoleto il calcolo delle costruzioni induttive?

I tipi di sé sono un'estensione del Calculus of Constructions [1] che consente al linguaggio di esprimere tipi di dati algebrici codificati attraverso la codifica Scott. La codifica Scott offre la possibilità di adattarsi al modello O(1), che è uno dei principali motivatori per l'inclusione delle definizioni induttive nel CC. …

10 lambda-calculus type-theory functional-programming inductive-datatypes

3

Come posso verificare che un DFA sia equivalente a un NFA?

Sto imparando come convertire NFA in DFA e voglio assicurarmi di farlo nel modo giusto. Ovviamente, tornare nella direzione opposta non è una cosa. Qualcuno conosce un algoritmo per verificare che un DFA sia equivalente a un NFA?

10 automata finite-automata proof-techniques nondeterminism

1

Se , allora ?

Se , allora ? Sto ponendo questa domanda perché, per altre classi non deterministiche, sembra che stabilisca sempre che sono uguali alle loro controparti deterministiche.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}

10 complexity-theory p-vs-np

1

Il problema di arresto è decidibile per gli automi cellulari unidimensionali a 3 simboli?

Ho cercato di capire se il problema dell'arresto è decidibile per gli automi cellulari unidimensionali a 3 simboli. Definizione Let denota la configurazione del sistema al passaggio . Più formalmente , dove è l'alfabeto.i f : A ∗ × N → A ∗ Af( w , i )f(w,io)f(w,i)ioioif: A*× N …

10 computability decision-problem halting-problem cellular-automata

2

Complessità per trovare una palla che massimizzi il numero di punti che vi si trovano

x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Un algoritmo di forza bruta sarebbe quello di andare oltre ogni punto e contare il numero di punti che sono a distanza inferiore a . Ciò darebbe una complessità di .rrrO(n2)O(n2)\mathcal{O}(n^2) C'è un approccio migliore?

10 algorithms complexity-theory computational-geometry

5

Applicazioni quotidiane di teoria dei tipi

Voglio capire la teoria dei tipi ma devo prima sapere come posso applicarla. Potrebbero esserci applicazioni più ovvie della teoria dei tipi oltre ai sistemi di tipo nella programmazione? Potrebbero esserci altre applicazioni, diciamo nella profilazione della personalità e simili?

10 type-theory applied-theory

3

Calcoli infiniti a tempo finito

Questo è probabilmente un pensiero stupido, ma supponiamo di avere un computer che è programmato per eseguire una sequenza infinita di calcoli e supponiamo l' calcolo prende 1 / 2 i secondi. Quindi questo computer può eseguire un numero infinito di calcoli in un tempo limitato.iesimoiesimoi^\text{th}1 /2io1/2io1/2^i Perché è impossibile? …

10 computability computation-models

1

I set NP completi sono formati da altri due set solo se almeno uno è NP-difficile?

Questa domanda è in qualche modo una conversione a una precedente domanda sui set formati da operazioni sui set completi NP: Se l'insieme risultante dall'unione, intersezione o prodotto cartesiano di due insiemi decidibili e è NP-completo, almeno uno di necessariamente NP-duro? So che non possono essere entrambi in P (supponendo …

10 complexity-theory np-hard np np-intermediate

1

Riscrittura dei termini; Calcola coppie critiche

Ho provato a risolvere il seguente esercizio ma mi sono bloccato mentre cercavo di trovare tutte le coppie critiche . Ho le seguenti domande: Come faccio a sapere quale coppia critica ha prodotto una nuova regola? Come faccio a sapere di aver trovato tutte le coppie critiche? Sia dove è …

10 logic first-order-logic

5

Perché lo stato non sicuro non causa sempre un deadlock?

Stavo leggendo i sistemi operativi di Galvin e mi sono imbattuto nella riga in basso, Tuttavia, non tutti gli stati non sicuri sono deadlock. Uno stato non sicuro può portare a deadlock Qualcuno può spiegare come deadlock! = Stato non sicuro ? Ho anche preso la stessa linea qui Se …

10 operating-systems deadlocks