Scienza del computer

3

Esiste una teoria delle gerarchie di eccezioni?

Conosco una dozzina di linguaggi di programmazione che hanno delle eccezioni in qualche modo, eppure sono venuto a testimoniare due tendenze "patologiche". Non sembra esserci un modello comune o una gerarchia di eccezioni. Ogni lingua fondamentalmente lancia la propria versione e, se le eccezioni lo rendono standard, i tipi di …

18 terminology programming-languages api-design

1

Quando utilizzare Soddisfazione per vincoli vs SAT?

Se ho un problema difficile, un approccio standard è quello di esprimerlo come istanza SAT e provare a eseguire un solutore SAT su di esso. Un altro approccio standard è quello di esprimerlo come un problema di soddisfazione dei vincoli e provare a utilizzare un risolutore CSP. I due si …

18 heuristics sat-solvers constraint-programming

2

Cosa c'è di più difficile: mescolare un mazzo ordinato o ordinarne uno mischiato?

Hai una matrice di elementi distinti. Hai accesso a un comparatore (una funzione di scatola nera che prende due elementi e e restituisce vero iff ) e una fonte di bit veramente casuale (una funzione di scatola nera che non prende argomenti e restituisce un bit casuale uniformemente indipendente). Considera …

18 algorithms algorithm-analysis information-theory permutations entropy

1

Numero di cicli hamiltoniani su un grafico di Sierpiński

Sono nuovo di questo forum e solo un fisico che lo fa per mantenere il cervello in forma, quindi per favore mostra grazia se non uso il linguaggio più elegante. Inoltre, lascia un commento, se ritieni che altri tag siano più appropriati. Sto cercando di risolvere il problema per cui …

18 graph-theory combinatorics check-my-proof

1

Le lingue che soddisfano il lemma del pompaggio ma non sono regolari?

Dato un linguaggio regolare , allora è facile dimostrare che esiste una costante N tale che è σ ∈ L , con | σ | ≥ N esistono stringhe α , β e γ tali che | α β | ≤ N e | β | ≠ ϵ , e …

18 formal-languages proof-techniques

2

Matrice inversa di calcolo quando un elemento cambia

Data una matrice . Lascia che la matrice inversa di sia (ovvero, ). Supponiamo che un elemento in sia cambiato (diciamo in ). L'obiettivo è trovare dopo questa modifica. Esiste un metodo per trovare questo obiettivo più efficiente del ricalcolo della matrice inversa da zero.A A A - 1 A …

18 algorithms numerical-analysis online-algorithms

2

Qual è il vantaggio di Quicksort randomizzato?

Nel loro libro Randomized Algorithms , Motwani e Raghavan aprono l'introduzione con una descrizione della loro funzione RandQS - Randomized quicksort - dove il perno, usato per dividere il set in due parti, viene scelto a caso. Da un po 'di tempo mi sto rompendo il cervello (per certi versi …

18 algorithm-analysis sorting randomized-algorithms

1

Applicazione dell'ottimizzazione delle aspettative agli esempi di lancio di monete

Ultimamente ho studiato da solo la massimizzazione delle aspettative e mi sono procurato alcuni semplici esempi nel processo: Da qui : ci sono tre monete , e con , e la rispettiva probabilità di atterrare su Head quando lanciate. Toss . Se il risultato è Head, lancia tre volte, altrimenti …

18 probability-theory statistics

1

Definizioni di un algoritmo in esecuzione in tempo polinomiale e in tempo fortemente polinomiale

Wikipedia lo definisce essere Si dice che un algoritmo ha un tempo polinomiale se il suo tempo di esecuzione è limitato da un'espressione polinomiale delle dimensioni dell'input per l'algoritmo, cioè per qualche costante k.T( n ) = O ( nK)T(n)=O(nK)T(n) = O(n^k) L'algoritmo viene eseguito in tempi fortemente polinomiali se …

18 complexity-theory

2

Una riduzione polinomiale da qualsiasi problema NP-completo a PCP limitato

I libri di testo in tutto il mondo per scontato che il Bounded corrispondenza postale problema è NP-completo (non più di NNN indici ammessi con ripetizioni). Tuttavia, da nessuna parte viene mostrato un semplice (come in, qualcosa che uno studente può capire) riduzione del tempo polinomiale da un altro problema …

18 complexity-theory np-complete reductions

3

Come leggere le regole di battitura?

Ho iniziato a leggere sempre più documenti di ricerca linguistica. Lo trovo molto interessante e un buon modo per saperne di più sulla programmazione in generale. Tuttavia, di solito arriva una sezione in cui ho sempre delle difficoltà (prendiamo ad esempio la terza parte di questo ) dal momento che …

18 logic reference-request terminology type-theory

1

Dimostrando la (in) trattabilità di questo ennesimo episodio ricorrente

Come segue dalla mia domanda precedente , ho giocato con l' ipotesi di Riemann come una questione di matematica ricreativa. Nel processo, sono arrivato a una ricorrenza piuttosto interessante e sono curioso di sapere il suo nome, le sue riduzioni e la sua trattabilità verso la solvibilità del divario tra …

18 complexity-theory reference-request recurrence-relation mathematical-analysis

4

Dimostrando che un problema in X non è X-Complete

The Existential Theory of the Reals è in PSPACE , ma non so se sia PSPACE-Complete . Se credo che non sia così, come potrei provarlo? Più in generale, dato un problema in qualche classe di complessità X , come posso dimostrare che è non è X-Complete ? Ad esempio, …

18 complexity-theory proof-techniques

4

Prolog può risolvere i problemi di soddisfazione dei vincoli?

Il tipo di problemi di "partecipazione alle feste" è risolvibile in Prolog? Per esempio: Bardana Muldoon e Carlotta Pinkstone dissero entrambe che sarebbero venute se fosse arrivata Albus Silente. Albus Silente e Daisy Dodderidge hanno entrambi detto che sarebbero venuti se fosse arrivata Carlotta Pinkstone. Albus Silente, Burdock Muldoon e …

18 logic constraint-programming prolog logic-programming

2

Il calcolo quantistico potrebbe alla fine essere usato per rendere banale l'hashing dei giorni nostri da rompere?

In poche parole, se si dovesse costruire un dispositivo di calcolo quantistico con la potenza, diciamo, di 20 qubit, un tale computer potrebbe essere utilizzato per rendere inutile qualsiasi tipo di algoritmo di hashing moderno? Sarebbe anche possibile sfruttare la potenza del calcolo quantistico in un'applicazione di calcolo tradizionale?

18 cryptography quantum-computing hash