Scienza del computer

1

I termini della logica combinatoria sono sempre più grandi?

Quindi esiste un algoritmo per convertire i termini del calcolo lambda in logica combinatoria usando i combinatori SK. Produce cose che esplodono in dimensioni. Vorrei sapere di più su questa esplosione di dimensioni. Tuttavia, non riesco a pensare a un algoritmo migliore. Ho sentito parlare di linguaggi funzionali praticamente compilati …

9 lambda-calculus functional-programming combinatory-logic

2

Trova il punto centrale in un set di punti dello spazio metrico, in meno di

Ho un set di punti che sono definiti in uno spazio metrico, quindi posso misurare una 'distanza' tra i punti ma nient'altro. Voglio trovare il punto più centrale all'interno di questo set, che definisco il punto con la somma minima delle distanze da tutti gli altri punti. Il calcolo della …

9 complexity-theory computational-geometry lower-bounds search-problem

1

Clausola di conflitto guidata Chiarimento del backtracking di apprendimento

Sulla pagina di Wikipedia qui descrive abbastanza bene l'algoritmo CDCL (e sembra che le foto siano state prese da diapositive create da Sharad Malik a Princeton). Tuttavia, quando si descrive come tornare indietro tutto ciò che dice è "al punto appropriato". MiniSAT utilizza anche una variante dell'algoritmo CDCL, quindi ho …

9 machine-learning satisfiability sat-solvers backtracking

3

Come risolvere un problema di arrangiamento all'Archivio Nazionale della Francia usando la teoria dei grafi?

Buonasera! Sto effettivamente facendo uno stage presso gli Archivi nazionali della Francia e ho riscontrato una situazione che volevo risolvere usando i grafici ... I. La situazione polverosa Vogliamo ottimizzare la disposizione dei libri della mia biblioteca in base alla loro altezza al fine di ridurre al minimo i costi …

9 algorithms graphs optimization packing

1

Qual è la relazione tra Turing Machines con un nastro finito e Automi a stati finiti?

Mi sembra di ricordare da una classe universitaria che per una macchina di Turing con un nastro finito esisterà sempre un corrispondente automa a stati finiti, ma non sono stato in grado di trovare questo confermato ovunque su Internet. È davvero così o sto ricordando male?

9 turing-machines finite-automata

1

Sottografo planare più pesante

Considera il seguente problema. Dato: un grafico completo con pesi reali non negativi sui bordi. Attività: trovare un sottografo planare del peso massimo. ("Massimo" tra tutti i possibili sottografi planari.) Nota: il sottografo a peso massimo sarà una triangolazione; se il grafico completo si trova su vertici, avrà spigoli.nnnm=3n−6m=3n−6m=3n-6 Domanda: …

9 algorithms graph-theory optimization combinatorics

2

La regolarità delle lingue unarie con lunghezza delle parole somma di due resp. tre quadrati

Penso alle lingue unarie LkLkL_k , dove LkLkL_k è un insieme di tutte le parole la cui lunghezza è la somma di kkk quadrati. Formalmente: È facile dimostrare che L 1 = { a n 2 ∣ n ∈ N 0 } non è regolare (ad es. Con Pumping-Lemma). Inoltre, …

9 formal-languages regular-languages

2

L'ordinamento dei numeri interi è possibile in O (n) nel modello transdicotomico?

Per quanto ne so, non esiste un algoritmo caso peggiore che risolva il seguente problema:O(n)O(n)O(n) Data una sequenza di lunghezza composta da numeri interi finiti, trova la permutazione in cui ogni elemento è minore o uguale al suo successore.nnn Ma c'è una prova che non esiste, nel modello di calcolo …

9 complexity-theory sorting computation-models lower-bounds

2

Cosa sono le catene Markov?

Attualmente sto leggendo alcuni articoli sul lump della catena di Markov e non riesco a vedere la differenza tra una catena di Markov e un grafico ponderato diretto. Ad esempio nell'articolo Raggruppamento ottimale dello spazio di stato nelle catene di Markov forniscono la seguente definizione di un marchio comunitario (catena …

9 probability-theory weighted-graphs mathematical-foundations markov-chains

4

Perché la ricerca binaria è chiamata ricerca binaria?

Ho sentito diverse possibili spiegazioni, quindi vorrei un riferimento attendibile. Aggiornamento 05.19: Sono interessato alla domanda perché uno dei miei studenti ha scritto nella sua tesi che il nome deriva dalla seguente spiegazione (1). Fino ad ora ho pensato / sentito che deriva dalla spiegazione (2). Mi sentirei male sia …

9 terminology reference-request history

2

Esiste una chiara definizione di "calcolabile" per i modelli di calcolo che non sono completi?

Questo è il seguito di un'altra domanda qui , e spero che non sia troppo filosofico. Come ha sottolineato Raphael in un commento sulla mia domanda precedente, non capisco davvero la definizione di "calcolabile", ma secondo alcuni articoli che leggo, la definizione non è anche molto chiara quando si tratta …

9 computability computation-models

1

Qual è un esempio non inventato di controllo statico del tipo troppo conservativo?

In Concetti nei linguaggi di programmazione , John Mitchell scrive che il controllo statico dei tipi è necessariamente prudente (eccessivamente rigoroso) a causa del problema di Halting. Dà un esempio: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Qualcuno può fornire una risposta non inventata che sarebbe davvero una preoccupazione pratica? Capisco …

9 programming-languages compilers type-checking

4

Trovare il più grande dei cinque piccoli numeri interi il più rapidamente possibile

Uso una variazione di un filtro mediano a 5 incroci sui dati di immagine su un piccolo sistema incorporato, ad es x x x x x L'algoritmo è davvero semplice: leggi 5 valori interi senza segno, ottieni i 2 più alti, fai dei calcoli su questi e riscrivi il risultato …

9 algorithms efficiency selection-problem

1

Quando una regexp non è un'espressione regolare?

Dal momento che sto studiando per il mio corso di lingue formale, mi sono imbattuto in questi post affascinanti ( One Two ) che descrivono come trovare un numero primo usando una regexp . Come ho detto, una regexp , non un'espressione regolare . Poiché un'espressione regolare può corrispondere a …

9 regular-expressions

4

L'unicità degli elementi può essere risolta nel tempo lineare deterministico?

Considera il seguente problema: Input : elenca di numeri interiX,YX,YX,Y Obiettivo : determinare se esiste un numero intero presente in entrambi gli elenchi.xxx Supponiamo che entrambe le liste siano della dimensione n . Esiste un algoritmo deterministico a tempo lineare per questo problema? In altre parole, puoi risolvere questo problema …

9 algorithms complexity-theory lower-bounds