Scienza del computer

1

Limiti di runtime su algoritmi di NP completano i problemi assumendo P ≠ NP

Assumere P ≠ N P .P≠NPP\neq NP Cosa possiamo dire dei limiti di runtime di tutti i problemi NP-completi? cioè quali sono le funzioni più strette L , U : N → N per le quali possiamo garantire che un algoritmo ottimale per qualsiasi problema NP completo venga eseguito nel …

13 complexity-theory time-complexity np-complete p-vs-np

4

Qual è la relazione tra correlazione e causalità nell'apprendimento automatico?

È risaputo che "la correlazione non equivale alla causalità", ma l'apprendimento automatico sembra essere quasi interamente basato sulla correlazione. Sto lavorando a un sistema per stimare le prestazioni degli studenti in base alle loro domande passate. A differenza di altre attività, come la ricerca di Google, questo non sembra il …

13 machine-learning statistics

2

Complessità di Kolmogorov: Perché avresti bisogno di più byte della stringa stessa?

Stavo leggendo la voce di Wikipedia su Kolmogorov Complexity ( grazie a questa domanda ), che afferma: Si può dimostrare che la complessità di Kolmogorov di qualsiasi stringa non può essere maggiore di qualche byte in più della lunghezza della stringa stessa. Perché mai avresti bisogno di qualcosa di più …

13 kolmogorov-complexity

3

Un quine in puro calcolo lambda

Vorrei un esempio di quine in puro calcolo lambda . Sono stato piuttosto sorpreso di non poterne trovare uno cercando su Google. La pagina Quine elenca le quines per molte lingue "reali", ma non per il calcolo lambda. Naturalmente, questo significa definire cosa intendo per un quine nel calcolo lambda, …

13 lambda-calculus

2

C'è una teoria / astrazione dietro OOP?

La programmazione funzionale ha il molto elegante Lambda Calculus e le sue varianti come teoria del backup. Esiste qualcosa del genere per OOP? Che cos'è un'astrazione per il modello orientato agli oggetti?

13 terminology lambda-calculus functional-programming object-oriented

1

Come posso trovare la rappresentazione più breve per un sottoinsieme di un powerset?

Sto cercando un algoritmo efficiente per il seguente problema o una prova della durezza NP. Sia ΣΣ\Sigma un insieme e A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) un insieme di sottoinsiemi di ΣΣ\Sigma . Trova una sequenza w ∈ Σ ∗w∈Σ∗w\in \Sigma^* di lunghezza minima tale che per ogni L ∈ …

13 algorithms formal-languages encoding-scheme

4

Complessità dell'algoritmo ricorsivo di Fibonacci

Utilizzando il seguente algoritmo ricorsivo di Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Se inserisco il numero 5 per trovare fib (5), so che questo produrrà 5, ma come posso esaminare la complessità di questo algoritmo? Come posso calcolare i passaggi coinvolti?

13 algorithms time-complexity recursion

4

Teoremi di ponte per la teoria dei gruppi e i linguaggi formali

Esiste un modo naturale o notevole per mettere in relazione o collegare gruppi matematici e linguaggi formali CS o qualche altro concetto CS centrale, ad esempio le macchine di Turing? Sto cercando riferimenti / applicazioni. Tuttavia, sono consapevole del legame tra i semigruppi e le lingue CS (vale a dire …

13 formal-languages reference-request automata discrete-mathematics group-theory

3

Chi ha bisogno della linearizzabilità?

Ho letto delle differenze tra serializzabilità e linearizzabilità , che sono entrambi criteri di coerenza per sistemi replicati come database replicati. Tuttavia, non so in quali casi sarebbe necessaria la linearizzabilità, anche se è più forte della serializzabilità. Potresti creare scenari in cui una proprietà così forte sarebbe effettivamente necessaria?

13 concurrency databases

1

Trovare la massima fattorizzazione delle lingue normali

Consenti alla lingua L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* essere regolare. Una fattorizzazione di LL\mathcal{L} è una coppia massima (X,Y)(X,Y)(X,Y) di insiemi di parole con X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , dove X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y) è massimo …

13 algorithms regular-languages optimization

1

Usa un numero minimo di swap in modo che ogni cestino contenga sfere dello stesso colore

Ci sono bidoni, l' esimo bin contiene palle. Le palle hanno colori, ci sono palle di colore . Lascia che .i a i n a i i m = ∑ n i = 1 a innniiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Uno scambio è prendere una palla da un cestino e scambiare con una …

13 algorithms complexity-theory balls-and-bins

6

Un albero di sintassi astratto deve essere un albero?

L'output di un parser deve essere un albero o potrebbe anche essere un grafico generale? Inoltre, esiste una lingua esistente o plausibile che utilizza la rappresentazione di grafici generali anziché alberi per la loro sintassi?

13 compilers parsing

5

In che modo la non ambuiguità è diversa dal determinismo?

Sto cercando di capire cosa si intende per "deterministico" in espressioni come "grammatica libera dal contesto deterministico". (Ci sono "cose" più deterministiche in questo campo). Gradirei un esempio più della spiegazione più elaborata! Se possibile. La mia principale fonte di confusione è dal non essere in grado di dire come …

13 context-free formal-grammars parsers

3

Calcolo della funzione di castoro occupato

La funzione turni massimi del castoro occupato, , ha valori noti per n ≤ 4 . C'è qualche ragione di base e strutturale per cui è inconcepibile che troveremo mai S ( n ) per n > 4 ? Cosa c'è di così diverso in n = 4 di n …

13 computability busy-beaver

2

Campionamento perfetto che si abbina uniformemente a caso

Supponiamo di avere un grafo con M ( G ) del (sconosciuta) insieme di perfetti accostamenti di . Supponiamo che questo set non sia vuoto, quindi quanto è difficile campionare uniformemente a caso da ? Cosa succede se sto bene con una distribuzione vicina all'uniforme, ma non del tutto uniforme, …

13 algorithms complexity-theory matching sampling