Scienza del computer

1

Un interessante spazio metrico relativo alle macchine di Turing

In questa domanda consideriamo solo le macchine di Turing che si fermano su tutti gli input. Se k ∈ Nk∈Nk \in \mathbb{N} allora con T kTkT_k denotiamo la macchina di Turing il cui codice è kkk . Considera la seguente funzione s ( x , y ) = min { …

16 computability turing-machines

1

Costruire un PDA per il complemento di

Mi chiedo se sia possibile, dato che . Pertanto un PDA in grado di distinguere una parola dal resto di potrebbe anche accettarla , il che mi sembra contraddittorio.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Immagino di dover approfittare della natura non …

16 formal-languages automata context-free pushdown-automata

6

Coda di priorità per priorità parzialmente ordinate con infima

Ho alcuni oggetti con priorità di tipo composto ed è solo parzialmente ordinato . Devo selezionare gli oggetti in ordine di questa priorità (ovvero resa minima ogni volta articolo ). Ma piuttosto che completare arbitrariamente l'ordine, preferirei che la coda fosse stabile, nel senso che se c'è più di un …

16 data-structures priority-queues

1

Simulazione universale delle macchine di Turing

Sia fff una funzione fissa costruibile nel tempo. Il classico risultato di simulazione universale per TM (Hennie e Stearns, 1966) afferma che esiste una TM a due nastri tale cheUUU la descrizione di una TM e⟨M⟩⟨M⟩\langle M \rangle una stringa di input ,xxx corre per passi e restituisce la risposta …

16 complexity-theory reference-request turing-machines machine-models simulation

2

Le reti neurali devono sempre convergere?

introduzione Primo passo Ho scritto una rete neurale standard di backpropegating e, per testarla, ho deciso di farlo mappare XOR. È una rete 2-2-1 (con funzione di attivazione tanh) X1 M1 O1 X2 M2 B1 B2 A scopo di test, ho impostato manualmente il neurone medio superiore (M1) per essere …

16 machine-learning neural-networks

2

Le espressioni regolari sono

Se ho una grammatica di tipo 3, può essere rappresentata su un automa pushdown (senza fare alcuna operazione in pila) in modo da poter rappresentare espressioni regolari usando linguaggi senza contesto. Ma posso sapere se una grammatica di tipo 3 è , , , ecc. Senza costruire tabelle di analisi?LR …

16 formal-languages regular-languages formal-grammars parsers regular-expressions

1

Complessità dell'algoritmo di triangolazione di Delaunay della forza bruta

Nel libro "Geometria computazionale: algoritmi e applicazioni" di Mark de Berg et al., Esiste un algoritmo di forza bruta molto semplice per il calcolo delle triangolazioni di Delaunay. L'algoritmo utilizza la nozione di bordi illegali : bordi che potrebbero non apparire in una triangolazione Delaunay valida e devono essere sostituiti …

16 algorithms time-complexity algorithm-analysis computational-geometry runtime-analysis

1

Algoritmo Polytime e Polyspace per determinare l'intersezione principale di n funzioni monotoniche discrete

Un po 'di materia prima: sono uno scienziato informatico ricreativo e un ingegnere informatico impiegato. Quindi, scusate se questo suggerimento sembra in qualche modo fuori dal campo sinistro - gioco abitualmente con simulcra matematici e problemi aperti quando non ho niente di meglio da fare. Mentre giocavo con l' ipotesi …

16 algorithms reference-request discrete-mathematics

2

Tempo di esecuzione del ottimale greedy -approximation algoritmo per il -clustering problema

Ci viene dato un insieme di punti bidimensionali e un numero intero . Dobbiamo trovare una raccolta di cerchi che racchiudano tutti i punti in modo tale che il raggio del cerchio più grande sia il più piccolo possibile. In altre parole, dobbiamo trovare un set di punti centrali tale …

16 algorithms computational-geometry

1

Come posso verificare se un poligono è monotono rispetto a una linea arbitraria?

Definizione : un poligono nel piano è chiamato monotono rispetto a una linea retta , se ogni linea ortogonale a interseca al massimo due volte.PPPLLLLLLPPP Dato un poligono , è possibile determinare se esiste una linea tale che il poligono sia monotono rispetto a ? Se si, come?PPPLLLPPPLLL In precedenza, …

16 algorithms computational-geometry

2

Funzioni continue di Scott: una definizione alternativa

Sto davvero lottando con questa proprietà: Let sia spazi coerenti e è una funzione monotona. è continuo se e solo se , per tutti tale che D sia un insieme diretto.X,YX,YX,Yf f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x ) D ⊆ …

16 terminology programming-languages semantics

1

I limiti inferiori asintotici sono rilevanti per la crittografia?

Un limite inferiore asintotico come la durezza esponenziale è generalmente pensato per implicare che un problema è "intrinsecamente difficile". Si ritiene che la crittografia "intrinsecamente difficile" da infrangere sia sicura. Tuttavia, un limite inferiore asintotico non esclude la possibilità che una classe enorme ma finita di istanze problematiche sia facile …

16 complexity-theory cryptography asymptotics

2

In che modo la variazione nel tempo di completamento dell'attività influisce su MakePan?

Diciamo che abbiamo una grande collezione di compiti τ1,τ2,...,τnτ1,τ2,...,τn\tau_1, \tau_2, ..., \tau_n e una collezione di identici (in termini di prestazioni) processori ρ1,ρ2,...,ρmρ1,ρ2,...,ρm\rho_1, \rho_2, ..., \rho_m che funzionano completamente in parallelo. Per scenari di interesse, possiamo assumere m≤nm≤nm \leq n . Ogni τiτi\tau_i richiede una certa quantità di tempo / …

16 probability-theory scheduling parallel-computing

2

Qual è la differenza tra "Decisione" e "Verifica" nella teoria della complessità?

Nella teoria del calcolo di Michael Sipser a pagina 270 scrive: P = la classe di lingue per le quali è possibile decidere rapidamente l'appartenenza. NP = la classe di lingue per cui è possibile verificare rapidamente l'appartenenza. Qual è la differenza tra "deciso" e "verificato"?

16 complexity-theory terminology decision-problem

2

Come implementare l'algoritmo AO *?

Ho notato che quando implementiamo algoritmi di ricerca vengono utilizzate diverse strutture di dati. Ad esempio, utilizziamo le code per implementare l'ampiezza della prima ricerca, stack per implementare la ricerca approfondita e min-heap per implementare l' algoritmo A * . In questi casi, non è necessario costruire esplicitamente l'albero di …

16 algorithms graphs data-structures search-algorithms